maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Fix AAResults::callCapturesBefore for operand bundles 

Summary:
AAResults::callCapturesBefore would previously ignore operand
bundles. It was possible for a later instruction to miss its memory
dependency on a call site that would only access the pointer through a
bundle.

Patch by Oscar Blumberg!

Reviewers: sanjoy

Differential Revision: http://reviews.llvm.org/D21286

llvm-svn: 272580
This commit is contained in:
Sanjoy Das 2016-06-13 19:55:04 +00:00
parent 99646871a7
commit d0bdf3e02b
2 changed files with 18 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
llvm/lib/Analysis/AliasAnalysis.cpp
View File

@ -445,7 +445,7 @@ ModRefInfo AAResults::callCapturesBefore(const Instruction *I,
unsigned ArgNo = 0;
ModRefInfo R = MRI_NoModRef;
for (ImmutableCallSite::arg_iterator CI = CS.arg_begin(), CE = CS.arg_end();
for (auto CI = CS.data_operands_begin(), CE = CS.data_operands_end();
CI != CE; ++CI, ++ArgNo) {
// Only look at the no-capture or byval pointer arguments. If this
// pointer were passed to arguments that were neither of these, then it

17
llvm/test/CodeGen/X86/statepoint-memdep.ll Normal file
View File

@ -0,0 +1,17 @@
; RUN: opt -S -dse < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define void @f() {
; CHECK-LABEL: @f(
%s = alloca i64
; Verify that this first store is not considered killed by the second one
; since it could be observed from the deopt continuation.
; CHECK: store i64 1, i64* %s
store i64 1, i64* %s
call void @g() [ "deopt"(i64* %s) ]
store i64 0, i64* %s
ret void
}
declare void @g()