diff options
Diffstat (limited to 'test/lit/passes/stack-ir-non-nullable.wast')
| -rw-r--r-- | test/lit/passes/stack-ir-non-nullable.wast | 386 |
1 files changed, 227 insertions, 159 deletions
diff --git a/test/lit/passes/stack-ir-non-nullable.wast b/test/lit/passes/stack-ir-non-nullable.wast index e2bd63271..62d75d61f 100644 --- a/test/lit/passes/stack-ir-non-nullable.wast +++ b/test/lit/passes/stack-ir-non-nullable.wast @@ -41,14 +41,18 @@ (i32.const 0) ) ) - (local.set $temp - (i31.new - (i32.const 1) + (then + (local.set $temp + (i31.new + (i32.const 1) + ) ) ) - (local.set $temp - (i31.new - (i32.const 2) + (else + (local.set $temp + (i31.new + (i32.const 2) + ) ) ) ) @@ -86,14 +90,18 @@ (i32.const 0) ) ) - (local.set $temp - (i31.new - (i32.const 1) + (then + (local.set $temp + (i31.new + (i32.const 1) + ) ) ) - (local.set $temp - (i31.new - (i32.const 2) + (else + (local.set $temp + (i31.new + (i32.const 2) + ) ) ) ) @@ -131,14 +139,18 @@ (i32.const 0) ) ) - (local.set $temp - (i31.new - (i32.const 1) + (then + (local.set $temp + (i31.new + (i32.const 1) + ) ) ) - (local.set $temp - (i31.new - (i32.const 2) + (else + (local.set $temp + (i31.new + (i32.const 2) + ) ) ) ) @@ -183,14 +195,18 @@ (i32.const 0) ) ) - (local.set $temp - (i31.new - (i32.const 1) + (then + (local.set $temp + (i31.new + (i32.const 1) + ) ) ) - (local.set $temp - (i31.new - (i32.const 2) + (else + (local.set $temp + (i31.new + (i32.const 2) + ) ) ) ) @@ -233,14 +249,18 @@ (i32.const 0) ) ) - (local.set $temp - (i31.new - (i32.const 1) + (then + (local.set $temp + (i31.new + (i32.const 1) + ) ) ) - (local.set $temp - (i31.new - (i32.const 2) + (else + (local.set $temp + (i31.new + (i32.const 2) + ) ) ) ) @@ -280,14 +300,18 @@ (i32.const 0) ) ) - (local.set $temp - (i31.new - (i32.const 1) + (then + (local.set $temp + (i31.new + (i32.const 1) + ) ) ) - (local.set $temp - (i31.new - (i32.const 2) + (else + (local.set $temp + (i31.new + (i32.const 2) + ) ) ) ) @@ -325,14 +349,18 @@ (i32.const 0) ) ) - (local.set $temp - (i31.new - (i32.const 1) + (then + (local.set $temp + (i31.new + (i32.const 1) + ) ) ) - (local.set $temp - (i31.new - (i32.const 2) + (else + (local.set $temp + (i31.new + (i32.const 2) + ) ) ) ) @@ -386,19 +414,23 @@ (i32.const 1) ) ) - (local.set $temp - (tuple.make 2 - (i32.const 2) - (i31.new - (i32.const 3) + (then + (local.set $temp + (tuple.make 2 + (i32.const 2) + (i31.new + (i32.const 3) + ) ) ) ) - (local.set $temp - (tuple.make 2 - (i32.const 4) - (i31.new - (i32.const 5) + (else + (local.set $temp + (tuple.make 2 + (i32.const 4) + (i31.new + (i32.const 5) + ) ) ) ) @@ -454,19 +486,23 @@ (i32.const 1) ) ) - (local.set $temp - (tuple.make 2 - (i32.const 2) - (i31.new - (i32.const 3) + (then + (local.set $temp + (tuple.make 2 + (i32.const 2) + (i31.new + (i32.const 3) + ) ) ) ) - (local.set $temp - (tuple.make 2 - (i32.const 4) - (i31.new - (i32.const 5) + (else + (local.set $temp + (tuple.make 2 + (i32.const 4) + (i31.new + (i32.const 5) + ) ) ) ) @@ -501,11 +537,15 @@ (local.get $temp) (i32.const 0) ) - (local.set $temp - (i32.const 1) + (then + (local.set $temp + (i32.const 1) + ) ) - (local.set $temp - (i32.const 2) + (else + (local.set $temp + (i32.const 2) + ) ) ) (local.get $temp) @@ -544,26 +584,30 @@ ) (if (i32.const 0) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) - ) - (drop - (local.get $temp) + (then + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) + (drop + (local.get $temp) + ) ) ) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) - ) - (drop - (local.get $temp) + (else + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) + (drop + (local.get $temp) + ) ) ) ) @@ -597,24 +641,28 @@ ) (if (i32.const 0) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) + (then + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) + ;; A get was removed here. ) - ;; A get was removed here. ) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) - ) - (drop - (local.get $temp) + (else + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) + (drop + (local.get $temp) + ) ) ) ) @@ -645,25 +693,29 @@ ) (if (i32.const 0) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) - ) - (drop - (local.get $temp) + (then + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) + (drop + (local.get $temp) + ) ) ) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) + (else + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) + ;; A get was removed here. ) - ;; A get was removed here. ) ) ) @@ -689,23 +741,27 @@ ) (if (i32.const 0) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) + (then + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) + ;; A get was removed here. ) - ;; A get was removed here. ) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) + (else + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) + ;; A get was removed here. ) - ;; A get was removed here. ) ) ) @@ -727,20 +783,24 @@ ;; optimize both arms. (if (i32.const 0) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) + (then + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) ) ) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) + (else + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) ) ) ) @@ -766,20 +826,24 @@ ;; them as well. (if (i32.const 0) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) + (then + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) ) ) - (block - (local.set $temp - (local.get $param) - ) - (drop - (local.get $temp) + (else + (block + (local.set $temp + (local.get $param) + ) + (drop + (local.get $temp) + ) ) ) ) @@ -959,13 +1023,17 @@ ;; In this if arm we write to $temp twice. That shouldn't confuse us; there's ;; still a use after the if, and we should not remove the set-get pair before ;; the if. - (local.set $temp - (local.tee $temp - (local.get $param) + (then + (local.set $temp + (local.tee $temp + (local.get $param) + ) ) ) - (local.set $temp - (local.get $param) + (else + (local.set $temp + (local.get $param) + ) ) ) (local.get $temp) |