aboutsummaryrefslogtreecommitdiff
path: root/tosa.xsd
diff options
context:
space:
mode:
Diffstat (limited to 'tosa.xsd')
-rw-r--r--tosa.xsd169
1 files changed, 169 insertions, 0 deletions
diff --git a/tosa.xsd b/tosa.xsd
new file mode 100644
index 0000000..8f57131
--- /dev/null
+++ b/tosa.xsd
@@ -0,0 +1,169 @@
+<?xml version="1.0"?>
+<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
+
+<!-- Type definitions -->
+
+<xs:simpleType name="profile">
+ <xs:restriction base="xs:string">
+ <xs:enumeration value="BI"/>
+ <xs:enumeration value="MI"/>
+ <xs:enumeration value="MT"/>
+ </xs:restriction>
+</xs:simpleType>
+
+<xs:simpleType name="datatype">
+ <xs:restriction base="xs:string">
+ <xs:enumeration value="bool_t"/>
+ <xs:enumeration value="int4_t"/>
+ <xs:enumeration value="int8_t"/>
+ <xs:enumeration value="uint8_t"/>
+ <xs:enumeration value="int16_t"/>
+ <xs:enumeration value="uint16_t"/>
+ <xs:enumeration value="int32_t"/>
+ <xs:enumeration value="int48_t"/>
+ <xs:enumeration value="fp16_t"/>
+ <xs:enumeration value="bf16_t"/>
+ <xs:enumeration value="fp32_t"/>
+ </xs:restriction>
+</xs:simpleType>
+
+<xs:simpleType name="typename">
+ <xs:restriction base="xs:string">
+ <xs:enumeration value="in_t"/>
+ <xs:enumeration value="out_t"/>
+ <xs:enumeration value="in_out_t"/>
+ <xs:enumeration value="acc_t"/>
+ <xs:enumeration value="weight_t"/>
+ <xs:enumeration value="cmp_t"/>
+ <xs:enumeration value="resize_t"/>
+ <xs:enumeration value="index_t"/>
+ <xs:enumeration value="value_t"/>
+ <xs:enumeration value="table_t"/>
+ <xs:enumeration value="TABLE_SIZE"/>
+ </xs:restriction>
+</xs:simpleType>
+
+<xs:simpleType name="argumentcategory">
+ <xs:restriction base="xs:string">
+ <xs:enumeration value="input"/>
+ <xs:enumeration value="output"/>
+ <xs:enumeration value="attribute"/>
+ <xs:enumeration value="input(MT)|attribute(BI,MI)"/>
+ </xs:restriction>
+</xs:simpleType>
+
+<!-- Element definitions -->
+
+<xs:element name="profile">
+ <xs:complexType>
+ <xs:simpleContent>
+ <xs:extension base="xs:string">
+ <xs:attribute name="name" type="profile" use="required"/>
+ </xs:extension>
+ </xs:simpleContent>
+ </xs:complexType>
+</xs:element>
+
+<xs:element name="profiles">
+ <xs:complexType>
+ <xs:sequence>
+ <xs:element ref="profile" maxOccurs="unbounded"/>
+ </xs:sequence>
+ </xs:complexType>
+</xs:element>
+
+<!-- TODO pattern for attribute name -->
+<!-- TODO enumerations/patterns for attribute type -->
+<!-- TODO enumerations/patterns for attribute shape -->
+<xs:element name="argument">
+ <xs:complexType>
+ <xs:sequence>
+ <xs:element name="description" type="xs:string"/>
+ </xs:sequence>
+ <xs:attribute name="category" type="argumentcategory" use="required"/>
+ <xs:attribute name="name" type="xs:string" use="required"/>
+ <xs:attribute name="type" type="xs:string" use="required"/>
+ <xs:attribute name="shape" type="xs:string" use="required"/>
+ </xs:complexType>
+</xs:element>
+
+<xs:element name="arguments">
+ <xs:complexType>
+ <xs:sequence>
+ <xs:element ref="argument" maxOccurs="unbounded"/>
+ </xs:sequence>
+ </xs:complexType>
+</xs:element>
+
+<xs:element name="type">
+ <xs:complexType>
+ <xs:attribute name="name" type="typename" use="required"/>
+ </xs:complexType>
+</xs:element>
+
+<xs:element name="types">
+ <xs:complexType>
+ <xs:sequence>
+ <xs:element ref="type" maxOccurs="unbounded"/>
+ </xs:sequence>
+ </xs:complexType>
+</xs:element>
+
+<xs:element name="typesupport">
+ <xs:complexType>
+ <xs:choice minOccurs="0" maxOccurs="unbounded">
+ <xs:element ref="profile"/>
+ </xs:choice>
+ <xs:attribute name="mode" type="xs:string" use="required"/>
+ <xs:attribute name="in_t" type="datatype"/>
+ <xs:attribute name="out_t" type="datatype"/>
+ <xs:attribute name="in_out_t" type="datatype"/>
+ <xs:attribute name="weight_t" type="datatype"/>
+ <xs:attribute name="acc_t" type="datatype"/>
+ <xs:attribute name="cmp_t" type="datatype"/>
+ <xs:attribute name="resize_t" type="datatype"/>
+ <xs:attribute name="index_t" type="datatype"/>
+ <xs:attribute name="value_t" type="datatype"/>
+ <xs:attribute name="table_t" type="datatype"/>
+ <xs:attribute name="TABLE_SIZE" type="xs:int"/>
+ </xs:complexType>
+</xs:element>
+
+<xs:element name="operator">
+ <xs:complexType>
+ <xs:sequence>
+ <xs:element name="name"/> <!-- TODO pattern -->
+ <xs:element ref="arguments"/>
+ <xs:element ref="types" minOccurs="0" />
+ <xs:element ref="typesupport" minOccurs="0" maxOccurs="unbounded"/>
+ </xs:sequence>
+ </xs:complexType>
+</xs:element>
+
+<xs:element name="operatorgroup">
+ <xs:complexType>
+ <xs:sequence>
+ <xs:element ref="operator" maxOccurs="unbounded"/>
+ </xs:sequence>
+ <xs:attribute name="name" type="xs:string" use="required"/>
+ </xs:complexType>
+</xs:element>
+
+<xs:element name="operators">
+ <xs:complexType>
+ <xs:sequence>
+ <xs:element ref="operatorgroup" maxOccurs="unbounded"/>
+ </xs:sequence>
+ </xs:complexType>
+</xs:element>
+
+<xs:element name="tosa">
+ <xs:complexType>
+ <xs:sequence>
+ <xs:element ref="profiles"/>
+ <xs:element ref="operators"/>
+ </xs:sequence>
+ </xs:complexType>
+</xs:element>
+
+</xs:schema>