diff options
Diffstat (limited to 'test/lit')
| -rw-r--r-- | test/lit/passes/gufa-refs.wast | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/lit/passes/gufa-refs.wast b/test/lit/passes/gufa-refs.wast index 24ebda381..42f1b349d 100644 --- a/test/lit/passes/gufa-refs.wast +++ b/test/lit/passes/gufa-refs.wast @@ -2766,6 +2766,9 @@ ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (i32.const 0) ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $ref.eq-zero (export "ref.eq-zero") ;; We do not track specific references, so only the types can be used here. @@ -2791,6 +2794,14 @@ ) ) ) + (drop + (ref.eq + (struct.new $struct + (i32.const 5) + ) + (ref.null $struct) + ) + ) ) ;; CHECK: (func $ref.eq-unknown (type $i32_ref?|$struct|_ref?|$struct|_ref?|$other|_ref|$struct|_ref|$struct|_ref|$other|_=>_none) (param $x i32) (param $struct (ref null $struct)) (param $struct2 (ref null $struct)) (param $other (ref null $other)) (param $nn-struct (ref $struct)) (param $nn-struct2 (ref $struct)) (param $nn-other (ref $other)) |