pezkuwichain/wasm-instrument
1
0
Fork 0
mirror of https://github.com/pezkuwichain/wasm-instrument.git synced 2026-07-23 14:25:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

update wabt

Browse Source
This commit is contained in:
NikVolf
2020-08-03 14:00:07 +03:00
parent dcf189b822
commit 3f2935df9c
11 changed files with 96 additions and 96 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Cargo.toml
+1 -1
View File
@@ -16,7 +16,7 @@ byteorder = { version = "1", default-features = false }
[dev-dependencies] [dev-dependencies]
tempdir = "0.3" tempdir = "0.3"
wabt = "0.2" wabt = "0.10"
diff = "0.1.11" diff = "0.1.11"
indoc = "0.3" indoc = "0.3"
rand = "0.7" rand = "0.7"
tests/expectations/gas/branch.wat
+11 -11
View File
@@ -8,22 +8,22 @@
call 0 call 0
block ;; label = @1 block ;; label = @1
i32.const 0 i32.const 0
set_local 0 local.set 0
i32.const 1 i32.const 1
set_local 1 local.set 1
get_local 0 local.get 0
get_local 1 local.get 1
tee_local 0 local.tee 0
i32.add i32.add
set_local 1 local.set 1
i32.const 1 i32.const 1
br_if 0 (;@1;) br_if 0 (;@1;)
i32.const 5 i32.const 5
call 0 call 0
get_local 0 local.get 0
get_local 1 local.get 1
tee_local 0 local.tee 0
i32.add i32.add
set_local 1 local.set 1
end end
get_local 1)) local.get 1))
tests/expectations/gas/call.wat
+6 -6
View File
@@ -6,14 +6,14 @@
(local i32) (local i32)
i32.const 5 i32.const 5
call 0 call 0
get_local 0 local.get 0
get_local 1 local.get 1
call 2 call 2
set_local 2 local.set 2
get_local 2) local.get 2)
(func (;2;) (type 0) (param i32 i32) (result i32) (func (;2;) (type 0) (param i32 i32) (result i32)
i32.const 3 i32.const 3
call 0 call 0
get_local 0 local.get 0
get_local 1 local.get 1
i32.add)) i32.add))
tests/expectations/gas/ifs.wat
+2 -2
View File
@@ -9,12 +9,12 @@
if (result i32) ;; label = @1 if (result i32) ;; label = @1
i32.const 3 i32.const 3
call 0 call 0
get_local 0 local.get 0
i32.const 1 i32.const 1
i32.add i32.add
else else
i32.const 2 i32.const 2
call 0 call 0
get_local 0 local.get 0
i32.popcnt i32.popcnt
end)) end))
tests/expectations/gas/start.wat
+1 -1
View File
@@ -15,4 +15,4 @@
(func (;3;) (type 1)) (func (;3;) (type 1))
(export "call" (func 3)) (export "call" (func 3))
(start 2) (start 2)
(data (i32.const 8) "\01\02\03\04")) (data (;0;) (i32.const 8) "\01\02\03\04"))
tests/expectations/stack-height/global.wat
+19 -19
View File
@@ -4,52 +4,52 @@
(type (;2;) (func (param i32))) (type (;2;) (func (param i32)))
(import "env" "foo" (func (;0;) (type 0))) (import "env" "foo" (func (;0;) (type 0)))
(func (;1;) (type 1) (param i32 i32) (result i32) (func (;1;) (type 1) (param i32 i32) (result i32)
get_local 0 local.get 0
get_local 1 local.get 1
i32.add) i32.add)
(func (;2;) (type 2) (param i32) (func (;2;) (type 2) (param i32)
(local i32) (local i32)
get_global 0 global.get 0
i32.const 1 i32.const 1
i32.add i32.add
tee_local 1 local.tee 1
set_global 0 global.set 0
get_local 1 local.get 1
get_local 0 local.get 0
get_global 1 global.get 1
i32.const 2 i32.const 2
i32.add i32.add
set_global 1 global.set 1
get_global 1 global.get 1
i32.const 1024 i32.const 1024
i32.gt_u i32.gt_u
if ;; label = @1 if ;; label = @1
unreachable unreachable
end end
call 1 call 1
get_global 1 global.get 1
i32.const 2 i32.const 2
i32.sub i32.sub
set_global 1 global.set 1
drop) drop)
(func (;3;) (type 1) (param i32 i32) (result i32) (func (;3;) (type 1) (param i32 i32) (result i32)
get_local 0 local.get 0
get_local 1 local.get 1
get_global 1 global.get 1
i32.const 2 i32.const 2
i32.add i32.add
set_global 1 global.set 1
get_global 1 global.get 1
i32.const 1024 i32.const 1024
i32.gt_u i32.gt_u
if ;; label = @1 if ;; label = @1
unreachable unreachable
end end
call 1 call 1
get_global 1 global.get 1
i32.const 2 i32.const 2
i32.sub i32.sub
set_global 1) global.set 1)
(global (;0;) (mut i32) (i32.const 1)) (global (;0;) (mut i32) (i32.const 1))
(global (;1;) (mut i32) (i32.const 0)) (global (;1;) (mut i32) (i32.const 0))
(export "i32.add" (func 3))) (export "i32.add" (func 3)))
tests/expectations/stack-height/imports.wat
+9 -9
View File
@@ -6,26 +6,26 @@
(func (;2;) (type 1) (param i32 i32) (result i32) (func (;2;) (type 1) (param i32 i32) (result i32)
call 0 call 0
call 1 call 1
get_local 0 local.get 0
get_local 1 local.get 1
i32.add) i32.add)
(func (;3;) (type 1) (param i32 i32) (result i32) (func (;3;) (type 1) (param i32 i32) (result i32)
get_local 0 local.get 0
get_local 1 local.get 1
get_global 0 global.get 0
i32.const 2 i32.const 2
i32.add i32.add
set_global 0 global.set 0
get_global 0 global.get 0
i32.const 1024 i32.const 1024
i32.gt_u i32.gt_u
if ;; label = @1 if ;; label = @1
unreachable unreachable
end end
call 2 call 2
get_global 0 global.get 0
i32.const 2 i32.const 2
i32.sub i32.sub
set_global 0) global.set 0)
(global (;0;) (mut i32) (i32.const 0)) (global (;0;) (mut i32) (i32.const 0))
(export "i32.add" (func 3))) (export "i32.add" (func 3)))
tests/expectations/stack-height/simple.wat
+5 -5
View File
@@ -4,20 +4,20 @@
i32.const 123 i32.const 123
drop) drop)
(func (;1;) (type 0) (func (;1;) (type 0)
get_global 0 global.get 0
i32.const 1 i32.const 1
i32.add i32.add
set_global 0 global.set 0
get_global 0 global.get 0
i32.const 1024 i32.const 1024
i32.gt_u i32.gt_u
if ;; label = @1 if ;; label = @1
unreachable unreachable
end end
call 0 call 0
get_global 0 global.get 0
i32.const 1 i32.const 1
i32.sub i32.sub
set_global 0) global.set 0)
(global (;0;) (mut i32) (i32.const 0)) (global (;0;) (mut i32) (i32.const 0))
(export "simple" (func 1))) (export "simple" (func 1)))
tests/expectations/stack-height/start.wat
+10 -10
View File
@@ -7,37 +7,37 @@
(local i32)) (local i32))
(func (;2;) (type 1)) (func (;2;) (type 1))
(func (;3;) (type 1) (func (;3;) (type 1)
get_global 0 global.get 0
i32.const 1 i32.const 1
i32.add i32.add
set_global 0 global.set 0
get_global 0 global.get 0
i32.const 1024 i32.const 1024
i32.gt_u i32.gt_u
if ;; label = @1 if ;; label = @1
unreachable unreachable
end end
call 1 call 1
get_global 0 global.get 0
i32.const 1 i32.const 1
i32.sub i32.sub
set_global 0) global.set 0)
(func (;4;) (type 1) (func (;4;) (type 1)
get_global 0 global.get 0
i32.const 1 i32.const 1
i32.add i32.add
set_global 0 global.set 0
get_global 0 global.get 0
i32.const 1024 i32.const 1024
i32.gt_u i32.gt_u
if ;; label = @1 if ;; label = @1
unreachable unreachable
end end
call 1 call 1
get_global 0 global.get 0
i32.const 1 i32.const 1
i32.sub i32.sub
set_global 0) global.set 0)
(global (;0;) (mut i32) (i32.const 0)) (global (;0;) (mut i32) (i32.const 0))
(export "exported_start" (func 4)) (export "exported_start" (func 4))
(export "call" (func 2)) (export "call" (func 2))
tests/expectations/stack-height/table.wat
+30 -30
View File
@@ -4,82 +4,82 @@
(type (;2;) (func (param i32 i32) (result i32))) (type (;2;) (func (param i32 i32) (result i32)))
(import "env" "foo" (func (;0;) (type 0))) (import "env" "foo" (func (;0;) (type 0)))
(func (;1;) (type 1) (param i32) (func (;1;) (type 1) (param i32)
get_local 0 local.get 0
i32.const 0 i32.const 0
get_global 0 global.get 0
i32.const 2 i32.const 2
i32.add i32.add
set_global 0 global.set 0
get_global 0 global.get 0
i32.const 1024 i32.const 1024
i32.gt_u i32.gt_u
if ;; label = @1 if ;; label = @1
unreachable unreachable
end end
call 2 call 2
get_global 0 global.get 0
i32.const 2 i32.const 2
i32.sub i32.sub
set_global 0 global.set 0
drop) drop)
(func (;2;) (type 2) (param i32 i32) (result i32) (func (;2;) (type 2) (param i32 i32) (result i32)
get_local 0 local.get 0
get_local 1 local.get 1
i32.add) i32.add)
(func (;3;) (type 2) (param i32 i32) (result i32) (func (;3;) (type 2) (param i32 i32) (result i32)
get_local 0 local.get 0
get_local 1 local.get 1
get_global 0 global.get 0
i32.const 2 i32.const 2
i32.add i32.add
set_global 0 global.set 0
get_global 0 global.get 0
i32.const 1024 i32.const 1024
i32.gt_u i32.gt_u
if ;; label = @1 if ;; label = @1
unreachable unreachable
end end
call 2 call 2
get_global 0 global.get 0
i32.const 2 i32.const 2
i32.sub i32.sub
set_global 0) global.set 0)
(func (;4;) (type 1) (param i32) (func (;4;) (type 1) (param i32)
get_local 0 local.get 0
get_global 0 global.get 0
i32.const 2 i32.const 2
i32.add i32.add
set_global 0 global.set 0
get_global 0 global.get 0
i32.const 1024 i32.const 1024
i32.gt_u i32.gt_u
if ;; label = @1 if ;; label = @1
unreachable unreachable
end end
call 1 call 1
get_global 0 global.get 0
i32.const 2 i32.const 2
i32.sub i32.sub
set_global 0) global.set 0)
(func (;5;) (type 2) (param i32 i32) (result i32) (func (;5;) (type 2) (param i32 i32) (result i32)
get_local 0 local.get 0
get_local 1 local.get 1
get_global 0 global.get 0
i32.const 2 i32.const 2
i32.add i32.add
set_global 0 global.set 0
get_global 0 global.get 0
i32.const 1024 i32.const 1024
i32.gt_u i32.gt_u
if ;; label = @1 if ;; label = @1
unreachable unreachable
end end
call 2 call 2
get_global 0 global.get 0
i32.const 2 i32.const 2
i32.sub i32.sub
set_global 0) global.set 0)
(table (;0;) 10 anyfunc) (table (;0;) 10 funcref)
(global (;0;) (mut i32) (i32.const 0)) (global (;0;) (mut i32) (i32.const 0))
(export "i32.add" (func 5)) (export "i32.add" (func 5))
(elem (i32.const 0) 0 4 5)) (elem (;0;) (i32.const 0) func 0 4 5))
tests/fixtures/stack-height/global.wat
Vendored
+2 -2
View File
@@ -12,11 +12,11 @@
(func (param $arg i32) (func (param $arg i32)
(local $tmp i32) (local $tmp i32)
get_global 0 global.get 0
i32.const 1 i32.const 1
i32.add i32.add
tee_local $tmp tee_local $tmp
set_global $counter global.set $counter
get_local $tmp get_local $tmp
get_local $arg get_local $arg