Eli Friedman 2284dea038 [LoopInfo] Fix makeLoopInvariant to strip UB-implying attributes. (#211413) ...

isSafeToSpeculativelyExecute gained an argument to check for UB-implying
attributes in 830cf36bd4, but the default is to ignore them. Update
this code to account for that.

Fixes #210137

(cherry picked from commit fcff12829ecee44d715d9f901c0195fb1f30a881)

2026-07-24 08:39:55 +02:00

..

2003-04-25-AssertFail.ll

…

2003-05-12-PreheaderExitOfChild.ll

…

2003-08-15-PreheadersFail.ll

…

2003-12-10-ExitBlocksProblem.ll

…

2004-02-05-DominatorInfoCorruption.ll

…

2004-03-15-IncorrectDomUpdate.ll

…

2004-04-01-IncorrectDomUpdate.ll

…

2004-04-12-LoopSimplify-SwitchBackedges.ll

…

2004-04-13-LoopSimplifyUpdateDomFrontier.ll

…

2007-10-28-InvokeCrash.ll

…

2010-07-15-IncorrectDomFrontierUpdate.ll

…

2010-12-26-PHIInfiniteLoop.ll

…

2011-12-14-LandingpadHeader.ll

…

2012-03-20-indirectbr.ll

…

ashr-crash.ll

…

basictest.ll

…

convergent.ll

…

dbg-loc.ll

…

do-preheader-dbg-inseltpoison.ll

…

do-preheader-dbg.ll

…

drop-ub-attributes.ll

…

dup-preds.ll

…

for-preheader-dbg.ll

…

hardertest.ll

…

indirectbr-backedge.ll

…

indirectbr.ll

…

merge-exits.ll

…

notify-scev.ll

…

phi-node-simplify.ll

…

pr26682.ll

…

pr28272.ll

…

pr30454.ll

…

pr33494.ll

…

pr68285.ll

…

preserve-llvm-loop-metadata.ll

…

preserve-scev.ll

…

profile-info.ll

…

single-backedge.ll

…

unreachable-loop-pred.ll

…

update_latch_md2.ll

…

update_latch_md.ll

…