diff options
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2012-06-25 18:18:27 +0000 |
|---|---|---|
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2012-06-25 18:18:27 +0000 |
| commit | a4e6397fd9f2fbbd6affdfb0738813918cb21da0 (patch) | |
| tree | 088efa5079749a314a51554e4bf7e4cd41606470 /lib/Analysis/LoopPass.cpp | |
| parent | 5984d2b31fe3c69e46d2b81439a8c3ef0bdf9a91 (diff) | |
Enforce stricter liveness rules for PHIs.
Verify that all paths from the entry block to a virtual register read
pass through a def. Enable this check even when MRI->isSSA() is false.
Verify that the live range of a virtual register is live out of all
predecessor blocks, even for PHI-values.
This requires that PHIElimination sometimes inserts IMPLICIT_DEF
instruction in predecessor blocks.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159150 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/LoopPass.cpp')
0 files changed, 0 insertions, 0 deletions