diff options
Diffstat (limited to 'test/unit.fromasm.imprecise')
-rw-r--r-- | test/unit.fromasm.imprecise | 268 |
1 files changed, 134 insertions, 134 deletions
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise index e1e379885..869873ec1 100644 --- a/test/unit.fromasm.imprecise +++ b/test/unit.fromasm.imprecise @@ -8,8 +8,8 @@ (type $FUNCSIG$dd (func (param f64) (result f64))) (type $FUNCSIG$i (func (result i32))) (import "env" "memory" (memory $memory 256 256)) - (import "env" "table" (table $table 25 25 anyfunc)) - (elem (get_global $__table_base) $big_negative $big_negative $big_negative $big_negative $w $w $importedDoubles $w $z $cneg $z $z $z $z $z $z $vi $vi $vi $vi $vi $vi $vi $vi $ii) + (import "env" "table" (table $table 25 25 funcref)) + (elem (global.get $__table_base) $big_negative $big_negative $big_negative $big_negative $w $w $importedDoubles $w $z $cneg $z $z $z $z $z $z $vi $vi $vi $vi $vi $vi $vi $vi $ii) (import "env" "__table_base" (global $__table_base i32)) (import "env" "gb" (global $n$asm2wasm$import i32)) (import "env" "setTempRet0" (func $setTempRet0 (param i32) (result i32))) @@ -21,7 +21,7 @@ (import "asm2wasm" "f64-rem" (func $f64-rem (param f64 f64) (result f64))) (global $Int (mut i32) (i32.const 0)) (global $Double (mut f64) (f64.const 0)) - (global $n (mut i32) (get_global $n$asm2wasm$import)) + (global $n (mut i32) (global.get $n$asm2wasm$import)) (global $exportedNumber i32 (i32.const 42)) (export "big_negative" (func $big_negative)) (export "pick" (func $big_negative)) @@ -79,7 +79,7 @@ (func $importedDoubles (; 8 ;) (; has Stack IR ;) (result f64) (if (i32.gt_s - (get_global $Int) + (global.get $Int) (i32.const 0) ) (return @@ -88,7 +88,7 @@ ) (if (f64.gt - (get_global $Double) + (global.get $Double) (f64.const 0) ) (return @@ -100,7 +100,7 @@ (func $doubleCompares (; 9 ;) (; has Stack IR ;) (param $0 f64) (param $1 f64) (result f64) (if (f64.gt - (get_local $0) + (local.get $0) (f64.const 0) ) (return @@ -109,7 +109,7 @@ ) (if (f64.gt - (get_local $0) + (local.get $0) (f64.const 0) ) (return @@ -118,7 +118,7 @@ ) (if (i32.gt_s - (get_global $n) + (global.get $n) (i32.const 0) ) (return @@ -127,18 +127,18 @@ ) (if (f64.lt - (get_local $0) - (get_local $1) + (local.get $0) + (local.get $1) ) (return - (get_local $0) + (local.get $0) ) ) - (get_local $1) + (local.get $1) ) (func $intOps (; 10 ;) (; has Stack IR ;) (param $0 i32) (result i32) (i32.eqz - (get_local $0) + (local.get $0) ) ) (func $switcher (; 11 ;) (; has Stack IR ;) (param $0 i32) (result i32) @@ -147,7 +147,7 @@ (block $switch-case (br_table $switch-case $switch-case0 $switch (i32.sub - (get_local $0) + (local.get $0) (i32.const 1) ) ) @@ -165,7 +165,7 @@ (block $switch-case2 (br_table $switch-case3 $switch1 $switch1 $switch1 $switch1 $switch1 $switch1 $switch-case2 $switch1 (i32.sub - (get_local $0) + (local.get $0) (i32.const 5) ) ) @@ -184,7 +184,7 @@ (block $label$break$L3 (br_table $label$break$L3 $label$break$L1 $label$break$L1 $label$break$L1 $label$break$L1 $label$break$L1 $label$continue$L3 $label$break$L1 (i32.add - (get_local $0) + (local.get $0) (i32.const -110) ) ) @@ -220,40 +220,40 @@ (local $0 f32) (call_indirect (type $FUNCSIG$vf) (f32.neg - (get_local $0) + (local.get $0) ) (i32.const 9) ) ) (func $cneg (; 17 ;) (; has Stack IR ;) (param $0 f32) (call_indirect (type $FUNCSIG$vf) - (get_local $0) + (local.get $0) (i32.const 9) ) ) (func $smallCompare (; 18 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32) (if (result i32) (i32.lt_u - (tee_local $0 + (local.tee $0 (select (i32.add - (get_local $0) + (local.get $0) (i32.const 1) ) - (get_local $0) + (local.get $0) (i32.lt_s - (get_local $0) - (get_local $1) + (local.get $0) + (local.get $1) ) ) ) - (get_local $1) + (local.get $1) ) (i32.add - (get_local $0) + (local.get $0) (i32.const 1) ) - (get_local $0) + (local.get $0) ) ) (func $cneg_nosemicolon (; 19 ;) (; has Stack IR ;) @@ -264,22 +264,22 @@ ) (func $forLoop (; 20 ;) (; has Stack IR ;) (local $0 i32) - (set_local $0 + (local.set $0 (i32.const 1) ) (loop $for-in (if (i32.lt_s - (get_local $0) + (local.get $0) (i32.const 200) ) (block (call $h - (get_local $0) + (local.get $0) ) - (set_local $0 + (local.set $0 (i32.add - (get_local $0) + (local.get $0) (i32.const 1) ) ) @@ -296,7 +296,7 @@ ) (drop (call $abort - (f64.convert_s/i32 + (f64.convert_i32_s (i32.const 55) ) ) @@ -340,7 +340,7 @@ (drop (call $lb (i32.add - (get_local $0) + (local.get $0) (i32.const 22) ) ) @@ -361,7 +361,7 @@ (call $lb (i32.const 3) ) - (get_local $0) + (local.get $0) ) (block (result i32) (drop @@ -413,9 +413,9 @@ ) (func $lb (; 24 ;) (; has Stack IR ;) (param $0 i32) (result i32) (i32.store - (get_local $0) + (local.get $0) (i32.add - (get_global $n) + (global.get $n) (i32.const 144) ) ) @@ -434,7 +434,7 @@ (i32.const 1) ) (i32.const 3) - (get_local $1) + (local.get $1) ) (i32.const 3) ) @@ -492,29 +492,29 @@ (call $phi) ) (func $useSetGlobal (; 29 ;) (; has Stack IR ;) (result i32) - (set_global $Int + (global.set $Int (i32.const 10) ) - (set_global $Int + (global.set $Int (i32.const 20) ) - (set_global $Int + (global.set $Int (i32.const 30) ) - (get_global $Int) + (global.get $Int) ) (func $usesSetGlobal2 (; 30 ;) (; has Stack IR ;) (result i32) - (set_global $Int + (global.set $Int (i32.const 40) ) (i32.const 50) ) (func $breakThroughMany (; 31 ;) (; has Stack IR ;) (param $0 i32) (if - (get_local $0) + (local.get $0) (loop $while-in (if - (get_local $0) + (local.get $0) (block (call $zeroInit (i32.const 0) @@ -528,7 +528,7 @@ (func $ifChainEmpty (; 32 ;) (; has Stack IR ;) (param $0 i32) (result i32) (if (i32.eq - (get_local $0) + (local.get $0) (i32.const 4) ) (return @@ -539,16 +539,16 @@ ) (func $heap8NoShift (; 33 ;) (; has Stack IR ;) (param $0 i32) (result i32) (i32.load8_s - (get_local $0) + (local.get $0) ) ) (func $conditionalTypeFun (; 34 ;) (; has Stack IR ;) (drop (if (result i32) (call $return_int) - (i32.trunc_s/f64 + (i32.trunc_f64_s (call $abort - (f64.convert_s/i32 + (f64.convert_i32_s (i32.const 5) ) ) @@ -560,7 +560,7 @@ (if (result f64) (call $return_int) (call $abort - (f64.convert_s/i32 + (f64.convert_i32_s (i32.const 7) ) ) @@ -571,29 +571,29 @@ (func $loadSigned (; 35 ;) (; has Stack IR ;) (param $0 i32) (call $loadSigned (i32.load8_s - (get_local $0) + (local.get $0) ) ) (call $loadSigned (i32.load8_s - (get_local $0) + (local.get $0) ) ) (call $loadSigned (i32.load16_s - (get_local $0) + (local.get $0) ) ) (call $loadSigned (i32.load16_s - (get_local $0) + (local.get $0) ) ) (call $loadSigned (i32.shr_s (i32.shl (i32.load8_s - (get_local $0) + (local.get $0) ) (i32.const 24) ) @@ -604,7 +604,7 @@ (i32.shr_s (i32.shl (i32.load8_u - (get_local $0) + (local.get $0) ) (i32.const 16) ) @@ -615,7 +615,7 @@ (i32.shr_s (i32.shl (i32.load16_s - (get_local $0) + (local.get $0) ) (i32.const 16) ) @@ -626,7 +626,7 @@ (i32.shr_s (i32.shl (i32.load16_u - (get_local $0) + (local.get $0) ) (i32.const 24) ) @@ -649,25 +649,25 @@ ) ) (call $globalOpts) - (set_local $0 - (get_global $Int) + (local.set $0 + (global.get $Int) ) (if (call $return_int) - (set_global $Int + (global.set $Int (i32.const 20) ) ) - (set_global $Int - (get_local $0) + (global.set $Int + (local.get $0) ) (call $globalOpts) - (set_local $0 - (get_global $Int) + (local.set $0 + (global.get $Int) ) (call $globalOpts) - (set_global $Int - (get_local $0) + (global.set $Int + (local.get $0) ) ) (func $dropCallImport (; 39 ;) (; has Stack IR ;) @@ -683,23 +683,23 @@ (loop $while-in (block $while-out (call $loophi - (get_local $0) + (local.get $0) (i32.const 0) ) (if - (tee_local $2 - (get_local $0) + (local.tee $2 + (local.get $0) ) (br_if $while-out - (get_local $2) + (local.get $2) ) ) (br_if $while-in (i32.eq - (get_local $1) - (tee_local $0 + (local.get $1) + (local.tee $0 (i32.add - (get_local $0) + (local.get $0) (i32.const 1) ) ) @@ -714,23 +714,23 @@ (local $2 i32) (loop $label$continue$L7 (block $label$break$L7 - (set_local $0 + (local.set $0 (i32.const 0) ) (loop $while-in - (set_local $2 - (get_local $0) + (local.set $2 + (local.get $0) ) (if (call $return_int) (br_if $label$break$L7 - (get_local $2) + (local.get $2) ) ) (br_if $while-in - (tee_local $0 + (local.tee $0 (i32.add - (get_local $0) + (local.get $0) (i32.const 1) ) ) @@ -739,30 +739,30 @@ (br $label$continue$L7) ) ) - (get_local $1) + (local.get $1) ) (func $loophi2b (; 42 ;) (; has Stack IR ;) (result i32) (local $0 i32) (local $1 i32) (loop $label$continue$L7 (block $label$break$L7 - (set_local $0 + (local.set $0 (i32.const 0) ) (loop $while-in - (set_local $1 - (get_local $0) + (local.set $1 + (local.get $0) ) (if (call $return_int) (br_if $label$break$L7 - (get_local $1) + (local.get $1) ) ) (br_if $while-in - (tee_local $0 + (local.tee $0 (i32.add - (get_local $0) + (local.get $0) (i32.const 1) ) ) @@ -771,13 +771,13 @@ (br $label$continue$L7) ) ) - (get_local $0) + (local.get $0) ) (func $relooperJumpThreading (; 43 ;) (; has Stack IR ;) (param $0 i32) (result i32) (block $__rjto$0 (block $__rjti$0 (if - (get_local $0) + (local.get $0) (block (call $h (i32.const 0) @@ -797,9 +797,9 @@ (loop $while-in (br_if $while-in (i32.eqz - (tee_local $0 + (local.tee $0 (i32.add - (get_local $0) + (local.get $0) (i32.const 1) ) ) @@ -819,14 +819,14 @@ (block $__rjti$3 (block $__rjti$2 (if - (get_local $0) + (local.get $0) (block (call $h (i32.const 4) ) (br_if $__rjti$2 (i32.eq - (get_local $0) + (local.get $0) (i32.const 3) ) ) @@ -851,14 +851,14 @@ (block $__rjti$5 (block $__rjti$4 (if - (get_local $0) + (local.get $0) (block (call $h (i32.const 7) ) (br_if $__rjti$4 (i32.eq - (get_local $0) + (local.get $0) (i32.const 5) ) ) @@ -872,7 +872,7 @@ ) (br_if $__rjti$5 (i32.eq - (get_local $0) + (local.get $0) (i32.const 6) ) ) @@ -888,7 +888,7 @@ (block $label$break$L1 (block $__rjti$6 (if - (get_local $0) + (local.get $0) (block (call $h (i32.const 10) @@ -909,14 +909,14 @@ (block $__rjti$8 (block $__rjti$7 (if - (get_local $0) + (local.get $0) (block (call $h (i32.const 12) ) (br_if $__rjti$7 (i32.eq - (get_local $0) + (local.get $0) (i32.const 8) ) ) @@ -929,7 +929,7 @@ (i32.const 13) ) (br_if $__rjti$8 - (get_local $0) + (local.get $0) ) (br $label$break$L10) ) @@ -940,29 +940,29 @@ (call $h (i32.const -6) ) - (get_local $0) + (local.get $0) ) (func $relooperJumpThreading__ZN4game14preloadweaponsEv (; 44 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32) (param $5 i32) (param $6 i32) (loop $while-in (block $__rjti$1 (if - (get_local $1) + (local.get $1) (br_if $__rjti$1 (i32.eqz - (get_local $2) + (local.get $2) ) ) (br_if $__rjti$1 (i32.eqz - (get_local $3) + (local.get $3) ) ) ) (br $while-in) ) (i32.store - (get_local $4) - (get_local $5) + (local.get $4) + (local.get $5) ) (br $while-in) ) @@ -971,7 +971,7 @@ (local $1 i32) (if (i32.eq - (get_local $0) + (local.get $0) (i32.const 100) ) (loop $while-in @@ -981,24 +981,24 @@ (br $while-in) ) ) - (set_local $1 + (local.set $1 (select (i32.const 2) (i32.const 10) (i32.eq - (get_local $0) + (local.get $0) (i32.const 200) ) ) ) (if (i32.eq - (tee_local $1 + (local.tee $1 (select (i32.const 2) - (get_local $1) + (local.get $1) (i32.eq - (get_local $0) + (local.get $0) (i32.const 300) ) ) @@ -1011,7 +1011,7 @@ ) (if (i32.eq - (get_local $1) + (local.get $1) (i32.const 10) ) (call $relooperJumpThreading_irreducible @@ -1021,11 +1021,11 @@ ) (func $__Z12multi_varargiz (; 46 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (if - (get_local $3) + (local.get $3) (loop $while-in (br_if $while-in (i32.eqz - (get_local $2) + (local.get $2) ) ) ) @@ -1041,10 +1041,10 @@ ) (func $dropIgnoredImportInIf (; 48 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (if - (get_local $0) + (local.get $0) (drop (call $lb - (get_local $2) + (local.get $2) ) ) ) @@ -1052,12 +1052,12 @@ (func $dropIgnoredImportsInIf (; 49 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (drop (if (result i32) - (get_local $0) + (local.get $0) (call $lb - (get_local $1) + (local.get $1) ) (call $lb - (get_local $2) + (local.get $2) ) ) ) @@ -1065,9 +1065,9 @@ (func $store_fround (; 50 ;) (; has Stack IR ;) (param $0 i32) (f64.store (i32.const 80) - (f64.promote/f32 - (f32.convert_s/i32 - (get_local $0) + (f64.promote_f32 + (f32.convert_i32_s + (local.get $0) ) ) ) @@ -1088,12 +1088,12 @@ (func $sqrts (; 52 ;) (; has Stack IR ;) (param $0 f64) (result f64) (f64.add (f64.sqrt - (get_local $0) + (local.get $0) ) - (f64.promote/f32 + (f64.promote_f32 (f32.sqrt - (f32.demote/f64 - (get_local $0) + (f32.demote_f64 + (local.get $0) ) ) ) @@ -1117,12 +1117,12 @@ (call_indirect (type $FUNCSIG$vi) (i32.const 0) (block (result i32) - (set_global $Int + (global.set $Int (i32.const 1) ) (i32.add (i32.and - (get_global $Int) + (global.get $Int) (i32.const 7) ) (i32.const 16) @@ -1146,14 +1146,14 @@ (nop) ) (func $ii (; 55 ;) (; has Stack IR ;) (param $0 i32) (result i32) - (get_local $0) + (local.get $0) ) (func $legalstub$conversions (; 56 ;) (; has Stack IR ;) (param $0 i32) (param $1 f64) (param $2 f64) (nop) ) (func $legalstub$frem_float (; 57 ;) (; has Stack IR ;) (result f64) - (f64.promote/f32 - (f32.demote/f64 + (f64.promote_f32 + (f32.demote_f64 (call $f64-rem (f64.const 5.5) (f64.const 1.2000000476837158) @@ -1171,9 +1171,9 @@ (nop) ) (func $legalstub$exported_f32_user (; 61 ;) (; has Stack IR ;) (param $0 i32) (param $1 f64) (param $2 f64) (result f64) - (f64.promote/f32 - (f32.demote/f64 - (get_local $1) + (f64.promote_f32 + (f32.demote_f64 + (local.get $1) ) ) ) |