diff options
Diffstat (limited to 'test/wasm-only.fromasm.imprecise')
| -rw-r--r-- | test/wasm-only.fromasm.imprecise | 174 |
1 files changed, 23 insertions, 151 deletions
diff --git a/test/wasm-only.fromasm.imprecise b/test/wasm-only.fromasm.imprecise index 6f0cdef47..87e328ab1 100644 --- a/test/wasm-only.fromasm.imprecise +++ b/test/wasm-only.fromasm.imprecise @@ -143,21 +143,23 @@ ) ) ) - (func $imports (; 8 ;) (; has Stack IR ;) (result i64) + (func $imports (; 8 ;) (; has Stack IR ;) (call $legalfunc$illegalImport (f64.const -3.13159) (i64.const 94489280523) (i32.const -33) ) - (i64.or - (i64.extend_i32_u - (call $legalimport$illegalImportResult) - ) - (i64.shl + (drop + (i64.or (i64.extend_i32_u - (call $getTempRet0) + (call $legalimport$illegalImportResult) + ) + (i64.shl + (i64.extend_i32_u + (call $getTempRet0) + ) + (i64.const 32) ) - (i64.const 32) ) ) ) @@ -204,149 +206,30 @@ ) (i64.const 245127260211081) ) - (func $ifValue32 (; 13 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32) + (func $ifValue64 (; 13 ;) (; has Stack IR ;) + (drop + (call $call2 + (i64.const 0) + ) + ) + ) + (func $ifValue32 (; 14 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32) (call $ifValue32 (local.get $0) (local.get $1) ) ) - (func $unreachable_leftovers (; 14 ;) (; has Stack IR ;) + (func $unreachable_leftovers (; 15 ;) (; has Stack IR ;) (i32.store (i32.const 0) (i32.const -2) ) ) - (func $_memchr (; 15 ;) (; has Stack IR ;) (result i32) - (local $0 i32) - (local $1 i32) - (local $2 i32) - (block $label$break$L8 - (block $__rjti$2 - (br_if $__rjti$2 - (local.get $0) - ) - (local.set $0 - (i32.const 0) - ) - (br $label$break$L8) - ) - (local.set $0 - (local.get $2) - ) - (if - (i32.load8_u - (local.get $1) - ) - (block - (block $__rjto$0 - (block $__rjti$0 - (br_if $__rjti$0 - (i32.le_u - (local.get $0) - (i32.const 3) - ) - ) - (loop $while-in3 - (if - (i32.eqz - (i32.and - (i32.xor - (i32.and - (local.tee $2 - (i32.load - (local.get $1) - ) - ) - (i32.const -2139062144) - ) - (i32.const -2139062144) - ) - (i32.add - (local.get $2) - (i32.const -16843009) - ) - ) - ) - (block - (local.set $1 - (i32.add - (local.get $1) - (i32.const 4) - ) - ) - (br_if $while-in3 - (i32.gt_u - (local.tee $0 - (i32.add - (local.get $0) - (i32.const -4) - ) - ) - (i32.const 3) - ) - ) - (br $__rjti$0) - ) - ) - ) - (br $__rjto$0) - ) - (if - (i32.eqz - (local.get $0) - ) - (block - (local.set $0 - (i32.const 0) - ) - (br $label$break$L8) - ) - ) - ) - (local.set $0 - (loop $while-in5 (result i32) - (br_if $label$break$L8 - (i32.eqz - (i32.load8_u - (local.get $1) - ) - ) - ) - (local.set $1 - (i32.add - (local.get $1) - (i32.const 1) - ) - ) - (br_if $while-in5 - (local.tee $0 - (i32.add - (local.get $0) - (i32.const -1) - ) - ) - ) - (i32.const 0) - ) - ) - ) - ) - ) - (select - (local.get $1) - (i32.const 0) - (local.get $0) - ) - ) (func $keepAlive (; 16 ;) (; has Stack IR ;) (call $stores) (call $stores) - (drop - (call $imports) - ) - (drop - (call $imports) - ) + (call $imports) + (call $imports) (call $arg (i64.const 0) ) @@ -373,16 +256,8 @@ (i64.const 0) ) ) - (drop - (call $call2 - (i64.const 0) - ) - ) - (drop - (call $call2 - (i64.const 0) - ) - ) + (call $ifValue64) + (call $ifValue64) (drop (call $ifValue32 (i32.const 0) @@ -397,9 +272,6 @@ ) (call $unreachable_leftovers) (call $unreachable_leftovers) - (drop - (call $_memchr) - ) ) (func $legalstub$illegalParam (; 17 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 f64) (call $illegalParam |