summaryrefslogtreecommitdiff
path: root/test/passes/flatten_dfo_O3_enable-threads.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/flatten_dfo_O3_enable-threads.wast')
-rw-r--r--test/passes/flatten_dfo_O3_enable-threads.wast203
1 files changed, 0 insertions, 203 deletions
diff --git a/test/passes/flatten_dfo_O3_enable-threads.wast b/test/passes/flatten_dfo_O3_enable-threads.wast
deleted file mode 100644
index e6e136b68..000000000
--- a/test/passes/flatten_dfo_O3_enable-threads.wast
+++ /dev/null
@@ -1,203 +0,0 @@
-(module
- (memory $0 (shared 1 1))
- (func "one"
- (loop $label$2
- (br_if $label$2
- (block $label$3 (result i32)
- (drop
- (br_if $label$3
- (i32.const 0)
- (i32.load
- (i32.const 3060)
- )
- )
- )
- (i32.const 0)
- )
- )
- )
- (unreachable)
- )
- (func "two" (param $var$0 i32) (param $var$1 i32) (result i32)
- (nop)
- (nop)
- (nop)
- (nop)
- (nop)
- (if
- (i32.const 0)
- (i32.store8
- (i32.const 8)
- (block $label$2 (result i32)
- (drop
- (br_if $label$2
- (i32.const 1)
- (i32.const 0)
- )
- )
- (if
- (i32.const 0)
- (drop
- (br_if $label$2
- (i32.const 1)
- (i32.const 1)
- )
- )
- )
- (block $label$4
- (br_if $label$4
- (i32.const 0)
- )
- (br_if $label$4
- (i32.const 0)
- )
- (drop
- (br_if $label$2
- (i32.const 1)
- (i32.const 0)
- )
- )
- )
- (i32.const 6704)
- )
- )
- )
- (nop)
- (i32.const 0)
- )
- (func "use-var" (param $var$0 i64) (param $var$1 i32) (result f64)
- (local $var$2 i32)
- (block $label$1
- (br_table $label$1 $label$1 $label$1 $label$1 $label$1 $label$1 $label$1 $label$1 $label$1 $label$1
- (i32.wrap_i64
- (if (result i64)
- (i32.const 0)
- (i64.const 1)
- (if (result i64)
- (if (result i32)
- (i32.const 0)
- (unreachable)
- (block $label$6 (result i32)
- (block $label$7
- (loop $label$8
- (br_if $label$8
- (br_if $label$6
- (local.tee $var$2
- (block $label$9 (result i32)
- (local.get $var$1)
- )
- )
- (i32.const 0)
- )
- )
- (loop $label$10
- (if
- (i32.const 0)
- (local.set $var$2
- (local.get $var$1)
- )
- )
- )
- (drop
- (i32.eqz
- (local.get $var$2)
- )
- )
- )
- )
- (unreachable)
- )
- )
- (unreachable)
- (i64.const 1)
- )
- )
- )
- )
- )
- (unreachable)
- )
- (func "bad1"
- (local $var$2 i32)
- (local $var$4 i32)
- (block $label$1
- (loop $label$2
- (local.set $var$4
- (if (result i32)
- (i32.const 0)
- (block (result i32)
- (local.set $var$4
- (local.tee $var$2
- (i32.xor
- (i32.const 0)
- (i32.const -1)
- )
- )
- )
- (i32.const 0)
- )
- (block (result i32)
- (local.set $var$4
- (local.tee $var$2
- (i32.xor
- (i32.const 0)
- (i32.const -1)
- )
- )
- )
- (i32.const 0)
- )
- )
- )
- (i32.store
- (i32.const 1)
- (i32.shl
- (local.get $var$2)
- (i32.const 14)
- )
- )
- )
- )
- )
- (func "only-dfo" (param $var$0 f64) (result f64)
- (local $var$1 i32)
- (local $var$2 i32)
- (loop $label$1
- (if
- (local.tee $var$1
- (local.tee $var$2
- (local.get $var$1)
- )
- )
- (if
- (local.get $var$2)
- (i64.atomic.store32 offset=3
- (i32.and
- (local.get $var$1) ;; only dfo can figure out that this is 0
- (i32.const 15)
- )
- (i64.const -32768)
- )
- )
- )
- (br $label$1)
- )
- )
- (func "dfo-tee-get" (result i32)
- (local $0 i32)
- (if (result i32)
- (local.tee $0
- (i32.const 1)
- )
- (loop $label$2 (result i32)
- (select
- (i32.const 1)
- (i32.const -1709605511)
- (local.get $0)
- )
- )
- (unreachable)
- )
- )
-)
-