aboutsummaryrefslogtreecommitdiff
path: root/tosa.xsd
diff options
context:
space:
mode:
authorDominic Symes <dominic.symes@arm.com>2023-07-20 14:26:38 +0100
committerDominic Symes <dominic.symes@arm.com>2023-07-24 15:08:48 +0000
commit7b0f1c9a090fb7e4c39afad5bdb09a2036b389a6 (patch)
tree9cd98838013c022bc009c2864147480702feea61 /tosa.xsd
parent67f6b26eab3da732cc05f26be3b5ef3b6fdbcf64 (diff)
downloadspecification-7b0f1c9a090fb7e4c39afad5bdb09a2036b389a6.tar.gz
COND_IF/WHILE_LOOP: Add nesting level limit
Nesting of if/while is bounded by MAX_NESTING, set accoring to the TOSA level. Change-Id: If9435a143ffa6bd7ba2e46a68542459b3d723b76 Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Diffstat (limited to 'tosa.xsd')
-rw-r--r--tosa.xsd2
1 files changed, 2 insertions, 0 deletions
diff --git a/tosa.xsd b/tosa.xsd
index 40fd613..6aaf204 100644
--- a/tosa.xsd
+++ b/tosa.xsd
@@ -25,6 +25,7 @@
<xs:enumeration value="MAX_SCALE"/>
<xs:enumeration value="MAX_RANK"/>
<xs:enumeration value="MAX_LOG2_SIZE"/>
+ <xs:enumeration value="MAX_NESTING"/>
</xs:restriction>
</xs:simpleType>
@@ -119,6 +120,7 @@
<xs:attribute name="max_stride" type="xs:int" use="required"/>
<xs:attribute name="max_scale" type="xs:int" use="required"/>
<xs:attribute name="max_log2_size" type="xs:int" use="required"/>
+ <xs:attribute name="max_nesting" type="xs:int" use="required"/>
</xs:extension>
</xs:simpleContent>
</xs:complexType>