summaryrefslogtreecommitdiff
path: root/test/lit/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes')
-rw-r--r--test/lit/passes/gufa-extern.wast16
-rw-r--r--test/lit/passes/optimize-instructions-gc-extern.wast20
-rw-r--r--test/lit/passes/optimize-instructions-gc.wast4
-rw-r--r--test/lit/passes/type-generalizing.wast16
-rw-r--r--test/lit/passes/type-ssa.wast16
5 files changed, 36 insertions, 36 deletions
diff --git a/test/lit/passes/gufa-extern.wast b/test/lit/passes/gufa-extern.wast
index 7cc604c76..ebb97cc59 100644
--- a/test/lit/passes/gufa-extern.wast
+++ b/test/lit/passes/gufa-extern.wast
@@ -9,13 +9,13 @@
;; CHECK: (func $externals (type $0) (param $ext externref) (param $any anyref)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.cast (ref struct)
- ;; CHECK-NEXT: (extern.internalize
+ ;; CHECK-NEXT: (any.convert_extern
;; CHECK-NEXT: (local.get $ext)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (extern.externalize
+ ;; CHECK-NEXT: (extern.convert_any
;; CHECK-NEXT: (local.get $any)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -25,13 +25,13 @@
;; exported.
(drop
(ref.cast (ref struct)
- (extern.internalize
+ (any.convert_extern
(local.get $ext)
)
)
)
(drop
- (extern.externalize
+ (extern.convert_any
(local.get $any)
)
)
@@ -41,7 +41,7 @@
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (block ;; (replaces unreachable RefCast we can't emit)
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (extern.internalize
+ ;; CHECK-NEXT: (any.convert_extern
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -49,7 +49,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (extern.externalize
+ ;; CHECK-NEXT: (extern.convert_any
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -59,13 +59,13 @@
;; unreachable.
(drop
(ref.cast (ref struct)
- (extern.internalize
+ (any.convert_extern
(local.get $ext)
)
)
)
(drop
- (extern.externalize
+ (extern.convert_any
(local.get $any)
)
)
diff --git a/test/lit/passes/optimize-instructions-gc-extern.wast b/test/lit/passes/optimize-instructions-gc-extern.wast
index 558665171..658b2b115 100644
--- a/test/lit/passes/optimize-instructions-gc-extern.wast
+++ b/test/lit/passes/optimize-instructions-gc-extern.wast
@@ -3,53 +3,53 @@
;; RUN: | filecheck %s
(module
- ;; CHECK: (func $extern.externalize (type $0) (param $x anyref) (param $y externref)
+ ;; CHECK: (func $extern.convert_any (type $0) (param $x anyref) (param $y externref)
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (extern.externalize
+ ;; CHECK-NEXT: (extern.convert_any
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (extern.externalize
+ ;; CHECK-NEXT: (extern.convert_any
;; CHECK-NEXT: (ref.as_non_null
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (extern.internalize
+ ;; CHECK-NEXT: (any.convert_extern
;; CHECK-NEXT: (local.get $y)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (extern.internalize
+ ;; CHECK-NEXT: (any.convert_extern
;; CHECK-NEXT: (ref.as_non_null
;; CHECK-NEXT: (local.get $y)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- (func $extern.externalize (export "ext") (param $x (ref null any)) (param $y (ref null extern))
+ (func $extern.convert_any (export "ext") (param $x (ref null any)) (param $y (ref null extern))
;; We should not change anything here, and also not hit an internal error.
(drop
- (extern.externalize
+ (extern.convert_any
(local.get $x)
)
)
(drop
- (extern.externalize
+ (extern.convert_any
(ref.as_non_null
(local.get $x)
)
)
)
(drop
- (extern.internalize
+ (any.convert_extern
(local.get $y)
)
)
(drop
- (extern.internalize
+ (any.convert_extern
(ref.as_non_null
(local.get $y)
)
diff --git a/test/lit/passes/optimize-instructions-gc.wast b/test/lit/passes/optimize-instructions-gc.wast
index 14db70f3b..60fca14fc 100644
--- a/test/lit/passes/optimize-instructions-gc.wast
+++ b/test/lit/passes/optimize-instructions-gc.wast
@@ -2756,7 +2756,7 @@
;; CHECK: (func $cast-internalized-extern (type $43) (param $externref externref)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.cast (ref $A)
- ;; CHECK-NEXT: (extern.internalize
+ ;; CHECK-NEXT: (any.convert_extern
;; CHECK-NEXT: (local.get $externref)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -2768,7 +2768,7 @@
;; the cast cannot succeed.
(drop
(ref.cast (ref $A)
- (extern.internalize
+ (any.convert_extern
(local.get $externref)
)
)
diff --git a/test/lit/passes/type-generalizing.wast b/test/lit/passes/type-generalizing.wast
index 8278549d0..344509794 100644
--- a/test/lit/passes/type-generalizing.wast
+++ b/test/lit/passes/type-generalizing.wast
@@ -770,7 +770,7 @@
;; CHECK-NEXT: (local.set $var
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (extern.internalize
+ ;; CHECK-NEXT: (any.convert_extern
;; CHECK-NEXT: (local.get $var)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -780,7 +780,7 @@
(local.get $x)
)
;; Require that typeof($var) <: externref.
- (extern.internalize
+ (any.convert_extern
(local.get $var)
)
)
@@ -790,7 +790,7 @@
;; CHECK-NEXT: (local.set $var
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (extern.internalize
+ ;; CHECK-NEXT: (any.convert_extern
;; CHECK-NEXT: (local.get $var)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -800,7 +800,7 @@
(local.get $x)
)
;; Require that typeof($var) <: (ref extern).
- (extern.internalize
+ (any.convert_extern
(local.get $var)
)
)
@@ -812,7 +812,7 @@
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (extern.externalize
+ ;; CHECK-NEXT: (extern.convert_any
;; CHECK-NEXT: (local.get $var)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -824,7 +824,7 @@
)
)
;; Require that typeof($var) <: anyref.
- (extern.externalize
+ (extern.convert_any
(local.get $var)
)
)
@@ -836,7 +836,7 @@
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (extern.externalize
+ ;; CHECK-NEXT: (extern.convert_any
;; CHECK-NEXT: (local.get $var)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -848,7 +848,7 @@
)
)
;; Require that typeof($var) <: anyref.
- (extern.externalize
+ (extern.convert_any
(local.get $var)
)
)
diff --git a/test/lit/passes/type-ssa.wast b/test/lit/passes/type-ssa.wast
index 771b4b9ae..277e2a2ff 100644
--- a/test/lit/passes/type-ssa.wast
+++ b/test/lit/passes/type-ssa.wast
@@ -382,15 +382,15 @@
;; CHECK: (func $0 (type $2) (param $param anyref)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (struct.new $struct
- ;; CHECK-NEXT: (extern.externalize
+ ;; CHECK-NEXT: (extern.convert_any
;; CHECK-NEXT: (global.get $g)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (extern.internalize
- ;; CHECK-NEXT: (extern.externalize
+ ;; CHECK-NEXT: (any.convert_extern
+ ;; CHECK-NEXT: (extern.convert_any
;; CHECK-NEXT: (global.get $g)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (extern.externalize
+ ;; CHECK-NEXT: (extern.convert_any
;; CHECK-NEXT: (local.get $param)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -400,17 +400,17 @@
(drop
(struct.new $struct
;; An externalized global.
- (extern.externalize
+ (extern.convert_any
(global.get $g)
)
;; An externalized and then internalized global.
- (extern.internalize
- (extern.externalize
+ (any.convert_extern
+ (extern.convert_any
(global.get $g)
)
)
;; An externalized parameter.
- (extern.externalize
+ (extern.convert_any
(local.get $param)
)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-24 00:03:28 +0000