CriticalAntiDepBreaker.cpp revision d04a8d4b33ff316ca4cf961e06c9e312eff8e64f
12e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin//===----- CriticalAntiDepBreaker.cpp - Anti-dep breaker -------- ---------===//
22e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin//
32e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin//                     The LLVM Compiler Infrastructure
42e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin//
52e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin// This file is distributed under the University of Illinois Open Source
62e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin// License. See LICENSE.TXT for details.
72e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin//
82e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin//===----------------------------------------------------------------------===//
92e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin//
102e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin// This file implements the CriticalAntiDepBreaker class, which
112e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin// implements register anti-dependence breaking along a blocks
122e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin// critical path during post-RA scheduler.
132e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin//
142e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin//===----------------------------------------------------------------------===//
152e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
164de099d8ca651e00fa5fac22bace4f4dba2d0292David Goodwin#define DEBUG_TYPE "post-RA-sched"
172e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin#include "CriticalAntiDepBreaker.h"
182e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin#include "llvm/CodeGen/MachineBasicBlock.h"
192e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin#include "llvm/CodeGen/MachineFrameInfo.h"
202e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin#include "llvm/Support/Debug.h"
212e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin#include "llvm/Support/ErrorHandling.h"
222e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin#include "llvm/Support/raw_ostream.h"
23d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/Target/TargetInstrInfo.h"
24d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/Target/TargetMachine.h"
25d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/Target/TargetRegisterInfo.h"
262e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
272e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinusing namespace llvm;
282e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
292e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid GoodwinCriticalAntiDepBreaker::
30fa796dd720f1b34596a043f17f098fac18ecc028Jakob Stoklund OlesenCriticalAntiDepBreaker(MachineFunction& MFi, const RegisterClassInfo &RCI) :
312e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  AntiDepBreaker(), MF(MFi),
322e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  MRI(MF.getRegInfo()),
3346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  TII(MF.getTarget().getInstrInfo()),
342e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  TRI(MF.getTarget().getRegisterInfo()),
35fa796dd720f1b34596a043f17f098fac18ecc028Jakob Stoklund Olesen  RegClassInfo(RCI),
369c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling  Classes(TRI->getNumRegs(), static_cast<const TargetRegisterClass *>(0)),
379c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling  KillIndices(TRI->getNumRegs(), 0),
38cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer  DefIndices(TRI->getNumRegs(), 0),
39cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer  KeepRegs(TRI->getNumRegs(), false) {}
402e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
412e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid GoodwinCriticalAntiDepBreaker::~CriticalAntiDepBreaker() {
422e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
432e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
442e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinvoid CriticalAntiDepBreaker::StartBlock(MachineBasicBlock *BB) {
45990d2857654cb80e46d207533834be3047494830David Goodwin  const unsigned BBSize = BB->size();
469c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling  for (unsigned i = 0, e = TRI->getNumRegs(); i != e; ++i) {
479c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling    // Clear out the register class data.
489c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling    Classes[i] = static_cast<const TargetRegisterClass *>(0);
499c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling
509c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling    // Initialize the indices to indicate that no registers are live.
51990d2857654cb80e46d207533834be3047494830David Goodwin    KillIndices[i] = ~0u;
52990d2857654cb80e46d207533834be3047494830David Goodwin    DefIndices[i] = BBSize;
53990d2857654cb80e46d207533834be3047494830David Goodwin  }
542e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
552e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Clear "do not change" set.
56cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer  KeepRegs.reset();
572e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
5887f3dbc446181dc5b1c525bd28ca89760f63bc76Benjamin Kramer  bool IsReturnBlock = (BBSize != 0 && BB->back().isReturn());
592e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
602e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Determine the live-out physregs for this block.
612e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  if (IsReturnBlock) {
622e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // In a return block, examine the function live-out regs.
632e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    for (MachineRegisterInfo::liveout_iterator I = MRI.liveout_begin(),
642e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin         E = MRI.liveout_end(); I != E; ++I) {
65f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen      for (MCRegAliasIterator AI(*I, TRI, true); AI.isValid(); ++AI) {
66f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen        unsigned Reg = *AI;
67f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen        Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
68f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen        KillIndices[Reg] = BBSize;
69f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen        DefIndices[Reg] = ~0u;
702e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
712e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
7246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  }
7346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng
7446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // In a non-return block, examine the live-in regs of all successors.
7546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // Note a return block can have successors if the return instruction is
7646df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // predicated.
7746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  for (MachineBasicBlock::succ_iterator SI = BB->succ_begin(),
782e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin         SE = BB->succ_end(); SI != SE; ++SI)
7946df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    for (MachineBasicBlock::livein_iterator I = (*SI)->livein_begin(),
802e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin           E = (*SI)->livein_end(); I != E; ++I) {
81f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen      for (MCRegAliasIterator AI(*I, TRI, true); AI.isValid(); ++AI) {
82f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen        unsigned Reg = *AI;
83f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen        Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
84f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen        KillIndices[Reg] = BBSize;
85f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen        DefIndices[Reg] = ~0u;
862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
8746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    }
882e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
892e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Mark live-out callee-saved registers. In a return block this is
902e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // all callee-saved registers. In non-return this is any
912e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // callee-saved register that is not saved in the prolog.
922e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  const MachineFrameInfo *MFI = MF.getFrameInfo();
932e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  BitVector Pristine = MFI->getPristineRegs(BB);
94015f228861ef9b337366f92f637d4e8d624bb006Craig Topper  for (const uint16_t *I = TRI->getCalleeSavedRegs(&MF); *I; ++I) {
95f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen    if (!IsReturnBlock && !Pristine.test(*I)) continue;
96f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen    for (MCRegAliasIterator AI(*I, TRI, true); AI.isValid(); ++AI) {
97f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen      unsigned Reg = *AI;
98f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen      Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
99f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen      KillIndices[Reg] = BBSize;
100f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen      DefIndices[Reg] = ~0u;
1012e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
1022e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
1032e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
1042e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1052e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinvoid CriticalAntiDepBreaker::FinishBlock() {
1062e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  RegRefs.clear();
107cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer  KeepRegs.reset();
1082e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
1092e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1102e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinvoid CriticalAntiDepBreaker::Observe(MachineInstr *MI, unsigned Count,
1112e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                                     unsigned InsertPosIndex) {
112b0812f114b83a32c4b90a4b553c7177c557558b5Dale Johannesen  if (MI->isDebugValue())
113b0812f114b83a32c4b90a4b553c7177c557558b5Dale Johannesen    return;
1142e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  assert(Count < InsertPosIndex && "Instruction index out of expected range!");
1152e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
116f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson  for (unsigned Reg = 0; Reg != TRI->getNumRegs(); ++Reg) {
117f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson    if (KillIndices[Reg] != ~0u) {
118f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // If Reg is currently live, then mark that it can't be renamed as
119f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // we don't know the extent of its live-range anymore (now that it
120f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // has been scheduled).
121f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
122f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      KillIndices[Reg] = Count;
123f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson    } else if (DefIndices[Reg] < InsertPosIndex && DefIndices[Reg] >= Count) {
124f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // Any register which was defined within the previous scheduling region
125f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // may have been rescheduled and its lifetime may overlap with registers
126f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // in ways not reflected in our current liveness state. For each such
127f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // register, adjust the liveness state to be conservatively correct.
1282e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
1299c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling
1302e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // Move the def index to the end of the previous region, to reflect
1312e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // that the def could theoretically have been scheduled at the end.
1322e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      DefIndices[Reg] = InsertPosIndex;
1332e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
134f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson  }
1352e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1362e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  PrescanInstruction(MI);
1372e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  ScanInstruction(MI, Count);
1382e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
1392e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1402e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin/// CriticalPathStep - Return the next SUnit after SU on the bottom-up
1412e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin/// critical path.
14266db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohmanstatic const SDep *CriticalPathStep(const SUnit *SU) {
14366db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman  const SDep *Next = 0;
1442e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  unsigned NextDepth = 0;
1452e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Find the predecessor edge with the greatest depth.
14666db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman  for (SUnit::const_pred_iterator P = SU->Preds.begin(), PE = SU->Preds.end();
1472e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin       P != PE; ++P) {
14866db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman    const SUnit *PredSU = P->getSUnit();
1492e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    unsigned PredLatency = P->getLatency();
1502e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    unsigned PredTotalLatency = PredSU->getDepth() + PredLatency;
1512e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // In the case of a latency tie, prefer an anti-dependency edge over
1522e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // other types of edges.
1532e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (NextDepth < PredTotalLatency ||
1542e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        (NextDepth == PredTotalLatency && P->getKind() == SDep::Anti)) {
1552e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      NextDepth = PredTotalLatency;
1562e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Next = &*P;
1572e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
1582e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
1592e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  return Next;
1602e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
1612e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1622e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinvoid CriticalAntiDepBreaker::PrescanInstruction(MachineInstr *MI) {
16346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // It's not safe to change register allocation for source operands of
16446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // that have special allocation requirements. Also assume all registers
16546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // used in a call must not be changed (ABI).
16646df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // FIXME: The issue with predicated instruction is more complex. We are being
16759718a4f42551fc0034b860cb8119f728023c303Bob Wilson  // conservative here because the kill markers cannot be trusted after
16846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // if-conversion:
16946df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // %R6<def> = LDR %SP, %reg0, 92, pred:14, pred:%reg0; mem:LD4[FixedStack14]
17046df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // ...
17146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // STR %R0, %R6<kill>, %reg0, 0, pred:0, pred:%CPSR; mem:ST4[%395]
17246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // %R6<def> = LDR %SP, %reg0, 100, pred:0, pred:%CPSR; mem:LD4[FixedStack12]
17346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // STR %R0, %R6<kill>, %reg0, 0, pred:14, pred:%reg0; mem:ST4[%396](align=8)
17446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  //
17546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // The first R6 kill is not really a kill since it's killed by a predicated
17646df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // instruction which may not be executed. The second R6 def may or may not
17746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // re-define R6 so it's not safe to change it since the last R6 use cannot be
17846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // changed.
1795a96b3dad2f634c9081c8b2b6c2575441dc5a2bdEvan Cheng  bool Special = MI->isCall() ||
1805a96b3dad2f634c9081c8b2b6c2575441dc5a2bdEvan Cheng    MI->hasExtraSrcRegAllocReq() ||
18146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    TII->isPredicated(MI);
18246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng
1832e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Scan the register operands for this instruction and update
1842e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Classes and RegRefs.
1852e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
1862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    MachineOperand &MO = MI->getOperand(i);
1872e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!MO.isReg()) continue;
1882e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    unsigned Reg = MO.getReg();
1892e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (Reg == 0) continue;
1902e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    const TargetRegisterClass *NewRC = 0;
19101384ef159caa7eebff0e1d703638f2e2c862092Jim Grosbach
1922e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (i < MI->getDesc().getNumOperands())
193397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund Olesen      NewRC = TII->getRegClass(MI->getDesc(), i, TRI, MF);
1942e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1952e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // For now, only allow the register to be changed if its register
1962e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // class is consistent across all uses.
1972e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!Classes[Reg] && NewRC)
1982e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Classes[Reg] = NewRC;
1992e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    else if (!NewRC || Classes[Reg] != NewRC)
2002e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
2012e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2022e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Now check for aliases.
203396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen    for (MCRegAliasIterator AI(Reg, TRI, false); AI.isValid(); ++AI) {
2042e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // If an alias of the reg is used during the live range, give up.
2052e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // Note that this allows us to skip checking if AntiDepReg
2062e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // overlaps with any of the aliases, among other things.
207396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen      unsigned AliasReg = *AI;
2082e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      if (Classes[AliasReg]) {
2092e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        Classes[AliasReg] = reinterpret_cast<TargetRegisterClass *>(-1);
2102e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
2112e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
2122e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
2132e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2142e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // If we're still willing to consider this register, note the reference.
2152e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (Classes[Reg] != reinterpret_cast<TargetRegisterClass *>(-1))
2162e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      RegRefs.insert(std::make_pair(Reg, &MO));
2172e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
21846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    if (MO.isUse() && Special) {
219cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer      if (!KeepRegs.test(Reg)) {
220cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer        KeepRegs.set(Reg);
221396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen        for (MCSubRegIterator SubRegs(Reg, TRI); SubRegs.isValid(); ++SubRegs)
222396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen          KeepRegs.set(*SubRegs);
2232e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
2242e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
2252e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
2262e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
2272e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2282e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinvoid CriticalAntiDepBreaker::ScanInstruction(MachineInstr *MI,
2292e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                                             unsigned Count) {
2302e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Update liveness.
231d9b0b025612992a0b724eeca8bdf10b1d7a5c355Benjamin Kramer  // Proceeding upwards, registers that are defed but not used in this
2322e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // instruction are now dead.
23346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng
23446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  if (!TII->isPredicated(MI)) {
23546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    // Predicated defs are modeled as read + write, i.e. similar to two
23646df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    // address updates.
23746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
23846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      MachineOperand &MO = MI->getOperand(i);
239bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen
240bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen      if (MO.isRegMask())
241bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen        for (unsigned i = 0, e = TRI->getNumRegs(); i != e; ++i)
242bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen          if (MO.clobbersPhysReg(i)) {
243bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen            DefIndices[i] = Count;
244bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen            KillIndices[i] = ~0u;
245cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer            KeepRegs.reset(i);
246bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen            Classes[i] = 0;
247bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen            RegRefs.erase(i);
248bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen          }
249bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen
25046df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      if (!MO.isReg()) continue;
25146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      unsigned Reg = MO.getReg();
25246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      if (Reg == 0) continue;
25346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      if (!MO.isDef()) continue;
25446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      // Ignore two-addr defs.
25546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      if (MI->isRegTiedToUseOperand(i)) continue;
25646df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng
25746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      DefIndices[Reg] = Count;
25846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      KillIndices[Reg] = ~0u;
25946df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      assert(((KillIndices[Reg] == ~0u) !=
26046df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng              (DefIndices[Reg] == ~0u)) &&
26146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng             "Kill and Def maps aren't consistent for Reg!");
262cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer      KeepRegs.reset(Reg);
26346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      Classes[Reg] = 0;
26446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      RegRefs.erase(Reg);
26546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      // Repeat, for all subregs.
266396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen      for (MCSubRegIterator SubRegs(Reg, TRI); SubRegs.isValid(); ++SubRegs) {
267396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen        unsigned SubregReg = *SubRegs;
26846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        DefIndices[SubregReg] = Count;
26946df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        KillIndices[SubregReg] = ~0u;
270cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer        KeepRegs.reset(SubregReg);
27146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        Classes[SubregReg] = 0;
27246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        RegRefs.erase(SubregReg);
27346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      }
27446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      // Conservatively mark super-registers as unusable.
275396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen      for (MCSuperRegIterator SR(Reg, TRI); SR.isValid(); ++SR)
276396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen        Classes[*SR] = reinterpret_cast<TargetRegisterClass *>(-1);
2772e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
2782e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
2792e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
2802e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    MachineOperand &MO = MI->getOperand(i);
2812e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!MO.isReg()) continue;
2822e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    unsigned Reg = MO.getReg();
2832e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (Reg == 0) continue;
2842e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!MO.isUse()) continue;
2852e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    const TargetRegisterClass *NewRC = 0;
2872e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (i < MI->getDesc().getNumOperands())
288397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund Olesen      NewRC = TII->getRegClass(MI->getDesc(), i, TRI, MF);
2892e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2902e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // For now, only allow the register to be changed if its register
2912e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // class is consistent across all uses.
2922e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!Classes[Reg] && NewRC)
2932e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Classes[Reg] = NewRC;
2942e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    else if (!NewRC || Classes[Reg] != NewRC)
2952e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
2962e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2972e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    RegRefs.insert(std::make_pair(Reg, &MO));
2982e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2992e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // It wasn't previously live but now it is, this is a kill.
3002e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (KillIndices[Reg] == ~0u) {
3012e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      KillIndices[Reg] = Count;
3022e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      DefIndices[Reg] = ~0u;
3032e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          assert(((KillIndices[Reg] == ~0u) !=
3042e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                  (DefIndices[Reg] == ~0u)) &&
3052e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin               "Kill and Def maps aren't consistent for Reg!");
3062e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
3072e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Repeat, for all aliases.
308396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen    for (MCRegAliasIterator AI(Reg, TRI, false); AI.isValid(); ++AI) {
309396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen      unsigned AliasReg = *AI;
3102e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      if (KillIndices[AliasReg] == ~0u) {
3112e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        KillIndices[AliasReg] = Count;
3122e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        DefIndices[AliasReg] = ~0u;
3132e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
3142e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
3152e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
3162e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
3172e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
318bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// Check all machine operands that reference the antidependent register and must
319bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// be replaced by NewReg. Return true if any of their parent instructions may
320bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// clobber the new register.
321bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick//
322bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// Note: AntiDepReg may be referenced by a two-address instruction such that
323bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// it's use operand is tied to a def operand. We guard against the case in which
324bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// the two-address instruction also defines NewReg, as may happen with
325bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// pre/postincrement loads. In this case, both the use and def operands are in
326bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// RegRefs because the def is inserted by PrescanInstruction and not erased
327bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// during ScanInstruction. So checking for an instructions with definitions of
328bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// both NewReg and AntiDepReg covers it.
32946388526963aba92344ee8ebd9e86d3556baa088Andrew Trickbool
330bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew TrickCriticalAntiDepBreaker::isNewRegClobberedByRefs(RegRefIter RegRefBegin,
331bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick                                                RegRefIter RegRefEnd,
332bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick                                                unsigned NewReg)
33346388526963aba92344ee8ebd9e86d3556baa088Andrew Trick{
33446388526963aba92344ee8ebd9e86d3556baa088Andrew Trick  for (RegRefIter I = RegRefBegin; I != RegRefEnd; ++I ) {
335bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    MachineOperand *RefOper = I->second;
336bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
337bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    // Don't allow the instruction defining AntiDepReg to earlyclobber its
338bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    // operands, in case they may be assigned to NewReg. In this case antidep
339bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    // breaking must fail, but it's too rare to bother optimizing.
340bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    if (RefOper->isDef() && RefOper->isEarlyClobber())
34146388526963aba92344ee8ebd9e86d3556baa088Andrew Trick      return true;
342bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
343bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    // Handle cases in which this instructions defines NewReg.
344bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    MachineInstr *MI = RefOper->getParent();
345bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
346bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      const MachineOperand &CheckOper = MI->getOperand(i);
347bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
348bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen      if (CheckOper.isRegMask() && CheckOper.clobbersPhysReg(NewReg))
349bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen        return true;
350bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen
351bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      if (!CheckOper.isReg() || !CheckOper.isDef() ||
352bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick          CheckOper.getReg() != NewReg)
353bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick        continue;
354bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
355bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // Don't allow the instruction to define NewReg and AntiDepReg.
356bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // When AntiDepReg is renamed it will be an illegal op.
357bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      if (RefOper->isDef())
358bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick        return true;
359bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
360bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // Don't allow an instruction using AntiDepReg to be earlyclobbered by
361bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // NewReg
362bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      if (CheckOper.isEarlyClobber())
363bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick        return true;
364bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
365bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // Don't allow inline asm to define NewReg at all. Who know what it's
366bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // doing with it.
367bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      if (MI->isInlineAsm())
368bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick        return true;
369bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    }
37046388526963aba92344ee8ebd9e86d3556baa088Andrew Trick  }
37146388526963aba92344ee8ebd9e86d3556baa088Andrew Trick  return false;
37246388526963aba92344ee8ebd9e86d3556baa088Andrew Trick}
37346388526963aba92344ee8ebd9e86d3556baa088Andrew Trick
3742e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinunsigned
37546388526963aba92344ee8ebd9e86d3556baa088Andrew TrickCriticalAntiDepBreaker::findSuitableFreeRegister(RegRefIter RegRefBegin,
37646388526963aba92344ee8ebd9e86d3556baa088Andrew Trick                                                 RegRefIter RegRefEnd,
37780c2b0d9efc951b23f90a3cf12b9853177994961Jim Grosbach                                                 unsigned AntiDepReg,
3782e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                                                 unsigned LastNewReg,
3792973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach                                                 const TargetRegisterClass *RC)
3802973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach{
38139b5c0c049a19c7a7feffc9506da07923cc136e4Jakob Stoklund Olesen  ArrayRef<MCPhysReg> Order = RegClassInfo.getOrder(RC);
382fa796dd720f1b34596a043f17f098fac18ecc028Jakob Stoklund Olesen  for (unsigned i = 0; i != Order.size(); ++i) {
383fa796dd720f1b34596a043f17f098fac18ecc028Jakob Stoklund Olesen    unsigned NewReg = Order[i];
3842e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Don't replace a register with itself.
3852e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (NewReg == AntiDepReg) continue;
3862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Don't replace a register with one that was recently used to repair
3872e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // an anti-dependence with this AntiDepReg, because that would
3882e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // re-introduce that anti-dependence.
3892e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (NewReg == LastNewReg) continue;
39046388526963aba92344ee8ebd9e86d3556baa088Andrew Trick    // If any instructions that define AntiDepReg also define the NewReg, it's
39146388526963aba92344ee8ebd9e86d3556baa088Andrew Trick    // not suitable.  For example, Instruction with multiple definitions can
39246388526963aba92344ee8ebd9e86d3556baa088Andrew Trick    // result in this condition.
393bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    if (isNewRegClobberedByRefs(RegRefBegin, RegRefEnd, NewReg)) continue;
3942e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // If NewReg is dead and NewReg's most recent def is not before
3952e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // AntiDepReg's kill, it's safe to replace AntiDepReg with NewReg.
3962973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach    assert(((KillIndices[AntiDepReg] == ~0u) != (DefIndices[AntiDepReg] == ~0u))
3972973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach           && "Kill and Def maps aren't consistent for AntiDepReg!");
3982973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach    assert(((KillIndices[NewReg] == ~0u) != (DefIndices[NewReg] == ~0u))
3992973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach           && "Kill and Def maps aren't consistent for NewReg!");
4002e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (KillIndices[NewReg] != ~0u ||
4012e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        Classes[NewReg] == reinterpret_cast<TargetRegisterClass *>(-1) ||
4022e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        KillIndices[AntiDepReg] > DefIndices[NewReg])
4032e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      continue;
4042e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    return NewReg;
4052e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
4062e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4072e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // No registers are free and available!
4082e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  return 0;
4092e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
4102e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4112e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinunsigned CriticalAntiDepBreaker::
41266db3a0f10e96ae190c8a46a1a8d5242928d068cDan GohmanBreakAntiDependencies(const std::vector<SUnit>& SUnits,
41366db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman                      MachineBasicBlock::iterator Begin,
41466db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman                      MachineBasicBlock::iterator End,
415e29e8e100ea38be1771e5f010a5511cbb990d515Devang Patel                      unsigned InsertPosIndex,
416e29e8e100ea38be1771e5f010a5511cbb990d515Devang Patel                      DbgValueVector &DbgValues) {
4172e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // The code below assumes that there is at least one instruction,
4182e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // so just duck out immediately if the block is empty.
4192e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  if (SUnits.empty()) return 0;
4202e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
421533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach  // Keep a map of the MachineInstr*'s back to the SUnit representing them.
422533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach  // This is used for updating debug information.
423b4566a999970b514d7c6973d99e293a6625d3f70Andrew Trick  //
424b4566a999970b514d7c6973d99e293a6625d3f70Andrew Trick  // FIXME: Replace this with the existing map in ScheduleDAGInstrs::MISUnitMap
425533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach  DenseMap<MachineInstr*,const SUnit*> MISUnitMap;
426533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach
4272e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Find the node at the bottom of the critical path.
42866db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman  const SUnit *Max = 0;
4292e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  for (unsigned i = 0, e = SUnits.size(); i != e; ++i) {
43066db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman    const SUnit *SU = &SUnits[i];
431533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach    MISUnitMap[SU->getInstr()] = SU;
4322e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!Max || SU->getDepth() + SU->Latency > Max->getDepth() + Max->Latency)
4332e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Max = SU;
4342e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
4352e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4362e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin#ifndef NDEBUG
4372e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  {
43889d6a2426256b56780c7934ddad24e6ecc4f690aDavid Greene    DEBUG(dbgs() << "Critical path has total latency "
4392e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          << (Max->getDepth() + Max->Latency) << "\n");
44089d6a2426256b56780c7934ddad24e6ecc4f690aDavid Greene    DEBUG(dbgs() << "Available regs:");
4412e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    for (unsigned Reg = 0; Reg < TRI->getNumRegs(); ++Reg) {
4422e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      if (KillIndices[Reg] == ~0u)
44389d6a2426256b56780c7934ddad24e6ecc4f690aDavid Greene        DEBUG(dbgs() << " " << TRI->getName(Reg));
4442e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
44589d6a2426256b56780c7934ddad24e6ecc4f690aDavid Greene    DEBUG(dbgs() << '\n');
4462e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
4472e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin#endif
4482e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4492e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Track progress along the critical path through the SUnit graph as we walk
4502e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // the instructions.
45166db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman  const SUnit *CriticalPathSU = Max;
4522e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  MachineInstr *CriticalPathMI = CriticalPathSU->getInstr();
4532e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4542e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Consider this pattern:
4552e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4562e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4572e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4582e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4592e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4602e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4612e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4622e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4632e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // There are three anti-dependencies here, and without special care,
4642e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // we'd break all of them using the same register:
4652e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4662e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4672e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   B = ...
4682e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = B
4692e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   B = ...
4702e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = B
4712e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   B = ...
4722e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = B
4732e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // because at each anti-dependence, B is the first register that
4742e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // isn't A which is free.  This re-introduces anti-dependencies
4752e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // at all but one of the original anti-dependencies that we were
4762e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // trying to break.  To avoid this, keep track of the most recent
4772e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // register that each register was replaced with, avoid
4782e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // using it to repair an anti-dependence on the same register.
4792e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // This lets us produce this:
4802e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4812e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4822e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   B = ...
4832e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = B
4842e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   C = ...
4852e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = C
4862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   B = ...
4872e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = B
4882e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // This still has an anti-dependence on B, but at least it isn't on the
4892e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // original critical path.
4902e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //
4912e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // TODO: If we tracked more than one register here, we could potentially
4922e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // fix that remaining critical edge too. This is a little more involved,
4932e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // because unlike the most recent register, less recent registers should
4942e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // still be considered, though only if no other registers are available.
4959c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling  std::vector<unsigned> LastNewReg(TRI->getNumRegs(), 0);
4962e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4972e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Attempt to break anti-dependence edges on the critical path. Walk the
4982e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // instructions from the bottom up, tracking information about liveness
4992e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // as we go to help determine which registers are available.
5002e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  unsigned Broken = 0;
5012e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  unsigned Count = InsertPosIndex - 1;
5022e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  for (MachineBasicBlock::iterator I = End, E = Begin;
5032e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin       I != E; --Count) {
5042e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    MachineInstr *MI = --I;
505b0812f114b83a32c4b90a4b553c7177c557558b5Dale Johannesen    if (MI->isDebugValue())
506b0812f114b83a32c4b90a4b553c7177c557558b5Dale Johannesen      continue;
5072e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
5082e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Check if this instruction has a dependence on the critical path that
5092e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // is an anti-dependence that we may be able to break. If it is, set
5102e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // AntiDepReg to the non-zero register associated with the anti-dependence.
5112e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    //
5122e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // We limit our attention to the critical path as a heuristic to avoid
5132e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // breaking anti-dependence edges that aren't going to significantly
5142e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // impact the overall schedule. There are a limited number of registers
5152e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // and we want to save them for the important edges.
51601384ef159caa7eebff0e1d703638f2e2c862092Jim Grosbach    //
5172e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // TODO: Instructions with multiple defs could have multiple
5182e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // anti-dependencies. The current code here only knows how to break one
5192e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // edge per instruction. Note that we'd have to be able to break all of
5202e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // the anti-dependencies in an instruction in order to be effective.
5212e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    unsigned AntiDepReg = 0;
5222e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (MI == CriticalPathMI) {
52366db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman      if (const SDep *Edge = CriticalPathStep(CriticalPathSU)) {
52466db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman        const SUnit *NextSU = Edge->getSUnit();
5252e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
5262e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        // Only consider anti-dependence edges.
5272e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        if (Edge->getKind() == SDep::Anti) {
5282e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          AntiDepReg = Edge->getReg();
5292e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          assert(AntiDepReg != 0 && "Anti-dependence on reg0?");
53014d1dd95c7c969e07defebb6fe65df2fae1b30cfJakob Stoklund Olesen          if (!MRI.isAllocatable(AntiDepReg))
5312e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // Don't break anti-dependencies on non-allocatable registers.
5322e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            AntiDepReg = 0;
533cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer          else if (KeepRegs.test(AntiDepReg))
5342e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // Don't break anti-dependencies if an use down below requires
5352e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // this exact register.
5362e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            AntiDepReg = 0;
5372e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          else {
5382e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // If the SUnit has other dependencies on the SUnit that it
5392e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // anti-depends on, don't bother breaking the anti-dependency
5402e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // since those edges would prevent such units from being
5412e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // scheduled past each other regardless.
5422e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            //
5432e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // Also, if there are dependencies on other SUnits with the
5442e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // same register as the anti-dependency, don't attempt to
5452e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // break it.
54666db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman            for (SUnit::const_pred_iterator P = CriticalPathSU->Preds.begin(),
5472e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                 PE = CriticalPathSU->Preds.end(); P != PE; ++P)
5482e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin              if (P->getSUnit() == NextSU ?
5492e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                    (P->getKind() != SDep::Anti || P->getReg() != AntiDepReg) :
5502e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                    (P->getKind() == SDep::Data && P->getReg() == AntiDepReg)) {
5512e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                AntiDepReg = 0;
5522e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                break;
5532e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin              }
5542e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          }
5552e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        }
5562e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        CriticalPathSU = NextSU;
5572e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        CriticalPathMI = CriticalPathSU->getInstr();
5582e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      } else {
5592e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        // We've reached the end of the critical path.
5602e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        CriticalPathSU = 0;
5612e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        CriticalPathMI = 0;
5622e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
5632e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
5642e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
5652e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    PrescanInstruction(MI);
5662e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
56746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    // If MI's defs have a special allocation requirement, don't allow
56846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    // any def registers to be changed. Also assume all registers
56946df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    // defined in a call must not be changed (ABI).
5705a96b3dad2f634c9081c8b2b6c2575441dc5a2bdEvan Cheng    if (MI->isCall() || MI->hasExtraDefRegAllocReq() ||
57146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        TII->isPredicated(MI))
5722e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // If this instruction's defs have special allocation requirement, don't
5732e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // break this anti-dependency.
5742e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      AntiDepReg = 0;
5752e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    else if (AntiDepReg) {
5762e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // If this instruction has a use of AntiDepReg, breaking it
5772e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // is invalid.
5782e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
5792e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        MachineOperand &MO = MI->getOperand(i);
5802e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        if (!MO.isReg()) continue;
5812e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        unsigned Reg = MO.getReg();
5822e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        if (Reg == 0) continue;
58346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        if (MO.isUse() && TRI->regsOverlap(AntiDepReg, Reg)) {
5842e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          AntiDepReg = 0;
5852e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          break;
5862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        }
5872e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
5882e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
5892e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
5902e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Determine AntiDepReg's register class, if it is live and is
5912e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // consistently used within a single class.
5922e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    const TargetRegisterClass *RC = AntiDepReg != 0 ? Classes[AntiDepReg] : 0;
5932e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    assert((AntiDepReg == 0 || RC != NULL) &&
5942e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin           "Register should be live if it's causing an anti-dependence!");
5952e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (RC == reinterpret_cast<TargetRegisterClass *>(-1))
5962e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      AntiDepReg = 0;
5972e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
5982e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Look for a suitable register to use to break the anti-depenence.
5992e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    //
6002e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // TODO: Instead of picking the first free register, consider which might
6012e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // be the best.
6022e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (AntiDepReg != 0) {
60346388526963aba92344ee8ebd9e86d3556baa088Andrew Trick      std::pair<std::multimap<unsigned, MachineOperand *>::iterator,
60446388526963aba92344ee8ebd9e86d3556baa088Andrew Trick                std::multimap<unsigned, MachineOperand *>::iterator>
60546388526963aba92344ee8ebd9e86d3556baa088Andrew Trick        Range = RegRefs.equal_range(AntiDepReg);
60646388526963aba92344ee8ebd9e86d3556baa088Andrew Trick      if (unsigned NewReg = findSuitableFreeRegister(Range.first, Range.second,
60746388526963aba92344ee8ebd9e86d3556baa088Andrew Trick                                                     AntiDepReg,
6082e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                                                     LastNewReg[AntiDepReg],
6092e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                                                     RC)) {
61089d6a2426256b56780c7934ddad24e6ecc4f690aDavid Greene        DEBUG(dbgs() << "Breaking anti-dependence edge on "
6112e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin              << TRI->getName(AntiDepReg)
6122e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin              << " with " << RegRefs.count(AntiDepReg) << " references"
6132e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin              << " using " << TRI->getName(NewReg) << "!\n");
6142e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
6152e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        // Update the references to the old register to refer to the new
6162e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        // register.
6172e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        for (std::multimap<unsigned, MachineOperand *>::iterator
618533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach             Q = Range.first, QE = Range.second; Q != QE; ++Q) {
6192e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          Q->second->setReg(NewReg);
620533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach          // If the SU for the instruction being updated has debug information
621533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach          // related to the anti-dependency register, make sure to update that
622533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach          // as well.
623533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach          const SUnit *SU = MISUnitMap[Q->second->getParent()];
624086723d244952aee690a8aa39485a0fa0d3a7700Jim Grosbach          if (!SU) continue;
625e29e8e100ea38be1771e5f010a5511cbb990d515Devang Patel          for (DbgValueVector::iterator DVI = DbgValues.begin(),
626e29e8e100ea38be1771e5f010a5511cbb990d515Devang Patel                 DVE = DbgValues.end(); DVI != DVE; ++DVI)
627e29e8e100ea38be1771e5f010a5511cbb990d515Devang Patel            if (DVI->second == Q->second->getParent())
628e29e8e100ea38be1771e5f010a5511cbb990d515Devang Patel              UpdateDbgValue(DVI->first, AntiDepReg, NewReg);
629533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach        }
6302e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
6312e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        // We just went back in time and modified history; the
632f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson        // liveness information for the anti-dependence reg is now
6332e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        // inconsistent. Set the state as if it were dead.
6342e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        Classes[NewReg] = Classes[AntiDepReg];
6352e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        DefIndices[NewReg] = DefIndices[AntiDepReg];
6362e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        KillIndices[NewReg] = KillIndices[AntiDepReg];
6372e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        assert(((KillIndices[NewReg] == ~0u) !=
6382e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                (DefIndices[NewReg] == ~0u)) &&
6392e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin             "Kill and Def maps aren't consistent for NewReg!");
6402e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
6412e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        Classes[AntiDepReg] = 0;
6422e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        DefIndices[AntiDepReg] = KillIndices[AntiDepReg];
6432e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        KillIndices[AntiDepReg] = ~0u;
6442e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        assert(((KillIndices[AntiDepReg] == ~0u) !=
6452e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                (DefIndices[AntiDepReg] == ~0u)) &&
6462e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin             "Kill and Def maps aren't consistent for AntiDepReg!");
6472e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
6482e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        RegRefs.erase(AntiDepReg);
6492e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        LastNewReg[AntiDepReg] = NewReg;
6502e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        ++Broken;
6512e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
6522e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
6532e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
6542e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    ScanInstruction(MI, Count);
6552e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
6562e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
6572e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  return Broken;
6582e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
659