[llvm] 6a28d3c - [FuzzMutate] Avoid calling function with metadata/token parameter/return type for `InsertFunctionStrategy`
Peter Rong via llvm-commits
llvm-commits at lists.llvm.org
Thu Jun 1 13:59:53 PDT 2023
Author: Henry Yu
Date: 2023-06-01T13:59:47-07:00
New Revision: 6a28d3c21d3a39e5a423cf0dd578d6d7ed6b9301
URL: https://github.com/llvm/llvm-project/commit/6a28d3c21d3a39e5a423cf0dd578d6d7ed6b9301
DIFF: https://github.com/llvm/llvm-project/commit/6a28d3c21d3a39e5a423cf0dd578d6d7ed6b9301.diff
LOG: [FuzzMutate] Avoid calling function with metadata/token parameter/return type for `InsertFunctionStrategy`
When there is a function with metadata/token parameter/return type, `InsertFunctionStrategy` will crash.
This patch fixes the problem by falling back to create function declaration when the sampled function contains metadata/token parameter/return type.
Reviewed By: Peter
Differential Revision: https://reviews.llvm.org/D150627
Added:
Modified:
llvm/lib/FuzzMutate/IRMutator.cpp
llvm/unittests/FuzzMutate/StrategiesTest.cpp
Removed:
################################################################################
diff --git a/llvm/lib/FuzzMutate/IRMutator.cpp b/llvm/lib/FuzzMutate/IRMutator.cpp
index 90dd532c33c4f..df191cad9243b 100644
--- a/llvm/lib/FuzzMutate/IRMutator.cpp
+++ b/llvm/lib/FuzzMutate/IRMutator.cpp
@@ -360,7 +360,11 @@ void InsertFunctionStrategy::mutate(BasicBlock &BB, RandomIRBuilder &IB) {
auto RS = makeSampler(IB.Rand, Functions);
Function *F = RS.getSelection();
- if (!F) {
+ auto IsUnsupportedTy = [](Type *T) {
+ return T->isMetadataTy() || T->isTokenTy();
+ };
+ if (!F || IsUnsupportedTy(F->getReturnType()) ||
+ any_of(F->getFunctionType()->params(), IsUnsupportedTy)) {
F = IB.createFunctionDeclaration(*M);
}
diff --git a/llvm/unittests/FuzzMutate/StrategiesTest.cpp b/llvm/unittests/FuzzMutate/StrategiesTest.cpp
index b89ca106cc76a..dc2e49831b6d8 100644
--- a/llvm/unittests/FuzzMutate/StrategiesTest.cpp
+++ b/llvm/unittests/FuzzMutate/StrategiesTest.cpp
@@ -374,7 +374,7 @@ TEST(InstModificationIRStrategyTest, DidntShuffleFRem) {
VerfyDivDidntShuffle(Source);
}
-TEST(FunctionIRStrategy, Func) {
+TEST(InsertFunctionStrategy, Func) {
LLVMContext Ctx;
const char *Source = "";
auto Mutator = createMutator<InsertFunctionStrategy>();
@@ -388,6 +388,23 @@ TEST(FunctionIRStrategy, Func) {
}
}
+TEST(InsertFunctionStrategy, AvoidCallingFunctionWithSpecialParam) {
+ LLVMContext Ctx;
+ StringRef Source = "\n\
+ declare void @llvm.dbg.value(metadata %0, metadata %1, metadata %2)\n\
+ declare i1 @llvm.experimental.gc.result.i1(token %0)\n\
+ define i32 @test(i32 %0) gc \"statepoint-example\" {\n\
+ ret i32 %0 \n\
+ }";
+ auto Mutator = createMutator<InsertFunctionStrategy>();
+ auto M = parseAssembly(Source.data(), Ctx);
+ srand(Seed);
+ for (int i = 0; i < 100; i++) {
+ Mutator->mutateModule(*M, rand(), 1024);
+ EXPECT_TRUE(!verifyModule(*M, &errs()));
+ }
+}
+
TEST(InstModificationIRStrategy, Exact) {
LLVMContext Ctx;
StringRef Source = "\n\
More information about the llvm-commits
mailing list