diff options
Diffstat (limited to 'test/lit/passes/local-cse_all-features.wast')
| -rw-r--r-- | test/lit/passes/local-cse_all-features.wast | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/test/lit/passes/local-cse_all-features.wast b/test/lit/passes/local-cse_all-features.wast index 6fed86f29..cbd5c68c2 100644 --- a/test/lit/passes/local-cse_all-features.wast +++ b/test/lit/passes/local-cse_all-features.wast @@ -7,7 +7,7 @@ ;; CHECK: (type $f (func (param i32) (result i32))) (type $f (func (param i32) (result i32))) - ;; CHECK: (type $none_=>_none (func)) + ;; CHECK: (type $1 (func)) ;; CHECK: (elem declare func $calls $ref.func) @@ -37,7 +37,7 @@ (i32.const 20) ) - ;; CHECK: (func $ref.func (type $none_=>_none) + ;; CHECK: (func $ref.func (type $1) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (ref.func $ref.func) ;; CHECK-NEXT: ) @@ -65,15 +65,15 @@ (type $B (array (mut i32))) - ;; CHECK: (type $ref|$A|_=>_none (func (param (ref $A)))) + ;; CHECK: (type $2 (func (param (ref $A)))) - ;; CHECK: (type $ref?|$A|_=>_none (func (param (ref null $A)))) + ;; CHECK: (type $3 (func (param (ref null $A)))) - ;; CHECK: (type $none_=>_none (func)) + ;; CHECK: (type $4 (func)) - ;; CHECK: (type $ref?|$B|_ref|$A|_=>_none (func (param (ref null $B) (ref $A)))) + ;; CHECK: (type $5 (func (param (ref null $B) (ref $A)))) - ;; CHECK: (func $struct-gets-nullable (type $ref?|$A|_=>_none) (param $ref (ref null $A)) + ;; CHECK: (func $struct-gets-nullable (type $3) (param $ref (ref null $A)) ;; CHECK-NEXT: (local $1 i32) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (local.tee $1 @@ -110,7 +110,7 @@ ) ) - ;; CHECK: (func $struct-gets (type $ref|$A|_=>_none) (param $ref (ref $A)) + ;; CHECK: (func $struct-gets (type $2) (param $ref (ref $A)) ;; CHECK-NEXT: (local $1 i32) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (local.tee $1 @@ -148,7 +148,7 @@ ) ) - ;; CHECK: (func $non-nullable-value (type $ref|$A|_=>_none) (param $ref (ref $A)) + ;; CHECK: (func $non-nullable-value (type $2) (param $ref (ref $A)) ;; CHECK-NEXT: (local $1 (ref $A)) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (local.tee $1 @@ -182,7 +182,7 @@ ) ) - ;; CHECK: (func $creations (type $none_=>_none) + ;; CHECK: (func $creations (type $4) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (struct.new $A ;; CHECK-NEXT: (i32.const 1) @@ -233,7 +233,7 @@ ) ) - ;; CHECK: (func $structs-and-arrays-do-not-alias (type $ref?|$B|_ref|$A|_=>_none) (param $array (ref null $B)) (param $struct (ref $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 ;; CHECK-NEXT: (local.get $array) @@ -287,9 +287,9 @@ ;; Real-world testcase from AssemblyScript, containing multiple nested things ;; that can be optimized. The inputs to the add (the xors) are identical, and ;; we can avoid repeating them. - ;; CHECK: (type $i32_i32_=>_i32 (func (param i32 i32) (result i32))) + ;; CHECK: (type $0 (func (param i32 i32) (result i32))) - ;; CHECK: (func $div16_internal (type $i32_i32_=>_i32) (param $0 i32) (param $1 i32) (result i32) + ;; CHECK: (func $div16_internal (type $0) (param $0 i32) (param $1 i32) (result i32) ;; CHECK-NEXT: (local $2 i32) ;; CHECK-NEXT: (i32.add ;; CHECK-NEXT: (local.tee $2 |