aboutsummaryrefslogtreecommitdiffstats
path: root/resources/wasm.xml
diff options
context:
space:
mode:
Diffstat (limited to 'resources/wasm.xml')
-rw-r--r--resources/wasm.xml10
1 files changed, 5 insertions, 5 deletions
diff --git a/resources/wasm.xml b/resources/wasm.xml
index dfae936..8b31481 100644
--- a/resources/wasm.xml
+++ b/resources/wasm.xml
@@ -105,10 +105,10 @@
<Resizable_Limit name="resizable_limit_t" isaggregate="true">
<Flags name="flags" encoding="leb128u" type="uint8" count="1"></Flags>
<Initial name="initial" encoding="leb128u" type="uint32" count="1"></Initial>
- <Maximum name="maximum" encoding="leb128u" type="uint32" count="1"></Maximum>
+ <Maximum name="maximum" encoding="leb128u" type="uint32" count="self::Flags"></Maximum>
</Resizable_Limit>
<Global_Type name="global_type_t" isaggregate="true">
- <Value_Type name="value_type" type="uint32" count="1"></Value_Type>
+ <Value_Type name="value_type" type="uint8" count="1"></Value_Type>
<Mutability name="mutability" encoding="leb128u" type="uint8" count="1"></Mutability>
</Global_Type>
<Table_Type name="table_type_t" isaggregate="true">
@@ -156,13 +156,13 @@
</Element_Segment>
<Local_Entry name="W_Local_Entry" isaggregate="true">
<Count name="count" encoding="leb128u" type="uint32" count="1"/>
- <Type name="type" encoding="leb128u" type="uint16" count="self::Count"/>
+ <Type name="type" encoding="leb128u" type="uint16" count="1"/>
</Local_Entry>
<Function_Body name="W_Function_Body" isaggregate="true">
<Body_size name="body_size" encoding="leb128u" type="uint32" count="1"/>
- <Local_Count name="local_count" encoding="leb128u" type="uint32" count="1"/>
+ <Local_Count name="local_count" encoding="leb128u" type="uint32" count="1" sizeconst="begin"/>
<Local_Entries name="locals" type="self::Local_Entry" count="self::Local_Count"/>
- <Code name="code" type="uchar" count="self::Body_size"/>
+ <Code name="code" type="uchar" count="self::Body_size" sizeconst="end"/>
</Function_Body>
<Data_Segment name="W_Data_Segment" isaggregate="true">
<Index name="index" encoding="leb128u" type="uint32" count="1"/>