[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