diff options
| author | Matthias Braun <matze@braunis.de> | 2015-07-16 18:55:35 +0000 |
|---|---|---|
| committer | Matthias Braun <matze@braunis.de> | 2015-07-16 18:55:35 +0000 |
| commit | 0d4cebd434c6aa95a5fd089e6feee126493e416f (patch) | |
| tree | ea6f0b935a3c1f2d3026b2f53ebededaa2ee4225 /llvm/lib/CodeGen/LiveInterval.cpp | |
| parent | 7f5ae19e803d3a2faba71b17cde925a43a602a33 (diff) | |
| download | bcm5719-llvm-0d4cebd434c6aa95a5fd089e6feee126493e416f.tar.gz bcm5719-llvm-0d4cebd434c6aa95a5fd089e6feee126493e416f.zip | |
LiveInterval: Document and enforce rules about empty subranges.
Empty subranges are not allowed in a LiveInterval and must be removed
instead: Check this in the verifiers, put a reminder for this in the
comment of the shrinkToUses variant for a single lane and make it
automatic for the shrinkToUses variant for a LiveInterval.
llvm-svn: 242431
Diffstat (limited to 'llvm/lib/CodeGen/LiveInterval.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/LiveInterval.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/lib/CodeGen/LiveInterval.cpp b/llvm/lib/CodeGen/LiveInterval.cpp index d75e4417cb0..3dc4113c639 100644 --- a/llvm/lib/CodeGen/LiveInterval.cpp +++ b/llvm/lib/CodeGen/LiveInterval.cpp @@ -1110,6 +1110,8 @@ void LiveInterval::verify(const MachineRegisterInfo *MRI) const { // subrange mask should not contained in maximum lane mask for the vreg. assert((Mask & ~MaxMask) == 0); + // empty subranges must be removed. + assert(!SR.empty()); SR.verify(); // Main liverange should cover subrange. |
