From d8ce92a439838c1f85698b5e5cce8fb7d25ccb7f Mon Sep 17 00:00:00 2001
From: bloodstalker <thabogre@gmail.com>
Date: Fri, 5 Oct 2018 18:37:02 +0330
Subject: now supports size-bound reads

---
 resources/wasm.xml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'resources/wasm.xml')

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"/>
-- 
cgit v1.2.3