diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/optimize-casts-tnh.wast | 45 | ||||
| -rw-r--r-- | test/lit/passes/simplify-locals-tnh.wast | 100 |
2 files changed, 145 insertions, 0 deletions
diff --git a/test/lit/passes/optimize-casts-tnh.wast b/test/lit/passes/optimize-casts-tnh.wast new file mode 100644 index 000000000..ced59bd0c --- /dev/null +++ b/test/lit/passes/optimize-casts-tnh.wast @@ -0,0 +1,45 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. +;; RUN: wasm-opt %s --optimize-casts -all -tnh -S -o - | filecheck %s + +(module + ;; CHECK: (type $A (struct )) + (type $A (struct_subtype data)) + + ;; CHECK: (global $a (mut i32) (i32.const 0)) + (global $a (mut i32) (i32.const 0)) + + ;; CHECK: (func $best (type $ref|struct|_=>_none) (param $x (ref struct)) + ;; CHECK-NEXT: (local $1 (ref $A)) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (local.tee $1 + ;; CHECK-NEXT: (ref.cast $A + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (global.set $a + ;; CHECK-NEXT: (i32.const 10) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (ref.cast $A + ;; CHECK-NEXT: (local.get $1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $best (param $x (ref struct)) + (drop + (local.get $x) + ) + ;; global.sets normally prevent casts from being moved before them, but + ;; if traps are assumed to never happen then we can still optimize. + (global.set $a + (i32.const 10) + ) + (drop + (ref.cast $A + (local.get $x) + ) + ) + ) +) + diff --git a/test/lit/passes/simplify-locals-tnh.wast b/test/lit/passes/simplify-locals-tnh.wast new file mode 100644 index 000000000..51fda82c1 --- /dev/null +++ b/test/lit/passes/simplify-locals-tnh.wast @@ -0,0 +1,100 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. +;; RUN: wasm-opt %s --simplify-locals --traps-never-happen -all -S -o - | filecheck %s --check-prefix TNH +;; RUN: wasm-opt %s --simplify-locals -all -S -o - | filecheck %s --check-prefix NO_TNH + + +(module + (memory 1 1) + + ;; TNH: (global $glob (mut i32) (i32.const 0)) + ;; NO_TNH: (global $glob (mut i32) (i32.const 0)) + (global $glob (mut i32) (i32.const 0)) + + ;; TNH: (func $optimize-past-global.set (type $none_=>_i32) (result i32) + ;; TNH-NEXT: (local $temp i32) + ;; TNH-NEXT: (nop) + ;; TNH-NEXT: (global.set $glob + ;; TNH-NEXT: (i32.const 1) + ;; TNH-NEXT: ) + ;; TNH-NEXT: (i32.load + ;; TNH-NEXT: (i32.const 0) + ;; TNH-NEXT: ) + ;; TNH-NEXT: ) + ;; NO_TNH: (func $optimize-past-global.set (type $none_=>_i32) (result i32) + ;; NO_TNH-NEXT: (local $temp i32) + ;; NO_TNH-NEXT: (local.set $temp + ;; NO_TNH-NEXT: (i32.load + ;; NO_TNH-NEXT: (i32.const 0) + ;; NO_TNH-NEXT: ) + ;; NO_TNH-NEXT: ) + ;; NO_TNH-NEXT: (global.set $glob + ;; NO_TNH-NEXT: (i32.const 1) + ;; NO_TNH-NEXT: ) + ;; NO_TNH-NEXT: (local.get $temp) + ;; NO_TNH-NEXT: ) + (func $optimize-past-global.set (result i32) + (local $temp i32) + ;; This load might trap, and so normally we can't move it past a global.set, + ;; which has a global effect that could be noticed. However, in TNH mode we + ;; can assume it doesn't trap and push it forward. + (local.set $temp + (i32.load + (i32.const 0) + ) + ) + (global.set $glob + (i32.const 1) + ) + (local.get $temp) + ) + + ;; TNH: (func $no-optimize-past-return (type $none_=>_i32) (result i32) + ;; TNH-NEXT: (local $temp i32) + ;; TNH-NEXT: (local.set $temp + ;; TNH-NEXT: (i32.load + ;; TNH-NEXT: (i32.const 0) + ;; TNH-NEXT: ) + ;; TNH-NEXT: ) + ;; TNH-NEXT: (if + ;; TNH-NEXT: (i32.const 0) + ;; TNH-NEXT: (return + ;; TNH-NEXT: (i32.const 1) + ;; TNH-NEXT: ) + ;; TNH-NEXT: ) + ;; TNH-NEXT: (local.get $temp) + ;; TNH-NEXT: ) + ;; NO_TNH: (func $no-optimize-past-return (type $none_=>_i32) (result i32) + ;; NO_TNH-NEXT: (local $temp i32) + ;; NO_TNH-NEXT: (local.set $temp + ;; NO_TNH-NEXT: (i32.load + ;; NO_TNH-NEXT: (i32.const 0) + ;; NO_TNH-NEXT: ) + ;; NO_TNH-NEXT: ) + ;; NO_TNH-NEXT: (if + ;; NO_TNH-NEXT: (i32.const 0) + ;; NO_TNH-NEXT: (return + ;; NO_TNH-NEXT: (i32.const 1) + ;; NO_TNH-NEXT: ) + ;; NO_TNH-NEXT: ) + ;; NO_TNH-NEXT: (local.get $temp) + ;; NO_TNH-NEXT: ) + (func $no-optimize-past-return (result i32) + (local $temp i32) + ;; As above, but now the thing in the middle may transfer control flow. We + ;; can in principle optimize here (moving a trap to possibly not happen + ;; later is fine, in TNH mode), but SimplifyLocals only works in a single + ;; basic block so we don't atm. + (local.set $temp + (i32.load + (i32.const 0) + ) + ) + (if + (i32.const 0) + (return + (i32.const 1) + ) + ) + (local.get $temp) + ) +) |