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