diff options
Diffstat (limited to 'test/lit/exec')
-rw-r--r-- | test/lit/exec/array.wast | 2 | ||||
-rw-r--r-- | test/lit/exec/delegate-vacuum.wast | 4 | ||||
-rw-r--r-- | test/lit/exec/eh-gc.wast | 2 | ||||
-rw-r--r-- | test/lit/exec/eh-print.wast | 5 | ||||
-rw-r--r-- | test/lit/exec/eh.wast | 8 | ||||
-rw-r--r-- | test/lit/exec/gc-cycle-leak.wast | 2 | ||||
-rw-r--r-- | test/lit/exec/host-limit.wast | 3 | ||||
-rw-r--r-- | test/lit/exec/i31.wast | 14 | ||||
-rw-r--r-- | test/lit/exec/intrinsics.wast | 3 | ||||
-rw-r--r-- | test/lit/exec/memory.grow.wast | 4 | ||||
-rw-r--r-- | test/lit/exec/negative-zero.wast | 16 | ||||
-rw-r--r-- | test/lit/exec/no-compare-refs.wast | 2 | ||||
-rw-r--r-- | test/lit/exec/non-nullable.wast | 2 | ||||
-rw-r--r-- | test/lit/exec/read-nn-null.wast | 14 | ||||
-rw-r--r-- | test/lit/exec/strings.wast | 34 |
15 files changed, 55 insertions, 60 deletions
diff --git a/test/lit/exec/array.wast b/test/lit/exec/array.wast index 7e74c7b7d..fb6a8b346 100644 --- a/test/lit/exec/array.wast +++ b/test/lit/exec/array.wast @@ -7,7 +7,7 @@ ;; CHECK: [fuzz-exec] calling func ;; CHECK-NEXT: [fuzz-exec] note result: func => 1 - (func "func" (result i32) + (func $func (export "func") (result i32) ;; Verifies the order of execution is correct - we should return 1, not 2. (array.new $array (return (i32.const 1)) diff --git a/test/lit/exec/delegate-vacuum.wast b/test/lit/exec/delegate-vacuum.wast index c92760568..084113c2b 100644 --- a/test/lit/exec/delegate-vacuum.wast +++ b/test/lit/exec/delegate-vacuum.wast @@ -9,7 +9,7 @@ (tag $tag$0 (param i32)) ;; CHECK: [fuzz-exec] calling export-1 ;; CHECK-NEXT: [exception thrown: tag$0 0] - (func "export-1" + (func $export-1 (export "export-1") (try (do (try @@ -30,7 +30,7 @@ ) ;; CHECK: [fuzz-exec] calling export-2 ;; CHECK-NEXT: [trap unreachable] - (func "export-2" + (func $export-2 (export "export-2") (call $inner) (unreachable) ) diff --git a/test/lit/exec/eh-gc.wast b/test/lit/exec/eh-gc.wast index cac2f6adf..f10a27c57 100644 --- a/test/lit/exec/eh-gc.wast +++ b/test/lit/exec/eh-gc.wast @@ -6,7 +6,7 @@ (tag $tag (param externref)) ;; CHECK: [fuzz-exec] calling catch-null - (func "catch-null" + (func $catch-null (export "catch-null") (try $label$3 (do ;; Throw a null. diff --git a/test/lit/exec/eh-print.wast b/test/lit/exec/eh-print.wast index 8f9520e75..f50164631 100644 --- a/test/lit/exec/eh-print.wast +++ b/test/lit/exec/eh-print.wast @@ -12,7 +12,7 @@ ;; CHECK: [fuzz-exec] calling array ;; CHECK-NEXT: [exception thrown: A [ref (type $array.0 (array (mut i32))) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0[..])]] - (func "array" (result (ref $A)) + (func $array (export "array") (result (ref $A)) ;; Throw a very large array. We should not print all 12K items in it, as that ;; would be very verbose. Instead we stop after a reasonable amount and ;; print [..] for the rest. @@ -25,7 +25,7 @@ ;; CHECK: [fuzz-exec] calling struct ;; CHECK-NEXT: [exception thrown: B [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [ref (type $struct.0 (struct (field (mut anyref)))) [..]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] - (func "struct" (result (ref $B)) + (func $struct (export "struct") (result (ref $B)) (local $x (ref $B)) ;; As above, but now with a recursive struct. (local.set $x @@ -40,4 +40,3 @@ ) ) ) - diff --git a/test/lit/exec/eh.wast b/test/lit/exec/eh.wast index 779309eb6..930e57c20 100644 --- a/test/lit/exec/eh.wast +++ b/test/lit/exec/eh.wast @@ -7,12 +7,12 @@ ;; CHECK: [fuzz-exec] calling throw ;; CHECK-NEXT: [exception thrown: e-i32 1] - (func "throw" + (func $throw (export "throw") (throw $e-i32 (i32.const 1)) ) ;; CHECK: [fuzz-exec] calling try-catch - (func "try-catch" + (func $try-catch (export "try-catch") (try (do (throw $e-i32 (i32.const 2)) @@ -25,7 +25,7 @@ ;; CHECK: [fuzz-exec] calling catchless-try ;; CHECK-NEXT: [exception thrown: e-i32 3] - (func "catchless-try" + (func $catchless-try (export "catchless-try") (try (do (throw $e-i32 (i32.const 3)) @@ -35,7 +35,7 @@ ;; CHECK: [fuzz-exec] calling try-delegate ;; CHECK-NEXT: [exception thrown: e-i32 4] - (func "try-delegate" + (func $try-delegate (export "try-delegate") (try $l0 (do (try diff --git a/test/lit/exec/gc-cycle-leak.wast b/test/lit/exec/gc-cycle-leak.wast index 75c329392..f4f62b533 100644 --- a/test/lit/exec/gc-cycle-leak.wast +++ b/test/lit/exec/gc-cycle-leak.wast @@ -6,7 +6,7 @@ (type $A (struct (field (mut (ref null $A))))) ;; CHECK: [fuzz-exec] calling test - (func "test" + (func $test (export "test") (local $a (ref $A)) ;; This function makes a self-cycle where the local $a's ref field points to ;; itself. This test checks that we do not error, even in sanitizers, when diff --git a/test/lit/exec/host-limit.wast b/test/lit/exec/host-limit.wast index ee59d655b..e64a47d8a 100644 --- a/test/lit/exec/host-limit.wast +++ b/test/lit/exec/host-limit.wast @@ -18,10 +18,9 @@ ;; CHECK: [fuzz-exec] calling export ;; CHECK-NEXT: [LoggingExternalInterface logging 42] ;; CHECK-NEXT: ignoring comparison of ExecutionResults! - (func "export" + (func $export (export "export") (call $log (i32.const 42) ) ) ) - diff --git a/test/lit/exec/i31.wast b/test/lit/exec/i31.wast index cd25dffa0..70d220d8c 100644 --- a/test/lit/exec/i31.wast +++ b/test/lit/exec/i31.wast @@ -5,7 +5,7 @@ (module ;; CHECK: [fuzz-exec] calling null-local ;; CHECK-NEXT: [fuzz-exec] note result: null-local => 1 - (func "null-local" (result i32) + (func $null-local (export "null-local") (result i32) (local $ref (ref null i31)) (ref.is_null (local.get $ref) @@ -14,7 +14,7 @@ ;; CHECK: [fuzz-exec] calling null-immediate ;; CHECK-NEXT: [fuzz-exec] note result: null-immediate => 1 - (func "null-immediate" (result i32) + (func $null-immediate (export "null-immediate") (result i32) (ref.is_null (ref.null i31) ) @@ -22,7 +22,7 @@ ;; CHECK: [fuzz-exec] calling non-null ;; CHECK-NEXT: [fuzz-exec] note result: non-null => 0 - (func "non-null" (result i32) + (func $non-null (export "non-null") (result i32) (ref.is_null (ref.i31 (i32.const 1234) @@ -32,7 +32,7 @@ ;; CHECK: [fuzz-exec] calling nn-u ;; CHECK-NEXT: [fuzz-exec] note result: nn-u => 2147483647 - (func "nn-u" (result i32) + (func $nn-u (export "nn-u") (result i32) (i31.get_u (ref.i31 (i32.const 0xffffffff) @@ -42,7 +42,7 @@ ;; CHECK: [fuzz-exec] calling nn-s ;; CHECK-NEXT: [fuzz-exec] note result: nn-s => -1 - (func "nn-s" (result i32) + (func $nn-s (export "nn-s") (result i32) (i31.get_s (ref.i31 (i32.const 0xffffffff) @@ -52,7 +52,7 @@ ;; CHECK: [fuzz-exec] calling zero-is-not-null ;; CHECK-NEXT: [fuzz-exec] note result: zero-is-not-null => 0 - (func "zero-is-not-null" (result i32) + (func $zero-is-not-null (export "zero-is-not-null") (result i32) (local $ref (ref null i31)) (local.set $ref (ref.i31 @@ -71,7 +71,7 @@ ;; CHECK: [fuzz-exec] calling trap ;; CHECK-NEXT: [trap null ref] - (func "trap" (result i32) + (func $trap (export "trap") (result i32) (i31.get_u (ref.null i31) ) diff --git a/test/lit/exec/intrinsics.wast b/test/lit/exec/intrinsics.wast index d53082a77..c8ae28643 100644 --- a/test/lit/exec/intrinsics.wast +++ b/test/lit/exec/intrinsics.wast @@ -7,7 +7,7 @@ ;; CHECK: [fuzz-exec] calling get-ref ;; CHECK-NEXT: [fuzz-exec] note result: get-ref => 42 - (func "get-ref" (result i32) + (func $get-ref (export "get-ref") (result i32) (call $cwe (i32.const 41) (ref.func $add-one) @@ -21,4 +21,3 @@ ) ) ) - diff --git a/test/lit/exec/memory.grow.wast b/test/lit/exec/memory.grow.wast index 64d88bfc7..426f4b4c0 100644 --- a/test/lit/exec/memory.grow.wast +++ b/test/lit/exec/memory.grow.wast @@ -7,7 +7,7 @@ ;; CHECK: [fuzz-exec] calling grow_twice ;; CHECK-NEXT: [fuzz-exec] note result: grow_twice => 3 - (func "grow_twice" (result i32) + (func $grow_twice (export "grow_twice") (result i32) ;; The nested grow will increase the size from 1 to 3, and return the old ;; size, 1. Then the outer grow will grow by that amount 1, from 3 to 4. (memory.grow @@ -19,7 +19,7 @@ ;; CHECK: [fuzz-exec] calling measure ;; CHECK-NEXT: [fuzz-exec] note result: measure => 4 - (func "measure" (export "measure") (result i32) + (func $measure (export "measure") (result i32) ;; This should return the final size, 4. (memory.size) ) diff --git a/test/lit/exec/negative-zero.wast b/test/lit/exec/negative-zero.wast index 4a1e339ca..2c45dbdfb 100644 --- a/test/lit/exec/negative-zero.wast +++ b/test/lit/exec/negative-zero.wast @@ -5,7 +5,7 @@ (module ;; CHECK: [fuzz-exec] calling min1 ;; CHECK-NEXT: [fuzz-exec] note result: min1 => -0 - (func "min1" (result f64) + (func $min1 (export "min1") (result f64) ;; This should return -0. (f64.min (f64.const 0) @@ -15,7 +15,7 @@ ;; CHECK: [fuzz-exec] calling min2 ;; CHECK-NEXT: [fuzz-exec] note result: min2 => -0 - (func "min2" (result f64) + (func $min2 (export "min2") (result f64) ;; Flipped arms; still -0. (f64.min (f64.const -0) @@ -25,7 +25,7 @@ ;; CHECK: [fuzz-exec] calling min1-f32 ;; CHECK-NEXT: [fuzz-exec] note result: min1-f32 => -0 - (func "min1-f32" (result f32) + (func $min1-f32 (export "min1-f32") (result f32) ;; As above, but f32 and not f64 (f32.min (f32.const 0) @@ -35,7 +35,7 @@ ;; CHECK: [fuzz-exec] calling min2-f32 ;; CHECK-NEXT: [fuzz-exec] note result: min2-f32 => -0 - (func "min2-f32" (result f32) + (func $min2-f32 (export "min2-f32") (result f32) ;; Flipped arms; still -0. (f32.min (f32.const -0) @@ -45,7 +45,7 @@ ;; CHECK: [fuzz-exec] calling max1 ;; CHECK-NEXT: [fuzz-exec] note result: max1 => 0 - (func "max1" (result f64) + (func $max1 (export "max1") (result f64) ;; This should return 0. (f64.max (f64.const 0) @@ -55,7 +55,7 @@ ;; CHECK: [fuzz-exec] calling max2 ;; CHECK-NEXT: [fuzz-exec] note result: max2 => 0 - (func "max2" (result f64) + (func $max2 (export "max2") (result f64) ;; Flipped arms; still 0. (f64.max (f64.const -0) @@ -65,7 +65,7 @@ ;; CHECK: [fuzz-exec] calling max1-f32 ;; CHECK-NEXT: [fuzz-exec] note result: max1-f32 => 0 - (func "max1-f32" (result f32) + (func $max1-f32 (export "max1-f32") (result f32) ;; As above, but f32 and not f64 (f32.max (f32.const 0) @@ -76,7 +76,7 @@ ;; CHECK: [fuzz-exec] calling max2-f32 ;; CHECK-NEXT: [fuzz-exec] note result: max2-f32 => 0 ;; CHECK-NEXT: warning: no passes specified, not doing any work - (func "max2-f32" (result f32) + (func $max2-f32 (export "max2-f32") (result f32) ;; Flipped arms; still 0. (f32.max (f32.const -0) diff --git a/test/lit/exec/no-compare-refs.wast b/test/lit/exec/no-compare-refs.wast index 95afa51dc..bfa317a53 100644 --- a/test/lit/exec/no-compare-refs.wast +++ b/test/lit/exec/no-compare-refs.wast @@ -13,7 +13,7 @@ ;; signature pruning. The fuzzer should not complain about this. ;; CHECK: [fuzz-exec] calling return-ref ;; CHECK-NEXT: [fuzz-exec] note result: return-ref => funcref - (func "return-ref" (result funcref) + (func $return-ref (export "return-ref") (result funcref) (ref.func $no-use-param) ) ) diff --git a/test/lit/exec/non-nullable.wast b/test/lit/exec/non-nullable.wast index d443947c6..da71d53eb 100644 --- a/test/lit/exec/non-nullable.wast +++ b/test/lit/exec/non-nullable.wast @@ -5,7 +5,7 @@ (module ;; CHECK: [fuzz-exec] calling get-ref ;; CHECK-NEXT: [trap fuzzer can only send defaultable parameters to exports] - (func "get-ref" (param $0 (ref any)) + (func $get-ref (export "get-ref") (param $0 (ref any)) (nop) ) ) diff --git a/test/lit/exec/read-nn-null.wast b/test/lit/exec/read-nn-null.wast index d72688969..beb2c5c7e 100644 --- a/test/lit/exec/read-nn-null.wast +++ b/test/lit/exec/read-nn-null.wast @@ -30,6 +30,12 @@ (module (import "fuzzing-support" "log-i32" (func $log (param i32))) + ;; NORMAL: [fuzz-exec] calling foo + ;; NORMAL-NEXT: [LoggingExternalInterface logging 42] + ;; NORMAL-NEXT: [trap unreachable] + ;; TNH: [fuzz-exec] calling foo + ;; TNH-NEXT: [LoggingExternalInterface logging 42] + ;; TNH-NEXT: [trap unreachable] (func $foo (export "foo") (param $i i32) (result funcref) (local $ref (ref func)) (local.set $ref @@ -58,17 +64,9 @@ ;; NORMAL: [fuzz-exec] calling foo ;; NORMAL-NEXT: [LoggingExternalInterface logging 42] ;; NORMAL-NEXT: [trap unreachable] - -;; NORMAL: [fuzz-exec] calling foo -;; NORMAL-NEXT: [LoggingExternalInterface logging 42] -;; NORMAL-NEXT: [trap unreachable] ;; NORMAL-NEXT: [fuzz-exec] comparing foo ;; TNH: [fuzz-exec] calling foo ;; TNH-NEXT: [LoggingExternalInterface logging 42] ;; TNH-NEXT: [trap unreachable] - -;; TNH: [fuzz-exec] calling foo -;; TNH-NEXT: [LoggingExternalInterface logging 42] -;; TNH-NEXT: [trap unreachable] ;; TNH-NEXT: [fuzz-exec] comparing foo diff --git a/test/lit/exec/strings.wast b/test/lit/exec/strings.wast index 320fe5de5..5460abd2a 100644 --- a/test/lit/exec/strings.wast +++ b/test/lit/exec/strings.wast @@ -7,7 +7,7 @@ ;; CHECK: [fuzz-exec] calling new_wtf16_array ;; CHECK-NEXT: [fuzz-exec] note result: new_wtf16_array => string("ello") - (func "new_wtf16_array" (result stringref) + (func $new_wtf16_array (export "new_wtf16_array") (result stringref) (string.new_wtf16_array (array.new_fixed $array16 5 (i32.const 104) ;; h @@ -23,13 +23,13 @@ ;; CHECK: [fuzz-exec] calling const ;; CHECK-NEXT: [fuzz-exec] note result: const => string("world") - (func "const" (result stringref) + (func $const (export "const") (result stringref) (string.const "world") ) ;; CHECK: [fuzz-exec] calling eq.1 ;; CHECK-NEXT: [fuzz-exec] note result: eq.1 => 0 - (func "eq.1" (result i32) + (func $eq.1 (export "eq.1") (result i32) (string.eq (string.const "hello") (string.const "world") @@ -38,7 +38,7 @@ ;; CHECK: [fuzz-exec] calling eq.2 ;; CHECK-NEXT: [fuzz-exec] note result: eq.2 => 1 - (func "eq.2" (result i32) + (func $eq.2 (export "eq.2") (result i32) (string.eq (string.const "hello") (string.const "hello") @@ -47,7 +47,7 @@ ;; CHECK: [fuzz-exec] calling eq.3 ;; CHECK-NEXT: [fuzz-exec] note result: eq.3 => 0 - (func "eq.3" (result i32) + (func $eq.3 (export "eq.3") (result i32) (string.eq (string.const "hello") (ref.null string) @@ -56,7 +56,7 @@ ;; CHECK: [fuzz-exec] calling eq.4 ;; CHECK-NEXT: [fuzz-exec] note result: eq.4 => 0 - (func "eq.4" (result i32) + (func $eq.4 (export "eq.4") (result i32) (string.eq (ref.null string) (string.const "world") @@ -65,7 +65,7 @@ ;; CHECK: [fuzz-exec] calling eq.5 ;; CHECK-NEXT: [fuzz-exec] note result: eq.5 => 1 - (func "eq.5" (result i32) + (func $eq.5 (export "eq.5") (result i32) (string.eq (ref.null string) (ref.null string) @@ -74,7 +74,7 @@ ;; CHECK: [fuzz-exec] calling compare.1 ;; CHECK-NEXT: [trap null ref] - (func "compare.1" (result i32) + (func $compare.1 (export "compare.1") (result i32) (string.compare (string.const "hello") (ref.null string) @@ -83,7 +83,7 @@ ;; CHECK: [fuzz-exec] calling compare.2 ;; CHECK-NEXT: [trap null ref] - (func "compare.2" (result i32) + (func $compare.2 (export "compare.2") (result i32) (string.compare (ref.null string) (string.const "world") @@ -92,7 +92,7 @@ ;; CHECK: [fuzz-exec] calling compare.3 ;; CHECK-NEXT: [trap null ref] - (func "compare.3" (result i32) + (func $compare.3 (export "compare.3") (result i32) (string.compare (ref.null string) (ref.null string) @@ -101,7 +101,7 @@ ;; CHECK: [fuzz-exec] calling compare.4 ;; CHECK-NEXT: [fuzz-exec] note result: compare.4 => 0 - (func "compare.4" (result i32) + (func $compare.4 (export "compare.4") (result i32) (string.compare (string.const "hello") (string.const "hello") @@ -110,7 +110,7 @@ ;; CHECK: [fuzz-exec] calling compare.5 ;; CHECK-NEXT: [fuzz-exec] note result: compare.5 => -1 - (func "compare.5" (result i32) + (func $compare.5 (export "compare.5") (result i32) (string.compare (string.const "hello") (string.const "hezlo") @@ -119,7 +119,7 @@ ;; CHECK: [fuzz-exec] calling compare.6 ;; CHECK-NEXT: [fuzz-exec] note result: compare.6 => 1 - (func "compare.6" (result i32) + (func $compare.6 (export "compare.6") (result i32) (string.compare (string.const "hezlo") (string.const "hello") @@ -128,7 +128,7 @@ ;; CHECK: [fuzz-exec] calling compare.7 ;; CHECK-NEXT: [fuzz-exec] note result: compare.7 => -1 - (func "compare.7" (result i32) + (func $compare.7 (export "compare.7") (result i32) (string.compare (string.const "he") (string.const "hello") @@ -137,7 +137,7 @@ ;; CHECK: [fuzz-exec] calling compare.8 ;; CHECK-NEXT: [fuzz-exec] note result: compare.8 => 1 - (func "compare.8" (result i32) + (func $compare.8 (export "compare.8") (result i32) (string.compare (string.const "hello") (string.const "he") @@ -146,7 +146,7 @@ ;; CHECK: [fuzz-exec] calling compare.9 ;; CHECK-NEXT: [fuzz-exec] note result: compare.9 => 1 - (func "compare.9" (result i32) + (func $compare.9 (export "compare.9") (result i32) (string.compare (string.const "hf") (string.const "hello") @@ -155,7 +155,7 @@ ;; CHECK: [fuzz-exec] calling compare.10 ;; CHECK-NEXT: [fuzz-exec] note result: compare.10 => -1 - (func "compare.10" (result i32) + (func $compare.10 (export "compare.10") (result i32) (string.compare (string.const "hello") (string.const "hf") |