diff options
Diffstat (limited to 'test/lit/passes/O_all-features.wast')
| -rw-r--r-- | test/lit/passes/O_all-features.wast | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/test/lit/passes/O_all-features.wast b/test/lit/passes/O_all-features.wast deleted file mode 100644 index dc538e952..000000000 --- a/test/lit/passes/O_all-features.wast +++ /dev/null @@ -1,33 +0,0 @@ -;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. -;; NOTE: This test was ported using port_test.py and could be cleaned up. - -;; RUN: foreach %s %t wasm-opt -O --all-features -S -o - | filecheck %s - -;; Test that we can run GC types through the optimizer -(module - ;; CHECK: (type $struct.A (struct (field i32))) - (type $struct.A (struct i32)) - - (func "foo" (param $x (ref null $struct.A)) - ;; get a struct reference - (drop - (local.get $x) - ) - ;; get a struct field value - ;; (note that since this is a nullable reference, it may trap) - (drop - (struct.get $struct.A 0 (local.get $x)) - ) - ) -) -;; CHECK: (type $ref?|$struct.A|_=>_none (func (param (ref null $struct.A)))) - -;; CHECK: (export "foo" (func $0)) - -;; CHECK: (func $0 (; has Stack IR ;) (param $0 (ref null $struct.A)) -;; CHECK-NEXT: (drop -;; CHECK-NEXT: (struct.get $struct.A 0 -;; CHECK-NEXT: (local.get $0) -;; CHECK-NEXT: ) -;; CHECK-NEXT: ) -;; CHECK-NEXT: ) |