summaryrefslogtreecommitdiff
path: root/test/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes')
-rw-r--r--test/passes/O3_low-memory-unused_metrics.txt44
-rw-r--r--test/passes/O4_disable-bulk-memory.txt16
-rw-r--r--test/passes/inlining-optimizing_optimize-level=3.txt62
-rw-r--r--test/passes/optimize-instructions_all-features.txt49
-rw-r--r--test/passes/optimize-instructions_all-features.wast33
-rw-r--r--test/passes/optimize-instructions_optimize-level=2_all-features_ignore-implicit-traps.txt12
6 files changed, 147 insertions, 69 deletions
diff --git a/test/passes/O3_low-memory-unused_metrics.txt b/test/passes/O3_low-memory-unused_metrics.txt
index 4989dec5f..f148cacd8 100644
--- a/test/passes/O3_low-memory-unused_metrics.txt
+++ b/test/passes/O3_low-memory-unused_metrics.txt
@@ -1142,9 +1142,9 @@ total
)
)
)
- (i32.gt_u
- (local.get $5)
+ (i32.lt_u
(local.get $3)
+ (local.get $5)
)
)
)
@@ -1287,8 +1287,7 @@ total
)
)
(if
- (i32.ge_u
- (local.get $6)
+ (i32.le_u
(i32.load16_u offset=20
(local.tee $5
(i32.load offset=28
@@ -1296,6 +1295,7 @@ total
)
)
)
+ (local.get $6)
)
(block
(local.set $3
@@ -1482,9 +1482,9 @@ total
)
)
)
- (i32.gt_u
- (local.get $5)
+ (i32.lt_u
(local.get $3)
+ (local.get $5)
)
)
)
@@ -1795,9 +1795,9 @@ total
)
)
)
- (i32.gt_u
- (local.get $5)
+ (i32.lt_u
(local.get $3)
+ (local.get $5)
)
)
)
@@ -2030,16 +2030,16 @@ total
(block
(block $label$52
(br_if $label$52
- (i32.le_u
+ (i32.ge_u
+ (i32.load offset=12
+ (local.get $2)
+ )
(i32.add
(i32.load offset=20
(local.get $2)
)
(i32.const 2)
)
- (i32.load offset=12
- (local.get $2)
- )
)
)
(br_if $label$52
@@ -2060,9 +2060,9 @@ total
)
)
)
- (i32.gt_u
- (local.get $5)
+ (i32.lt_u
(local.get $3)
+ (local.get $5)
)
)
)
@@ -2141,7 +2141,10 @@ total
)
)
(br_if $label$6
- (i32.gt_u
+ (i32.lt_u
+ (i32.load offset=12
+ (local.get $2)
+ )
(i32.add
(local.tee $3
(i32.load offset=20
@@ -2150,9 +2153,6 @@ total
)
(i32.const 2)
)
- (i32.load offset=12
- (local.get $2)
- )
)
)
(local.set $4
@@ -2344,9 +2344,9 @@ total
)
)
(br_if $label$53
- (i32.lt_s
- (local.get $7)
+ (i32.gt_s
(local.get $1)
+ (local.get $7)
)
)
(br_if $label$53
@@ -3024,9 +3024,9 @@ total
)
)
)
- (i32.gt_u
- (local.get $4)
+ (i32.lt_u
(local.get $1)
+ (local.get $4)
)
)
)
diff --git a/test/passes/O4_disable-bulk-memory.txt b/test/passes/O4_disable-bulk-memory.txt
index 19d07a81e..dfb04c088 100644
--- a/test/passes/O4_disable-bulk-memory.txt
+++ b/test/passes/O4_disable-bulk-memory.txt
@@ -196,8 +196,7 @@
(f64.store offset=24
(local.tee $1
(if (result i32)
- (i32.lt_u
- (i32.const 0)
+ (i32.gt_u
(i32.shr_u
(i32.load
(local.tee $1
@@ -208,6 +207,7 @@
)
(i32.const 2)
)
+ (i32.const 0)
)
(i32.load offset=8
(local.get $1)
@@ -1212,9 +1212,9 @@
(block $label$1
(loop $label$2
(br_if $label$1
- (i32.ge_u
- (local.get $1)
+ (i32.le_u
(local.get $0)
+ (local.get $1)
)
)
(call $assembly/index/NBodySystem#advance
@@ -1233,8 +1233,7 @@
(func $assembly/index/getBody (; has Stack IR ;) (param $0 i32) (result i32)
(local $1 i32)
(if (result i32)
- (i32.lt_u
- (local.get $0)
+ (i32.gt_u
(i32.load offset=4
(local.tee $1
(i32.load
@@ -1242,10 +1241,10 @@
)
)
)
+ (local.get $0)
)
(if (result i32)
- (i32.lt_u
- (local.get $0)
+ (i32.gt_u
(i32.shr_u
(i32.load
(local.tee $1
@@ -1256,6 +1255,7 @@
)
(i32.const 2)
)
+ (local.get $0)
)
(i32.load offset=8
(i32.add
diff --git a/test/passes/inlining-optimizing_optimize-level=3.txt b/test/passes/inlining-optimizing_optimize-level=3.txt
index 1b8a1b9f5..a127ec001 100644
--- a/test/passes/inlining-optimizing_optimize-level=3.txt
+++ b/test/passes/inlining-optimizing_optimize-level=3.txt
@@ -3602,9 +3602,9 @@
)
)
(local.get $6)
- (i32.lt_s
- (local.get $6)
+ (i32.gt_s
(local.get $5)
+ (local.get $6)
)
)
)
@@ -4508,22 +4508,22 @@
(block (result i32)
(global.set $tempRet0
(i32.add
- (i32.lt_u
+ (i32.gt_u
+ (local.tee $20
+ (call $_bitshift64Shl
+ (i32.load
+ (local.get $9)
+ )
+ (i32.const 0)
+ (local.get $15)
+ )
+ )
(local.tee $11
(i32.add
(local.get $11)
- (local.tee $20
- (call $_bitshift64Shl
- (i32.load
- (local.get $9)
- )
- (i32.const 0)
- (local.get $15)
- )
- )
+ (local.get $20)
)
)
- (local.get $20)
)
(global.get $tempRet0)
)
@@ -4575,9 +4575,9 @@
)
(loop $while-in68
(if
- (i32.gt_u
- (local.get $7)
+ (i32.lt_u
(local.get $5)
+ (local.get $7)
)
(if
(i32.eqz
@@ -4680,9 +4680,9 @@
)
)
(if
- (i32.lt_u
- (local.get $6)
+ (i32.gt_u
(local.get $5)
+ (local.get $6)
)
(block $do-once71
(local.set $11
@@ -5263,9 +5263,9 @@
)
)
(local.get $9)
- (i32.gt_u
- (local.get $9)
+ (i32.lt_u
(local.get $5)
+ (local.get $9)
)
)
)
@@ -5517,9 +5517,9 @@
)
)
)
- (i32.lt_s
- (local.get $19)
+ (i32.gt_s
(local.get $5)
+ (local.get $19)
)
)
)
@@ -5547,9 +5547,9 @@
)
)
)
- (i32.lt_s
- (local.get $19)
+ (i32.gt_s
(local.get $5)
+ (local.get $19)
)
)
)
@@ -6651,9 +6651,9 @@
)
)
(br_if $while-in127
- (i32.lt_u
- (local.get $6)
+ (i32.gt_u
(local.get $5)
+ (local.get $6)
)
)
(local.get $5)
@@ -6675,9 +6675,9 @@
(select
(local.get $17)
(local.get $7)
- (i32.gt_s
- (local.get $17)
+ (i32.lt_s
(local.get $7)
+ (local.get $17)
)
)
)
@@ -6733,9 +6733,9 @@
)
)
)
- (i32.gt_s
- (local.get $6)
+ (i32.lt_s
(local.get $5)
+ (local.get $6)
)
)
(block (result i32)
@@ -6762,9 +6762,9 @@
)
)
(local.get $17)
- (i32.lt_s
- (local.get $17)
+ (i32.gt_s
(local.get $5)
+ (local.get $17)
)
)
)
diff --git a/test/passes/optimize-instructions_all-features.txt b/test/passes/optimize-instructions_all-features.txt
index 522bd6fe8..1873b8d3a 100644
--- a/test/passes/optimize-instructions_all-features.txt
+++ b/test/passes/optimize-instructions_all-features.txt
@@ -658,6 +658,51 @@
)
)
(drop
+ (i32.lt_s
+ (local.get $x)
+ (i32.const 1)
+ )
+ )
+ (drop
+ (i32.const 0)
+ )
+ (drop
+ (i32.ne
+ (local.get $x)
+ (i32.const -1)
+ )
+ )
+ (drop
+ (f64.ne
+ (local.get $fx)
+ (f64.const -1)
+ )
+ )
+ (drop
+ (f64.gt
+ (local.get $fx)
+ (f64.const -2)
+ )
+ )
+ (drop
+ (f64.le
+ (local.get $fx)
+ (f64.const inf)
+ )
+ )
+ (drop
+ (f64.ge
+ (local.get $fx)
+ (f64.const nan:0x8000000000000)
+ )
+ )
+ (drop
+ (f64.ge
+ (f64.const 1)
+ (f64.const 2)
+ )
+ )
+ (drop
(i32.add
(i32.ctz
(local.get $x)
@@ -4486,9 +4531,9 @@
)
(drop
(i32.or
- (i32.gt_s
- (local.get $y)
+ (i32.lt_s
(call $ne0)
+ (local.get $y)
)
(i32.eq
(call $ne0)
diff --git a/test/passes/optimize-instructions_all-features.wast b/test/passes/optimize-instructions_all-features.wast
index 9b172e4bd..cf35668d5 100644
--- a/test/passes/optimize-instructions_all-features.wast
+++ b/test/passes/optimize-instructions_all-features.wast
@@ -495,6 +495,39 @@
(i32.const 23)
)
))
+ (drop (i32.gt_s
+ (i32.const 1)
+ (local.get $x)
+ ))
+ (drop (i32.gt_u
+ (i32.const 0)
+ (local.get $x)
+ ))
+ (drop (i32.ne
+ (i32.const -1)
+ (local.get $x)
+ ))
+ (drop (f64.ne
+ (f64.const -1)
+ (local.get $fx)
+ ))
+ (drop (f64.lt
+ (f64.const -2)
+ (local.get $fx)
+ ))
+ (drop (f64.ge
+ (f64.const inf)
+ (local.get $fx)
+ ))
+ (drop (f64.le
+ (f64.const nan)
+ (local.get $fx)
+ ))
+ ;; skip
+ (drop (f64.ge
+ (f64.const 1)
+ (f64.const 2)
+ ))
(drop (i32.add (i32.ctz (local.get $x)) (i32.ctz (local.get $y))))
(drop (i32.add (i32.ctz (local.get $y)) (i32.ctz (local.get $x))))
(drop (i32.add (i32.ctz (local.get $x)) (i32.eqz (local.get $y))))
diff --git a/test/passes/optimize-instructions_optimize-level=2_all-features_ignore-implicit-traps.txt b/test/passes/optimize-instructions_optimize-level=2_all-features_ignore-implicit-traps.txt
index adb69fd90..235944062 100644
--- a/test/passes/optimize-instructions_optimize-level=2_all-features_ignore-implicit-traps.txt
+++ b/test/passes/optimize-instructions_optimize-level=2_all-features_ignore-implicit-traps.txt
@@ -61,14 +61,14 @@
)
)
(br_if $while-in6
- (i32.lt_s
+ (i32.gt_s
+ (local.get $4)
(local.tee $3
(i32.add
(local.get $3)
(i32.const 1)
)
)
- (local.get $4)
)
)
)
@@ -144,14 +144,14 @@
)
)
(br_if $while-in6
- (i32.lt_s
+ (i32.gt_s
+ (local.get $4)
(local.tee $3
(i32.add
(local.get $3)
(i32.const 1)
)
)
- (local.get $4)
)
)
)
@@ -226,14 +226,14 @@
)
)
(br_if $while-in6
- (i32.lt_s
+ (i32.gt_s
+ (local.get $4)
(local.tee $3
(i32.add
(local.get $3)
(i32.const 1)
)
)
- (local.get $4)
)
)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-22 02:44:11 +0000