| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019 |
- using ARMeilleure.Common;
- using ARMeilleure.IntermediateRepresentation;
- using ARMeilleure.Translation;
- using System;
- using System.Collections.Generic;
- using System.Diagnostics;
- using System.Linq;
- namespace ARMeilleure.CodeGen.RegisterAllocators
- {
- // Based on:
- // "Linear Scan Register Allocation for the Java(tm) HotSpot Client Compiler".
- // http://www.christianwimmer.at/Publications/Wimmer04a/Wimmer04a.pdf
- class LinearScanAllocator : IRegisterAllocator
- {
- private const int InstructionGap = 2;
- private const int InstructionGapMask = InstructionGap - 1;
- private const int RegistersCount = 16;
- private HashSet<int> _blockEdges;
- private LiveRange[] _blockRanges;
- private BitMap[] _blockLiveIn;
- private List<LiveInterval> _intervals;
- private LiveInterval[] _parentIntervals;
- private List<LinkedListNode<Node>> _operationNodes;
- private int _operationsCount;
- private class AllocationContext
- {
- public RegisterMasks Masks { get; }
- public StackAllocator StackAlloc { get; }
- public BitMap Active { get; }
- public BitMap Inactive { get; }
- public int IntUsedRegisters { get; set; }
- public int VecUsedRegisters { get; set; }
- public AllocationContext(StackAllocator stackAlloc, RegisterMasks masks, int intervalsCount)
- {
- StackAlloc = stackAlloc;
- Masks = masks;
- Active = new BitMap(intervalsCount);
- Inactive = new BitMap(intervalsCount);
- }
- public void MoveActiveToInactive(int bit)
- {
- Move(Active, Inactive, bit);
- }
- public void MoveInactiveToActive(int bit)
- {
- Move(Inactive, Active, bit);
- }
- private static void Move(BitMap source, BitMap dest, int bit)
- {
- source.Clear(bit);
- dest.Set(bit);
- }
- }
- public AllocationResult RunPass(
- ControlFlowGraph cfg,
- StackAllocator stackAlloc,
- RegisterMasks regMasks)
- {
- NumberLocals(cfg);
- AllocationContext context = new AllocationContext(stackAlloc, regMasks, _intervals.Count);
- BuildIntervals(cfg, context);
- for (int index = 0; index < _intervals.Count; index++)
- {
- LiveInterval current = _intervals[index];
- if (current.IsEmpty)
- {
- continue;
- }
- if (current.IsFixed)
- {
- context.Active.Set(index);
- if (current.Register.Type == RegisterType.Integer)
- {
- context.IntUsedRegisters |= 1 << current.Register.Index;
- }
- else /* if (interval.Register.Type == RegisterType.Vector) */
- {
- context.VecUsedRegisters |= 1 << current.Register.Index;
- }
- continue;
- }
- AllocateInterval(context, current, index);
- }
- for (int index = RegistersCount * 2; index < _intervals.Count; index++)
- {
- if (!_intervals[index].IsSpilled)
- {
- ReplaceLocalWithRegister(_intervals[index]);
- }
- }
- InsertSplitCopies();
- InsertSplitCopiesAtEdges(cfg);
- return new AllocationResult(
- context.IntUsedRegisters,
- context.VecUsedRegisters,
- context.StackAlloc.TotalSize);
- }
- private void AllocateInterval(AllocationContext context, LiveInterval current, int cIndex)
- {
- // Check active intervals that already ended.
- foreach (int iIndex in context.Active)
- {
- LiveInterval interval = _intervals[iIndex];
- if (interval.GetEnd() < current.GetStart())
- {
- context.Active.Clear(iIndex);
- }
- else if (!interval.Overlaps(current.GetStart()))
- {
- context.MoveActiveToInactive(iIndex);
- }
- }
- // Check inactive intervals that already ended or were reactivated.
- foreach (int iIndex in context.Inactive)
- {
- LiveInterval interval = _intervals[iIndex];
- if (interval.GetEnd() < current.GetStart())
- {
- context.Inactive.Clear(iIndex);
- }
- else if (interval.Overlaps(current.GetStart()))
- {
- context.MoveInactiveToActive(iIndex);
- }
- }
- if (!TryAllocateRegWithoutSpill(context, current, cIndex))
- {
- AllocateRegWithSpill(context, current, cIndex);
- }
- }
- private bool TryAllocateRegWithoutSpill(AllocationContext context, LiveInterval current, int cIndex)
- {
- RegisterType regType = current.Local.Type.ToRegisterType();
- int availableRegisters = context.Masks.GetAvailableRegisters(regType);
- int[] freePositions = new int[RegistersCount];
- for (int index = 0; index < RegistersCount; index++)
- {
- if ((availableRegisters & (1 << index)) != 0)
- {
- freePositions[index] = int.MaxValue;
- }
- }
- foreach (int iIndex in context.Active)
- {
- LiveInterval interval = _intervals[iIndex];
- if (interval.Register.Type == regType)
- {
- freePositions[interval.Register.Index] = 0;
- }
- }
- foreach (int iIndex in context.Inactive)
- {
- LiveInterval interval = _intervals[iIndex];
- if (interval.Register.Type == regType)
- {
- int overlapPosition = interval.GetOverlapPosition(current);
- if (overlapPosition != LiveInterval.NotFound && freePositions[interval.Register.Index] > overlapPosition)
- {
- freePositions[interval.Register.Index] = overlapPosition;
- }
- }
- }
- int selectedReg = GetHighestValueIndex(freePositions);
- int selectedNextUse = freePositions[selectedReg];
- // Intervals starts and ends at odd positions, unless they span an entire
- // block, in this case they will have ranges at a even position.
- // When a interval is loaded from the stack to a register, we can only
- // do the split at a odd position, because otherwise the split interval
- // that is inserted on the list to be processed may clobber a register
- // used by the instruction at the same position as the split.
- // The problem only happens when a interval ends exactly at this instruction,
- // because otherwise they would interfere, and the register wouldn't be selected.
- // When the interval is aligned and the above happens, there's no problem as
- // the instruction that is actually with the last use is the one
- // before that position.
- selectedNextUse &= ~InstructionGapMask;
- if (selectedNextUse <= current.GetStart())
- {
- return false;
- }
- else if (selectedNextUse < current.GetEnd())
- {
- Debug.Assert(selectedNextUse > current.GetStart(), "Trying to split interval at the start.");
- LiveInterval splitChild = current.Split(selectedNextUse);
- if (splitChild.UsesCount != 0)
- {
- Debug.Assert(splitChild.GetStart() > current.GetStart(), "Split interval has an invalid start position.");
- InsertInterval(splitChild);
- }
- else
- {
- Spill(context, splitChild);
- }
- }
- current.Register = new Register(selectedReg, regType);
- if (regType == RegisterType.Integer)
- {
- context.IntUsedRegisters |= 1 << selectedReg;
- }
- else /* if (regType == RegisterType.Vector) */
- {
- context.VecUsedRegisters |= 1 << selectedReg;
- }
- context.Active.Set(cIndex);
- return true;
- }
- private void AllocateRegWithSpill(AllocationContext context, LiveInterval current, int cIndex)
- {
- RegisterType regType = current.Local.Type.ToRegisterType();
- int availableRegisters = context.Masks.GetAvailableRegisters(regType);
- int[] usePositions = new int[RegistersCount];
- int[] blockedPositions = new int[RegistersCount];
- for (int index = 0; index < RegistersCount; index++)
- {
- if ((availableRegisters & (1 << index)) != 0)
- {
- usePositions[index] = int.MaxValue;
- blockedPositions[index] = int.MaxValue;
- }
- }
- void SetUsePosition(int index, int position)
- {
- usePositions[index] = Math.Min(usePositions[index], position);
- }
- void SetBlockedPosition(int index, int position)
- {
- blockedPositions[index] = Math.Min(blockedPositions[index], position);
- SetUsePosition(index, position);
- }
- foreach (int iIndex in context.Active)
- {
- LiveInterval interval = _intervals[iIndex];
- if (!interval.IsFixed && interval.Register.Type == regType)
- {
- int nextUse = interval.NextUseAfter(current.GetStart());
- if (nextUse != -1)
- {
- SetUsePosition(interval.Register.Index, nextUse);
- }
- }
- }
- foreach (int iIndex in context.Inactive)
- {
- LiveInterval interval = _intervals[iIndex];
- if (!interval.IsFixed && interval.Register.Type == regType && interval.Overlaps(current))
- {
- int nextUse = interval.NextUseAfter(current.GetStart());
- if (nextUse != -1)
- {
- SetUsePosition(interval.Register.Index, nextUse);
- }
- }
- }
- foreach (int iIndex in context.Active)
- {
- LiveInterval interval = _intervals[iIndex];
- if (interval.IsFixed && interval.Register.Type == regType)
- {
- SetBlockedPosition(interval.Register.Index, 0);
- }
- }
- foreach (int iIndex in context.Inactive)
- {
- LiveInterval interval = _intervals[iIndex];
- if (interval.IsFixed && interval.Register.Type == regType)
- {
- int overlapPosition = interval.GetOverlapPosition(current);
- if (overlapPosition != LiveInterval.NotFound)
- {
- SetBlockedPosition(interval.Register.Index, overlapPosition);
- }
- }
- }
- int selectedReg = GetHighestValueIndex(usePositions);
- int currentFirstUse = current.FirstUse();
- Debug.Assert(currentFirstUse >= 0, "Current interval has no uses.");
- if (usePositions[selectedReg] < currentFirstUse)
- {
- // All intervals on inactive and active are being used before current,
- // so spill the current interval.
- Debug.Assert(currentFirstUse > current.GetStart(), "Trying to spill a interval currently being used.");
- LiveInterval splitChild = current.Split(currentFirstUse);
- Debug.Assert(splitChild.GetStart() > current.GetStart(), "Split interval has an invalid start position.");
- InsertInterval(splitChild);
- Spill(context, current);
- }
- else if (blockedPositions[selectedReg] > current.GetEnd())
- {
- // Spill made the register available for the entire current lifetime,
- // so we only need to split the intervals using the selected register.
- current.Register = new Register(selectedReg, regType);
- SplitAndSpillOverlappingIntervals(context, current);
- context.Active.Set(cIndex);
- }
- else
- {
- // There are conflicts even after spill due to the use of fixed registers
- // that can't be spilled, so we need to also split current at the point of
- // the first fixed register use.
- current.Register = new Register(selectedReg, regType);
- int splitPosition = blockedPositions[selectedReg] & ~InstructionGapMask;
- Debug.Assert(splitPosition > current.GetStart(), "Trying to split a interval at a invalid position.");
- LiveInterval splitChild = current.Split(splitPosition);
- if (splitChild.UsesCount != 0)
- {
- Debug.Assert(splitChild.GetStart() > current.GetStart(), "Split interval has an invalid start position.");
- InsertInterval(splitChild);
- }
- else
- {
- Spill(context, splitChild);
- }
- SplitAndSpillOverlappingIntervals(context, current);
- context.Active.Set(cIndex);
- }
- }
- private static int GetHighestValueIndex(int[] array)
- {
- int higuest = array[0];
- if (higuest == int.MaxValue)
- {
- return 0;
- }
- int selected = 0;
- for (int index = 1; index < array.Length; index++)
- {
- int current = array[index];
- if (higuest < current)
- {
- higuest = current;
- selected = index;
- if (current == int.MaxValue)
- {
- break;
- }
- }
- }
- return selected;
- }
- private void SplitAndSpillOverlappingIntervals(AllocationContext context, LiveInterval current)
- {
- foreach (int iIndex in context.Active)
- {
- LiveInterval interval = _intervals[iIndex];
- if (!interval.IsFixed && interval.Register == current.Register)
- {
- SplitAndSpillOverlappingInterval(context, current, interval);
- context.Active.Clear(iIndex);
- }
- }
- foreach (int iIndex in context.Inactive)
- {
- LiveInterval interval = _intervals[iIndex];
- if (!interval.IsFixed && interval.Register == current.Register && interval.Overlaps(current))
- {
- SplitAndSpillOverlappingInterval(context, current, interval);
- context.Inactive.Clear(iIndex);
- }
- }
- }
- private void SplitAndSpillOverlappingInterval(
- AllocationContext context,
- LiveInterval current,
- LiveInterval interval)
- {
- // If there's a next use after the start of the current interval,
- // we need to split the spilled interval twice, and re-insert it
- // on the "pending" list to ensure that it will get a new register
- // on that use position.
- int nextUse = interval.NextUseAfter(current.GetStart());
- LiveInterval splitChild;
- if (interval.GetStart() < current.GetStart())
- {
- splitChild = interval.Split(current.GetStart());
- }
- else
- {
- splitChild = interval;
- }
- if (nextUse != -1)
- {
- Debug.Assert(nextUse > current.GetStart(), "Trying to spill a interval currently being used.");
- if (nextUse > splitChild.GetStart())
- {
- LiveInterval right = splitChild.Split(nextUse);
- Spill(context, splitChild);
- splitChild = right;
- }
- InsertInterval(splitChild);
- }
- else
- {
- Spill(context, splitChild);
- }
- }
- private void InsertInterval(LiveInterval interval)
- {
- Debug.Assert(interval.UsesCount != 0, "Trying to insert a interval without uses.");
- Debug.Assert(!interval.IsEmpty, "Trying to insert a empty interval.");
- Debug.Assert(!interval.IsSpilled, "Trying to insert a spilled interval.");
- int startIndex = RegistersCount * 2;
- int insertIndex = _intervals.BinarySearch(startIndex, _intervals.Count - startIndex, interval, null);
- if (insertIndex < 0)
- {
- insertIndex = ~insertIndex;
- }
- _intervals.Insert(insertIndex, interval);
- }
- private void Spill(AllocationContext context, LiveInterval interval)
- {
- Debug.Assert(!interval.IsFixed, "Trying to spill a fixed interval.");
- Debug.Assert(interval.UsesCount == 0, "Trying to spill a interval with uses.");
- // We first check if any of the siblings were spilled, if so we can reuse
- // the stack offset. Otherwise, we allocate a new space on the stack.
- // This prevents stack-to-stack copies being necessary for a split interval.
- if (!interval.TrySpillWithSiblingOffset())
- {
- interval.Spill(context.StackAlloc.Allocate(interval.Local.Type));
- }
- }
- private void InsertSplitCopies()
- {
- Dictionary<int, CopyResolver> copyResolvers = new Dictionary<int, CopyResolver>();
- CopyResolver GetCopyResolver(int position)
- {
- CopyResolver copyResolver = new CopyResolver();
- if (copyResolvers.TryAdd(position, copyResolver))
- {
- return copyResolver;
- }
- return copyResolvers[position];
- }
- foreach (LiveInterval interval in _intervals.Where(x => x.IsSplit))
- {
- LiveInterval previous = interval;
- foreach (LiveInterval splitChild in interval.SplitChilds())
- {
- int splitPosition = splitChild.GetStart();
- if (!_blockEdges.Contains(splitPosition) && previous.GetEnd() == splitPosition)
- {
- GetCopyResolver(splitPosition).AddSplit(previous, splitChild);
- }
- previous = splitChild;
- }
- }
- foreach (KeyValuePair<int, CopyResolver> kv in copyResolvers)
- {
- CopyResolver copyResolver = kv.Value;
- if (!copyResolver.HasCopy)
- {
- continue;
- }
- int splitPosition = kv.Key;
- LinkedListNode<Node> node = GetOperationNode(splitPosition);
- Operation[] sequence = copyResolver.Sequence();
- node = node.List.AddBefore(node, sequence[0]);
- for (int index = 1; index < sequence.Length; index++)
- {
- node = node.List.AddAfter(node, sequence[index]);
- }
- }
- }
- private void InsertSplitCopiesAtEdges(ControlFlowGraph cfg)
- {
- int blocksCount = cfg.Blocks.Count;
- bool IsSplitEdgeBlock(BasicBlock block)
- {
- return block.Index >= blocksCount;
- }
- for (LinkedListNode<BasicBlock> node = cfg.Blocks.First; node != null; node = node.Next)
- {
- BasicBlock block = node.Value;
- if (IsSplitEdgeBlock(block))
- {
- continue;
- }
- bool hasSingleOrNoSuccessor = block.Next == null || block.Branch == null;
- foreach (BasicBlock successor in Successors(block))
- {
- int succIndex = successor.Index;
- // If the current node is a split node, then the actual successor node
- // (the successor before the split) should be right after it.
- if (IsSplitEdgeBlock(successor))
- {
- succIndex = Successors(successor).First().Index;
- }
- CopyResolver copyResolver = new CopyResolver();
- foreach (int iIndex in _blockLiveIn[succIndex])
- {
- LiveInterval interval = _parentIntervals[iIndex];
- if (!interval.IsSplit)
- {
- continue;
- }
- int lEnd = _blockRanges[block.Index].End - 1;
- int rStart = _blockRanges[succIndex].Start;
- LiveInterval left = interval.GetSplitChild(lEnd);
- LiveInterval right = interval.GetSplitChild(rStart);
- if (left != null && right != null && left != right)
- {
- copyResolver.AddSplit(left, right);
- }
- }
- if (!copyResolver.HasCopy)
- {
- continue;
- }
- Operation[] sequence = copyResolver.Sequence();
- if (hasSingleOrNoSuccessor)
- {
- foreach (Operation operation in sequence)
- {
- block.Append(operation);
- }
- }
- else if (successor.Predecessors.Count == 1)
- {
- LinkedListNode<Node> prependNode = successor.Operations.AddFirst(sequence[0]);
- for (int index = 1; index < sequence.Length; index++)
- {
- Operation operation = sequence[index];
- prependNode = successor.Operations.AddAfter(prependNode, operation);
- }
- }
- else
- {
- // Split the critical edge.
- BasicBlock splitBlock = cfg.SplitEdge(block, successor);
- foreach (Operation operation in sequence)
- {
- splitBlock.Append(operation);
- }
- }
- }
- }
- }
- private void ReplaceLocalWithRegister(LiveInterval current)
- {
- Operand register = GetRegister(current);
- foreach (int usePosition in current.UsePositions())
- {
- Node operation = GetOperationNode(usePosition).Value;
- for (int index = 0; index < operation.SourcesCount; index++)
- {
- Operand source = operation.GetSource(index);
- if (source == current.Local)
- {
- operation.SetSource(index, register);
- }
- }
- for (int index = 0; index < operation.DestinationsCount; index++)
- {
- Operand dest = operation.GetDestination(index);
- if (dest == current.Local)
- {
- operation.SetDestination(index, register);
- }
- }
- }
- }
- private static Operand GetRegister(LiveInterval interval)
- {
- Debug.Assert(!interval.IsSpilled, "Spilled intervals are not allowed.");
- return new Operand(
- interval.Register.Index,
- interval.Register.Type,
- interval.Local.Type);
- }
- private LinkedListNode<Node> GetOperationNode(int position)
- {
- return _operationNodes[position / InstructionGap];
- }
- private void NumberLocals(ControlFlowGraph cfg)
- {
- _operationNodes = new List<LinkedListNode<Node>>();
- _intervals = new List<LiveInterval>();
- for (int index = 0; index < RegistersCount; index++)
- {
- _intervals.Add(new LiveInterval(new Register(index, RegisterType.Integer)));
- _intervals.Add(new LiveInterval(new Register(index, RegisterType.Vector)));
- }
- HashSet<Operand> visited = new HashSet<Operand>();
- _operationsCount = 0;
- for (int index = cfg.PostOrderBlocks.Length - 1; index >= 0; index--)
- {
- BasicBlock block = cfg.PostOrderBlocks[index];
- for (LinkedListNode<Node> node = block.Operations.First; node != null; node = node.Next)
- {
- _operationNodes.Add(node);
- Node operation = node.Value;
- foreach (Operand dest in Destinations(operation))
- {
- if (dest.Kind == OperandKind.LocalVariable && visited.Add(dest))
- {
- dest.NumberLocal(_intervals.Count);
- _intervals.Add(new LiveInterval(dest));
- }
- }
- }
- _operationsCount += block.Operations.Count * InstructionGap;
- if (block.Operations.Count == 0)
- {
- // Pretend we have a dummy instruction on the empty block.
- _operationNodes.Add(null);
- _operationsCount += InstructionGap;
- }
- }
- _parentIntervals = _intervals.ToArray();
- }
- private void BuildIntervals(ControlFlowGraph cfg, AllocationContext context)
- {
- _blockRanges = new LiveRange[cfg.Blocks.Count];
- int mapSize = _intervals.Count;
- BitMap[] blkLiveGen = new BitMap[cfg.Blocks.Count];
- BitMap[] blkLiveKill = new BitMap[cfg.Blocks.Count];
- // Compute local live sets.
- foreach (BasicBlock block in cfg.Blocks)
- {
- BitMap liveGen = new BitMap(mapSize);
- BitMap liveKill = new BitMap(mapSize);
- foreach (Node node in block.Operations)
- {
- foreach (Operand source in Sources(node))
- {
- int id = GetOperandId(source);
- if (!liveKill.IsSet(id))
- {
- liveGen.Set(id);
- }
- }
- foreach (Operand dest in Destinations(node))
- {
- liveKill.Set(GetOperandId(dest));
- }
- }
- blkLiveGen [block.Index] = liveGen;
- blkLiveKill[block.Index] = liveKill;
- }
- // Compute global live sets.
- BitMap[] blkLiveIn = new BitMap[cfg.Blocks.Count];
- BitMap[] blkLiveOut = new BitMap[cfg.Blocks.Count];
- for (int index = 0; index < cfg.Blocks.Count; index++)
- {
- blkLiveIn [index] = new BitMap(mapSize);
- blkLiveOut[index] = new BitMap(mapSize);
- }
- bool modified;
- do
- {
- modified = false;
- for (int index = 0; index < cfg.PostOrderBlocks.Length; index++)
- {
- BasicBlock block = cfg.PostOrderBlocks[index];
- BitMap liveOut = blkLiveOut[block.Index];
- foreach (BasicBlock successor in Successors(block))
- {
- if (liveOut.Set(blkLiveIn[successor.Index]))
- {
- modified = true;
- }
- }
- BitMap liveIn = blkLiveIn[block.Index];
- liveIn.Set (liveOut);
- liveIn.Clear(blkLiveKill[block.Index]);
- liveIn.Set (blkLiveGen [block.Index]);
- }
- }
- while (modified);
- _blockLiveIn = blkLiveIn;
- _blockEdges = new HashSet<int>();
- // Compute lifetime intervals.
- int operationPos = _operationsCount;
- for (int index = 0; index < cfg.PostOrderBlocks.Length; index++)
- {
- BasicBlock block = cfg.PostOrderBlocks[index];
- // We handle empty blocks by pretending they have a dummy instruction,
- // because otherwise the block would have the same start and end position,
- // and this is not valid.
- int instCount = Math.Max(block.Operations.Count, 1);
- int blockStart = operationPos - instCount * InstructionGap;
- int blockEnd = operationPos;
- _blockRanges[block.Index] = new LiveRange(blockStart, blockEnd);
- _blockEdges.Add(blockStart);
- BitMap liveOut = blkLiveOut[block.Index];
- foreach (int id in liveOut)
- {
- _intervals[id].AddRange(blockStart, blockEnd);
- }
- if (block.Operations.Count == 0)
- {
- operationPos -= InstructionGap;
- continue;
- }
- foreach (Node node in BottomOperations(block))
- {
- operationPos -= InstructionGap;
- foreach (Operand dest in Destinations(node))
- {
- LiveInterval interval = _intervals[GetOperandId(dest)];
- interval.SetStart(operationPos + 1);
- interval.AddUsePosition(operationPos + 1);
- }
- foreach (Operand source in Sources(node))
- {
- LiveInterval interval = _intervals[GetOperandId(source)];
- interval.AddRange(blockStart, operationPos + 1);
- interval.AddUsePosition(operationPos);
- }
- if (node is Operation operation && operation.Instruction == Instruction.Call)
- {
- AddIntervalCallerSavedReg(context.Masks.IntCallerSavedRegisters, operationPos, RegisterType.Integer);
- AddIntervalCallerSavedReg(context.Masks.VecCallerSavedRegisters, operationPos, RegisterType.Vector);
- }
- }
- }
- }
- private void AddIntervalCallerSavedReg(int mask, int operationPos, RegisterType regType)
- {
- while (mask != 0)
- {
- int regIndex = BitUtils.LowestBitSet(mask);
- Register callerSavedReg = new Register(regIndex, regType);
- LiveInterval interval = _intervals[GetRegisterId(callerSavedReg)];
- interval.AddRange(operationPos + 1, operationPos + InstructionGap);
- mask &= ~(1 << regIndex);
- }
- }
- private static int GetOperandId(Operand operand)
- {
- if (operand.Kind == OperandKind.LocalVariable)
- {
- return operand.AsInt32();
- }
- else if (operand.Kind == OperandKind.Register)
- {
- return GetRegisterId(operand.GetRegister());
- }
- else
- {
- throw new ArgumentException($"Invalid operand kind \"{operand.Kind}\".");
- }
- }
- private static int GetRegisterId(Register register)
- {
- return (register.Index << 1) | (register.Type == RegisterType.Vector ? 1 : 0);
- }
- private static IEnumerable<BasicBlock> Successors(BasicBlock block)
- {
- if (block.Next != null)
- {
- yield return block.Next;
- }
- if (block.Branch != null)
- {
- yield return block.Branch;
- }
- }
- private static IEnumerable<Node> BottomOperations(BasicBlock block)
- {
- LinkedListNode<Node> node = block.Operations.Last;
- while (node != null && !(node.Value is PhiNode))
- {
- yield return node.Value;
- node = node.Previous;
- }
- }
- private static IEnumerable<Operand> Destinations(Node node)
- {
- for (int index = 0; index < node.DestinationsCount; index++)
- {
- yield return node.GetDestination(index);
- }
- }
- private static IEnumerable<Operand> Sources(Node node)
- {
- for (int index = 0; index < node.SourcesCount; index++)
- {
- Operand source = node.GetSource(index);
- if (IsLocalOrRegister(source.Kind))
- {
- yield return source;
- }
- }
- }
- private static bool IsLocalOrRegister(OperandKind kind)
- {
- return kind == OperandKind.LocalVariable ||
- kind == OperandKind.Register;
- }
- }
- }
|