summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2023-06-07 13:29:01 -0700
committerGitHub <noreply@github.com>2023-06-07 20:29:01 +0000
commit1daa10fb356cb01d80eaa3fd13c8c1d9a53ea343 (patch)
tree5e385e3f69971f576f930400e83215a5ac7df5f5 /test
parentc70c0da85b689a7be23292731aa9bdc4ab22285e (diff)
downloadbinaryen-1daa10fb356cb01d80eaa3fd13c8c1d9a53ea343.tar.gz
binaryen-1daa10fb356cb01d80eaa3fd13c8c1d9a53ea343.tar.bz2
binaryen-1daa10fb356cb01d80eaa3fd13c8c1d9a53ea343.zip
[Strings] Fix non-nullable string emitting in the binary format (#5756)
Related to #5737 which did something similar for other types.
Diffstat (limited to 'test')
-rw-r--r--test/lit/downgrade-reftypes.wast14
1 files changed, 14 insertions, 0 deletions
diff --git a/test/lit/downgrade-reftypes.wast b/test/lit/downgrade-reftypes.wast
index 94343933f..5bc9af653 100644
--- a/test/lit/downgrade-reftypes.wast
+++ b/test/lit/downgrade-reftypes.wast
@@ -33,6 +33,13 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (block $label$4 (result stringref)
+ ;; CHECK-NEXT: (br $label$4
+ ;; CHECK-NEXT: (string.const "hello world")
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $foo (type $f)
(drop
@@ -57,5 +64,12 @@
)
)
)
+ (drop
+ (block $l4 (result (ref string))
+ (br $l4
+ (string.const "hello world")
+ )
+ )
+ )
)
)