aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/MustExecute
AgeCommit message (Expand)Author
2018-08-17[MustExecute] Fix algorithmic bug in isGuaranteedToExecute. PR38514Max Kazantsev
2018-08-10[NFC] Add tests that demonstrate that MustExecute is fundamentally brokenMax Kazantsev
2018-05-18[LICM] Extend the MustExecute scopeSerguei Katkov
2018-03-20[MustExecute] Shwo the effect of using full loop info variantPhilip Reames
2018-03-20[MustExecute] Add simplest possible test for LoopSafetyOnfoPhilip Reames
2018-03-20[MustExecute] Use the annotation style printerPhilip Reames
2018-03-20Add an analysis printer for must execute reasoningPhilip Reames