summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2be921a)
raw | patch | inline | side by side (parent: 2be921a)
author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | |
Fri, 22 Mar 2013 08:43:04 +0000 (08:43 +0000) | ||
committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | |
Fri, 22 Mar 2013 08:43:04 +0000 (08:43 +0000) |
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@177713 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Utils/Local.cpp | patch | blob | history | |
test/Instrumentation/MemorySanitizer/unreachable.ll | patch | blob | history |
index a54ee08b676f390f8e5b749aa824be46534fd310..be80d34d960f835583738b0d705e37541266a110 100644 (file)
if (Reachable.count(I))
continue;
- // Remove the block as predecessor of all its reachable successors.
- // Unreachable successors don't matter as they'll soon be removed, too.
for (succ_iterator SI = succ_begin(I), SE = succ_end(I); SI != SE; ++SI)
if (Reachable.count(*SI))
(*SI)->removePredecessor(I);
+ I->dropAllReferences();
+ }
- // Zap all instructions in this basic block.
- while (!I->empty()) {
- Instruction &Inst = I->back();
- if (!Inst.use_empty())
- Inst.replaceAllUsesWith(UndefValue::get(Inst.getType()));
- I->getInstList().pop_back();
- }
+ for (Function::iterator I = llvm::next(F.begin()), E=F.end(); I != E;)
+ if (!Reachable.count(I))
+ I = F.getBasicBlockList().erase(I);
+ else
+ ++I;
- --I;
- llvm::next(I)->eraseFromParent();
- }
return true;
}
diff --git a/test/Instrumentation/MemorySanitizer/unreachable.ll b/test/Instrumentation/MemorySanitizer/unreachable.ll
index 66a9575d3f5926f237c855d25fba6e527b66c6cf..c8130717c7daaa31b8f43b1d1f5b327d24f430b0 100644 (file)
; CHECK: @Func
; CHECK: store i32 0, {{.*}} @__msan_retval_tls
; CHECK: ret i32 42
+
+
+define i32 @UnreachableLoop() nounwind uwtable {
+entry:
+ ret i32 0
+
+zzz:
+ br label %xxx
+
+xxx:
+ br label %zzz
+}
+
+; CHECK: @UnreachableLoop
+; CHECK: store i32 0, {{.*}} @__msan_retval_tls
+; CHECK: ret i32 0