[PATCH] IndVarSimplify does not check if loop invariant expansion can trap

Rafael EspĂ­ndola rafael.espindola at gmail.com
Tue Jun 4 07:40:33 PDT 2013


On 4 June 2013 09:49, James Molloy <james at jamesmolloy.co.uk> wrote:
> Hi David,
>
> Might a more performant solution not be to wrap any hoisted instructions
> that are not safe to expand in a conditional that tests if the loop will be
> entered at least once?

Is that really worth it? Given that this bug went undetected for years
(it was already broken in r122610), I don't think it would kick often
enough to justify it.

Cheers,
Rafael



More information about the llvm-commits mailing list