summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/port_passes_tests_to_lit.py15
-rw-r--r--test/lit/passes/legalize-js-interface-minimally.wast84
-rw-r--r--test/lit/passes/legalize-js-interface_all-features.wast195
-rw-r--r--test/lit/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.wast43
-rw-r--r--test/passes/legalize-js-interface-minimally.txt59
-rw-r--r--test/passes/legalize-js-interface-minimally.wast17
-rw-r--r--test/passes/legalize-js-interface_all-features.txt150
-rw-r--r--test/passes/legalize-js-interface_all-features.wast30
-rw-r--r--test/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.txt28
-rw-r--r--test/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.wast7
10 files changed, 334 insertions, 294 deletions
diff --git a/scripts/port_passes_tests_to_lit.py b/scripts/port_passes_tests_to_lit.py
index 4a71f741f..b2a1fd982 100755
--- a/scripts/port_passes_tests_to_lit.py
+++ b/scripts/port_passes_tests_to_lit.py
@@ -79,7 +79,10 @@ def port_test(args, test):
print(src_file.read(), file=dest_file, end='')
update_script = os.path.join(script_dir, 'update_lit_checks.py')
- subprocess.run([sys.executable, update_script, '-f', '--all-items', dest])
+ cmd = [sys.executable, update_script, '-f', '--all-items', dest]
+ if args.binaryen_bin:
+ cmd += ['--binaryen-bin', args.binaryen_bin]
+ subprocess.check_call(cmd)
if not args.no_delete:
for f in glob.glob(test.replace('.wast', '.*')):
@@ -88,14 +91,19 @@ def port_test(args, test):
continue
os.remove(f)
if args.git_add:
- subprocess.run(['git', 'add', f])
+ subprocess.rcheck_call(['git', 'add', f])
if args.git_add:
- subprocess.run(['git', 'add', dest])
+ subprocess.check_call(['git', 'add', dest])
def main():
parser = argparse.ArgumentParser(description=__doc__)
+ parser.add_argument(
+ '--binaryen-bin', dest='binaryen_bin', default='bin',
+ help=('Specifies the path to the Binaryen executables in the CMake build'
+ ' directory. Default: bin/ of current directory (i.e. assume an'
+ ' in-tree build).'))
parser.add_argument('-f', '--force', action='store_true',
help='Overwrite existing lit tests')
parser.add_argument('--no-delete', action='store_true',
@@ -104,6 +112,7 @@ def main():
help='Stage changes')
parser.add_argument('tests', nargs='+', help='The test files to port')
args = parser.parse_args()
+ args.binaryen_bin = os.path.abspath(args.binaryen_bin)
for pattern in args.tests:
for test in glob.glob(pattern, recursive=True):
diff --git a/test/lit/passes/legalize-js-interface-minimally.wast b/test/lit/passes/legalize-js-interface-minimally.wast
new file mode 100644
index 000000000..6c2c47136
--- /dev/null
+++ b/test/lit/passes/legalize-js-interface-minimally.wast
@@ -0,0 +1,84 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+;; NOTE: This test was ported using port_passes_tests_to_lit.py and could be cleaned up.
+
+;; RUN: foreach %s %t wasm-opt --legalize-js-interface-minimally -S -o - | filecheck %s
+
+(module
+ ;; CHECK: (type $none_=>_i64 (func (result i64)))
+
+ ;; CHECK: (type $i32_=>_none (func (param i32)))
+
+ ;; CHECK: (type $none_=>_i32 (func (result i32)))
+
+ ;; CHECK: (type $i64_=>_none (func (param i64)))
+
+ ;; CHECK: (type $i32_i32_=>_none (func (param i32 i32)))
+
+ ;; CHECK: (import "env" "imported" (func $imported (result i64)))
+ (import "env" "imported" (func $imported (result i64)))
+ ;; CHECK: (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
+ (import "env" "invoke_vj" (func $invoke_vj (param i64)))
+ ;; CHECK: (import "env" "invoke_vj" (func $legalimport$invoke_vj (param i32 i32)))
+
+ ;; CHECK: (export "func" (func $func))
+ (export "func" (func $func))
+ ;; CHECK: (export "dynCall_foo" (func $legalstub$dyn))
+ (export "dynCall_foo" (func $dyn))
+ ;; CHECK: (func $func (result i64)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (call $imported)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (call $legalfunc$invoke_vj
+ ;; CHECK-NEXT: (i64.const 0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (unreachable)
+ ;; CHECK-NEXT: )
+ (func $func (result i64)
+ (drop (call $imported))
+ (call $invoke_vj (i64.const 0))
+ (unreachable)
+ )
+ ;; CHECK: (func $dyn (result i64)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (call $imported)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (unreachable)
+ ;; CHECK-NEXT: )
+ (func $dyn (result i64)
+ (drop (call $imported))
+ (unreachable)
+ )
+)
+;; CHECK: (func $legalstub$dyn (result i32)
+;; CHECK-NEXT: (local $0 i64)
+;; CHECK-NEXT: (local.set $0
+;; CHECK-NEXT: (call $dyn)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (call $setTempRet0
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (i64.shr_u
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+
+;; CHECK: (func $legalfunc$invoke_vj (param $0 i64)
+;; CHECK-NEXT: (call $legalimport$invoke_vj
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (i64.shr_u
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+(module)
+
diff --git a/test/lit/passes/legalize-js-interface_all-features.wast b/test/lit/passes/legalize-js-interface_all-features.wast
new file mode 100644
index 000000000..3ffe2acd7
--- /dev/null
+++ b/test/lit/passes/legalize-js-interface_all-features.wast
@@ -0,0 +1,195 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+;; NOTE: This test was ported using port_passes_tests_to_lit.py and could be cleaned up.
+
+;; RUN: foreach %s %t wasm-opt --legalize-js-interface --all-features -S -o - | filecheck %s
+
+(module
+ ;; CHECK: (type $none_=>_i32 (func (result i32)))
+
+ ;; CHECK: (type $none_=>_i64 (func (result i64)))
+
+ ;; CHECK: (type $i32_i32_i32_i32_i32_=>_none (func (param i32 i32 i32 i32 i32)))
+
+ ;; CHECK: (type $none_=>_none (func))
+
+ ;; CHECK: (type $i32_=>_none (func (param i32)))
+
+ ;; CHECK: (type $i32_i64_i64_=>_none (func (param i32 i64 i64)))
+
+ ;; CHECK: (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
+ (import "env" "imported" (func $imported (result i64)))
+ ;; CHECK: (import "env" "getTempRet0" (func $getTempRet0 (result i32)))
+ (import "env" "other" (func $other (param i32) (param i64) (param i64)))
+ ;; CHECK: (import "env" "imported" (func $legalimport$imported (result i32)))
+ (import "env" "ref-func-arg" (func $ref-func-arg (result i64)))
+ ;; CHECK: (import "env" "other" (func $legalimport$other (param i32 i32 i32 i32 i32)))
+
+ ;; CHECK: (import "env" "ref-func-arg" (func $legalimport$ref-func-arg (result i32)))
+
+ ;; CHECK: (elem declare func $legalfunc$ref-func-arg)
+
+ ;; CHECK: (export "func" (func $legalstub$func))
+ (export "func" (func $func))
+ ;; CHECK: (export "ref-func-test" (func $ref-func-test))
+ (export "ref-func-test" (func $ref-func-test))
+ ;; CHECK: (export "imported" (func $legalstub$imported))
+ (export "imported" (func $imported))
+ ;; CHECK: (export "imported_again" (func $legalstub$imported))
+ (export "imported_again" (func $imported))
+ ;; CHECK: (export "other" (func $legalstub$other))
+ (export "other" (func $other))
+ ;; CHECK: (func $func (result i64)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (call $legalfunc$imported)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (call $legalfunc$other
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: (i64.const 0)
+ ;; CHECK-NEXT: (i64.const 0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (unreachable)
+ ;; CHECK-NEXT: )
+ (func $func (result i64)
+ (drop (call $imported))
+ (call $other
+ (i32.const 0)
+ (i64.const 0)
+ (i64.const 0)
+ )
+ (unreachable)
+ )
+
+ ;; ref.func must also be updated.
+ ;; CHECK: (func $ref-func-test
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (call $legalfunc$ref-func-arg)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (ref.func $legalfunc$ref-func-arg)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $ref-func-test
+ (drop
+ (call $ref-func-arg)
+ )
+ (drop
+ (ref.func $ref-func-arg)
+ )
+ )
+)
+;; CHECK: (func $legalstub$func (result i32)
+;; CHECK-NEXT: (local $0 i64)
+;; CHECK-NEXT: (local.set $0
+;; CHECK-NEXT: (call $func)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (call $setTempRet0
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (i64.shr_u
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+
+;; CHECK: (func $legalstub$imported (result i32)
+;; CHECK-NEXT: (local $0 i64)
+;; CHECK-NEXT: (local.set $0
+;; CHECK-NEXT: (call $legalfunc$imported)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (call $setTempRet0
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (i64.shr_u
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+
+;; CHECK: (func $legalstub$other (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32)
+;; CHECK-NEXT: (call $legalfunc$other
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: (i64.or
+;; CHECK-NEXT: (i64.extend_i32_u
+;; CHECK-NEXT: (local.get $1)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i64.shl
+;; CHECK-NEXT: (i64.extend_i32_u
+;; CHECK-NEXT: (local.get $2)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i64.or
+;; CHECK-NEXT: (i64.extend_i32_u
+;; CHECK-NEXT: (local.get $3)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i64.shl
+;; CHECK-NEXT: (i64.extend_i32_u
+;; CHECK-NEXT: (local.get $4)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+
+;; CHECK: (func $legalfunc$imported (result i64)
+;; CHECK-NEXT: (i64.or
+;; CHECK-NEXT: (i64.extend_i32_u
+;; CHECK-NEXT: (call $legalimport$imported)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i64.shl
+;; CHECK-NEXT: (i64.extend_i32_u
+;; CHECK-NEXT: (call $getTempRet0)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+
+;; CHECK: (func $legalfunc$other (param $0 i32) (param $1 i64) (param $2 i64)
+;; CHECK-NEXT: (call $legalimport$other
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (local.get $1)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (i64.shr_u
+;; CHECK-NEXT: (local.get $1)
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (local.get $2)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (i64.shr_u
+;; CHECK-NEXT: (local.get $2)
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+
+;; CHECK: (func $legalfunc$ref-func-arg (result i64)
+;; CHECK-NEXT: (i64.or
+;; CHECK-NEXT: (i64.extend_i32_u
+;; CHECK-NEXT: (call $legalimport$ref-func-arg)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i64.shl
+;; CHECK-NEXT: (i64.extend_i32_u
+;; CHECK-NEXT: (call $getTempRet0)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+(module)
diff --git a/test/lit/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.wast b/test/lit/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.wast
new file mode 100644
index 000000000..abf6aa1da
--- /dev/null
+++ b/test/lit/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.wast
@@ -0,0 +1,43 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+;; NOTE: This test was ported using port_passes_tests_to_lit.py and could be cleaned up.
+
+;; RUN: foreach %s %t wasm-opt --legalize-js-interface --pass-arg=legalize-js-interface-export-originals -S -o - | filecheck %s
+
+(module
+ ;; CHECK: (type $none_=>_i64 (func (result i64)))
+
+ ;; CHECK: (type $i32_=>_none (func (param i32)))
+
+ ;; CHECK: (type $none_=>_i32 (func (result i32)))
+
+ ;; CHECK: (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
+
+ ;; CHECK: (export "func" (func $legalstub$func))
+ (export "func" (func $func))
+ ;; CHECK: (export "orig$func" (func $func))
+
+ ;; CHECK: (func $func (result i64)
+ ;; CHECK-NEXT: (unreachable)
+ ;; CHECK-NEXT: )
+ (func $func (result i64)
+ (unreachable)
+ )
+)
+
+;; CHECK: (func $legalstub$func (result i32)
+;; CHECK-NEXT: (local $0 i64)
+;; CHECK-NEXT: (local.set $0
+;; CHECK-NEXT: (call $func)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (call $setTempRet0
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (i64.shr_u
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: (i64.const 32)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
+;; CHECK-NEXT: (i32.wrap_i64
+;; CHECK-NEXT: (local.get $0)
+;; CHECK-NEXT: )
+;; CHECK-NEXT: )
diff --git a/test/passes/legalize-js-interface-minimally.txt b/test/passes/legalize-js-interface-minimally.txt
deleted file mode 100644
index 2234344b2..000000000
--- a/test/passes/legalize-js-interface-minimally.txt
+++ /dev/null
@@ -1,59 +0,0 @@
-(module
- (type $none_=>_i64 (func (result i64)))
- (type $i32_=>_none (func (param i32)))
- (type $none_=>_i32 (func (result i32)))
- (type $i64_=>_none (func (param i64)))
- (type $i32_i32_=>_none (func (param i32 i32)))
- (import "env" "imported" (func $imported (result i64)))
- (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
- (import "env" "invoke_vj" (func $legalimport$invoke_vj (param i32 i32)))
- (export "func" (func $func))
- (export "dynCall_foo" (func $legalstub$dyn))
- (func $func (result i64)
- (drop
- (call $imported)
- )
- (call $legalfunc$invoke_vj
- (i64.const 0)
- )
- (unreachable)
- )
- (func $dyn (result i64)
- (drop
- (call $imported)
- )
- (unreachable)
- )
- (func $legalstub$dyn (result i32)
- (local $0 i64)
- (local.set $0
- (call $dyn)
- )
- (call $setTempRet0
- (i32.wrap_i64
- (i64.shr_u
- (local.get $0)
- (i64.const 32)
- )
- )
- )
- (i32.wrap_i64
- (local.get $0)
- )
- )
- (func $legalfunc$invoke_vj (param $0 i64)
- (call $legalimport$invoke_vj
- (i32.wrap_i64
- (local.get $0)
- )
- (i32.wrap_i64
- (i64.shr_u
- (local.get $0)
- (i64.const 32)
- )
- )
- )
- )
-)
-(module
-)
diff --git a/test/passes/legalize-js-interface-minimally.wast b/test/passes/legalize-js-interface-minimally.wast
deleted file mode 100644
index e820734be..000000000
--- a/test/passes/legalize-js-interface-minimally.wast
+++ /dev/null
@@ -1,17 +0,0 @@
-(module
- (import "env" "imported" (func $imported (result i64)))
- (import "env" "invoke_vj" (func $invoke_vj (param i64)))
- (export "func" (func $func))
- (export "dynCall_foo" (func $dyn))
- (func $func (result i64)
- (drop (call $imported))
- (call $invoke_vj (i64.const 0))
- (unreachable)
- )
- (func $dyn (result i64)
- (drop (call $imported))
- (unreachable)
- )
-)
-(module)
-
diff --git a/test/passes/legalize-js-interface_all-features.txt b/test/passes/legalize-js-interface_all-features.txt
deleted file mode 100644
index b1c57b0b8..000000000
--- a/test/passes/legalize-js-interface_all-features.txt
+++ /dev/null
@@ -1,150 +0,0 @@
-(module
- (type $none_=>_i32 (func (result i32)))
- (type $none_=>_i64 (func (result i64)))
- (type $i32_i32_i32_i32_i32_=>_none (func (param i32 i32 i32 i32 i32)))
- (type $none_=>_none (func))
- (type $i32_=>_none (func (param i32)))
- (type $i32_i64_i64_=>_none (func (param i32 i64 i64)))
- (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
- (import "env" "getTempRet0" (func $getTempRet0 (result i32)))
- (import "env" "imported" (func $legalimport$imported (result i32)))
- (import "env" "other" (func $legalimport$other (param i32 i32 i32 i32 i32)))
- (import "env" "ref-func-arg" (func $legalimport$ref-func-arg (result i32)))
- (elem declare func $legalfunc$ref-func-arg)
- (export "func" (func $legalstub$func))
- (export "ref-func-test" (func $ref-func-test))
- (export "imported" (func $legalstub$imported))
- (export "imported_again" (func $legalstub$imported))
- (export "other" (func $legalstub$other))
- (func $func (result i64)
- (drop
- (call $legalfunc$imported)
- )
- (call $legalfunc$other
- (i32.const 0)
- (i64.const 0)
- (i64.const 0)
- )
- (unreachable)
- )
- (func $ref-func-test
- (drop
- (call $legalfunc$ref-func-arg)
- )
- (drop
- (ref.func $legalfunc$ref-func-arg)
- )
- )
- (func $legalstub$func (result i32)
- (local $0 i64)
- (local.set $0
- (call $func)
- )
- (call $setTempRet0
- (i32.wrap_i64
- (i64.shr_u
- (local.get $0)
- (i64.const 32)
- )
- )
- )
- (i32.wrap_i64
- (local.get $0)
- )
- )
- (func $legalstub$imported (result i32)
- (local $0 i64)
- (local.set $0
- (call $legalfunc$imported)
- )
- (call $setTempRet0
- (i32.wrap_i64
- (i64.shr_u
- (local.get $0)
- (i64.const 32)
- )
- )
- )
- (i32.wrap_i64
- (local.get $0)
- )
- )
- (func $legalstub$other (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32)
- (call $legalfunc$other
- (local.get $0)
- (i64.or
- (i64.extend_i32_u
- (local.get $1)
- )
- (i64.shl
- (i64.extend_i32_u
- (local.get $2)
- )
- (i64.const 32)
- )
- )
- (i64.or
- (i64.extend_i32_u
- (local.get $3)
- )
- (i64.shl
- (i64.extend_i32_u
- (local.get $4)
- )
- (i64.const 32)
- )
- )
- )
- )
- (func $legalfunc$imported (result i64)
- (i64.or
- (i64.extend_i32_u
- (call $legalimport$imported)
- )
- (i64.shl
- (i64.extend_i32_u
- (call $getTempRet0)
- )
- (i64.const 32)
- )
- )
- )
- (func $legalfunc$other (param $0 i32) (param $1 i64) (param $2 i64)
- (call $legalimport$other
- (local.get $0)
- (i32.wrap_i64
- (local.get $1)
- )
- (i32.wrap_i64
- (i64.shr_u
- (local.get $1)
- (i64.const 32)
- )
- )
- (i32.wrap_i64
- (local.get $2)
- )
- (i32.wrap_i64
- (i64.shr_u
- (local.get $2)
- (i64.const 32)
- )
- )
- )
- )
- (func $legalfunc$ref-func-arg (result i64)
- (i64.or
- (i64.extend_i32_u
- (call $legalimport$ref-func-arg)
- )
- (i64.shl
- (i64.extend_i32_u
- (call $getTempRet0)
- )
- (i64.const 32)
- )
- )
- )
-)
-(module
-)
diff --git a/test/passes/legalize-js-interface_all-features.wast b/test/passes/legalize-js-interface_all-features.wast
deleted file mode 100644
index 7f4352f27..000000000
--- a/test/passes/legalize-js-interface_all-features.wast
+++ /dev/null
@@ -1,30 +0,0 @@
-(module
- (import "env" "imported" (func $imported (result i64)))
- (import "env" "other" (func $other (param i32) (param i64) (param i64)))
- (import "env" "ref-func-arg" (func $ref-func-arg (result i64)))
- (export "func" (func $func))
- (export "ref-func-test" (func $ref-func-test))
- (export "imported" (func $imported))
- (export "imported_again" (func $imported))
- (export "other" (func $other))
- (func $func (result i64)
- (drop (call $imported))
- (call $other
- (i32.const 0)
- (i64.const 0)
- (i64.const 0)
- )
- (unreachable)
- )
-
- ;; ref.func must also be updated.
- (func $ref-func-test
- (drop
- (call $ref-func-arg)
- )
- (drop
- (ref.func $ref-func-arg)
- )
- )
-)
-(module)
diff --git a/test/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.txt b/test/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.txt
deleted file mode 100644
index 1327a4340..000000000
--- a/test/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.txt
+++ /dev/null
@@ -1,28 +0,0 @@
-(module
- (type $none_=>_i64 (func (result i64)))
- (type $i32_=>_none (func (param i32)))
- (type $none_=>_i32 (func (result i32)))
- (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
- (export "func" (func $legalstub$func))
- (export "orig$func" (func $func))
- (func $func (result i64)
- (unreachable)
- )
- (func $legalstub$func (result i32)
- (local $0 i64)
- (local.set $0
- (call $func)
- )
- (call $setTempRet0
- (i32.wrap_i64
- (i64.shr_u
- (local.get $0)
- (i64.const 32)
- )
- )
- )
- (i32.wrap_i64
- (local.get $0)
- )
- )
-)
diff --git a/test/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.wast b/test/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.wast
deleted file mode 100644
index 4b55fa920..000000000
--- a/test/passes/legalize-js-interface_pass-arg=legalize-js-interface-export-originals.wast
+++ /dev/null
@@ -1,7 +0,0 @@
-(module
- (export "func" (func $func))
- (func $func (result i64)
- (unreachable)
- )
-)
-