diff options
Diffstat (limited to 'test/lit/passes/j2cl-merge-itables.wast')
| -rw-r--r-- | test/lit/passes/j2cl-merge-itables.wast | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/test/lit/passes/j2cl-merge-itables.wast b/test/lit/passes/j2cl-merge-itables.wast index f578eb65c..499f598e1 100644 --- a/test/lit/passes/j2cl-merge-itables.wast +++ b/test/lit/passes/j2cl-merge-itables.wast @@ -1,6 +1,7 @@ ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. -;; RUN: foreach %s %t wasm-opt --closed-world --merge-j2cl-itables -all -S -o - | filecheck %s +;; RUN: foreach %s %t wasm-opt -all --closed-world --preserve-type-order \ +;; RUN: --merge-j2cl-itables -all -S -o - | filecheck %s ;; Shared itable instance. (module @@ -16,8 +17,6 @@ (field $vtable (ref $SubObject.vtable)) (field $itable (ref $Object.itable))))) - ;; CHECK: (type $2 (func)) - ;; CHECK: (type $function (func)) (type $function (func)) @@ -37,6 +36,8 @@ (field (ref null struct)))) ) + ;; CHECK: (type $6 (func)) + ;; CHECK: (global $Object.itable (ref $Object.itable) (struct.new_default $Object.itable)) (global $Object.itable (ref $Object.itable) (struct.new_default $Object.itable)) @@ -70,7 +71,7 @@ (type $function) ) - ;; CHECK: (func $usages (type $2) + ;; CHECK: (func $usages (type $6) ;; CHECK-NEXT: (local $o (ref null $SubObject)) ;; CHECK-NEXT: (local.set $o ;; CHECK-NEXT: (struct.new $SubObject @@ -128,8 +129,6 @@ (field $vtable (ref $SubObject.vtable)) (field $itable (ref $SubObject.itable))))) - ;; CHECK: (type $2 (func)) - ;; CHECK: (type $function (func)) (type $function (func)) @@ -155,6 +154,8 @@ ;; The initialization for the itable field (null struct) will be added to this ;; vtable instance. + ;; CHECK: (type $7 (func)) + ;; CHECK: (global $SubObject.vtable (ref $SubObject.vtable) (struct.new $SubObject.vtable ;; CHECK-NEXT: (ref.null none) ;; CHECK-NEXT: (ref.func $SubObject.f) @@ -185,7 +186,7 @@ (type $function) ) - ;; CHECK: (func $usages (type $2) + ;; CHECK: (func $usages (type $7) ;; CHECK-NEXT: (local $o (ref null $SubObject)) ;; CHECK-NEXT: (local.set $o ;; CHECK-NEXT: (struct.new $SubObject |