6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-06-17 20:23:59 +00:00
Code Issues Projects Releases Wiki Activity

Add a BlockInfo::FirstDef field.

Browse Source 
This is either an invalid SlotIndex, or valno->def for the first value
defined inside the block. PHI values are not counted as defined inside
the block.

The FirstDef field will be used when estimating the cost of spilling
around a block.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@136736 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jakob Stoklund Olesen
2011-08-02 22:37:22 +00:00
parent 4751eb760e
commit 77ee1140a3
2 changed files with 15 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
lib/CodeGen/SplitKit.cpp
View File

@ -188,6 +188,13 @@ bool SplitAnalysis::calcLiveBlockInfo() {
// LVI is the first live segment overlapping MBB.
BI.LiveIn = LVI->start <= Start;
// When not live in, the first use should be a def.
if (!BI.LiveIn) {
assert(LVI->start == LVI->valno->def && "Dangling LiveRange start");
assert(LVI->start == BI.FirstUse && "First instr should be a def");
BI.FirstDef = BI.FirstUse;
}
// Look for gaps in the live range.
BI.LiveOut = true;
while (LVI->end < Stop) {
@ -197,6 +204,7 @@ bool SplitAnalysis::calcLiveBlockInfo() {
BI.LastUse = LastStop;
break;
}
if (LastStop < LVI->start) {
// There is a gap in the live range. Create duplicate entries for the
// live-in snippet and the live-out snippet.
@ -210,8 +218,13 @@ bool SplitAnalysis::calcLiveBlockInfo() {
// Set up BI for the live-out part.
BI.LiveIn = false;
BI.LiveOut = true;
BI.FirstUse = LVI->start;
BI.FirstUse = BI.FirstDef = LVI->start;
}
// A LiveRange that starts in the middle of the block must be a def.
assert(LVI->start == LVI->valno->def && "Dangling LiveRange start");
if (!BI.FirstDef)
BI.FirstDef = LVI->start;
}
UseBlocks.push_back(BI);