aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Analysis/MustExecute
AgeCommit message (Expand)AuthorFilesLines
2022-12-09[NFC] Port all Analysis/MustExecute tests to `-passes=` syntaxRoman Lebedev4-5/+5
2022-12-08[opt] Disincentivize new tests from using old pass syntaxRoman Lebedev4-6/+6
2022-12-02Analysis: Update some tests for opaque pointersMatt Arsenault3-51/+51
2022-10-23[test] Use new pass manager syntax in some testsArthur Eubanks1-2/+1
2022-10-11[MustExec][LICM] Handle latch being part of an inner cycle (PR57780)Nikita Popov1-4/+2
2022-09-26[MustExecute] Add additional test for PR57780 (NFC)Nikita Popov1-0/+55
2020-11-03Port print-must-be-executed-contexts and print-mustexecute to NPMArthur Eubanks2-48/+50
2020-05-14Infer alignment of unmarked loads in IR/bitcode parsing.Eli Friedman1-5/+5
2020-02-20[MustExecute] Add backward exploration for must-be-executed-contextHideto Ueno1-13/+165
2019-10-31[MustExecute] Forward iterate over conditional branchesJohannes Doerfert1-2/+119
2019-08-23[MustExec] Add a generic "must-be-executed-context" explorerJohannes Doerfert1-0/+282
2019-05-27[MustExecute] Improve MustExecute to correctly handle loop nestXing Xue1-5/+3
2018-08-17[MustExecute] Fix algorithmic bug in isGuaranteedToExecute. PR38514Max Kazantsev2-16/+46
2018-08-10[NFC] Add tests that demonstrate that MustExecute is fundamentally brokenMax Kazantsev1-0/+118
2018-05-18[LICM] Extend the MustExecute scopeSerguei Katkov1-0/+46
2018-03-20[MustExecute] Shwo the effect of using full loop info variantPhilip Reames1-1/+6
2018-03-20[MustExecute] Add simplest possible test for LoopSafetyOnfoPhilip Reames1-0/+26
2018-03-20[MustExecute] Use the annotation style printerPhilip Reames1-21/+28
2018-03-20Add an analysis printer for must execute reasoningPhilip Reames1-0/+80