summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/strings.wast52
1 files changed, 50 insertions, 2 deletions
diff --git a/test/lit/strings.wast b/test/lit/strings.wast
index 22e433479..a871811e5 100644
--- a/test/lit/strings.wast
+++ b/test/lit/strings.wast
@@ -22,19 +22,21 @@
;; CHECK: (type $array (array (mut i8)))
(type $array (array_subtype (mut i8) data))
+ ;; CHECK: (type $none_=>_none (func))
+
;; CHECK: (type $array16 (array (mut i16)))
(type $array16 (array_subtype (mut i16) data))
;; CHECK: (type $stringref_stringview_wtf8_stringview_wtf16_stringview_iter_stringref_stringview_wtf8_stringview_wtf16_stringview_iter_ref|string|_ref|stringview_wtf8|_ref|stringview_wtf16|_ref|stringview_iter|_=>_none (func (param stringref stringview_wtf8 stringview_wtf16 stringview_iter stringref stringview_wtf8 stringview_wtf16 stringview_iter (ref string) (ref stringview_wtf8) (ref stringview_wtf16) (ref stringview_iter))))
- ;; CHECK: (type $none_=>_none (func))
-
;; CHECK: (type $stringview_wtf16_=>_none (func (param stringview_wtf16)))
;; CHECK: (type $ref|$array|_ref|$array16|_=>_none (func (param (ref $array) (ref $array16))))
;; CHECK: (type $stringref_ref|$array|_ref|$array16|_=>_none (func (param stringref (ref $array) (ref $array16))))
+ ;; CHECK: (type $ref|$array|_=>_none (func (param (ref $array))))
+
;; CHECK: (global $string-const stringref (string.const "string in a global \01\ff\00\t\t\n\n\r\r\"\"\'\'\\\\"))
(global $string-const stringref (string.const "string in a global \01\ff\00\t\09\n\0a\r\0d\"\22\'\27\\\5c"))
@@ -578,4 +580,50 @@
)
)
)
+
+ ;; CHECK: (func $string.from_code_point (type $none_=>_none)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (string.from_code_point
+ ;; CHECK-NEXT: (i32.const 1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $string.from_code_point
+ (drop
+ (string.from_code_point
+ (i32.const 1)
+ )
+ )
+ )
+
+ ;; CHECK: (func $string.new_try (type $ref|$array|_=>_none) (param $array (ref $array))
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (string.new_utf8_try
+ ;; CHECK-NEXT: (i32.const 1)
+ ;; CHECK-NEXT: (i32.const 2)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (string.new_utf8_array_try
+ ;; CHECK-NEXT: (local.get $array)
+ ;; CHECK-NEXT: (i32.const 3)
+ ;; CHECK-NEXT: (i32.const 4)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $string.new_try (param $array (ref $array))
+ (drop
+ (string.new_utf8_try
+ (i32.const 1)
+ (i32.const 2)
+ )
+ )
+ (drop
+ (string.new_utf8_array_try
+ (local.get $array)
+ (i32.const 3)
+ (i32.const 4)
+ )
+ )
+ )
)