diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-10-14 14:11:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-14 21:11:59 +0000 |
| commit | bf665976b1526ca7cf11bacf5745563dfe193206 (patch) | |
| tree | a6bb2cf0fa5d1972fe55f872418665778e00dde5 /test/lit/passes/optimize-instructions-gc.wast | |
| parent | d592bad2b8fa777dab9682d2d2e47f9957c8051d (diff) | |
| download | binaryen-bf665976b1526ca7cf11bacf5745563dfe193206.tar.gz binaryen-bf665976b1526ca7cf11bacf5745563dfe193206.tar.bz2 binaryen-bf665976b1526ca7cf11bacf5745563dfe193206.zip | |
Switch from "extends" to M4 nominal syntax (#4248)
Switch from "extends" to M4 nominal syntax
Change all test inputs from using the old (extends $super) syntax to using the
new *_subtype syntax for their inputs and also update the printer to emit the
new syntax. Add a new test explicitly testing the old notation to make sure it
keeps working until we remove support for it.
Diffstat (limited to 'test/lit/passes/optimize-instructions-gc.wast')
| -rw-r--r-- | test/lit/passes/optimize-instructions-gc.wast | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/test/lit/passes/optimize-instructions-gc.wast b/test/lit/passes/optimize-instructions-gc.wast index ab973ffae..47d2a17bc 100644 --- a/test/lit/passes/optimize-instructions-gc.wast +++ b/test/lit/passes/optimize-instructions-gc.wast @@ -6,7 +6,7 @@ (module ;; CHECK: (type $struct (struct (field $i8 (mut i8)) (field $i16 (mut i16)) (field $i32 (mut i32)) (field $i64 (mut i64)))) - ;; NOMNL: (type $struct (struct (field $i8 (mut i8)) (field $i16 (mut i16)) (field $i32 (mut i32)) (field $i64 (mut i64)))) + ;; NOMNL: (type $struct (struct_subtype (field $i8 (mut i8)) (field $i16 (mut i16)) (field $i32 (mut i32)) (field $i64 (mut i64)) data)) (type $struct (struct (field $i8 (mut i8)) (field $i16 (mut i16)) @@ -15,28 +15,28 @@ )) ;; CHECK: (type $A (struct (field i32))) - ;; NOMNL: (type $A (struct (field i32))) + ;; NOMNL: (type $A (struct_subtype (field i32) data)) (type $A (struct (field i32))) ;; CHECK: (type $array (array (mut i8))) - ;; NOMNL: (type $array (array (mut i8))) + ;; NOMNL: (type $array (array_subtype (mut i8) data)) (type $array (array (mut i8))) ;; CHECK: (type $B (struct (field i32) (field i32) (field f32))) - ;; NOMNL: (type $B (struct (field i32) (field i32) (field f32)) (extends $A)) - (type $B (struct (field i32) (field i32) (field f32)) (extends $A)) + ;; NOMNL: (type $B (struct_subtype (field i32) (field i32) (field f32) $A)) + (type $B (struct_subtype (field i32) (field i32) (field f32) $A)) ;; CHECK: (type $B-child (struct (field i32) (field i32) (field f32) (field i64))) - ;; NOMNL: (type $B-child (struct (field i32) (field i32) (field f32) (field i64)) (extends $B)) - (type $B-child (struct (field i32) (field i32) (field f32) (field i64)) (extends $B)) + ;; NOMNL: (type $B-child (struct_subtype (field i32) (field i32) (field f32) (field i64) $B)) + (type $B-child (struct_subtype (field i32) (field i32) (field f32) (field i64) $B)) ;; CHECK: (type $empty (struct )) - ;; NOMNL: (type $empty (struct )) + ;; NOMNL: (type $empty (struct_subtype data)) (type $empty (struct)) ;; CHECK: (type $C (struct (field i32) (field i32) (field f64))) - ;; NOMNL: (type $C (struct (field i32) (field i32) (field f64)) (extends $A)) - (type $C (struct (field i32) (field i32) (field f64)) (extends $A)) + ;; NOMNL: (type $C (struct_subtype (field i32) (field i32) (field f64) $A)) + (type $C (struct_subtype (field i32) (field i32) (field f64) $A)) ;; CHECK: (import "env" "get-i32" (func $get-i32 (result i32))) ;; NOMNL: (import "env" "get-i32" (func $get-i32 (result i32))) |