diff options
Diffstat (limited to 'test/unit.fromasm.imprecise')
| -rw-r--r-- | test/unit.fromasm.imprecise | 175 |
1 files changed, 67 insertions, 108 deletions
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise index 80d6eb00d..d3da04937 100644 --- a/test/unit.fromasm.imprecise +++ b/test/unit.fromasm.imprecise @@ -22,7 +22,7 @@ (global $Double (mut f64) (f64.const 0)) (global $n (mut i32) (get_global $n$asm2wasm$import)) (global $exportedNumber i32 (i32.const 42)) - (elem (get_global $tableBase) $big_negative $big_negative $big_negative $big_negative $w $w $importedDoubles $w $fr $cneg $fr $fr $fr $fr $fr $fr $vi $vi $vi $vi $vi $vi $vi $vi $ii) + (elem (get_global $tableBase) $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) (export "big_negative" (func $big_negative)) (export "pick" (func $big_negative)) (export "doubleCompares" (func $doubleCompares)) @@ -141,10 +141,7 @@ (get_local $0) ) ) - (func $conversions (; 11 ;) (param $0 i32) (param $1 f64) (param $2 f32) - (nop) - ) - (func $switcher (; 12 ;) (param $0 i32) (result i32) + (func $switcher (; 11 ;) (param $0 i32) (result i32) (block $switch (block $switch-case0 (block $switch-case @@ -223,36 +220,25 @@ ) (i32.const 0) ) - (func $frem (; 13 ;) (result f64) + (func $frem (; 12 ;) (result f64) (call $f64-rem (f64.const 5.5) (f64.const 1.2) ) ) - (func $frem_float (; 14 ;) (result f32) - (f32.demote/f64 - (call $f64-rem - (f64.const 5.5) - (f64.const 1.2000000476837158) - ) - ) - ) - (func $big_uint_div_u (; 15 ;) (result i32) + (func $big_uint_div_u (; 13 ;) (result i32) (i32.const 2147483647) ) - (func $trapping_sint_div_s (; 16 ;) (result i32) + (func $trapping_sint_div_s (; 14 ;) (result i32) (i32.div_s (i32.const -2147483648) (i32.const -1) ) ) - (func $fr (; 17 ;) (param $0 f32) - (nop) - ) - (func $negZero (; 18 ;) (result f64) + (func $negZero (; 15 ;) (result f64) (f64.const -0) ) - (func $neg (; 19 ;) + (func $neg (; 16 ;) (local $0 f32) (call_indirect (type $FUNCSIG$vf) (f32.neg @@ -261,13 +247,13 @@ (i32.const 9) ) ) - (func $cneg (; 20 ;) (param $0 f32) + (func $cneg (; 17 ;) (param $0 f32) (call_indirect (type $FUNCSIG$vf) (get_local $0) (i32.const 9) ) ) - (func $smallCompare (; 21 ;) (param $0 i32) (param $1 i32) (result i32) + (func $smallCompare (; 18 ;) (param $0 i32) (param $1 i32) (result i32) (if (i32.lt_s (get_local $0) @@ -294,13 +280,13 @@ ) (get_local $0) ) - (func $cneg_nosemicolon (; 22 ;) + (func $cneg_nosemicolon (; 19 ;) (call_indirect (type $FUNCSIG$vi) (i32.const 1) (i32.const 17) ) ) - (func $forLoop (; 23 ;) + (func $forLoop (; 20 ;) (local $0 i32) (set_local $0 (i32.const 1) @@ -326,10 +312,7 @@ ) ) ) - (func $ceiling_32_64 (; 24 ;) (param $0 f32) (param $1 f64) - (nop) - ) - (func $aborts (; 25 ;) + (func $aborts (; 21 ;) (drop (call $abort (f64.const 0) @@ -358,7 +341,7 @@ ) ) ) - (func $continues (; 26 ;) + (func $continues (; 22 ;) (loop $while-in (call $print (i32.const 1) @@ -377,10 +360,7 @@ (br $while-in) ) ) - (func $bitcasts (; 27 ;) (param $0 i32) (param $1 f32) - (nop) - ) - (func $recursiveBlockMerging (; 28 ;) (param $0 i32) (result i32) + (func $recursiveBlockMerging (; 23 ;) (param $0 i32) (result i32) (drop (call $lb (i32.add @@ -455,7 +435,7 @@ ) ) ) - (func $lb (; 29 ;) (param $0 i32) (result i32) + (func $lb (; 24 ;) (param $0 i32) (result i32) (i32.store (get_local $0) (i32.add @@ -465,7 +445,7 @@ ) (i32.const 0) ) - (func $zeroInit (; 30 ;) (param $0 i32) + (func $zeroInit (; 25 ;) (param $0 i32) (local $1 i32) (if (call $lb @@ -495,7 +475,7 @@ ) ) ) - (func $phi (; 31 ;) (result i32) + (func $phi (; 26 ;) (result i32) (block $do-once (result i32) (drop (br_if $do-once @@ -508,7 +488,7 @@ (i32.const 1) ) ) - (func $smallIf (; 32 ;) + (func $smallIf (; 27 ;) (if (call $return_int) (drop @@ -518,7 +498,7 @@ ) ) ) - (func $dropCall (; 33 ;) (result i32) + (func $dropCall (; 28 ;) (result i32) (if (call $return_int) (block @@ -539,7 +519,7 @@ ) (call $phi) ) - (func $useSetGlobal (; 34 ;) (result i32) + (func $useSetGlobal (; 29 ;) (result i32) (set_global $Int (i32.const 10) ) @@ -551,13 +531,13 @@ ) (get_global $Int) ) - (func $usesSetGlobal2 (; 35 ;) (result i32) + (func $usesSetGlobal2 (; 30 ;) (result i32) (set_global $Int (i32.const 40) ) (i32.const 50) ) - (func $breakThroughMany (; 36 ;) (param $0 i32) + (func $breakThroughMany (; 31 ;) (param $0 i32) (block $label$break$L1 (if (get_local $0) @@ -575,7 +555,7 @@ ) ) ) - (func $ifChainEmpty (; 37 ;) (param $0 i32) (result i32) + (func $ifChainEmpty (; 32 ;) (param $0 i32) (result i32) (if (i32.eq (get_local $0) @@ -587,12 +567,12 @@ ) (i32.const 0) ) - (func $heap8NoShift (; 38 ;) (param $0 i32) (result i32) + (func $heap8NoShift (; 33 ;) (param $0 i32) (result i32) (i32.load8_s (get_local $0) ) ) - (func $conditionalTypeFun (; 39 ;) + (func $conditionalTypeFun (; 34 ;) (drop (if (result i32) (call $return_int) @@ -618,7 +598,7 @@ ) ) ) - (func $loadSigned (; 40 ;) (param $0 i32) + (func $loadSigned (; 35 ;) (param $0 i32) (call $loadSigned (i32.load8_s (get_local $0) @@ -684,10 +664,13 @@ ) ) ) - (func $w (; 41 ;) (result f64) + (func $z (; 36 ;) (param $0 f32) + (nop) + ) + (func $w (; 37 ;) (result f64) (f64.const 0) ) - (func $globalOpts (; 42 ;) + (func $globalOpts (; 38 ;) (local $0 i32) (i32.store8 (i32.const 13) @@ -717,7 +700,7 @@ (get_local $0) ) ) - (func $dropCallImport (; 43 ;) + (func $dropCallImport (; 39 ;) (if (call $return_int) (drop @@ -725,7 +708,7 @@ ) ) ) - (func $loophi (; 44 ;) (param $0 i32) (param $1 i32) + (func $loophi (; 40 ;) (param $0 i32) (param $1 i32) (local $2 i32) (loop $while-in (block $while-out @@ -755,7 +738,7 @@ ) ) ) - (func $loophi2 (; 45 ;) (result i32) + (func $loophi2 (; 41 ;) (result i32) (local $0 i32) (local $1 i32) (local $2 i32) @@ -788,7 +771,7 @@ ) (get_local $1) ) - (func $loophi2b (; 46 ;) (result i32) + (func $loophi2b (; 42 ;) (result i32) (local $0 i32) (local $1 i32) (loop $label$continue$L7 @@ -820,7 +803,7 @@ ) (get_local $0) ) - (func $relooperJumpThreading (; 47 ;) (param $0 i32) (result i32) + (func $relooperJumpThreading (; 43 ;) (param $0 i32) (result i32) (block $__rjto$0 (block $__rjti$0 (if @@ -989,7 +972,7 @@ ) (get_local $0) ) - (func $relooperJumpThreading__ZN4game14preloadweaponsEv (; 48 ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32) (param $5 i32) (param $6 i32) + (func $relooperJumpThreading__ZN4game14preloadweaponsEv (; 44 ;) (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 $__rjto$1 (block $__rjti$1 @@ -1016,7 +999,7 @@ (br $while-in) ) ) - (func $relooperJumpThreading_irreducible (; 49 ;) (param $0 i32) + (func $relooperJumpThreading_irreducible (; 45 ;) (param $0 i32) (local $1 i32) (if (i32.eq @@ -1068,7 +1051,7 @@ ) ) ) - (func $__Z12multi_varargiz (; 50 ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) + (func $__Z12multi_varargiz (; 46 ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (if (get_local $3) (loop $while-in @@ -1085,10 +1068,10 @@ ) ) ) - (func $jumpThreadDrop (; 51 ;) (result i32) + (func $jumpThreadDrop (; 47 ;) (result i32) (call $return_int) ) - (func $dropIgnoredImportInIf (; 52 ;) (param $0 i32) (param $1 i32) (param $2 i32) + (func $dropIgnoredImportInIf (; 48 ;) (param $0 i32) (param $1 i32) (param $2 i32) (if (get_local $0) (drop @@ -1098,7 +1081,7 @@ ) ) ) - (func $dropIgnoredImportsInIf (; 53 ;) (param $0 i32) (param $1 i32) (param $2 i32) + (func $dropIgnoredImportsInIf (; 49 ;) (param $0 i32) (param $1 i32) (param $2 i32) (drop (if (result i32) (get_local $0) @@ -1111,7 +1094,7 @@ ) ) ) - (func $store_fround (; 54 ;) (param $0 i32) + (func $store_fround (; 50 ;) (param $0 i32) (f64.store (i32.const 80) (f64.promote/f32 @@ -1121,7 +1104,7 @@ ) ) ) - (func $relocatableAndModules (; 55 ;) (result i32) + (func $relocatableAndModules (; 51 ;) (result i32) (call_indirect (type $FUNCSIG$v) (i32.const 10) ) @@ -1134,10 +1117,7 @@ (i32.const 30) ) ) - (func $exported_f32_user (; 56 ;) (param $0 i32) (param $1 f32) (param $2 f64) (result f32) - (get_local $1) - ) - (func $sqrts (; 57 ;) (param $0 f64) (result f64) + (func $sqrts (; 52 ;) (param $0 f64) (result f64) (f64.add (f64.sqrt (get_local $0) @@ -1151,7 +1131,7 @@ ) ) ) - (func $keepAlive (; 58 ;) + (func $keepAlive (; 53 ;) (drop (call $sqrts (f64.const 3.14159) @@ -1183,64 +1163,43 @@ ) (call $emscripten_log) (drop - (i32.trunc_s/f64 - (call $abort - (f64.const 0) - ) + (call $abort + (f64.const 0) ) ) ) - (func $vi (; 59 ;) (param $0 i32) + (func $vi (; 54 ;) (param $0 i32) (nop) ) - (func $ii (; 60 ;) (param $0 i32) (result i32) + (func $ii (; 55 ;) (param $0 i32) (result i32) (get_local $0) ) - (func $legalstub$conversions (; 61 ;) (param $0 i32) (param $1 f64) (param $2 f64) - (call $conversions - (get_local $0) - (get_local $1) - (f32.demote/f64 - (get_local $2) - ) - ) + (func $legalstub$conversions (; 56 ;) (param $0 i32) (param $1 f64) (param $2 f64) + (nop) ) - (func $legalstub$frem_float (; 62 ;) (result f64) + (func $legalstub$frem_float (; 57 ;) (result f64) (f64.promote/f32 - (call $frem_float) - ) - ) - (func $legalstub$fr (; 63 ;) (param $0 f64) - (call $fr (f32.demote/f64 - (get_local $0) + (call $f64-rem + (f64.const 5.5) + (f64.const 1.2000000476837158) + ) ) ) ) - (func $legalstub$ceiling_32_64 (; 64 ;) (param $0 f64) (param $1 f64) - (call $ceiling_32_64 - (f32.demote/f64 - (get_local $0) - ) - (get_local $1) - ) + (func $legalstub$fr (; 58 ;) (param $0 f64) + (nop) ) - (func $legalstub$bitcasts (; 65 ;) (param $0 i32) (param $1 f64) - (call $bitcasts - (get_local $0) - (f32.demote/f64 - (get_local $1) - ) - ) + (func $legalstub$ceiling_32_64 (; 59 ;) (param $0 f64) (param $1 f64) + (nop) + ) + (func $legalstub$bitcasts (; 60 ;) (param $0 i32) (param $1 f64) + (nop) ) - (func $legalstub$exported_f32_user (; 66 ;) (param $0 i32) (param $1 f64) (param $2 f64) (result f64) + (func $legalstub$exported_f32_user (; 61 ;) (param $0 i32) (param $1 f64) (param $2 f64) (result f64) (f64.promote/f32 - (call $exported_f32_user - (get_local $0) - (f32.demote/f64 - (get_local $1) - ) - (get_local $2) + (f32.demote/f64 + (get_local $1) ) ) ) |