diff options
| -rw-r--r-- | src/tools/fuzzing.h | 80 | ||||
| -rw-r--r-- | test/passes/fuzz_metrics_noprint.bin.txt | 50 |
2 files changed, 72 insertions, 58 deletions
diff --git a/src/tools/fuzzing.h b/src/tools/fuzzing.h index d2cdb7a7f..36cf1fb42 100644 --- a/src/tools/fuzzing.h +++ b/src/tools/fuzzing.h @@ -675,7 +675,16 @@ private: void visitExpression(Expression* curr) { if (parent.oneIn(10)) { - // Replace it! + // For constants, perform only a small tweaking in some cases. + if (auto* c = curr->dynCast<Const>()) { + if (parent.oneIn(2)) { + c->value = parent.tweak(c->value); + return; + } + } + // TODO: more minor tweaks to immediates, like making a load atomic or + // not, changing an offset, etc. + // Perform a general replacement. // (This is not always valid due to nesting of labels, but // we'll fix that up later.) replaceCurrent(parent.make(curr->type)); @@ -1536,6 +1545,43 @@ private: return store; } + // Makes a small change to a constant value. + Literal tweak(Literal value) { + auto type = value.type; + if (type.isVector()) { + // TODO: tweak each lane? + return value; + } + // +- 1 + switch (upTo(5)) { + case 0: + value = value.add(Literal::makeNegOne(type)); + break; + case 1: + value = value.add(Literal::makeOne(type)); + break; + default: { + } + } + // For floats, optionally add a non-integer adjustment in +- [-1, 1] + if (type.isFloat() && oneIn(2)) { + const int RANGE = 1000; + auto RANGE_LITERAL = Literal::makeFromInt32(RANGE, type); + // adjustment -> [0, 2 * RANGE] + auto adjustment = Literal::makeFromInt32(upTo(2 * RANGE + 1), type); + // adjustment -> [-RANGE, RANGE] + adjustment = adjustment.sub(RANGE_LITERAL); + // adjustment -> [-1, 1] + adjustment = adjustment.div(RANGE_LITERAL); + value = value.add(adjustment); + } + // Flip sign. + if (oneIn(2)) { + value = value.mul(Literal::makeNegOne(type)); + } + return value; + } + Literal makeLiteral(Type type) { if (type == Type::v128) { // generate each lane individually for random lane interpretation @@ -1587,38 +1633,6 @@ private: } } - // Optional tweaking of the value by a small adjustment. - auto tweak = [this, type](Literal value) { - // +- 1 - switch (upTo(5)) { - case 0: - value = value.add(Literal::makeNegOne(type)); - break; - case 1: - value = value.add(Literal::makeOne(type)); - break; - default: { - } - } - // For floats, optionally add a non-integer adjustment in +- [-1, 1] - if (type.isFloat() && oneIn(2)) { - const int RANGE = 1000; - auto RANGE_LITERAL = Literal::makeFromInt32(RANGE, type); - // adjustment -> [0, 2 * RANGE] - auto adjustment = Literal::makeFromInt32(upTo(2 * RANGE + 1), type); - // adjustment -> [-RANGE, RANGE] - adjustment = adjustment.sub(RANGE_LITERAL); - // adjustment -> [-1, 1] - adjustment = adjustment.div(RANGE_LITERAL); - value = value.add(adjustment); - } - // Flip sign. - if (oneIn(2)) { - value = value.mul(Literal::makeNegOne(type)); - } - return value; - }; - switch (upTo(4)) { case 0: { // totally random, entire range diff --git a/test/passes/fuzz_metrics_noprint.bin.txt b/test/passes/fuzz_metrics_noprint.bin.txt index a79ff8f26..da8acec57 100644 --- a/test/passes/fuzz_metrics_noprint.bin.txt +++ b/test/passes/fuzz_metrics_noprint.bin.txt @@ -1,30 +1,30 @@ total [events] : 0 - [exports] : 18 - [funcs] : 22 + [exports] : 45 + [funcs] : 72 [globals] : 7 [imports] : 4 [memory-data] : 4 - [table-data] : 9 - [total] : 4993 - [vars] : 58 - binary : 397 - block : 736 - break : 204 - call : 173 - call_indirect : 32 - const : 823 - drop : 42 - global.get : 421 - global.set : 190 - if : 292 - load : 95 - local.get : 392 - local.set : 297 - loop : 146 - nop : 97 - return : 189 - select : 39 - store : 55 - switch : 1 - unary : 372 + [table-data] : 30 + [total] : 5321 + [vars] : 256 + binary : 416 + block : 755 + break : 178 + call : 234 + call_indirect : 49 + const : 970 + drop : 58 + global.get : 461 + global.set : 201 + if : 313 + load : 98 + local.get : 412 + local.set : 301 + loop : 119 + nop : 80 + return : 209 + select : 46 + store : 43 + unary : 375 + unreachable : 3 |