I though LiveVariables may be invalidated by LiveIntervals, but it's declared not: void LiveIntervals::getAnalysisUsage(AnalysisUsage &AU) const { AU.addPreserved<LiveVariables>(); AU.addRequired<LiveVariables>(); ... LiveInterval may coalesce virtual registers and remove identity moves instructions: bool LiveIntervals::runOnMachineFunction(MachineFunction &fn) { ... // perform a final pass over the instructions and compute spill // weights, coalesce virtual registers and remove identity moves but the data structure LiveVariables::VirtRegInfo is _not_ updated. That is, VarInfo::DefInstr may point to an invalid (being coalesced) instruction. -- Tzu-Chien Chiu, 3D Graphics Hardware Architect <URL:http://www.csie.nctu.edu.tw/~jwchiu>
Alkis Evlogimenos
2005-Sep-07 16:38 UTC
[LLVMdev] LiveIntervals invalidates LiveVariables?
On Wed, 2005-09-07 at 18:24 +0800, Tzu-Chien Chiu wrote:> I though LiveVariables may be invalidated by LiveIntervals, but it's > declared not: > > void LiveIntervals::getAnalysisUsage(AnalysisUsage &AU) const > { > AU.addPreserved<LiveVariables>(); > AU.addRequired<LiveVariables>(); > ... > > LiveInterval may coalesce virtual registers and remove identity moves > instructions: > > bool LiveIntervals::runOnMachineFunction(MachineFunction &fn) { > ... > // perform a final pass over the instructions and compute spill > // weights, coalesce virtual registers and remove identity moves > > but the data structure LiveVariables::VirtRegInfo is _not_ updated. > That is, VarInfo::DefInstr may point to an invalid (being coalesced) > instruction.We could potentially remove those VirtRegInfos for the registers we coalesce. But since after coalescing there are no instructions refering to those coalesced registers, it is logical that noone will ever query the liveness of those registers (unless there is a bug somewhere in the code). But strictly speaking we should remove the VirtRegInfo's for the coalesced registers. Care to submit a patch? Thanks, -- Alkis
On Wed, 7 Sep 2005, Tzu-Chien Chiu wrote:> I though LiveVariables may be invalidated by LiveIntervals, but it's > declared not: > > void LiveIntervals::getAnalysisUsage(AnalysisUsage &AU) const > { > AU.addPreserved<LiveVariables>(); > AU.addRequired<LiveVariables>(); > ... > > LiveInterval may coalesce virtual registers and remove identity moves > instructions: > > bool LiveIntervals::runOnMachineFunction(MachineFunction &fn) { > ... > // perform a final pass over the instructions and compute spill > // weights, coalesce virtual registers and remove identity moves > > but the data structure LiveVariables::VirtRegInfo is _not_ updated. > That is, VarInfo::DefInstr may point to an invalid (being coalesced) > instruction.You're right, that's a bug. I fixed it here: http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20050905/028156.html That line dates from when live interval analysis didn't do anything fancy. In the default code generator, nothing uses livevar after live intervals, so this bug didn't cause any problems. -Chris -- http://nondot.org/sabre/ http://llvm.org/
On 08/09/05, Alkis Evlogimenos <evlogimenos at gmail.com> wrote:> to those coalesced registers, it is logical that noone will ever query > the liveness of those registers (unless there is a bug somewhere in theIndeed the coalesced registers may logically not be queried since they do not appear in any operand list of the machine code, but the VarInfo::DefInst in VirtRegInfo of the _representive register_ is _not_ correct (I could trace the code at the time of writing this mail). In the other words, the patch not only have to remove the VarInfo record in VirtRegInfo, but also have to update the record for _representive register_. -- Tzu-Chien Chiu, 3D Graphics Hardware Architect <URL:http://www.csie.nctu.edu.tw/~jwchiu>
Apparently Analagous Threads
- [LLVMdev] LiveIntervals invalidates LiveVariables?
- [LLVMdev] LiveIntervals invalidates LiveVariables?
- [LLVMdev] LiveVariables not updated in MachineBasicBlock::SplitCriticalEdge?
- [LLVMdev] LiveVariables/LiveInterval on huge functions
- [LLVMdev] Requiring LiveIntervals