diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/code-pushing_tnh.wast | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/test/lit/passes/code-pushing_tnh.wast b/test/lit/passes/code-pushing_tnh.wast new file mode 100644 index 000000000..9993c686b --- /dev/null +++ b/test/lit/passes/code-pushing_tnh.wast @@ -0,0 +1,48 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. +;; NOTE: This test was ported using port_passes_tests_to_lit.py and could be cleaned up. + +;; RUN: foreach %s %t wasm-opt --code-pushing -tnh -S -o - | filecheck %s + +(module + ;; CHECK: (type $i32_i32_=>_none (func (param i32 i32))) + + ;; CHECK: (func $div (param $x i32) (param $y i32) + ;; CHECK-NEXT: (local $temp i32) + ;; CHECK-NEXT: (block $block + ;; CHECK-NEXT: (if + ;; CHECK-NEXT: (local.get $y) + ;; CHECK-NEXT: (return) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.set $temp + ;; CHECK-NEXT: (i32.div_u + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (local.get $temp) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $div (param $x i32) (param $y i32) + (local $temp i32) + (block $block + ;; This division might trap (if x is 0). But with tnh we can assume that + ;; won't happen, and push it past the condition. + (local.set $temp + (i32.div_u + (i32.const 1) + (local.get $x) + ) + ) + (if + (local.get $y) + (return) + ) + (drop + (local.get $temp) + ) + ) + ) +) + |