summaryrefslogtreecommitdiff
path: root/test/passes/precompute_all-features.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/precompute_all-features.wast')
-rw-r--r--test/passes/precompute_all-features.wast54
1 files changed, 32 insertions, 22 deletions
diff --git a/test/passes/precompute_all-features.wast b/test/passes/precompute_all-features.wast
index 450001533..633787fad 100644
--- a/test/passes/precompute_all-features.wast
+++ b/test/passes/precompute_all-features.wast
@@ -192,16 +192,22 @@
)
(func $ret (result i32)
(if (call $ret)
- (return (i32.const 0))
+ (then
+ (return (i32.const 0))
+ )
)
(if (call $ret)
- (return (return (i32.const 1)))
+ (then
+ (return (return (i32.const 1)))
+ )
)
(i32.const 1)
)
(func $noret
(if (call $ret)
- (return)
+ (then
+ (return)
+ )
)
)
(func $refinalize-br-condition-unreachable
@@ -234,33 +240,37 @@
(i32.const 1919623207)
(if (result i32)
(i32.const 1)
- (block $label$2 (result i32)
- (drop
- (i64.and
- (i64.trunc_f32_u
- (f32.const 70847791997969805621592064)
+ (then
+ (block $label$2 (result i32)
+ (drop
+ (i64.and
+ (i64.trunc_f32_u
+ (f32.const 70847791997969805621592064)
+ )
+ (i64.const 729618461987467893)
)
- (i64.const 729618461987467893)
)
- )
- (br_if $label$2
- (i32.const 2049535349)
- (f32.eq
- (f32.demote_f64
- (f64.mul
- (br_if $label$0 ;; this br is optimized, and br *and* values reused
- (f64.const 6.134856208230095e-154)
- (i32.const 690910817)
+ (br_if $label$2
+ (i32.const 2049535349)
+ (f32.eq
+ (f32.demote_f64
+ (f64.mul
+ (br_if $label$0 ;; this br is optimized, and br *and* values reused
+ (f64.const 6.134856208230095e-154)
+ (i32.const 690910817)
+ )
+ (f64.const 1.515470884183969e-152)
)
- (f64.const 1.515470884183969e-152)
)
+ (f32.const 66524025679377434935296)
)
- (f32.const 66524025679377434935296)
)
)
)
- (i32.load offset=3 align=2
- (i32.const 169901344)
+ (else
+ (i32.load offset=3 align=2
+ (i32.const 169901344)
+ )
)
)
)