summaryrefslogtreecommitdiff
path: root/test/passes/optimize-instructions.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/optimize-instructions.txt')
-rw-r--r--test/passes/optimize-instructions.txt110
1 files changed, 55 insertions, 55 deletions
diff --git a/test/passes/optimize-instructions.txt b/test/passes/optimize-instructions.txt
index 18d9b1a18..010d6c139 100644
--- a/test/passes/optimize-instructions.txt
+++ b/test/passes/optimize-instructions.txt
@@ -10,7 +10,7 @@
(type $8 (func (result i64)))
(memory $0 0)
(export "load-off-2" (func $load-off-2))
- (func $f (type $0) (param $i1 i32) (param $i2 i64)
+ (func $f (; 0 ;) (type $0) (param $i1 i32) (param $i2 i64)
(if
(i32.eqz
(get_local $i1)
@@ -223,7 +223,7 @@
)
)
)
- (func $load-store (type $1)
+ (func $load-store (; 1 ;) (type $1)
(drop
(i32.load8_u
(i32.const 0)
@@ -311,7 +311,7 @@
(i64.const 3)
)
)
- (func $and-neg1 (type $1)
+ (func $and-neg1 (; 2 ;) (type $1)
(drop
(i32.const 100)
)
@@ -322,7 +322,7 @@
)
)
)
- (func $and-pos1 (type $1)
+ (func $and-pos1 (; 3 ;) (type $1)
(drop
(i32.eqz
(i32.const 1000)
@@ -346,7 +346,7 @@
)
)
)
- (func $canonicalize-binary (type $1)
+ (func $canonicalize-binary (; 4 ;) (type $1)
(drop
(i32.and
(unreachable)
@@ -372,7 +372,7 @@
)
)
)
- (func $ne0 (type $2) (result i32)
+ (func $ne0 (; 5 ;) (type $2) (result i32)
(if
(call $ne0)
(nop)
@@ -403,7 +403,7 @@
)
(i32.const 1)
)
- (func $recurse-bool (type $1)
+ (func $recurse-bool (; 6 ;) (type $1)
(if
(if (result i32)
(i32.const 1)
@@ -420,10 +420,10 @@
(nop)
)
)
- (func $ne1 (type $2) (result i32)
+ (func $ne1 (; 7 ;) (type $2) (result i32)
(unreachable)
)
- (func $load-off-2 (type $3) (param $0 i32) (result i32)
+ (func $load-off-2 (; 8 ;) (type $3) (param $0 i32) (result i32)
(i32.store
(i32.const 6)
(get_local $0)
@@ -506,7 +506,7 @@
)
)
)
- (func $sign-ext (type $4) (param $0 i32) (param $1 i32)
+ (func $sign-ext (; 9 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.eqz
(i32.and
@@ -617,7 +617,7 @@
)
)
)
- (func $sign-ext-input (type $4) (param $0 i32) (param $1 i32)
+ (func $sign-ext-input (; 10 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.const 100)
)
@@ -951,7 +951,7 @@
)
)
)
- (func $linear-sums (type $4) (param $0 i32) (param $1 i32)
+ (func $linear-sums (; 11 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.add
(get_local $1)
@@ -1043,7 +1043,7 @@
(get_local $0)
)
)
- (func $almost-sign-ext (type $4) (param $0 i32) (param $0 i32)
+ (func $almost-sign-ext (; 12 ;) (type $4) (param $0 i32) (param $0 i32)
(drop
(i32.shr_s
(i32.shl
@@ -1060,7 +1060,7 @@
)
)
)
- (func $squaring (type $4) (param $0 i32) (param $1 i32)
+ (func $squaring (; 13 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.and
(get_local $0)
@@ -1116,7 +1116,7 @@
)
)
)
- (func $sign-ext-ne (type $4) (param $0 i32) (param $1 i32)
+ (func $sign-ext-ne (; 14 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.ne
(i32.and
@@ -1166,7 +1166,7 @@
)
)
)
- (func $sign-ext-eqz (type $4) (param $0 i32) (param $1 i32)
+ (func $sign-ext-eqz (; 15 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.eqz
(i32.and
@@ -1176,7 +1176,7 @@
)
)
)
- (func $sign-ext-boolean (type $4) (param $0 i32) (param $1 i32)
+ (func $sign-ext-boolean (; 16 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(if (result i32)
(i32.and
@@ -1188,7 +1188,7 @@
)
)
)
- (func $add-sub-zero (type $4) (param $0 i32) (param $1 i32)
+ (func $add-sub-zero (; 17 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(get_local $0)
)
@@ -1196,7 +1196,7 @@
(get_local $0)
)
)
- (func $store-signext (type $5) (param $0 i32)
+ (func $store-signext (; 18 ;) (type $5) (param $0 i32)
(i32.store8
(i32.const 8)
(get_local $0)
@@ -1254,7 +1254,7 @@
)
)
)
- (func $sign-ext-tee (type $4) (param $0 i32) (param $1 i32)
+ (func $sign-ext-tee (; 19 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.shr_s
(i32.shl
@@ -1272,7 +1272,7 @@
)
)
)
- (func $sign-ext-load (type $4) (param $0 i32) (param $1 i32)
+ (func $sign-ext-load (; 20 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.load8_s
(i32.const 256)
@@ -1343,7 +1343,7 @@
)
)
)
- (func $mask-bits (type $4) (param $0 i32) (param $1 i32)
+ (func $mask-bits (; 21 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(tee_local $0
(i32.const 127)
@@ -1397,7 +1397,7 @@
)
)
)
- (func $local-info-zero-ext (type $4) (param $0 i32) (param $1 i32)
+ (func $local-info-zero-ext (; 22 ;) (type $4) (param $0 i32) (param $1 i32)
(local $x i32)
(local $y i32)
(local $z i32)
@@ -1448,7 +1448,7 @@
)
)
)
- (func $local-info-sign-ext-bitsize (type $4) (param $0 i32) (param $1 i32)
+ (func $local-info-sign-ext-bitsize (; 23 ;) (type $4) (param $0 i32) (param $1 i32)
(local $x i32)
(local $y i32)
(local $z i32)
@@ -1508,7 +1508,7 @@
)
)
)
- (func $local-info-sign-ext-already-exted (type $4) (param $0 i32) (param $1 i32)
+ (func $local-info-sign-ext-already-exted (; 24 ;) (type $4) (param $0 i32) (param $1 i32)
(local $x i32)
(local $y i32)
(local $z i32)
@@ -1619,7 +1619,7 @@
)
)
)
- (func $signed-loads-fill-the-bits (type $3) (param $$e i32) (result i32)
+ (func $signed-loads-fill-the-bits (; 25 ;) (type $3) (param $$e i32) (result i32)
(local $$0 i32)
(local $$conv i32)
(set_local $$0
@@ -1640,7 +1640,7 @@
)
)
)
- (func $local-info-sign-ext-already-exted-by-load (type $4) (param $0 i32) (param $1 i32)
+ (func $local-info-sign-ext-already-exted-by-load (; 26 ;) (type $4) (param $0 i32) (param $1 i32)
(local $x i32)
(local $y i32)
(local $z i32)
@@ -1682,7 +1682,7 @@
)
)
)
- (func $compare-load-s-sign-extend (type $4) (param $0 i32) (param $1 i32)
+ (func $compare-load-s-sign-extend (; 27 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.eq
(i32.load8_u
@@ -1762,7 +1762,7 @@
)
)
)
- (func $unsign-diff-sizes (type $6) (param $x i32) (param $y i32) (result i32)
+ (func $unsign-diff-sizes (; 28 ;) (type $6) (param $x i32) (param $y i32) (result i32)
(i32.ne
(i32.shr_s
(i32.shl
@@ -1786,7 +1786,7 @@
)
)
)
- (func $unsign-same-sizes (type $6) (param $x i32) (param $y i32) (result i32)
+ (func $unsign-same-sizes (; 29 ;) (type $6) (param $x i32) (param $y i32) (result i32)
(i32.ne
(i32.and
(call $unsign-same-sizes
@@ -1804,7 +1804,7 @@
)
)
)
- (func $fuzz-almost-sign-ext (type $1)
+ (func $fuzz-almost-sign-ext (; 30 ;) (type $1)
(drop
(i32.shr_s
(i32.shl
@@ -1828,7 +1828,7 @@
)
)
)
- (func $fuzz-comp-impossible (type $5) (param $x i32)
+ (func $fuzz-comp-impossible (; 31 ;) (type $5) (param $x i32)
(drop
(i32.eq
(i32.and
@@ -1893,7 +1893,7 @@
)
)
)
- (func $if-parallel (type $4) (param $0 i32) (param $1 i32)
+ (func $if-parallel (; 32 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.add
(get_local $1)
@@ -1948,7 +1948,7 @@
)
)
)
- (func $select-parallel (type $4) (param $0 i32) (param $1 i32)
+ (func $select-parallel (; 33 ;) (type $4) (param $0 i32) (param $1 i32)
(drop
(i32.add
(get_local $1)
@@ -2004,7 +2004,7 @@
)
)
)
- (func $zero-shifts-is-not-sign-ext (type $1)
+ (func $zero-shifts-is-not-sign-ext (; 34 ;) (type $1)
(drop
(i32.eq
(i32.load16_s align=1
@@ -2025,7 +2025,7 @@
)
)
)
- (func $zero-ops (type $2) (result i32)
+ (func $zero-ops (; 35 ;) (type $2) (result i32)
(return
(i32.eq
(i32.load16_s align=1
@@ -2035,7 +2035,7 @@
)
)
)
- (func $sign-ext-1-and-ne (type $2) (result i32)
+ (func $sign-ext-1-and-ne (; 36 ;) (type $2) (result i32)
(select
(i32.ne
(i32.and
@@ -2048,7 +2048,7 @@
(i32.const 1)
)
)
- (func $neg-shifts-and-255 (type $2) (result i32)
+ (func $neg-shifts-and-255 (; 37 ;) (type $2) (result i32)
(i32.and
(i32.shr_u
(i32.const -99)
@@ -2057,7 +2057,7 @@
(i32.const 255)
)
)
- (func $neg-shifts-and-255-b (type $2) (result i32)
+ (func $neg-shifts-and-255-b (; 38 ;) (type $2) (result i32)
(i32.and
(i32.shl
(i32.const -2349025)
@@ -2066,7 +2066,7 @@
(i32.const 255)
)
)
- (func $shifts-square-overflow (type $3) (param $x i32) (result i32)
+ (func $shifts-square-overflow (; 39 ;) (type $3) (param $x i32) (result i32)
(i32.shr_u
(i32.shr_u
(get_local $x)
@@ -2075,13 +2075,13 @@
(i32.const 32767)
)
)
- (func $shifts-square-no-overflow-small (type $3) (param $x i32) (result i32)
+ (func $shifts-square-no-overflow-small (; 40 ;) (type $3) (param $x i32) (result i32)
(i32.shr_u
(get_local $x)
(i32.const 9)
)
)
- (func $shifts-square-overflow-64 (type $7) (param $x i64) (result i64)
+ (func $shifts-square-overflow-64 (; 41 ;) (type $7) (param $x i64) (result i64)
(i64.shr_u
(i64.shr_u
(get_local $x)
@@ -2090,13 +2090,13 @@
(i64.const 64767)
)
)
- (func $shifts-square-no-overflow-small-64 (type $7) (param $x i64) (result i64)
+ (func $shifts-square-no-overflow-small-64 (; 42 ;) (type $7) (param $x i64) (result i64)
(i64.shr_u
(get_local $x)
(i64.const 9)
)
)
- (func $shifts-square-unreachable (type $3) (param $x i32) (result i32)
+ (func $shifts-square-unreachable (; 43 ;) (type $3) (param $x i32) (result i32)
(i32.shr_u
(i32.shr_u
(unreachable)
@@ -2105,7 +2105,7 @@
(i32.const 4098)
)
)
- (func $mix-shifts (type $2) (result i32)
+ (func $mix-shifts (; 44 ;) (type $2) (result i32)
(i32.shr_s
(i32.shl
(i32.const 23)
@@ -2114,13 +2114,13 @@
(i32.const 168)
)
)
- (func $actually-no-shifts (type $2) (result i32)
+ (func $actually-no-shifts (; 45 ;) (type $2) (result i32)
(i32.const 33)
)
- (func $less-shifts-than-it-seems (type $3) (param $x i32) (result i32)
+ (func $less-shifts-than-it-seems (; 46 ;) (type $3) (param $x i32) (result i32)
(i32.const 4800)
)
- (func $and-popcount32 (type $2) (result i32)
+ (func $and-popcount32 (; 47 ;) (type $2) (result i32)
(i32.and
(i32.popcnt
(i32.const -1)
@@ -2128,12 +2128,12 @@
(i32.const 31)
)
)
- (func $and-popcount32-big (type $2) (result i32)
+ (func $and-popcount32-big (; 48 ;) (type $2) (result i32)
(i32.popcnt
(i32.const -1)
)
)
- (func $and-popcount64 (type $8) (result i64)
+ (func $and-popcount64 (; 49 ;) (type $8) (result i64)
(i64.and
(i64.popcnt
(i64.const -1)
@@ -2141,7 +2141,7 @@
(i64.const 63)
)
)
- (func $and-popcount64-big (type $8) (result i64)
+ (func $and-popcount64-big (; 50 ;) (type $8) (result i64)
(i64.and
(i64.popcnt
(i64.const -1)
@@ -2149,7 +2149,7 @@
(i64.const 127)
)
)
- (func $and-popcount64-bigger (type $8) (result i64)
+ (func $and-popcount64-bigger (; 51 ;) (type $8) (result i64)
(i64.and
(i64.popcnt
(i64.const -1)
@@ -2157,7 +2157,7 @@
(i64.const 255)
)
)
- (func $optimizeAddedConstants-filters-through-nonzero (type $2) (result i32)
+ (func $optimizeAddedConstants-filters-through-nonzero (; 52 ;) (type $2) (result i32)
(i32.add
(i32.shl
(i32.const -536870912)
@@ -2168,7 +2168,7 @@
(i32.const -31744)
)
)
- (func $optimizeAddedConstants-filters-through-nonzero-b (type $2) (result i32)
+ (func $optimizeAddedConstants-filters-through-nonzero-b (; 53 ;) (type $2) (result i32)
(i32.add
(i32.shl
(i32.const -536870912)
@@ -2179,7 +2179,7 @@
(i32.const -31744)
)
)
- (func $return-proper-value-from-shift-left-by-zero (type $2) (result i32)
+ (func $return-proper-value-from-shift-left-by-zero (; 54 ;) (type $2) (result i32)
(if (result i32)
(i32.add
(loop $label$0 (result i32)