summaryrefslogtreecommitdiff
path: root/test/passes/optimize-instructions_all-features.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/optimize-instructions_all-features.txt')
-rw-r--r--test/passes/optimize-instructions_all-features.txt160
1 files changed, 80 insertions, 80 deletions
diff --git a/test/passes/optimize-instructions_all-features.txt b/test/passes/optimize-instructions_all-features.txt
index 1df99cc21..212959514 100644
--- a/test/passes/optimize-instructions_all-features.txt
+++ b/test/passes/optimize-instructions_all-features.txt
@@ -16,7 +16,7 @@
(type $none_=>_anyref (func (result anyref)))
(memory $0 0)
(export "load-off-2" (func $load-off-2))
- (func $f (; 0 ;) (param $i1 i32) (param $i2 i64)
+ (func $f (param $i1 i32) (param $i2 i64)
(if
(i32.eqz
(local.get $i1)
@@ -253,7 +253,7 @@
(i32.const 0)
)
)
- (func $load-store (; 1 ;)
+ (func $load-store
(drop
(i32.load8_u
(i32.const 0)
@@ -341,7 +341,7 @@
(i64.const 3)
)
)
- (func $and-neg1 (; 2 ;)
+ (func $and-neg1
(drop
(i32.const 100)
)
@@ -352,7 +352,7 @@
)
)
)
- (func $and-pos1 (; 3 ;)
+ (func $and-pos1
(drop
(i32.eqz
(i32.const 1000)
@@ -376,7 +376,7 @@
)
)
)
- (func $canonicalize (; 4 ;) (param $x i32) (param $y i32) (param $fx f64) (param $fy f64)
+ (func $canonicalize (param $x i32) (param $y i32) (param $fx f64) (param $fy f64)
(drop
(i32.and
(unreachable)
@@ -602,7 +602,7 @@
)
)
)
- (func $ne0 (; 5 ;) (result i32)
+ (func $ne0 (result i32)
(if
(call $ne0)
(nop)
@@ -633,7 +633,7 @@
)
(i32.const 1)
)
- (func $recurse-bool (; 6 ;)
+ (func $recurse-bool
(if
(if (result i32)
(i32.const 1)
@@ -650,10 +650,10 @@
(nop)
)
)
- (func $ne1 (; 7 ;) (result i32)
+ (func $ne1 (result i32)
(unreachable)
)
- (func $load-off-2 (; 8 ;) (param $0 i32) (result i32)
+ (func $load-off-2 (param $0 i32) (result i32)
(i32.store
(i32.const 6)
(local.get $0)
@@ -736,7 +736,7 @@
)
)
)
- (func $sign-ext (; 9 ;) (param $0 i32) (param $1 i32)
+ (func $sign-ext (param $0 i32) (param $1 i32)
(drop
(i32.eqz
(i32.and
@@ -847,7 +847,7 @@
)
)
)
- (func $sign-ext-input (; 10 ;) (param $0 i32) (param $1 i32)
+ (func $sign-ext-input (param $0 i32) (param $1 i32)
(drop
(i32.const 100)
)
@@ -1178,7 +1178,7 @@
)
)
)
- (func $linear-sums (; 11 ;) (param $0 i32) (param $1 i32)
+ (func $linear-sums (param $0 i32) (param $1 i32)
(drop
(i32.add
(i32.shl
@@ -1270,7 +1270,7 @@
(local.get $0)
)
)
- (func $almost-sign-ext (; 12 ;) (param $0 i32)
+ (func $almost-sign-ext (param $0 i32)
(drop
(i32.shr_s
(i32.shl
@@ -1287,7 +1287,7 @@
)
)
)
- (func $squaring (; 13 ;) (param $0 i32) (param $1 i32)
+ (func $squaring (param $0 i32) (param $1 i32)
(drop
(i32.and
(local.get $0)
@@ -1343,7 +1343,7 @@
)
)
)
- (func $sign-ext-ne (; 14 ;) (param $0 i32) (param $1 i32)
+ (func $sign-ext-ne (param $0 i32) (param $1 i32)
(drop
(i32.ne
(i32.and
@@ -1393,7 +1393,7 @@
)
)
)
- (func $sign-ext-eqz (; 15 ;) (param $0 i32) (param $1 i32)
+ (func $sign-ext-eqz (param $0 i32) (param $1 i32)
(drop
(i32.eqz
(i32.and
@@ -1403,7 +1403,7 @@
)
)
)
- (func $sign-ext-boolean (; 16 ;) (param $0 i32) (param $1 i32)
+ (func $sign-ext-boolean (param $0 i32) (param $1 i32)
(drop
(if (result i32)
(i32.and
@@ -1415,7 +1415,7 @@
)
)
)
- (func $add-sub-zero (; 17 ;) (param $0 i32) (param $1 i32)
+ (func $add-sub-zero (param $0 i32) (param $1 i32)
(drop
(local.get $0)
)
@@ -1423,7 +1423,7 @@
(local.get $0)
)
)
- (func $store-signext (; 18 ;) (param $0 i32)
+ (func $store-signext (param $0 i32)
(i32.store8
(i32.const 8)
(local.get $0)
@@ -1481,7 +1481,7 @@
)
)
)
- (func $sign-ext-tee (; 19 ;) (param $0 i32) (param $1 i32)
+ (func $sign-ext-tee (param $0 i32) (param $1 i32)
(drop
(i32.shr_s
(i32.shl
@@ -1499,7 +1499,7 @@
)
)
)
- (func $sign-ext-load (; 20 ;) (param $0 i32) (param $1 i32)
+ (func $sign-ext-load (param $0 i32) (param $1 i32)
(drop
(i32.load8_s
(i32.const 256)
@@ -1570,7 +1570,7 @@
)
)
)
- (func $mask-bits (; 21 ;) (param $0 i32) (param $1 i32)
+ (func $mask-bits (param $0 i32) (param $1 i32)
(drop
(local.tee $0
(i32.const 127)
@@ -1624,7 +1624,7 @@
)
)
)
- (func $local-info-zero-ext (; 22 ;) (param $0 i32) (param $1 i32)
+ (func $local-info-zero-ext (param $0 i32) (param $1 i32)
(local $x i32)
(local $y i32)
(local $z i32)
@@ -1675,7 +1675,7 @@
)
)
)
- (func $local-info-sign-ext-bitsize (; 23 ;) (param $0 i32) (param $1 i32)
+ (func $local-info-sign-ext-bitsize (param $0 i32) (param $1 i32)
(local $x i32)
(local $y i32)
(local $z i32)
@@ -1735,7 +1735,7 @@
)
)
)
- (func $local-info-sign-ext-already-exted (; 24 ;) (param $0 i32) (param $1 i32)
+ (func $local-info-sign-ext-already-exted (param $0 i32) (param $1 i32)
(local $x i32)
(local $y i32)
(local $z i32)
@@ -1846,7 +1846,7 @@
)
)
)
- (func $signed-loads-fill-the-bits (; 25 ;) (param $$e i32) (result i32)
+ (func $signed-loads-fill-the-bits (param $$e i32) (result i32)
(local $$0 i32)
(local $$conv i32)
(local.set $$0
@@ -1867,7 +1867,7 @@
)
)
)
- (func $local-info-sign-ext-already-exted-by-load (; 26 ;) (param $0 i32) (param $1 i32)
+ (func $local-info-sign-ext-already-exted-by-load (param $0 i32) (param $1 i32)
(local $x i32)
(local $y i32)
(local $z i32)
@@ -1909,7 +1909,7 @@
)
)
)
- (func $compare-load-s-sign-extend (; 27 ;) (param $0 i32) (param $1 i32)
+ (func $compare-load-s-sign-extend (param $0 i32) (param $1 i32)
(drop
(i32.eq
(i32.load8_u
@@ -1989,7 +1989,7 @@
)
)
)
- (func $unsign-diff-sizes (; 28 ;) (param $x i32) (param $y i32) (result i32)
+ (func $unsign-diff-sizes (param $x i32) (param $y i32) (result i32)
(i32.ne
(i32.shr_s
(i32.shl
@@ -2013,7 +2013,7 @@
)
)
)
- (func $unsign-same-sizes (; 29 ;) (param $x i32) (param $y i32) (result i32)
+ (func $unsign-same-sizes (param $x i32) (param $y i32) (result i32)
(i32.ne
(i32.and
(call $unsign-same-sizes
@@ -2031,7 +2031,7 @@
)
)
)
- (func $fuzz-almost-sign-ext (; 30 ;)
+ (func $fuzz-almost-sign-ext
(drop
(i32.shr_s
(i32.shl
@@ -2055,7 +2055,7 @@
)
)
)
- (func $fuzz-comp-impossible (; 31 ;) (param $x i32)
+ (func $fuzz-comp-impossible (param $x i32)
(drop
(i32.eq
(i32.and
@@ -2120,7 +2120,7 @@
)
)
)
- (func $if-parallel (; 32 ;) (param $0 i32) (param $1 i32)
+ (func $if-parallel (param $0 i32) (param $1 i32)
(drop
(i32.add
(local.get $1)
@@ -2175,7 +2175,7 @@
)
)
)
- (func $select-parallel (; 33 ;) (param $0 i32) (param $1 i32)
+ (func $select-parallel (param $0 i32) (param $1 i32)
(drop
(i32.add
(local.get $1)
@@ -2231,7 +2231,7 @@
)
)
)
- (func $zero-shifts-is-not-sign-ext (; 34 ;)
+ (func $zero-shifts-is-not-sign-ext
(drop
(i32.eq
(i32.load16_s align=1
@@ -2252,7 +2252,7 @@
)
)
)
- (func $zero-ops (; 35 ;) (result i32)
+ (func $zero-ops (result i32)
(return
(i32.eq
(i32.load16_s align=1
@@ -2262,7 +2262,7 @@
)
)
)
- (func $sign-ext-1-and-ne (; 36 ;) (result i32)
+ (func $sign-ext-1-and-ne (result i32)
(i32.ne
(i32.and
(call $sign-ext-1-and-ne)
@@ -2271,7 +2271,7 @@
(i32.const -2147483648)
)
)
- (func $neg-shifts-and-255 (; 37 ;) (result i32)
+ (func $neg-shifts-and-255 (result i32)
(i32.and
(i32.shr_u
(i32.const -99)
@@ -2280,7 +2280,7 @@
(i32.const 255)
)
)
- (func $neg-shifts-and-255-b (; 38 ;) (result i32)
+ (func $neg-shifts-and-255-b (result i32)
(i32.and
(i32.shl
(i32.const -2349025)
@@ -2289,7 +2289,7 @@
(i32.const 255)
)
)
- (func $shifts-square-overflow (; 39 ;) (param $x i32) (result i32)
+ (func $shifts-square-overflow (param $x i32) (result i32)
(i32.shr_u
(i32.shr_u
(local.get $x)
@@ -2298,13 +2298,13 @@
(i32.const 32767)
)
)
- (func $shifts-square-no-overflow-small (; 40 ;) (param $x i32) (result i32)
+ (func $shifts-square-no-overflow-small (param $x i32) (result i32)
(i32.shr_u
(local.get $x)
(i32.const 9)
)
)
- (func $shifts-square-overflow-64 (; 41 ;) (param $x i64) (result i64)
+ (func $shifts-square-overflow-64 (param $x i64) (result i64)
(i64.shr_u
(i64.shr_u
(local.get $x)
@@ -2313,13 +2313,13 @@
(i64.const 64767)
)
)
- (func $shifts-square-no-overflow-small-64 (; 42 ;) (param $x i64) (result i64)
+ (func $shifts-square-no-overflow-small-64 (param $x i64) (result i64)
(i64.shr_u
(local.get $x)
(i64.const 9)
)
)
- (func $shifts-square-unreachable (; 43 ;) (param $x i32) (result i32)
+ (func $shifts-square-unreachable (param $x i32) (result i32)
(i32.shr_u
(i32.shr_u
(unreachable)
@@ -2328,7 +2328,7 @@
(i32.const 4098)
)
)
- (func $mix-shifts (; 44 ;) (result i32)
+ (func $mix-shifts (result i32)
(i32.shr_s
(i32.shl
(i32.const 23)
@@ -2337,13 +2337,13 @@
(i32.const 168)
)
)
- (func $actually-no-shifts (; 45 ;) (result i32)
+ (func $actually-no-shifts (result i32)
(i32.const 33)
)
- (func $less-shifts-than-it-seems (; 46 ;) (param $x i32) (result i32)
+ (func $less-shifts-than-it-seems (param $x i32) (result i32)
(i32.const 4800)
)
- (func $and-popcount32 (; 47 ;) (result i32)
+ (func $and-popcount32 (result i32)
(i32.and
(i32.popcnt
(i32.const -1)
@@ -2351,12 +2351,12 @@
(i32.const 31)
)
)
- (func $and-popcount32-big (; 48 ;) (result i32)
+ (func $and-popcount32-big (result i32)
(i32.popcnt
(i32.const -1)
)
)
- (func $and-popcount64 (; 49 ;) (result i64)
+ (func $and-popcount64 (result i64)
(i64.and
(i64.popcnt
(i64.const -1)
@@ -2364,7 +2364,7 @@
(i64.const 63)
)
)
- (func $and-popcount64-big (; 50 ;) (result i64)
+ (func $and-popcount64-big (result i64)
(i64.and
(i64.popcnt
(i64.const -1)
@@ -2372,7 +2372,7 @@
(i64.const 127)
)
)
- (func $and-popcount64-bigger (; 51 ;) (result i64)
+ (func $and-popcount64-bigger (result i64)
(i64.and
(i64.popcnt
(i64.const -1)
@@ -2380,7 +2380,7 @@
(i64.const 255)
)
)
- (func $optimizeAddedConstants-filters-through-nonzero (; 52 ;) (result i32)
+ (func $optimizeAddedConstants-filters-through-nonzero (result i32)
(i32.add
(i32.shl
(i32.const -536870912)
@@ -2391,7 +2391,7 @@
(i32.const -31744)
)
)
- (func $optimizeAddedConstants-filters-through-nonzero-b (; 53 ;) (result i32)
+ (func $optimizeAddedConstants-filters-through-nonzero-b (result i32)
(i32.add
(i32.shl
(i32.const -536870912)
@@ -2402,7 +2402,7 @@
(i32.const -31744)
)
)
- (func $return-proper-value-from-shift-left-by-zero (; 54 ;) (result i32)
+ (func $return-proper-value-from-shift-left-by-zero (result i32)
(if (result i32)
(i32.add
(loop $label$0 (result i32)
@@ -2421,7 +2421,7 @@
(i32.const 0)
)
)
- (func $de-morgan-2 (; 55 ;) (param $x i32) (param $y i32)
+ (func $de-morgan-2 (param $x i32) (param $y i32)
(drop
(i32.eqz
(i32.or
@@ -2487,7 +2487,7 @@
)
)
)
- (func $subzero1 (; 56 ;) (param $0 i32) (result i32)
+ (func $subzero1 (param $0 i32) (result i32)
(i32.sub
(i32.const 32)
(i32.clz
@@ -2495,7 +2495,7 @@
)
)
)
- (func $subzero2 (; 57 ;) (param $0 i32) (result i32)
+ (func $subzero2 (param $0 i32) (result i32)
(i32.sub
(i32.const 32)
(i32.clz
@@ -2503,7 +2503,7 @@
)
)
)
- (func $subzero3 (; 58 ;) (param $0 i32) (param $1 i32) (result i32)
+ (func $subzero3 (param $0 i32) (param $1 i32) (result i32)
(i32.sub
(local.get $1)
(i32.clz
@@ -2511,7 +2511,7 @@
)
)
)
- (func $subzero4 (; 59 ;) (param $0 i32) (param $1 i32) (result i32)
+ (func $subzero4 (param $0 i32) (param $1 i32) (result i32)
(i32.sub
(local.get $0)
(i32.clz
@@ -2519,7 +2519,7 @@
)
)
)
- (func $mul-power-2 (; 60 ;) (param $x i32) (result i32)
+ (func $mul-power-2 (param $x i32) (result i32)
(drop
(call $mul-power-2
(i32.shl
@@ -2574,7 +2574,7 @@
)
(unreachable)
)
- (func $urem-power-2 (; 61 ;) (param $x i32) (result i32)
+ (func $urem-power-2 (param $x i32) (result i32)
(drop
(call $urem-power-2
(i32.and
@@ -2622,10 +2622,10 @@
)
(unreachable)
)
- (func $orZero (; 62 ;) (param $0 i32) (result i32)
+ (func $orZero (param $0 i32) (result i32)
(local.get $0)
)
- (func $andZero (; 63 ;) (param $0 i32) (result i32)
+ (func $andZero (param $0 i32) (result i32)
(drop
(i32.const 0)
)
@@ -2639,7 +2639,7 @@
)
(unreachable)
)
- (func $abstract-additions (; 64 ;) (param $x32 i32) (param $x64 i64) (param $y32 f32) (param $y64 f64)
+ (func $abstract-additions (param $x32 i32) (param $x64 i64) (param $y32 f32) (param $y64 f64)
(drop
(local.get $x32)
)
@@ -2845,7 +2845,7 @@
)
)
)
- (func $negatives-are-sometimes-better (; 65 ;) (param $x i32) (param $y i64) (param $z f32)
+ (func $negatives-are-sometimes-better (param $x i32) (param $y i64) (param $z f32)
(drop
(i32.sub
(local.get $x)
@@ -2943,7 +2943,7 @@
)
)
)
- (func $shift-a-zero (; 66 ;) (param $x i32) (param $y i64) (param $z f32)
+ (func $shift-a-zero (param $x i32) (param $y i64) (param $z f32)
(drop
(i32.const 0)
)
@@ -2963,7 +2963,7 @@
)
)
)
- (func $identical-siblings (; 67 ;) (param $x i32) (param $y i64) (param $z f64) (param $xx i32)
+ (func $identical-siblings (param $x i32) (param $y i64) (param $z f64) (param $xx i32)
(drop
(i32.const 0)
)
@@ -3073,7 +3073,7 @@
(i32.const 1)
)
)
- (func $all_ones (; 68 ;) (param $x i32) (param $y i64)
+ (func $all_ones (param $x i32) (param $y i64)
(drop
(local.get $x)
)
@@ -3095,12 +3095,12 @@
(i64.const -1)
)
)
- (func $xor (; 69 ;) (param $x i32) (param $y i64)
+ (func $xor (param $x i32) (param $y i64)
(drop
(local.get $x)
)
)
- (func $select-on-const (; 70 ;) (param $x i32) (param $y i32)
+ (func $select-on-const (param $x i32) (param $y i32)
(drop
(local.get $x)
)
@@ -3137,7 +3137,7 @@
)
)
)
- (func $getFallthrough (; 71 ;)
+ (func $getFallthrough
(local $x0 i32)
(local $x1 i32)
(local $x2 i32)
@@ -3216,7 +3216,7 @@
)
)
)
- (func $tee-with-unreachable-value (; 72 ;) (result f64)
+ (func $tee-with-unreachable-value (result f64)
(local $var$0 i32)
(block $label$1 (result f64)
(local.tee $var$0
@@ -3227,7 +3227,7 @@
)
)
)
- (func $add-sub-zero-reorder-1 (; 73 ;) (param $temp i32) (result i32)
+ (func $add-sub-zero-reorder-1 (param $temp i32) (result i32)
(i32.add
(i32.add
(i32.sub
@@ -3241,7 +3241,7 @@
(i32.const 2)
)
)
- (func $add-sub-zero-reorder-2 (; 74 ;) (param $temp i32) (result i32)
+ (func $add-sub-zero-reorder-2 (param $temp i32) (result i32)
(i32.add
(i32.sub
(local.tee $temp
@@ -3252,7 +3252,7 @@
(i32.const 2)
)
)
- (func $pre-combine-or (; 75 ;) (param $x i32) (param $y i32)
+ (func $pre-combine-or (param $x i32) (param $y i32)
(drop
(i32.ge_s
(local.get $x)
@@ -3314,7 +3314,7 @@
)
)
)
- (func $combine-or (; 76 ;) (param $x i32) (param $y i32)
+ (func $combine-or (param $x i32) (param $y i32)
(drop
(i32.ge_s
(local.get $x)
@@ -3322,7 +3322,7 @@
)
)
)
- (func $select-into-arms (; 77 ;) (param $x i32) (param $y i32)
+ (func $select-into-arms (param $x i32) (param $y i32)
(if
(select
(local.get $x)
@@ -3332,14 +3332,14 @@
(unreachable)
)
)
- (func $if-arms-subtype (; 78 ;) (result anyref)
+ (func $if-arms-subtype (result anyref)
(ref.null)
)
)
(module
(type $none_=>_none (func))
(import "env" "memory" (memory $0 (shared 256 256)))
- (func $x (; 0 ;)
+ (func $x
(drop
(i32.shr_s
(i32.shl