diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/roundtrip-gc.wast | 37 | ||||
| -rw-r--r-- | test/passes/Os_print-stack-ir_all-features_disable-gc.txt (renamed from test/passes/Os_print-stack-ir_all-features.txt) | 0 | ||||
| -rw-r--r-- | test/passes/Os_print-stack-ir_all-features_disable-gc.wast (renamed from test/passes/Os_print-stack-ir_all-features.wast) | 0 |
3 files changed, 37 insertions, 0 deletions
diff --git a/test/lit/passes/roundtrip-gc.wast b/test/lit/passes/roundtrip-gc.wast new file mode 100644 index 000000000..b26f32f8c --- /dev/null +++ b/test/lit/passes/roundtrip-gc.wast @@ -0,0 +1,37 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. +;; RUN: wasm-opt %s -all --generate-stack-ir --optimize-stack-ir --roundtrip -S -o - | filecheck %s + +(module + (type ${i32} (struct (field i32))) + ;; CHECK: (export "export" (func $test)) + (export "export" (func $test)) + ;; CHECK: (func $test + ;; CHECK-NEXT: (call $help + ;; CHECK-NEXT: (rtt.canon $\7bi32\7d) + ;; CHECK-NEXT: (block $label$1 (result i32) + ;; CHECK-NEXT: (nop) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $test + (call $help + (rtt.canon ${i32}) + ;; Stack IR optimizations can remove this block, leaving a nop in an odd + ;; "stacky" location. On load, we would normally use a local to work around + ;; that, creating a block to contain the rtt before us and the nop, and then + ;; returning the local. But we can't use a local for an rtt, so we should not + ;; optimize this sort of thing in stack IR. + (block (result i32) + (nop) + (i32.const 1) + ) + ) + ) + ;; CHECK: (func $help (param $3 (rtt $\7bi32\7d)) (param $4 i32) + ;; CHECK-NEXT: (nop) + ;; CHECK-NEXT: ) + (func $help (param $3 (rtt ${i32})) (param $4 i32) + (nop) + ) +) diff --git a/test/passes/Os_print-stack-ir_all-features.txt b/test/passes/Os_print-stack-ir_all-features_disable-gc.txt index 7184df236..7184df236 100644 --- a/test/passes/Os_print-stack-ir_all-features.txt +++ b/test/passes/Os_print-stack-ir_all-features_disable-gc.txt diff --git a/test/passes/Os_print-stack-ir_all-features.wast b/test/passes/Os_print-stack-ir_all-features_disable-gc.wast index 5c03b5e23..5c03b5e23 100644 --- a/test/passes/Os_print-stack-ir_all-features.wast +++ b/test/passes/Os_print-stack-ir_all-features_disable-gc.wast |