diff options
author | Thomas Lively <tlively@google.com> | 2024-01-02 12:08:33 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-02 12:08:33 -0800 |
commit | 95ed4f3f0bf0a463cee88a63c5becde4d28692ff (patch) | |
tree | 9aa47f97492132f134df4f30c33c7b143a03455b /test/lit/basic | |
parent | 98cef80eabe2171bb3076767d68b25a85d268c12 (diff) | |
download | binaryen-95ed4f3f0bf0a463cee88a63c5becde4d28692ff.tar.gz binaryen-95ed4f3f0bf0a463cee88a63c5becde4d28692ff.tar.bz2 binaryen-95ed4f3f0bf0a463cee88a63c5becde4d28692ff.zip |
Match names more precisely in update_lit_checks.py (#6190)
Previously the lit test update script interpreted module names as the names of
import items and export names as the names of export items, but it is more
precise to use the actual identifiers of the imported or exported items as the
names instead.
Update update_lit_checks.py to use a more correct regex to match names and to
correctly use the identifiers of import and export items as their names. In some
cases this can improve the readability of test output.
Diffstat (limited to 'test/lit/basic')
-rw-r--r-- | test/lit/basic/empty_imported_table.wast | 9 | ||||
-rw-r--r-- | test/lit/basic/export-import.wast | 19 | ||||
-rw-r--r-- | test/lit/basic/hello_world.wat | 3 | ||||
-rw-r--r-- | test/lit/basic/imported_memory.wast | 11 | ||||
-rw-r--r-- | test/lit/basic/imported_memory_growth.wast | 11 | ||||
-rw-r--r-- | test/lit/basic/memory-import.wast | 3 | ||||
-rw-r--r-- | test/lit/basic/memory-import64.wast | 3 | ||||
-rw-r--r-- | test/lit/basic/min.wast | 3 | ||||
-rw-r--r-- | test/lit/basic/multi-memories-basics.wast | 11 | ||||
-rw-r--r-- | test/lit/basic/multi-table.wast | 7 | ||||
-rw-r--r-- | test/lit/basic/mutable-global.wast | 3 | ||||
-rw-r--r-- | test/lit/basic/newsyntax.wast | 25 | ||||
-rw-r--r-- | test/lit/basic/polymorphic_stack.wast | 33 | ||||
-rw-r--r-- | test/lit/basic/reference-types.wast | 10 | ||||
-rw-r--r-- | test/lit/basic/table-import.wast | 9 | ||||
-rw-r--r-- | test/lit/basic/tags.wast | 37 | ||||
-rw-r--r-- | test/lit/basic/unit.wat | 24 |
17 files changed, 129 insertions, 92 deletions
diff --git a/test/lit/basic/empty_imported_table.wast b/test/lit/basic/empty_imported_table.wast index 1a874dc08..5cc6d178c 100644 --- a/test/lit/basic/empty_imported_table.wast +++ b/test/lit/basic/empty_imported_table.wast @@ -10,12 +10,15 @@ ;; RUN: cat %t.bin.nodebug.wast | filecheck %s --check-prefix=CHECK-BIN-NODEBUG (module - ;; CHECK-TEXT: (import "env" "table" (table $timport$0 0 0 funcref)) - ;; CHECK-BIN: (import "env" "table" (table $timport$0 0 0 funcref)) - ;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 0 0 funcref)) (import "env" "table" (table 0 0 funcref)) + ;; CHECK-TEXT: (import "env" "table" (table $timport$0 0 0 funcref)) + ;; CHECK-TEXT: (memory $0 0) + ;; CHECK-BIN: (import "env" "table" (table $timport$0 0 0 funcref)) + ;; CHECK-BIN: (memory $0 0) + ;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 0 0 funcref)) + ;; CHECK-BIN-NODEBUG: (memory $0 0) (memory $0 0) ) diff --git a/test/lit/basic/export-import.wast b/test/lit/basic/export-import.wast index 853e1d93a..717681138 100644 --- a/test/lit/basic/export-import.wast +++ b/test/lit/basic/export-import.wast @@ -14,21 +14,26 @@ ;; CHECK-BIN: (type $v (func)) (type $v (func)) ;; CHECK-TEXT: (import "env" "test2" (global $test2 i32)) - ;; CHECK-BIN: (import "env" "test2" (global $test2 i32)) - ;; CHECK-BIN-NODEBUG: (type $0 (func)) - ;; CHECK-BIN-NODEBUG: (import "env" "test2" (global $gimport$0 i32)) - (import "env" "test1" (func $test1)) ;; CHECK-TEXT: (import "env" "test1" (func $test1 (type $v))) + ;; CHECK-BIN: (import "env" "test2" (global $test2 i32)) + ;; CHECK-BIN: (import "env" "test1" (func $test1 (type $v))) - ;; CHECK-BIN-NODEBUG: (import "env" "test1" (func $fimport$0 (type $0))) + (import "env" "test1" (func $test1)) (import "env" "test2" (global $test2 i32)) ;; CHECK-TEXT: (export "test1" (func $test1)) ;; CHECK-BIN: (export "test1" (func $test1)) - ;; CHECK-BIN-NODEBUG: (export "test1" (func $fimport$0)) (export "test1" (func $test1)) ;; CHECK-TEXT: (export "test2" (global $test2)) ;; CHECK-BIN: (export "test2" (global $test2)) - ;; CHECK-BIN-NODEBUG: (export "test2" (global $gimport$0)) (export "test2" (global $test2)) ) +;; CHECK-BIN-NODEBUG: (type $0 (func)) + +;; CHECK-BIN-NODEBUG: (import "env" "test2" (global $gimport$0 i32)) + +;; CHECK-BIN-NODEBUG: (import "env" "test1" (func $fimport$0 (type $0))) + +;; CHECK-BIN-NODEBUG: (export "test1" (func $fimport$0)) + +;; CHECK-BIN-NODEBUG: (export "test2" (global $gimport$0)) diff --git a/test/lit/basic/hello_world.wat b/test/lit/basic/hello_world.wat index 5ddb30128..1ba2f9012 100644 --- a/test/lit/basic/hello_world.wat +++ b/test/lit/basic/hello_world.wat @@ -21,7 +21,6 @@ (memory $0 256 256) ;; CHECK-TEXT: (export "add" (func $add)) ;; CHECK-BIN: (export "add" (func $add)) - ;; CHECK-BIN-NODEBUG: (export "add" (func $0)) (export "add" (func $add)) ;; CHECK-TEXT: (func $add (type $i32_i32_=>_i32) (param $x i32) (param $y i32) (result i32) ;; CHECK-TEXT-NEXT: (i32.add @@ -42,6 +41,8 @@ ) ) ) +;; CHECK-BIN-NODEBUG: (export "add" (func $0)) + ;; CHECK-BIN-NODEBUG: (func $0 (type $0) (param $0 i32) (param $1 i32) (result i32) ;; CHECK-BIN-NODEBUG-NEXT: (i32.add ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) diff --git a/test/lit/basic/imported_memory.wast b/test/lit/basic/imported_memory.wast index 52eccce7f..1fa9aaa38 100644 --- a/test/lit/basic/imported_memory.wast +++ b/test/lit/basic/imported_memory.wast @@ -12,10 +12,13 @@ (module ;; CHECK-TEXT: (import "env" "memory" (memory $0 256 256)) ;; CHECK-BIN: (import "env" "memory" (memory $0 256 256)) - ;; CHECK-BIN-NODEBUG: (import "env" "memory" (memory $mimport$0 256 256)) (import "env" "memory" (memory $0 256 256)) - ;; CHECK-TEXT: (import "env" "table" (table $timport$0 256 256 funcref)) - ;; CHECK-BIN: (import "env" "table" (table $timport$0 256 256 funcref)) - ;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 256 256 funcref)) (import "env" "table" (table 256 256 funcref)) ) +;; CHECK-TEXT: (import "env" "table" (table $timport$0 256 256 funcref)) + +;; CHECK-BIN: (import "env" "table" (table $timport$0 256 256 funcref)) + +;; CHECK-BIN-NODEBUG: (import "env" "memory" (memory $mimport$0 256 256)) + +;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 256 256 funcref)) diff --git a/test/lit/basic/imported_memory_growth.wast b/test/lit/basic/imported_memory_growth.wast index d1d62c2d9..aa5d02d47 100644 --- a/test/lit/basic/imported_memory_growth.wast +++ b/test/lit/basic/imported_memory_growth.wast @@ -12,10 +12,13 @@ (module ;; CHECK-TEXT: (import "env" "memory" (memory $0 256)) ;; CHECK-BIN: (import "env" "memory" (memory $0 256)) - ;; CHECK-BIN-NODEBUG: (import "env" "memory" (memory $mimport$0 256)) (import "env" "memory" (memory $0 256)) - ;; CHECK-TEXT: (import "env" "table" (table $timport$0 256 funcref)) - ;; CHECK-BIN: (import "env" "table" (table $timport$0 256 funcref)) - ;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 256 funcref)) (import "env" "table" (table 256 funcref)) ) +;; CHECK-TEXT: (import "env" "table" (table $timport$0 256 funcref)) + +;; CHECK-BIN: (import "env" "table" (table $timport$0 256 funcref)) + +;; CHECK-BIN-NODEBUG: (import "env" "memory" (memory $mimport$0 256)) + +;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 256 funcref)) diff --git a/test/lit/basic/memory-import.wast b/test/lit/basic/memory-import.wast index fb6a3d623..ce761653d 100644 --- a/test/lit/basic/memory-import.wast +++ b/test/lit/basic/memory-import.wast @@ -16,7 +16,6 @@ (type $0 (func (result i32))) ;; CHECK-TEXT: (import "env" "memory" (memory $0 1 1)) ;; CHECK-BIN: (import "env" "memory" (memory $0 1 1)) - ;; CHECK-BIN-NODEBUG: (import "env" "memory" (memory $mimport$0 1 1)) (import "env" "memory" (memory $0 1 1)) ;; CHECK-TEXT: (func $foo (type $0) (result i32) @@ -35,6 +34,8 @@ ) ) ) +;; CHECK-BIN-NODEBUG: (import "env" "memory" (memory $mimport$0 1 1)) + ;; CHECK-BIN-NODEBUG: (func $0 (type $0) (result i32) ;; CHECK-BIN-NODEBUG-NEXT: (i32.load offset=13 ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 37) diff --git a/test/lit/basic/memory-import64.wast b/test/lit/basic/memory-import64.wast index 7794d6b5f..38362d6b2 100644 --- a/test/lit/basic/memory-import64.wast +++ b/test/lit/basic/memory-import64.wast @@ -16,7 +16,6 @@ (type $0 (func (result i32))) ;; CHECK-TEXT: (import "env" "memory" (memory $0 i64 1 1)) ;; CHECK-BIN: (import "env" "memory" (memory $0 i64 1 1)) - ;; CHECK-BIN-NODEBUG: (import "env" "memory" (memory $mimport$0 i64 1 1)) (import "env" "memory" (memory $0 i64 1 1)) ;; CHECK-TEXT: (func $foo (type $0) (result i32) @@ -35,6 +34,8 @@ ) ) ) +;; CHECK-BIN-NODEBUG: (import "env" "memory" (memory $mimport$0 i64 1 1)) + ;; CHECK-BIN-NODEBUG: (func $0 (type $0) (result i32) ;; CHECK-BIN-NODEBUG-NEXT: (i32.load offset=13 ;; CHECK-BIN-NODEBUG-NEXT: (i64.const 37) diff --git a/test/lit/basic/min.wast b/test/lit/basic/min.wast index 74898f59f..44928cd83 100644 --- a/test/lit/basic/min.wast +++ b/test/lit/basic/min.wast @@ -32,7 +32,6 @@ (memory $0 256 256) ;; CHECK-TEXT: (export "floats" (func $floats)) ;; CHECK-BIN: (export "floats" (func $floats)) - ;; CHECK-BIN-NODEBUG: (export "floats" (func $0)) (export "floats" (func $floats)) ;; CHECK-TEXT: (func $floats (type $0) (param $f f32) (result f32) @@ -183,6 +182,8 @@ ) ) ) +;; CHECK-BIN-NODEBUG: (export "floats" (func $0)) + ;; CHECK-BIN-NODEBUG: (func $0 (type $0) (param $0 f32) (result f32) ;; CHECK-BIN-NODEBUG-NEXT: (local $1 f32) ;; CHECK-BIN-NODEBUG-NEXT: (f32.add diff --git a/test/lit/basic/multi-memories-basics.wast b/test/lit/basic/multi-memories-basics.wast index c9e4d6c7e..3f023079d 100644 --- a/test/lit/basic/multi-memories-basics.wast +++ b/test/lit/basic/multi-memories-basics.wast @@ -18,11 +18,6 @@ (type $none_=>_i32 (func (result i32))) ;; CHECK-TEXT: (import "env" "memory" (memory $importedMemory 1 1)) ;; CHECK-BIN: (import "env" "memory" (memory $importedMemory 1 1)) - ;; CHECK-BIN-NODEBUG: (type $0 (func)) - - ;; CHECK-BIN-NODEBUG: (type $1 (func (result i32))) - - ;; CHECK-BIN-NODEBUG: (import "env" "memory" (memory $mimport$0 1 1)) (import "env" "memory" (memory $importedMemory 1 1)) ;; CHECK-TEXT: (memory $memory1 1 500) ;; CHECK-BIN: (memory $memory1 1 500) @@ -367,6 +362,12 @@ ) ) ) +;; CHECK-BIN-NODEBUG: (type $0 (func)) + +;; CHECK-BIN-NODEBUG: (type $1 (func (result i32))) + +;; CHECK-BIN-NODEBUG: (import "env" "memory" (memory $mimport$0 1 1)) + ;; CHECK-BIN-NODEBUG: (memory $0 1 500) ;; CHECK-BIN-NODEBUG: (memory $1 1 800) diff --git a/test/lit/basic/multi-table.wast b/test/lit/basic/multi-table.wast index d5c7b10aa..b856f8494 100644 --- a/test/lit/basic/multi-table.wast +++ b/test/lit/basic/multi-table.wast @@ -25,9 +25,6 @@ ;; CHECK-BIN: (global $g2 i32 (i32.const 0)) (global $g2 i32 (i32.const 0)) - ;; CHECK-BIN-NODEBUG: (type $0 (func)) - - ;; CHECK-BIN-NODEBUG: (import "a" "b" (table $timport$0 1 10 funcref)) (import "a" "b" (table $t1 1 10 funcref)) ;; CHECK-TEXT: (table $t2 3 3 funcref) ;; CHECK-BIN: (table $t2 3 3 funcref) @@ -116,6 +113,10 @@ ;; CHECK-BIN-NEXT: ) (func $h) ) +;; CHECK-BIN-NODEBUG: (type $0 (func)) + +;; CHECK-BIN-NODEBUG: (import "a" "b" (table $timport$0 1 10 funcref)) + ;; CHECK-BIN-NODEBUG: (global $global$0 (ref null $0) (ref.func $0)) ;; CHECK-BIN-NODEBUG: (global $global$1 i32 (i32.const 0)) diff --git a/test/lit/basic/mutable-global.wast b/test/lit/basic/mutable-global.wast index 154a40a19..fff5d8d5b 100644 --- a/test/lit/basic/mutable-global.wast +++ b/test/lit/basic/mutable-global.wast @@ -16,7 +16,6 @@ (type $0 (func)) ;; CHECK-TEXT: (import "env" "global-mut" (global $global-mut (mut i32))) ;; CHECK-BIN: (import "env" "global-mut" (global $global-mut (mut i32))) - ;; CHECK-BIN-NODEBUG: (import "env" "global-mut" (global $gimport$0 (mut i32))) (import "env" "global-mut" (global $global-mut (mut i32))) ;; CHECK-TEXT: (func $foo (type $0) @@ -44,6 +43,8 @@ ) ) ) +;; CHECK-BIN-NODEBUG: (import "env" "global-mut" (global $gimport$0 (mut i32))) + ;; CHECK-BIN-NODEBUG: (func $0 (type $0) ;; CHECK-BIN-NODEBUG-NEXT: (global.set $gimport$0 ;; CHECK-BIN-NODEBUG-NEXT: (i32.add diff --git a/test/lit/basic/newsyntax.wast b/test/lit/basic/newsyntax.wast index 204bed3ab..33d805c31 100644 --- a/test/lit/basic/newsyntax.wast +++ b/test/lit/basic/newsyntax.wast @@ -10,22 +10,13 @@ ;; RUN: cat %t.bin.nodebug.wast | filecheck %s --check-prefix=CHECK-BIN-NODEBUG (module + (import "env" "table" (table 9 9 funcref)) + ;; CHECK-TEXT: (type $0 (func)) ;; CHECK-TEXT: (type $1 (func (param i32 f64) (result i32))) ;; CHECK-TEXT: (import "env" "table" (table $timport$0 9 9 funcref)) - ;; CHECK-BIN: (type $0 (func)) - - ;; CHECK-BIN: (type $1 (func (param i32 f64) (result i32))) - - ;; CHECK-BIN: (import "env" "table" (table $timport$0 9 9 funcref)) - ;; CHECK-BIN-NODEBUG: (type $0 (func)) - - ;; CHECK-BIN-NODEBUG: (type $1 (func (param i32 f64) (result i32))) - - ;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 9 9 funcref)) - (import "env" "table" (table 9 9 funcref)) ;; CHECK-TEXT: (export "call_indirect" (func $call_indirect)) @@ -41,6 +32,12 @@ ;; CHECK-TEXT-NEXT: (i32.const 1) ;; CHECK-TEXT-NEXT: ) ;; CHECK-TEXT-NEXT: ) + ;; CHECK-BIN: (type $0 (func)) + + ;; CHECK-BIN: (type $1 (func (param i32 f64) (result i32))) + + ;; CHECK-BIN: (import "env" "table" (table $timport$0 9 9 funcref)) + ;; CHECK-BIN: (export "call_indirect" (func $call_indirect)) ;; CHECK-BIN: (func $call_indirect (type $0) @@ -62,6 +59,12 @@ (call_indirect (i32.const 1)) ) ) +;; CHECK-BIN-NODEBUG: (type $0 (func)) + +;; CHECK-BIN-NODEBUG: (type $1 (func (param i32 f64) (result i32))) + +;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 9 9 funcref)) + ;; CHECK-BIN-NODEBUG: (export "call_indirect" (func $0)) ;; CHECK-BIN-NODEBUG: (func $0 (type $0) diff --git a/test/lit/basic/polymorphic_stack.wast b/test/lit/basic/polymorphic_stack.wast index f91847817..d51117e16 100644 --- a/test/lit/basic/polymorphic_stack.wast +++ b/test/lit/basic/polymorphic_stack.wast @@ -17,26 +17,13 @@ ;; CHECK-BIN: (type $FUNCSIG$ii (func (param i32) (result i32))) (type $FUNCSIG$ii (func (param i32) (result i32))) + (import "env" "table" (table 9 9 funcref)) + ;; CHECK-TEXT: (type $2 (func)) ;; CHECK-TEXT: (type $3 (func (param i32))) ;; CHECK-TEXT: (import "env" "table" (table $timport$0 9 9 funcref)) - ;; CHECK-BIN: (type $2 (func)) - - ;; CHECK-BIN: (type $3 (func (param i32))) - - ;; CHECK-BIN: (import "env" "table" (table $timport$0 9 9 funcref)) - ;; CHECK-BIN-NODEBUG: (type $0 (func (result i32))) - - ;; CHECK-BIN-NODEBUG: (type $1 (func (param i32) (result i32))) - - ;; CHECK-BIN-NODEBUG: (type $2 (func)) - - ;; CHECK-BIN-NODEBUG: (type $3 (func (param i32))) - - ;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 9 9 funcref)) - (import "env" "table" (table 9 9 funcref)) ;; CHECK-TEXT: (func $break-and-binary (type $0) (result i32) ;; CHECK-TEXT-NEXT: (block $x (result i32) @@ -53,6 +40,12 @@ ;; CHECK-TEXT-NEXT: ) ;; CHECK-TEXT-NEXT: ) ;; CHECK-TEXT-NEXT: ) + ;; CHECK-BIN: (type $2 (func)) + + ;; CHECK-BIN: (type $3 (func (param i32))) + + ;; CHECK-BIN: (import "env" "table" (table $timport$0 9 9 funcref)) + ;; CHECK-BIN: (func $break-and-binary (type $0) (result i32) ;; CHECK-BIN-NEXT: (block $label$1 (result i32) ;; CHECK-BIN-NEXT: (unreachable) @@ -371,6 +364,16 @@ ) ) ) +;; CHECK-BIN-NODEBUG: (type $0 (func (result i32))) + +;; CHECK-BIN-NODEBUG: (type $1 (func (param i32) (result i32))) + +;; CHECK-BIN-NODEBUG: (type $2 (func)) + +;; CHECK-BIN-NODEBUG: (type $3 (func (param i32))) + +;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 9 9 funcref)) + ;; CHECK-BIN-NODEBUG: (func $0 (type $0) (result i32) ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 (result i32) ;; CHECK-BIN-NODEBUG-NEXT: (unreachable) diff --git a/test/lit/basic/reference-types.wast b/test/lit/basic/reference-types.wast index 9a3a5c663..2b502d789 100644 --- a/test/lit/basic/reference-types.wast +++ b/test/lit/basic/reference-types.wast @@ -174,11 +174,7 @@ (import "env" "import_func" (func $import_func (param eqref) (result funcref))) (import "env" "import_global" (global $import_global eqref)) - ;; CHECK-BIN-NODEBUG: (tag $tag$0 (param i32)) - - ;; CHECK-BIN-NODEBUG: (export "export_func" (func $fimport$0)) (export "export_func" (func $import_func (param eqref) (result funcref))) - ;; CHECK-BIN-NODEBUG: (export "export_global" (global $gimport$0)) (export "export_global" (global $import_global)) ;; Test global initializer expressions @@ -1846,6 +1842,12 @@ ;; CHECK-BIN-NEXT: ) (func $ref-taken-but-not-in-table) ) +;; CHECK-BIN-NODEBUG: (tag $tag$0 (param i32)) + +;; CHECK-BIN-NODEBUG: (export "export_func" (func $fimport$0)) + +;; CHECK-BIN-NODEBUG: (export "export_global" (global $gimport$0)) + ;; CHECK-BIN-NODEBUG: (func $0 (type $4) (param $0 eqref) ;; CHECK-BIN-NODEBUG-NEXT: (nop) ;; CHECK-BIN-NODEBUG-NEXT: ) diff --git a/test/lit/basic/table-import.wast b/test/lit/basic/table-import.wast index 347da5634..79e6f6eeb 100644 --- a/test/lit/basic/table-import.wast +++ b/test/lit/basic/table-import.wast @@ -14,13 +14,16 @@ ;; CHECK-BIN: (type $0 (func)) ;; CHECK-BIN-NODEBUG: (type $0 (func)) (type $0 (func)) - ;; CHECK-TEXT: (import "env" "table" (table $timport$0 1 1 funcref)) - ;; CHECK-BIN: (import "env" "table" (table $timport$0 1 1 funcref)) - ;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 1 1 funcref)) (import "env" "table" (table 1 1 funcref)) (elem (i32.const 0) $foo) + ;; CHECK-TEXT: (import "env" "table" (table $timport$0 1 1 funcref)) + ;; CHECK-TEXT: (memory $0 0) + ;; CHECK-BIN: (import "env" "table" (table $timport$0 1 1 funcref)) + ;; CHECK-BIN: (memory $0 0) + ;; CHECK-BIN-NODEBUG: (import "env" "table" (table $timport$0 1 1 funcref)) + ;; CHECK-BIN-NODEBUG: (memory $0 0) (memory $0 0) diff --git a/test/lit/basic/tags.wast b/test/lit/basic/tags.wast index e6c5d2ccc..5fbc0b811 100644 --- a/test/lit/basic/tags.wast +++ b/test/lit/basic/tags.wast @@ -56,13 +56,6 @@ (tag $e-export (export "ex0") (param i32)) (tag $e-import (import "env" "im0") (param i32)) - ;; CHECK-BIN-NODEBUG: (type $0 (func (param i32 f32))) - - ;; CHECK-BIN-NODEBUG: (type $1 (func (param i32))) - - ;; CHECK-BIN-NODEBUG: (type $2 (func)) - - ;; CHECK-BIN-NODEBUG: (import "env" "im0" (tag $eimport$0 (param i32))) (import "env" "im1" (tag (param i32 f32))) ;; CHECK-TEXT: (export "ex0" (tag $e-export)) @@ -70,22 +63,30 @@ ;; CHECK-BIN: (export "ex0" (tag $e-export)) ;; CHECK-BIN: (export "ex1" (tag $e)) - ;; CHECK-BIN-NODEBUG: (import "env" "im1" (tag $eimport$1 (param i32 f32))) + (export "ex1" (tag $e)) +) +;; CHECK-BIN-NODEBUG: (type $0 (func (param i32 f32))) - ;; CHECK-BIN-NODEBUG: (tag $tag$0 (param i32)) +;; CHECK-BIN-NODEBUG: (type $1 (func (param i32))) - ;; CHECK-BIN-NODEBUG: (tag $tag$1 (param i32 f32)) +;; CHECK-BIN-NODEBUG: (type $2 (func)) - ;; CHECK-BIN-NODEBUG: (tag $tag$2) +;; CHECK-BIN-NODEBUG: (import "env" "im0" (tag $eimport$0 (param i32))) - ;; CHECK-BIN-NODEBUG: (tag $tag$3 (param i32 f32)) +;; CHECK-BIN-NODEBUG: (import "env" "im1" (tag $eimport$1 (param i32 f32))) - ;; CHECK-BIN-NODEBUG: (tag $tag$4 (param i32 f32)) +;; CHECK-BIN-NODEBUG: (tag $tag$0 (param i32)) - ;; CHECK-BIN-NODEBUG: (tag $tag$5 (param i32)) +;; CHECK-BIN-NODEBUG: (tag $tag$1 (param i32 f32)) - ;; CHECK-BIN-NODEBUG: (export "ex0" (tag $tag$5)) +;; CHECK-BIN-NODEBUG: (tag $tag$2) - ;; CHECK-BIN-NODEBUG: (export "ex1" (tag $tag$1)) - (export "ex1" (tag $e)) -) +;; CHECK-BIN-NODEBUG: (tag $tag$3 (param i32 f32)) + +;; CHECK-BIN-NODEBUG: (tag $tag$4 (param i32 f32)) + +;; CHECK-BIN-NODEBUG: (tag $tag$5 (param i32)) + +;; CHECK-BIN-NODEBUG: (export "ex0" (tag $tag$5)) + +;; CHECK-BIN-NODEBUG: (export "ex1" (tag $tag$1)) diff --git a/test/lit/basic/unit.wat b/test/lit/basic/unit.wat index 8392a2269..4fc36b3b7 100644 --- a/test/lit/basic/unit.wat +++ b/test/lit/basic/unit.wat @@ -64,20 +64,23 @@ (type $9 (func (param i32 i64))) ;; CHECK-TEXT: (import "env" "_emscripten_asm_const_vi" (func $_emscripten_asm_const_vi (type $FUNCSIG$v))) ;; CHECK-BIN: (import "env" "_emscripten_asm_const_vi" (func $_emscripten_asm_const_vi (type $FUNCSIG$v))) - ;; CHECK-BIN-NODEBUG: (import "env" "_emscripten_asm_const_vi" (func $fimport$0 (type $1))) (import "env" "_emscripten_asm_const_vi" (func $_emscripten_asm_const_vi)) ;; CHECK-TEXT: (import "asm2wasm" "f64-to-int" (func $f64-to-int (type $FUNCSIG$id) (param f64) (result i32))) ;; CHECK-BIN: (import "asm2wasm" "f64-to-int" (func $f64-to-int (type $FUNCSIG$id) (param f64) (result i32))) - ;; CHECK-BIN-NODEBUG: (import "asm2wasm" "f64-to-int" (func $fimport$1 (type $5) (param f64) (result i32))) (import "asm2wasm" "f64-to-int" (func $f64-to-int (param f64) (result i32))) ;; CHECK-TEXT: (import "asm2wasm" "f64-rem" (func $f64-rem (type $FUNCSIG$ddd) (param f64 f64) (result f64))) ;; CHECK-BIN: (import "asm2wasm" "f64-rem" (func $f64-rem (type $FUNCSIG$ddd) (param f64 f64) (result f64))) - ;; CHECK-BIN-NODEBUG: (import "asm2wasm" "f64-rem" (func $fimport$2 (type $4) (param f64 f64) (result f64))) (import "asm2wasm" "f64-rem" (func $f64-rem (param f64 f64) (result f64))) (table 10 funcref) (elem (i32.const 0) $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg) ;; CHECK-TEXT: (memory $0 4096 4096) ;; CHECK-BIN: (memory $0 4096 4096) + ;; CHECK-BIN-NODEBUG: (import "env" "_emscripten_asm_const_vi" (func $fimport$0 (type $1))) + + ;; CHECK-BIN-NODEBUG: (import "asm2wasm" "f64-to-int" (func $fimport$1 (type $5) (param f64) (result i32))) + + ;; CHECK-BIN-NODEBUG: (import "asm2wasm" "f64-rem" (func $fimport$2 (type $4) (param f64 f64) (result f64))) + ;; CHECK-BIN-NODEBUG: (memory $0 4096 4096) (memory $0 4096 4096) (data (i32.const 1026) "\14\00") @@ -95,13 +98,6 @@ ;; CHECK-BIN: (elem $0 (i32.const 0) $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg) ;; CHECK-BIN: (export "big_negative" (func $big_negative)) - ;; CHECK-BIN-NODEBUG: (data $0 (i32.const 1026) "\14\00") - - ;; CHECK-BIN-NODEBUG: (table $0 10 funcref) - - ;; CHECK-BIN-NODEBUG: (elem $0 (i32.const 0) $17 $0 $17 $17 $18 $18 $1 $18 $17 $15) - - ;; CHECK-BIN-NODEBUG: (export "big_negative" (func $0)) (export "big_negative" (func $big_negative)) ;; CHECK-TEXT: (func $big_negative (type $FUNCSIG$v) ;; CHECK-TEXT-NEXT: (local $temp f64) @@ -1743,6 +1739,14 @@ ) ) ) +;; CHECK-BIN-NODEBUG: (data $0 (i32.const 1026) "\14\00") + +;; CHECK-BIN-NODEBUG: (table $0 10 funcref) + +;; CHECK-BIN-NODEBUG: (elem $0 (i32.const 0) $17 $0 $17 $17 $18 $18 $1 $18 $17 $15) + +;; CHECK-BIN-NODEBUG: (export "big_negative" (func $0)) + ;; CHECK-BIN-NODEBUG: (func $0 (type $1) ;; CHECK-BIN-NODEBUG-NEXT: (local $0 f64) ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |