diff options
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2010-08-05 22:32:21 +0000 |
|---|---|---|
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2010-08-05 22:32:21 +0000 |
| commit | 1fe9c34d3f55399dee2c41617d8af4f09e5509e7 (patch) | |
| tree | 8480de4c453998150b89d4059cec3302f0bd081c /lib/VMCore/PrintModulePass.cpp | |
| parent | 436843662d74434e98267edfbded9a3769cc0ea6 (diff) | |
Add basic verification of LiveIntervals.
We verify that the LiveInterval is live at uses and defs, and that all
instructions have a SlotIndex.
Stuff we don't check yet:
- Is the LiveInterval minimal?
- Do all defs correspond to instructions or phis?
- Do all defs dominate all their live ranges?
- Are all live ranges continually reachable from their def?
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110386 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/PrintModulePass.cpp')
0 files changed, 0 insertions, 0 deletions