forked from OSchip/llvm-project
Partition use lists so defs always come before uses.
This makes it possible to speed up def_iterator by stopping at the first use. This makes def_empty() and getUniqueVRegDef() much faster when there are many uses. In a +Asserts build, LiveVariables is 100x faster in one case because getVRegDef() has an assertion that would scan to the end of a def_iterator chain. Spill weight calculation is significantly faster (300x in one case) because isTriviallyReMaterializable() calls MRI->isConstantPhysReg(%RIP) which calls def_empty(%RIP). llvm-svn: 161634
This commit is contained in:
parent
7d7051ca3c
commit
df01e00710
|
@ -513,11 +513,20 @@ public:
|
|||
assert(Op && "Cannot increment end iterator!");
|
||||
Op = getNextOperandForReg(Op);
|
||||
|
||||
// If this is an operand we don't care about, skip it.
|
||||
while (Op && ((!ReturnUses && Op->isUse()) ||
|
||||
(!ReturnDefs && Op->isDef()) ||
|
||||
(SkipDebug && Op->isDebug())))
|
||||
Op = getNextOperandForReg(Op);
|
||||
// All defs come before the uses, so stop def_iterator early.
|
||||
if (!ReturnUses) {
|
||||
if (Op) {
|
||||
if (Op->isUse())
|
||||
Op = 0;
|
||||
else
|
||||
assert(!Op->isDebug() && "Can't have debug defs");
|
||||
}
|
||||
} else {
|
||||
// If this is an operand we don't care about, skip it.
|
||||
while (Op && ((!ReturnDefs && Op->isDef()) ||
|
||||
(SkipDebug && Op->isDebug())))
|
||||
Op = getNextOperandForReg(Op);
|
||||
}
|
||||
|
||||
return *this;
|
||||
}
|
||||
|
|
|
@ -144,9 +144,17 @@ void MachineRegisterInfo::addRegOperandToUseList(MachineOperand *MO) {
|
|||
Head->Contents.Reg.Prev = MO;
|
||||
MO->Contents.Reg.Prev = Last;
|
||||
|
||||
// Insert at the front.
|
||||
MO->Contents.Reg.Next = Head;
|
||||
HeadRef = MO;
|
||||
// Def operands always precede uses. This allows def_iterator to stop early.
|
||||
// Insert def operands at the front, and use operands at the back.
|
||||
if (MO->isDef()) {
|
||||
// Insert def at the front.
|
||||
MO->Contents.Reg.Next = Head;
|
||||
HeadRef = MO;
|
||||
} else {
|
||||
// Insert use at the end.
|
||||
MO->Contents.Reg.Next = 0;
|
||||
Last->Contents.Reg.Next = MO;
|
||||
}
|
||||
}
|
||||
|
||||
/// Remove MO from its use-def list.
|
||||
|
|
|
@ -3,8 +3,8 @@
|
|||
; PR8573
|
||||
|
||||
; CHECK: foo:
|
||||
; CHECK: movl %esi, %ecx
|
||||
; CHECK-NEXT: leaq (%rdi), %rax
|
||||
; CHECK: leaq (%rdi), %rax
|
||||
; CHECK-NEXT: movl %esi, %ecx
|
||||
; CHECK-NEXT: monitor
|
||||
; WIN64: foo:
|
||||
; WIN64: leaq (%rcx), %rax
|
||||
|
|
|
@ -31,7 +31,7 @@ entry:
|
|||
; X64: test3:
|
||||
; X64: notl
|
||||
; X64: andl
|
||||
; X64: shrl %eax
|
||||
; X64: shrl
|
||||
; X64: ret
|
||||
|
||||
; X32: test3:
|
||||
|
|
Loading…
Reference in New Issue