diff options
| author | Alon Zakai <azakai@google.com> | 2022-07-14 17:10:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-15 00:10:15 +0000 |
| commit | 2b31aeb98a0fc8a5a505b3998d44990ed14e8c38 (patch) | |
| tree | b7e28f6ad6e3f77222e724afdb6d8668054410ea /test/lit/strings.wast | |
| parent | c0151e99996a7b51d3d135fd5018c69e146b5c02 (diff) | |
| download | binaryen-2b31aeb98a0fc8a5a505b3998d44990ed14e8c38.tar.gz binaryen-2b31aeb98a0fc8a5a505b3998d44990ed14e8c38.tar.bz2 binaryen-2b31aeb98a0fc8a5a505b3998d44990ed14e8c38.zip | |
[Strings] stringview_*.slice (#4805)
Unfortunately one slice is the same as python [start:end], using 2 params,
and the other slice is one param, [CURR:CURR+num] (where CURR is implied
by the current state in the iter). So we can't use a single class here. Perhaps
a different name would be good, like slice vs substring (like JS does), but
I picked names to match the current spec.
Diffstat (limited to 'test/lit/strings.wast')
| -rw-r--r-- | test/lit/strings.wast | 52 |
1 files changed, 50 insertions, 2 deletions
diff --git a/test/lit/strings.wast b/test/lit/strings.wast index 65a9ccb81..1b2d77bd8 100644 --- a/test/lit/strings.wast +++ b/test/lit/strings.wast @@ -7,10 +7,10 @@ (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|_=>_none (func (param stringref stringview_wtf8 stringview_wtf16 stringview_iter))) + ;; 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)) @@ -356,4 +356,52 @@ ) ) ) + ;; CHECK: (func $stringview-slice (param $a stringref) (param $b stringview_wtf8) (param $c stringview_wtf16) (param $d stringview_iter) + ;; CHECK-NEXT: (local.set $a + ;; CHECK-NEXT: (stringview_wtf8.slice + ;; CHECK-NEXT: (local.get $b) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.set $a + ;; CHECK-NEXT: (stringview_wtf16.slice + ;; CHECK-NEXT: (local.get $c) + ;; CHECK-NEXT: (i32.const 2) + ;; CHECK-NEXT: (i32.const 3) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.set $a + ;; CHECK-NEXT: (stringview_iter.slice + ;; CHECK-NEXT: (local.get $d) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $stringview-slice + (param $a stringref) + (param $b stringview_wtf8) + (param $c stringview_wtf16) + (param $d stringview_iter) + (local.set $a ;; validate the output type + (stringview_wtf8.slice + (local.get $b) + (i32.const 0) + (i32.const 1) + ) + ) + (local.set $a + (stringview_wtf16.slice + (local.get $c) + (i32.const 2) + (i32.const 3) + ) + ) + (local.set $a + (stringview_iter.slice + (local.get $d) + (i32.const 4) + ) + ) + ) ) |