[llvm-commits] [llvm] r83959 - in /llvm/trunk: lib/Analysis/BasicAliasAnalysis.cpp test/Analysis/BasicAA/2009-10-13-AtomicModRef.ll

[Nick Lewycky]

Chris Lattner wrote:
> On Oct 13, 2009, at 12:48 AM, Nick Lewycky wrote:
>> URL: http://llvm.org/viewvc/llvm-project?rev=83959&view=rev
>> Log:
>> Teach BasicAA a little something about the atomic intrinsics: they can 
>> only
>> modify through the pointer they're given.
> 
> Thanks Nick,
>> +
>> +define void @foo(i8* %ptr) {
>> +  %P = getelementptr i8* %ptr, i32 0
>> +  %Q = getelementptr i8* %ptr, i32 1
>> +; CHECK: getelementptr
>> +  %X = load i8* %P
>> +; CHECK: = load
>> +  %Y = call i8 @llvm.atomic.load.add.i8.p0i8(i8* %Q, i8 1)
>> +  %Z = load i8* %P
>> +; CHECK-NOT: = load
>> +  ret void
>> +; CHECK: ret void
>> +}
> 
> Please add some uses of the loads: do: "ret sub X,Z", and FileCheck that 
> GVN+instcombine turn it into "ret i32 0"

Done!