diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/strings.wast | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/test/lit/strings.wast b/test/lit/strings.wast index 64974d005..687de8e3d 100644 --- a/test/lit/strings.wast +++ b/test/lit/strings.wast @@ -7,12 +7,12 @@ (module ;; CHECK: (type $ref?|string|_=>_none (func (param stringref))) + ;; CHECK: (type $ref?|string|_ref?|string|_=>_none (func (param stringref stringref))) + ;; CHECK: (type $ref?|string|_ref?|stringview_wtf8|_ref?|stringview_wtf16|_ref?|stringview_iter|_ref?|string|_ref?|stringview_wtf8|_ref?|stringview_wtf16|_ref?|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 $ref?|string|_ref?|string|_=>_none (func (param stringref stringref))) - ;; CHECK: (global $string-const stringref (string.const "string in a global")) (global $string-const stringref (string.const "string in a global")) @@ -204,4 +204,25 @@ ) ) ) + + ;; CHECK: (func $string.eq (param $a stringref) (param $b stringref) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.eqz + ;; CHECK-NEXT: (string.eq + ;; CHECK-NEXT: (local.get $a) + ;; CHECK-NEXT: (local.get $b) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $string.eq (param $a stringref) (param $b stringref) + (drop + (i32.eqz ;; validate the output is an i32 + (string.eq + (local.get $a) + (local.get $b) + ) + ) + ) + ) ) |