summaryrefslogtreecommitdiff
path: root/test/lit/validation/closed-world-interface-intrinsics.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/validation/closed-world-interface-intrinsics.wast')
-rw-r--r--test/lit/validation/closed-world-interface-intrinsics.wast46
1 files changed, 0 insertions, 46 deletions
diff --git a/test/lit/validation/closed-world-interface-intrinsics.wast b/test/lit/validation/closed-world-interface-intrinsics.wast
deleted file mode 100644
index 50151b8c0..000000000
--- a/test/lit/validation/closed-world-interface-intrinsics.wast
+++ /dev/null
@@ -1,46 +0,0 @@
-;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
-
-;; RUN: foreach %s %t wasm-opt -all --closed-world -S -o - | filecheck %s
-
-;; Test that we do not error on call.without.effects despite it being an import.
-;; call.without.effects does not make the types in it public, and so it can
-;; validate with --closed-world.
-
-(module
- ;; CHECK: (type $struct (struct (field i32)))
- (type $struct (struct i32))
-
- ;; CHECK: (type $1 (func (param (ref $struct) funcref)))
-
- ;; CHECK: (type $2 (func))
-
- ;; CHECK: (type $3 (func (param (ref $struct))))
-
- ;; CHECK: (import "binaryen-intrinsics" "call.without.effects" (func $cwe (type $1) (param (ref $struct) funcref)))
- (import "binaryen-intrinsics" "call.without.effects" (func $cwe (param (ref $struct)) (param funcref)))
-
- ;; CHECK: (elem declare func $func)
-
- ;; CHECK: (func $test (type $2)
- ;; CHECK-NEXT: (call $cwe
- ;; CHECK-NEXT: (struct.new $struct
- ;; CHECK-NEXT: (i32.const 100)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (ref.func $func)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: )
- (func $test
- (call $cwe
- (struct.new $struct
- (i32.const 100)
- )
- (ref.func $func)
- )
- )
-
- ;; CHECK: (func $func (type $3) (param $ref (ref $struct))
- ;; CHECK-NEXT: (nop)
- ;; CHECK-NEXT: )
- (func $func (param $ref (ref $struct))
- )
-)