diff options
| author | Alon Zakai <azakai@google.com> | 2024-05-21 13:06:01 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-21 13:06:01 -0700 |
| commit | 326bfcd7d9f6927e28d106a6cd6e9c408a0f6a0d (patch) | |
| tree | 6256b352df1a456cf56908a537de4d2830d32b33 /test/passes/translate-to-fuzz_all-features_metrics_noprint.txt | |
| parent | 5999c996c36abeba912599b5fba83d0b2989ed4c (diff) | |
| download | binaryen-326bfcd7d9f6927e28d106a6cd6e9c408a0f6a0d.tar.gz binaryen-326bfcd7d9f6927e28d106a6cd6e9c408a0f6a0d.tar.bz2 binaryen-326bfcd7d9f6927e28d106a6cd6e9c408a0f6a0d.zip | |
Fuzzer: Better fuzzing of globals (#6611)
With this PR we generate global.gets in globals, which we did not do before.
We do that by replacing makeConst (the only thing we did before, for the
contents of globals) with makeTrivial, and add code to makeTrivial to sometimes
make a global.get. When no suitable global exists, makeGlobalGet will emit a
constant, so there is no danger in trying.
Also raise the number of globals a little.
Also explicitly note the current limitation of requiring all tuple globals to contain
tuple.make and nothing else, including not global.get, and avoid adding such
invalid global.gets in tuple globals in the fuzzer.
Diffstat (limited to 'test/passes/translate-to-fuzz_all-features_metrics_noprint.txt')
| -rw-r--r-- | test/passes/translate-to-fuzz_all-features_metrics_noprint.txt | 84 |
1 files changed, 48 insertions, 36 deletions
diff --git a/test/passes/translate-to-fuzz_all-features_metrics_noprint.txt b/test/passes/translate-to-fuzz_all-features_metrics_noprint.txt index 4ead62655..57650cb24 100644 --- a/test/passes/translate-to-fuzz_all-features_metrics_noprint.txt +++ b/test/passes/translate-to-fuzz_all-features_metrics_noprint.txt @@ -1,47 +1,59 @@ total - [exports] : 5 - [funcs] : 7 - [globals] : 14 + [exports] : 3 + [funcs] : 4 + [globals] : 24 [imports] : 5 [memories] : 1 [memory-data] : 20 - [table-data] : 2 + [table-data] : 3 [tables] : 1 [tags] : 1 - [total] : 467 - [vars] : 40 - ArrayGet : 1 - ArrayLen : 1 - ArrayNew : 6 + [total] : 750 + [vars] : 30 + ArrayCopy : 1 + ArrayGet : 2 + ArrayLen : 5 + ArrayNew : 24 ArrayNewFixed : 1 - Binary : 67 - Block : 44 - Break : 5 - Call : 21 - Const : 106 - Drop : 7 - GlobalGet : 20 - GlobalSet : 18 - If : 14 - Load : 17 - LocalGet : 45 - LocalSet : 28 - Loop : 3 - MemoryFill : 1 - Nop : 5 - RefAs : 1 - RefCast : 1 + ArraySet : 1 + AtomicCmpxchg : 1 + AtomicFence : 1 + AtomicRMW : 1 + Binary : 84 + Block : 58 + Break : 12 + Call : 13 + Const : 175 + Drop : 2 + GlobalGet : 45 + GlobalSet : 20 + I31Get : 2 + If : 21 + Load : 20 + LocalGet : 70 + LocalSet : 46 + Loop : 7 + MemoryCopy : 1 + Nop : 11 + Pop : 3 + RefAs : 7 RefEq : 1 - RefFunc : 3 - RefI31 : 4 - RefNull : 3 - Return : 3 - Select : 2 + RefFunc : 5 + RefI31 : 7 + RefIsNull : 3 + RefNull : 19 + RefTest : 3 + Return : 2 + SIMDTernary : 1 + Select : 3 Store : 1 - StringConst : 3 + StringConst : 8 StringEncode : 1 - StringEq : 1 - StructNew : 5 - TupleMake : 5 - Unary : 13 + StringMeasure : 1 + StringWTF16Get : 1 + StructGet : 1 + StructNew : 21 + Try : 3 + TupleMake : 6 + Unary : 19 Unreachable : 10 |