Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [MustExecute] Forward iterate over conditional branches | Johannes Doerfert | 2019-10-31 | 1 | -2/+119 |
* | [MustExec] Add a generic "must-be-executed-context" explorer | Johannes Doerfert | 2019-08-23 | 1 | -0/+282 |
* | [MustExecute] Improve MustExecute to correctly handle loop nest | Xing Xue | 2019-05-27 | 1 | -5/+3 |
* | [MustExecute] Fix algorithmic bug in isGuaranteedToExecute. PR38514 | Max Kazantsev | 2018-08-17 | 2 | -16/+46 |
* | [NFC] Add tests that demonstrate that MustExecute is fundamentally broken | Max Kazantsev | 2018-08-10 | 1 | -0/+118 |
* | [LICM] Extend the MustExecute scope | Serguei Katkov | 2018-05-18 | 1 | -0/+46 |
* | [MustExecute] Shwo the effect of using full loop info variant | Philip Reames | 2018-03-20 | 1 | -1/+6 |
* | [MustExecute] Add simplest possible test for LoopSafetyOnfo | Philip Reames | 2018-03-20 | 1 | -0/+26 |
* | [MustExecute] Use the annotation style printer | Philip Reames | 2018-03-20 | 1 | -21/+28 |
* | Add an analysis printer for must execute reasoning | Philip Reames | 2018-03-20 | 1 | -0/+80 |