Skip to content

Commit

Permalink
[llvm-reduce] extractArgumentsFromModule(): don't crash when deleting…
Browse files Browse the repository at this point in the history
… instr twice

As it can be seen in newly-added (previously-crashing) test-case,
there can be a situation where multiple arguments are used in instr,
and we would schedule the same instruction to be deleted several times,
crashing when trying to delete it the second time.

We could either store WeakVH (done here), or use something set-like.
I think using WeakVH is prevalent in these cases elsewhere.
  • Loading branch information
LebedevRI committed Jul 4, 2020
1 parent 76123d3 commit fbbb688
Show file tree
Hide file tree
Showing 3 changed files with 36 additions and 3 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
import sys

FunctionCallPresent = False

input = open(sys.argv[1], "r")
for line in input:
if "call void @use" in line:
FunctionCallPresent = True

if FunctionCallPresent:
sys.exit(0) # Interesting!

sys.exit(1)
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
; Test that llvm-reduce can remove uninteresting function arguments from function definitions as well as their calls.
;
; RUN: rm -rf %t
; RUN: llvm-reduce --test %python --test-arg %p/Inputs/remove-multiple-use-of-args-in-same-instruction.py %s -o %t
; RUN: cat %t | FileCheck -implicit-check-not=uninteresting %s

declare void @use(i32, i32, i32)

; CHECK-LABEL: @interesting(i32 %uninteresting1, i32 %uninteresting2, i32 %uninteresting3
define void @interesting(i32 %uninteresting1, i32 %uninteresting2, i32 %uninteresting3) {
entry:
; CHECK: call void @use(i32 %uninteresting1, i32 %uninteresting2, i32 %uninteresting3)
call void @use(i32 %uninteresting1, i32 %uninteresting2, i32 %uninteresting3)
call void @use(i32 %uninteresting1, i32 %uninteresting2, i32 %uninteresting3)
call void @use(i32 %uninteresting1, i32 %uninteresting2, i32 %uninteresting3)
ret void
}
9 changes: 6 additions & 3 deletions llvm/tools/llvm-reduce/deltas/ReduceArguments.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ static void extractArgumentsFromModule(std::vector<Chunk> ChunksToKeep,

for (auto *F : Funcs) {
ValueToValueMapTy VMap;
std::vector<Instruction *> InstToDelete;
std::vector<WeakVH> InstToDelete;
for (auto &A : F->args())
if (!ArgsToKeep.count(&A)) {
// By adding undesired arguments to the VMap, CloneFunction will remove
Expand All @@ -70,8 +70,11 @@ static void extractArgumentsFromModule(std::vector<Chunk> ChunksToKeep,
if (auto *I = dyn_cast<Instruction>(*&U))
InstToDelete.push_back(I);
}
// Delete any instruction that uses the argument
for (auto *I : InstToDelete) {
// Delete any (unique) instruction that uses the argument
for (Value *V : InstToDelete) {
if (!V)
continue;
auto *I = cast<Instruction>(V);
I->replaceAllUsesWith(UndefValue::get(I->getType()));
I->eraseFromParent();
}
Expand Down

0 comments on commit fbbb688

Please sign in to comment.