[LLVMdev] BasicAA Tests

[George Burgess IV]

http://llvm.org/bugs/show_bug.cgi?id=22462 <http://llvm.org/bugs/show_bug.cgi?id=22462>

George

> On Feb 4, 2015, at 1:52 PM, Hal Finkel <hfinkel at anl.gov> wrote:
> 
> ----- Original Message -----
>> From: "Hal Finkel" <hfinkel at anl.gov>
>> To: "George Burgess IV" <george.burgess.iv at gmail.com>
>> Cc: "LLVM Developers Mailing List" <llvmdev at cs.uiuc.edu>
>> Sent: Wednesday, February 4, 2015 12:37:14 PM
>> Subject: Re: [LLVMdev] BasicAA Tests
>> 
>> [+llvmdev]
>> 
>> Hi George,
> 
> Also, can you please file a bug report to track these?
> 
> -Hal
> 
>> 
>> You're right, these tests are broken, and have been for a long time.
>> As it turns out, at least in terms of the 2003-12-11-ConstExprGEP.ll
>> test, this is related to a case we've been discussing in another
>> thread ("Basic AliasAnalysis: Can GEPs with the same base but
>> different constant indices into a struct alias?"). It seems like, to
>> some extent, we used to have this capability and lost it.
>> 
>> Ahmed, I think you might want to look into this.
>> 
>> -Hal
>> 
>> ----- Original Message -----
>>> From: "George Burgess IV" <george.burgess.iv at gmail.com>
>>> To: "Hal Finkel" <hfinkel at anl.gov>
>>> Sent: Friday, January 30, 2015 10:54:17 AM
>>> Subject: BasicAA Tests
>>> 
>>> 
>>> Hey,
>>> 
>>> 
>>> As I was going through the CFLAA tests, I noticed that some of them
>>> were passing when they shouldn't have. This was due to that they
>>> had
>>> ; CHECK-NOT: May:
>>> 
>>> 
>>> Which doesn't match up with the output of -print-may-alias:
>>> MayAlias: %Type %A, %Type2 %B
>>> 
>>> 
>>> ...So they'd always pass
>>> 
>>> 
>>> It looks like BasicAA's 2003-12-11-ConstExprGEP.ll and
>>> 2003-11-04-SimpleCases.ll have a similar pattern, but changing them
>>> to ; CHECK-NOT: MayAlias:, both tests fail.
>>> 
>>> 
>>> Attached is a diff to fix the tests, and the output of running opt
>>> on
>>> each of the failing cases
>>> 
>>> 
>>> George
>> 
>> --
>> Hal Finkel
>> Assistant Computational Scientist
>> Leadership Computing Facility
>> Argonne National Laboratory
>> _______________________________________________
>> LLVM Developers mailing list
>> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>> 
> 
> -- 
> Hal Finkel
> Assistant Computational Scientist
> Leadership Computing Facility
> Argonne National Laboratory

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150204/fd4c9760/attachment.html>