diff options
| -rw-r--r-- | llvm/lib/Analysis/CaptureTracking.cpp | 5 | ||||
| -rw-r--r-- | llvm/test/Feature/OperandBundles/dse.ll | 29 |
2 files changed, 32 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/CaptureTracking.cpp b/llvm/lib/Analysis/CaptureTracking.cpp index de5ec29c857..230a380c4bf 100644 --- a/llvm/lib/Analysis/CaptureTracking.cpp +++ b/llvm/lib/Analysis/CaptureTracking.cpp @@ -253,8 +253,9 @@ void llvm::PointerMayBeCaptured(const Value *V, CaptureTracker *Tracker) { // that loading a value from a pointer does not cause the pointer to be // captured, even though the loaded value might be the pointer itself // (think of self-referential objects). - CallSite::arg_iterator B = CS.arg_begin(), E = CS.arg_end(); - for (CallSite::arg_iterator A = B; A != E; ++A) + CallSite::data_operand_iterator B = + CS.data_operands_begin(), E = CS.data_operands_end(); + for (CallSite::data_operand_iterator A = B; A != E; ++A) if (A->get() == V && !CS.doesNotCapture(A - B)) // The parameter is not marked 'nocapture' - captured. if (Tracker->captured(U)) diff --git a/llvm/test/Feature/OperandBundles/dse.ll b/llvm/test/Feature/OperandBundles/dse.ll new file mode 100644 index 00000000000..cc5647a2fa0 --- /dev/null +++ b/llvm/test/Feature/OperandBundles/dse.ll @@ -0,0 +1,29 @@ +; RUN: opt -S -dse < %s | FileCheck %s + +declare void @f() +declare noalias i8* @malloc(i32) nounwind + +define void @test_0() { +; CHECK-LABEL: @test_0( + %m = call i8* @malloc(i32 24) + tail call void @f() [ "unknown"(i8* %m) ] +; CHECK: store i8 -19, i8* %m + store i8 -19, i8* %m + ret void +} + +define i8* @test_1() { +; CHECK-LABEL: @test_1( + %m = call i8* @malloc(i32 24) + tail call void @f() [ "unknown"(i8* %m) ] + store i8 -19, i8* %m + tail call void @f() + store i8 101, i8* %m + +; CHECK: tail call void @f() [ "unknown"(i8* %m) ] +; CHECK: store i8 -19, i8* %m +; CHECK: tail call void @f() +; CHECK: store i8 101, i8* %m + + ret i8* %m +} |
