diff options
Diffstat (limited to 'test/lit/passes/local-cse_all-features.wast')
| -rw-r--r-- | test/lit/passes/local-cse_all-features.wast | 38 |
1 files changed, 34 insertions, 4 deletions
diff --git a/test/lit/passes/local-cse_all-features.wast b/test/lit/passes/local-cse_all-features.wast index d943b940f..368936ae9 100644 --- a/test/lit/passes/local-cse_all-features.wast +++ b/test/lit/passes/local-cse_all-features.wast @@ -67,13 +67,13 @@ ;; CHECK: (type $2 (func (param (ref $A)))) - ;; CHECK: (type $3 (func (param (ref null $A)))) + ;; CHECK: (type $3 (func)) - ;; CHECK: (type $4 (func)) + ;; CHECK: (type $4 (func (param (ref null $A)))) ;; CHECK: (type $5 (func (param (ref null $B) (ref $A)))) - ;; CHECK: (func $struct-gets-nullable (type $3) (param $ref (ref null $A)) + ;; CHECK: (func $struct-gets-nullable (type $4) (param $ref (ref null $A)) ;; CHECK-NEXT: (local $1 i32) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (local.tee $1 @@ -182,7 +182,7 @@ ) ) - ;; CHECK: (func $creations (type $4) + ;; CHECK: (func $creations (type $3) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (struct.new $A ;; CHECK-NEXT: (i32.const 1) @@ -233,6 +233,36 @@ ) ) + ;; CHECK: (func $nested-generativity (type $3) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (ref.eq + ;; CHECK-NEXT: (struct.new_default $A) + ;; CHECK-NEXT: (struct.new_default $A) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (ref.eq + ;; CHECK-NEXT: (struct.new_default $A) + ;; CHECK-NEXT: (struct.new_default $A) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $nested-generativity + ;; Operations that include nested generativity are ignored. + (drop + (ref.eq + (struct.new_default $A) + (struct.new_default $A) + ) + ) + (drop + (ref.eq + (struct.new_default $A) + (struct.new_default $A) + ) + ) + ) + ;; CHECK: (func $structs-and-arrays-do-not-alias (type $5) (param $array (ref null $B)) (param $struct (ref $A)) ;; CHECK-NEXT: (local $2 i32) ;; CHECK-NEXT: (array.set $B |