[PATCH] Remove seemingly dead InstCombine compare code

Eli Friedman eli.friedman at gmail.com
Mon Aug 12 16:16:34 PDT 2013


On Mon, Aug 5, 2013 at 3:11 PM, Matt Arsenault
<Matthew.Arsenault at amd.com> wrote:
>   Add missing check lines
>
>   test1_noinbounds shows the current behavior. Why wouldn't it be valid?

Because you don't know how X was computed, it could be anything.  For
example, it could be "@some_other_zero_int - @G16", an arbitrarily
large number which is not 9, but the address would point at a 0.

If that's the current behavior, it's a bug.

-Eli



More information about the llvm-commits mailing list