diff options
Diffstat (limited to 'test/passes/flatten_local-cse_all-features.wast')
| -rw-r--r-- | test/passes/flatten_local-cse_all-features.wast | 316 |
1 files changed, 0 insertions, 316 deletions
diff --git a/test/passes/flatten_local-cse_all-features.wast b/test/passes/flatten_local-cse_all-features.wast deleted file mode 100644 index 660f56c1e..000000000 --- a/test/passes/flatten_local-cse_all-features.wast +++ /dev/null @@ -1,316 +0,0 @@ -(module - (memory 100 100) - (func $basics - (local $x i32) - (local $y i32) - (drop - (i32.add (i32.const 1) (i32.const 2)) - ) - (drop - (i32.add (i32.const 1) (i32.const 2)) - ) - (if (i32.const 0) (nop)) - (drop ;; we can't do this yet, non-linear - (i32.add (i32.const 1) (i32.const 2)) - ) - (drop - (i32.add (local.get $x) (local.get $y)) - ) - (drop - (i32.add (local.get $x) (local.get $y)) - ) - (drop - (i32.add (local.get $x) (local.get $y)) - ) - (call $basics) ;; side effects, but no matter for our locals - (drop - (i32.add (local.get $x) (local.get $y)) - ) - (local.set $x (i32.const 100)) - (drop ;; x was changed! - (i32.add (local.get $x) (local.get $y)) - ) - ) - (func $recursive1 - (local $x i32) - (local $y i32) - (drop - (i32.add - (i32.const 1) - (i32.add - (i32.const 2) - (i32.const 3) - ) - ) - ) - (drop - (i32.add - (i32.const 1) - (i32.add - (i32.const 2) - (i32.const 3) - ) - ) - ) - (drop - (i32.add - (i32.const 2) - (i32.const 3) - ) - ) - ) - (func $recursive2 - (local $x i32) - (local $y i32) - (drop - (i32.add - (i32.const 1) - (i32.add - (i32.const 2) - (i32.const 3) - ) - ) - ) - (drop - (i32.add - (i32.const 2) - (i32.const 3) - ) - ) - (drop - (i32.add - (i32.const 1) - (i32.add - (i32.const 2) - (i32.const 3) - ) - ) - ) - ) - (func $self - (local $x i32) - (local $y i32) - (drop - (i32.add - (i32.add - (i32.const 2) - (i32.const 3) - ) - (i32.add - (i32.const 2) - (i32.const 3) - ) - ) - ) - (drop - (i32.add - (i32.const 2) - (i32.const 3) - ) - ) - ) - (func $loads - (drop - (i32.load (i32.const 10)) - ) - (drop - (i32.load (i32.const 10)) ;; implicit traps, sad - ) - ) - (func $8 (param $var$0 i32) (result i32) - (local $var$1 i32) - (local $var$2 i32) - (local $var$3 i32) - (block $label$0 (result i32) - (i32.store - (local.tee $var$2 - (i32.add - (local.get $var$1) - (i32.const 4) - ) - ) - (i32.and - (i32.load - (local.get $var$2) - ) - (i32.xor - (local.tee $var$2 - (i32.const 74) - ) - (i32.const -1) - ) - ) - ) - (i32.store - (local.tee $var$1 - (i32.add - (local.get $var$1) - (i32.const 4) - ) - ) - (i32.or - (i32.load - (local.get $var$1) - ) - (i32.and - (local.get $var$2) - (i32.const 8) - ) - ) - ) - (i32.const 0) - ) - ) - (func $loop1 (param $x i32) (param $y i32) (result i32) - (local.set $x (local.get $y)) - (local.set $y (local.get $x)) - (local.set $x (local.get $y)) - (local.set $y (local.get $x)) - (return (local.get $y)) - ) - (func $loop2 (param $x i32) (param $y i32) (param $z i32) (result i32) - (local.set $x (local.get $y)) - (local.set $y (local.get $z)) - (local.set $z (local.get $x)) - (local.set $x (local.get $y)) - (local.set $y (local.get $z)) - (local.set $z (local.get $x)) - (return (local.get $x)) - ) - (func $loop3 (param $x i32) (param $y i32) (param $z i32) (result i32) - (local.set $x (local.get $y)) - (local.set $y (local.get $z)) - (local.set $z (local.get $y)) - (local.set $y (local.get $z)) - (local.set $z (local.get $y)) - (return (local.get $y)) - ) - (func $handle-removing (param $var$0 f64) (param $var$1 f64) (param $var$2 i32) (result f32) - (local.set $var$2 - (select - (local.tee $var$2 - (i32.const 32767) - ) - (local.tee $var$2 - (i32.const 1024) - ) - (i32.const -2147483648) - ) - ) - (f32.const 1) - ) -) -;; a testcase that fails if we don't handle equivalent local canonicalization properly -(module - (type $0 (func)) - (type $1 (func (param i32 f64) (result i32))) - (type $2 (func (param i64 f32 i32))) - (global $global$0 (mut i32) (i32.const 10)) - (table 23 23 funcref) - (export "func_1_invoker" (func $1)) - (export "func_6" (func $2)) - (func $0 (; 0 ;) (type $2) (param $var$0 i64) (param $var$1 f32) (param $var$2 i32) - (if - (block $label$1 (result i32) - (drop - (br_if $label$1 - (i32.const 0) - (br_if $label$1 - (i32.const 128) - (i32.const 0) - ) - ) - ) - (i32.const -14051) - ) - (global.set $global$0 - (i32.const 0) - ) - ) - ) - (func $1 (; 1 ;) (type $0) - (call $0 - (i64.const 1125899906842624) - (f32.const -nan:0x7fc91a) - (i32.const -46) - ) - ) - (func $2 (; 2 ;) (type $1) (param $var$0 i32) (param $var$1 f64) (result i32) - (if - (global.get $global$0) - (unreachable) - ) - (i32.const 0) - ) -) -(module - (import "env" "out" (func $out (param i32))) - (func $each-pass-must-clear (param $var$0 i32) - (call $out - (i32.eqz - (local.get $var$0) - ) - ) - (call $out - (i32.eqz - (local.get $var$0) - ) - ) - ) -) -(module - (global $glob (mut i32) (i32.const 1)) - (func $i64-shifts (result i64) - (local $temp i64) - (local.set $temp - (i64.add - (i64.const 1) - (i64.const 2) - ) - ) - (local.set $temp - (i64.const 9999) - ) - (local.set $temp - (i64.add - (i64.const 1) - (i64.const 2) - ) - ) - (local.get $temp) - ) - (func $global - (local $x i32) - (local $y i32) - (local.set $x (global.get $glob)) - (local.set $y (global.get $glob)) - (local.set $y (global.get $glob)) - ) -) - -(module - ;; After --flatten, there will be a series of chain copies between multiple - ;; locals, but some of the locals will be funcref type and others anyref - ;; type. We cannot make locals of different types a common subexpression. - (func $subtype-test (result anyref) - (nop) - (loop $label$1 (result funcref) - (ref.null func) - ) - ) - - (func $test - (local $0 anyref) - (drop - (block $label$1 (result funcref) - (local.set $0 - (ref.null func) - ) - ;; After --flatten, this will be assigned to a local of funcref type. After - ;; --local-cse, even if we set (ref.null func) to local $0 above, this - ;; should not be replaced with $0, because it is of type anyref. - (ref.null func) - ) - ) - ) -) |