[PATCH] Remove seemingly dead InstCombine compare code

Matt Arsenault arsenm2 at gmail.com
Fri Aug 2 18:27:14 PDT 2013


On Aug 2, 2013, at 16:47 , Eli Friedman <eli.friedman at gmail.com> wrote:

> On Thu, Aug 1, 2013 at 1:34 PM, Matt Arsenault
> <Matthew.Arsenault at amd.com> wrote:
>> Turn check / insert cast into assertions that the sizes are the same. Add some more tests to try to break it. These paths seemed to not be tested with a datalayout. This checks if it needs to cast GEP indices, but at this point they should have already been converted to the pointer sized integer.
>> 
>> 
>> http://llvm-reviews.chandlerc.com/D1261
>> 
>> Files:
>>  lib/Transforms/InstCombine/InstCombineCompares.cpp
>>  test/Transforms/InstCombine/getelementptr.ll
>>  test/Transforms/InstCombine/icmp.ll
>>  test/Transforms/InstCombine/load-cmp.ll
> 
> I'm pretty sure this patch is wrong.  instcombine will always
> eventually transform GEPs in the way you expect, and in trivial cases,
> we will visit the GEP before the icmp, but I think we can visit the
> icmp first in more complicated cases.

Do the test parts look OK? A number of places in that function aren't hit by any of the current tests. I'll keep trying to see if I can hit those places



More information about the llvm-commits mailing list