llvm-project/llvm/test/Transforms/LoopReroll
Sanjoy Das c7f69b921f Be wary of abnormal exits from loop when exploiting UB
We can safely rely on a NoWrap add recurrence causing UB down the road
only if we know the loop does not have a exit expressed in a way that is
opaque to ScalarEvolution (e.g. by a function call that conditionally
calls exit(0)).

I believe with this change PR28012 is fixed.

Note: I had to change some llvm-lit tests in LoopReroll, since it looks
like they were depending on this incorrect behavior.

llvm-svn: 272237
2016-06-09 01:13:59 +00:00
..
basic.ll Be wary of abnormal exits from loop when exploiting UB 2016-06-09 01:13:59 +00:00
basic32iters.ll [PATCH] Force LoopReroll to reset the loop trip count value after reroll. 2016-03-22 13:50:57 +00:00
complex_reroll.ll Reroll loops with multiple IV and negative step part 3 2016-04-30 00:51:22 +00:00
indvar_with_ext.ll Enable loopreroll for sext of loop control only IV 2016-05-10 21:16:49 +00:00
negative.ll Handle loop with negtive induction variable increment 2015-07-24 22:01:49 +00:00
nonconst_lb.ll [LPM] Factor all of the loop analysis usage updates into a common helper 2016-02-19 10:45:18 +00:00
ptrindvar.ll Enable loopreroll to rerool loop with pointer induction variable. 2016-01-25 19:43:45 +00:00
reduction.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
reroll_with_dbg.ll [PR27284] Reverse the ownership between DICompileUnit and DISubprogram. 2016-04-15 15:57:41 +00:00