CriticalAntiDepBreaker.cpp revision 78477ffdfd63ddf1ba22d9d2121c8f6ed9f9efa1
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
60b45e4deb102d47602f5b941da7f412ecc9a867e9Jakob Stoklund Olesen  // Examine the live-in regs of all successors.
6146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  for (MachineBasicBlock::succ_iterator SI = BB->succ_begin(),
622e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin         SE = BB->succ_end(); SI != SE; ++SI)
6346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    for (MachineBasicBlock::livein_iterator I = (*SI)->livein_begin(),
642e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin           E = (*SI)->livein_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      }
7146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    }
722e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
732e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Mark live-out callee-saved registers. In a return block this is
742e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // all callee-saved registers. In non-return this is any
752e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // callee-saved register that is not saved in the prolog.
762e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  const MachineFrameInfo *MFI = MF.getFrameInfo();
772e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  BitVector Pristine = MFI->getPristineRegs(BB);
78015f228861ef9b337366f92f637d4e8d624bb006Craig Topper  for (const uint16_t *I = TRI->getCalleeSavedRegs(&MF); *I; ++I) {
79f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen    if (!IsReturnBlock && !Pristine.test(*I)) continue;
80f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen    for (MCRegAliasIterator AI(*I, TRI, true); AI.isValid(); ++AI) {
81f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen      unsigned Reg = *AI;
82f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen      Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
83f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen      KillIndices[Reg] = BBSize;
84f152fe8d487c46873bbdd4abab43200f783e978bJakob Stoklund Olesen      DefIndices[Reg] = ~0u;
852e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
872e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
882e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
892e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinvoid CriticalAntiDepBreaker::FinishBlock() {
902e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  RegRefs.clear();
91cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer  KeepRegs.reset();
922e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
932e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
942e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinvoid CriticalAntiDepBreaker::Observe(MachineInstr *MI, unsigned Count,
952e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                                     unsigned InsertPosIndex) {
96b0812f114b83a32c4b90a4b553c7177c557558b5Dale Johannesen  if (MI->isDebugValue())
97b0812f114b83a32c4b90a4b553c7177c557558b5Dale Johannesen    return;
982e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  assert(Count < InsertPosIndex && "Instruction index out of expected range!");
992e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
100f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson  for (unsigned Reg = 0; Reg != TRI->getNumRegs(); ++Reg) {
101f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson    if (KillIndices[Reg] != ~0u) {
102f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // If Reg is currently live, then mark that it can't be renamed as
103f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // we don't know the extent of its live-range anymore (now that it
104f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // has been scheduled).
105f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
106f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      KillIndices[Reg] = Count;
107f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson    } else if (DefIndices[Reg] < InsertPosIndex && DefIndices[Reg] >= Count) {
108f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // Any register which was defined within the previous scheduling region
109f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // may have been rescheduled and its lifetime may overlap with registers
110f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // in ways not reflected in our current liveness state. For each such
111f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson      // register, adjust the liveness state to be conservatively correct.
1122e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
1139c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling
1142e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // Move the def index to the end of the previous region, to reflect
1152e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // that the def could theoretically have been scheduled at the end.
1162e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      DefIndices[Reg] = InsertPosIndex;
1172e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
118f70007e89e7b252abc9dc175aab92191c09bebf7Bob Wilson  }
1192e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1202e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  PrescanInstruction(MI);
1212e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  ScanInstruction(MI, Count);
1222e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
1232e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1242e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin/// CriticalPathStep - Return the next SUnit after SU on the bottom-up
1252e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin/// critical path.
12666db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohmanstatic const SDep *CriticalPathStep(const SUnit *SU) {
12766db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman  const SDep *Next = 0;
1282e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  unsigned NextDepth = 0;
1292e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Find the predecessor edge with the greatest depth.
13066db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman  for (SUnit::const_pred_iterator P = SU->Preds.begin(), PE = SU->Preds.end();
1312e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin       P != PE; ++P) {
13266db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman    const SUnit *PredSU = P->getSUnit();
1332e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    unsigned PredLatency = P->getLatency();
1342e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    unsigned PredTotalLatency = PredSU->getDepth() + PredLatency;
1352e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // In the case of a latency tie, prefer an anti-dependency edge over
1362e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // other types of edges.
1372e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (NextDepth < PredTotalLatency ||
1382e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        (NextDepth == PredTotalLatency && P->getKind() == SDep::Anti)) {
1392e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      NextDepth = PredTotalLatency;
1402e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Next = &*P;
1412e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
1422e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
1432e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  return Next;
1442e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
1452e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1462e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinvoid CriticalAntiDepBreaker::PrescanInstruction(MachineInstr *MI) {
14746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // It's not safe to change register allocation for source operands of
14846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // that have special allocation requirements. Also assume all registers
14946df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // used in a call must not be changed (ABI).
15046df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // FIXME: The issue with predicated instruction is more complex. We are being
15159718a4f42551fc0034b860cb8119f728023c303Bob Wilson  // conservative here because the kill markers cannot be trusted after
15246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // if-conversion:
15346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // %R6<def> = LDR %SP, %reg0, 92, pred:14, pred:%reg0; mem:LD4[FixedStack14]
15446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // ...
15546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // STR %R0, %R6<kill>, %reg0, 0, pred:0, pred:%CPSR; mem:ST4[%395]
15646df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // %R6<def> = LDR %SP, %reg0, 100, pred:0, pred:%CPSR; mem:LD4[FixedStack12]
15746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // STR %R0, %R6<kill>, %reg0, 0, pred:14, pred:%reg0; mem:ST4[%396](align=8)
15846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  //
15946df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // The first R6 kill is not really a kill since it's killed by a predicated
16046df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // instruction which may not be executed. The second R6 def may or may not
16146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // re-define R6 so it's not safe to change it since the last R6 use cannot be
16246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  // changed.
1635a96b3dad2f634c9081c8b2b6c2575441dc5a2bdEvan Cheng  bool Special = MI->isCall() ||
1645a96b3dad2f634c9081c8b2b6c2575441dc5a2bdEvan Cheng    MI->hasExtraSrcRegAllocReq() ||
16546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    TII->isPredicated(MI);
16646df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng
1672e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Scan the register operands for this instruction and update
1682e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Classes and RegRefs.
1692e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
1702e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    MachineOperand &MO = MI->getOperand(i);
1712e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!MO.isReg()) continue;
1722e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    unsigned Reg = MO.getReg();
1732e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (Reg == 0) continue;
1742e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    const TargetRegisterClass *NewRC = 0;
17501384ef159caa7eebff0e1d703638f2e2c862092Jim Grosbach
1762e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (i < MI->getDesc().getNumOperands())
177397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund Olesen      NewRC = TII->getRegClass(MI->getDesc(), i, TRI, MF);
1782e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1792e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // For now, only allow the register to be changed if its register
1802e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // class is consistent across all uses.
1812e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!Classes[Reg] && NewRC)
1822e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Classes[Reg] = NewRC;
1832e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    else if (!NewRC || Classes[Reg] != NewRC)
1842e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
1852e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Now check for aliases.
187396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen    for (MCRegAliasIterator AI(Reg, TRI, false); AI.isValid(); ++AI) {
1882e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // If an alias of the reg is used during the live range, give up.
1892e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // Note that this allows us to skip checking if AntiDepReg
1902e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // overlaps with any of the aliases, among other things.
191396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen      unsigned AliasReg = *AI;
1922e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      if (Classes[AliasReg]) {
1932e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        Classes[AliasReg] = reinterpret_cast<TargetRegisterClass *>(-1);
1942e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
1952e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
1962e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
1972e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
1982e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // If we're still willing to consider this register, note the reference.
1992e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (Classes[Reg] != reinterpret_cast<TargetRegisterClass *>(-1))
2002e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      RegRefs.insert(std::make_pair(Reg, &MO));
2012e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
20246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    if (MO.isUse() && Special) {
203cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer      if (!KeepRegs.test(Reg)) {
20462c320a755ac27ac2b7f64e927892249e0f486e0Chad Rosier        for (MCSubRegIterator SubRegs(Reg, TRI, /*IncludeSelf=*/true);
20562c320a755ac27ac2b7f64e927892249e0f486e0Chad Rosier             SubRegs.isValid(); ++SubRegs)
206396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen          KeepRegs.set(*SubRegs);
2072e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
2082e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
2092e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
2102e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
2112e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2122e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinvoid CriticalAntiDepBreaker::ScanInstruction(MachineInstr *MI,
2132e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                                             unsigned Count) {
2142e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Update liveness.
215d9b0b025612992a0b724eeca8bdf10b1d7a5c355Benjamin Kramer  // Proceeding upwards, registers that are defed but not used in this
2162e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // instruction are now dead.
21746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng
21846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng  if (!TII->isPredicated(MI)) {
21946df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    // Predicated defs are modeled as read + write, i.e. similar to two
22046df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    // address updates.
22146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
22246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      MachineOperand &MO = MI->getOperand(i);
223bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen
224bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen      if (MO.isRegMask())
225bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen        for (unsigned i = 0, e = TRI->getNumRegs(); i != e; ++i)
226bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen          if (MO.clobbersPhysReg(i)) {
227bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen            DefIndices[i] = Count;
228bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen            KillIndices[i] = ~0u;
229cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer            KeepRegs.reset(i);
230bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen            Classes[i] = 0;
231bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen            RegRefs.erase(i);
232bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen          }
233bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen
23446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      if (!MO.isReg()) continue;
23546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      unsigned Reg = MO.getReg();
23646df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      if (Reg == 0) continue;
23746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      if (!MO.isDef()) continue;
23846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      // Ignore two-addr defs.
23946df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      if (MI->isRegTiedToUseOperand(i)) continue;
24046df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng
24146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      DefIndices[Reg] = Count;
24246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      KillIndices[Reg] = ~0u;
24346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      assert(((KillIndices[Reg] == ~0u) !=
24446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng              (DefIndices[Reg] == ~0u)) &&
24546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng             "Kill and Def maps aren't consistent for Reg!");
246cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer      KeepRegs.reset(Reg);
24746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      Classes[Reg] = 0;
24846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      RegRefs.erase(Reg);
24946df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      // Repeat, for all subregs.
250396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen      for (MCSubRegIterator SubRegs(Reg, TRI); SubRegs.isValid(); ++SubRegs) {
251396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen        unsigned SubregReg = *SubRegs;
25246df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        DefIndices[SubregReg] = Count;
25346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        KillIndices[SubregReg] = ~0u;
254cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer        KeepRegs.reset(SubregReg);
25546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        Classes[SubregReg] = 0;
25646df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        RegRefs.erase(SubregReg);
25746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      }
25846df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng      // Conservatively mark super-registers as unusable.
259396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen      for (MCSuperRegIterator SR(Reg, TRI); SR.isValid(); ++SR)
260396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen        Classes[*SR] = reinterpret_cast<TargetRegisterClass *>(-1);
2612e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
2622e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
2632e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
2642e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    MachineOperand &MO = MI->getOperand(i);
2652e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!MO.isReg()) continue;
2662e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    unsigned Reg = MO.getReg();
2672e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (Reg == 0) continue;
2682e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!MO.isUse()) continue;
2692e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2702e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    const TargetRegisterClass *NewRC = 0;
2712e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (i < MI->getDesc().getNumOperands())
272397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund Olesen      NewRC = TII->getRegClass(MI->getDesc(), i, TRI, MF);
2732e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2742e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // For now, only allow the register to be changed if its register
2752e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // class is consistent across all uses.
2762e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!Classes[Reg] && NewRC)
2772e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Classes[Reg] = NewRC;
2782e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    else if (!NewRC || Classes[Reg] != NewRC)
2792e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Classes[Reg] = reinterpret_cast<TargetRegisterClass *>(-1);
2802e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2812e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    RegRefs.insert(std::make_pair(Reg, &MO));
2822e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
2832e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // It wasn't previously live but now it is, this is a kill.
2842e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (KillIndices[Reg] == ~0u) {
2852e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      KillIndices[Reg] = Count;
2862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      DefIndices[Reg] = ~0u;
2872e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          assert(((KillIndices[Reg] == ~0u) !=
2882e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                  (DefIndices[Reg] == ~0u)) &&
2892e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin               "Kill and Def maps aren't consistent for Reg!");
2902e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
2912e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Repeat, for all aliases.
292396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen    for (MCRegAliasIterator AI(Reg, TRI, false); AI.isValid(); ++AI) {
293396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen      unsigned AliasReg = *AI;
2942e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      if (KillIndices[AliasReg] == ~0u) {
2952e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        KillIndices[AliasReg] = Count;
2962e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        DefIndices[AliasReg] = ~0u;
2972e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
2982e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
2992e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
3002e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
3012e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
302bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// Check all machine operands that reference the antidependent register and must
303bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// be replaced by NewReg. Return true if any of their parent instructions may
304bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// clobber the new register.
305bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick//
306bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// Note: AntiDepReg may be referenced by a two-address instruction such that
307bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// it's use operand is tied to a def operand. We guard against the case in which
308bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// the two-address instruction also defines NewReg, as may happen with
309bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// pre/postincrement loads. In this case, both the use and def operands are in
310bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// RegRefs because the def is inserted by PrescanInstruction and not erased
311bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// during ScanInstruction. So checking for an instructions with definitions of
312bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick// both NewReg and AntiDepReg covers it.
31346388526963aba92344ee8ebd9e86d3556baa088Andrew Trickbool
314bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew TrickCriticalAntiDepBreaker::isNewRegClobberedByRefs(RegRefIter RegRefBegin,
315bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick                                                RegRefIter RegRefEnd,
316bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick                                                unsigned NewReg)
31746388526963aba92344ee8ebd9e86d3556baa088Andrew Trick{
31846388526963aba92344ee8ebd9e86d3556baa088Andrew Trick  for (RegRefIter I = RegRefBegin; I != RegRefEnd; ++I ) {
319bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    MachineOperand *RefOper = I->second;
320bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
321bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    // Don't allow the instruction defining AntiDepReg to earlyclobber its
322bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    // operands, in case they may be assigned to NewReg. In this case antidep
323bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    // breaking must fail, but it's too rare to bother optimizing.
324bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    if (RefOper->isDef() && RefOper->isEarlyClobber())
32546388526963aba92344ee8ebd9e86d3556baa088Andrew Trick      return true;
326bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
327bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    // Handle cases in which this instructions defines NewReg.
328bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    MachineInstr *MI = RefOper->getParent();
329bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
330bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      const MachineOperand &CheckOper = MI->getOperand(i);
331bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
332bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen      if (CheckOper.isRegMask() && CheckOper.clobbersPhysReg(NewReg))
333bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen        return true;
334bbad2f1040fea671b4413f53b3fd816cb7bd2443Jakob Stoklund Olesen
335bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      if (!CheckOper.isReg() || !CheckOper.isDef() ||
336bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick          CheckOper.getReg() != NewReg)
337bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick        continue;
338bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
339bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // Don't allow the instruction to define NewReg and AntiDepReg.
340bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // When AntiDepReg is renamed it will be an illegal op.
341bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      if (RefOper->isDef())
342bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick        return true;
343bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
344bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // Don't allow an instruction using AntiDepReg to be earlyclobbered by
345bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // NewReg
346bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      if (CheckOper.isEarlyClobber())
347bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick        return true;
348bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick
349bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // Don't allow inline asm to define NewReg at all. Who know what it's
350bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      // doing with it.
351bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick      if (MI->isInlineAsm())
352bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick        return true;
353bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    }
35446388526963aba92344ee8ebd9e86d3556baa088Andrew Trick  }
35546388526963aba92344ee8ebd9e86d3556baa088Andrew Trick  return false;
35646388526963aba92344ee8ebd9e86d3556baa088Andrew Trick}
35746388526963aba92344ee8ebd9e86d3556baa088Andrew Trick
3585ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidtunsigned CriticalAntiDepBreaker::
3595ff776bfde2dd5d993e51f8f78904ce331b5528cBill SchmidtfindSuitableFreeRegister(RegRefIter RegRefBegin,
3605ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt                         RegRefIter RegRefEnd,
3615ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt                         unsigned AntiDepReg,
3625ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt                         unsigned LastNewReg,
3635ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt                         const TargetRegisterClass *RC,
36478477ffdfd63ddf1ba22d9d2121c8f6ed9f9efa1Craig Topper                         SmallVectorImpl<unsigned> &Forbid)
3652973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach{
36639b5c0c049a19c7a7feffc9506da07923cc136e4Jakob Stoklund Olesen  ArrayRef<MCPhysReg> Order = RegClassInfo.getOrder(RC);
367fa796dd720f1b34596a043f17f098fac18ecc028Jakob Stoklund Olesen  for (unsigned i = 0; i != Order.size(); ++i) {
368fa796dd720f1b34596a043f17f098fac18ecc028Jakob Stoklund Olesen    unsigned NewReg = Order[i];
3692e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Don't replace a register with itself.
3702e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (NewReg == AntiDepReg) continue;
3712e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Don't replace a register with one that was recently used to repair
3722e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // an anti-dependence with this AntiDepReg, because that would
3732e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // re-introduce that anti-dependence.
3742e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (NewReg == LastNewReg) continue;
37546388526963aba92344ee8ebd9e86d3556baa088Andrew Trick    // If any instructions that define AntiDepReg also define the NewReg, it's
37646388526963aba92344ee8ebd9e86d3556baa088Andrew Trick    // not suitable.  For example, Instruction with multiple definitions can
37746388526963aba92344ee8ebd9e86d3556baa088Andrew Trick    // result in this condition.
378bc4bd92d52be2f6707a8c311873ded27a8f2481fAndrew Trick    if (isNewRegClobberedByRefs(RegRefBegin, RegRefEnd, NewReg)) continue;
3792e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // If NewReg is dead and NewReg's most recent def is not before
3802e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // AntiDepReg's kill, it's safe to replace AntiDepReg with NewReg.
3812973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach    assert(((KillIndices[AntiDepReg] == ~0u) != (DefIndices[AntiDepReg] == ~0u))
3822973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach           && "Kill and Def maps aren't consistent for AntiDepReg!");
3832973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach    assert(((KillIndices[NewReg] == ~0u) != (DefIndices[NewReg] == ~0u))
3842973b57093b017f2e3b5f5edd0be9d4ea180f0e9Jim Grosbach           && "Kill and Def maps aren't consistent for NewReg!");
3852e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (KillIndices[NewReg] != ~0u ||
3862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        Classes[NewReg] == reinterpret_cast<TargetRegisterClass *>(-1) ||
3872e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        KillIndices[AntiDepReg] > DefIndices[NewReg])
3882e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      continue;
3895ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt    // If NewReg overlaps any of the forbidden registers, we can't use it.
3905ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt    bool Forbidden = false;
391f22fd3f7b557a967b1edc1fa9ae770006a39e97cCraig Topper    for (SmallVectorImpl<unsigned>::iterator it = Forbid.begin(),
3925ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt           ite = Forbid.end(); it != ite; ++it)
3935ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt      if (TRI->regsOverlap(NewReg, *it)) {
3945ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt        Forbidden = true;
3955ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt        break;
3965ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt      }
3975ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt    if (Forbidden) continue;
3982e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    return NewReg;
3992e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
4002e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4012e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // No registers are free and available!
4022e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  return 0;
4032e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin}
4042e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4052e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwinunsigned CriticalAntiDepBreaker::
40666db3a0f10e96ae190c8a46a1a8d5242928d068cDan GohmanBreakAntiDependencies(const std::vector<SUnit>& SUnits,
40766db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman                      MachineBasicBlock::iterator Begin,
40866db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman                      MachineBasicBlock::iterator End,
409e29e8e100ea38be1771e5f010a5511cbb990d515Devang Patel                      unsigned InsertPosIndex,
410e29e8e100ea38be1771e5f010a5511cbb990d515Devang Patel                      DbgValueVector &DbgValues) {
4112e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // The code below assumes that there is at least one instruction,
4122e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // so just duck out immediately if the block is empty.
4132e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  if (SUnits.empty()) return 0;
4142e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
415533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach  // Keep a map of the MachineInstr*'s back to the SUnit representing them.
416533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach  // This is used for updating debug information.
417b4566a999970b514d7c6973d99e293a6625d3f70Andrew Trick  //
418b4566a999970b514d7c6973d99e293a6625d3f70Andrew Trick  // FIXME: Replace this with the existing map in ScheduleDAGInstrs::MISUnitMap
419533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach  DenseMap<MachineInstr*,const SUnit*> MISUnitMap;
420533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach
4212e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Find the node at the bottom of the critical path.
42266db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman  const SUnit *Max = 0;
4232e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  for (unsigned i = 0, e = SUnits.size(); i != e; ++i) {
42466db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman    const SUnit *SU = &SUnits[i];
425533934e06e99a86e8c93f8ec9b9d3b2c527b747eJim Grosbach    MISUnitMap[SU->getInstr()] = SU;
4262e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (!Max || SU->getDepth() + SU->Latency > Max->getDepth() + Max->Latency)
4272e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      Max = SU;
4282e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
4292e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4302e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin#ifndef NDEBUG
4312e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  {
43289d6a2426256b56780c7934ddad24e6ecc4f690aDavid Greene    DEBUG(dbgs() << "Critical path has total latency "
4332e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          << (Max->getDepth() + Max->Latency) << "\n");
43489d6a2426256b56780c7934ddad24e6ecc4f690aDavid Greene    DEBUG(dbgs() << "Available regs:");
4352e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    for (unsigned Reg = 0; Reg < TRI->getNumRegs(); ++Reg) {
4362e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      if (KillIndices[Reg] == ~0u)
43789d6a2426256b56780c7934ddad24e6ecc4f690aDavid Greene        DEBUG(dbgs() << " " << TRI->getName(Reg));
4382e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
43989d6a2426256b56780c7934ddad24e6ecc4f690aDavid Greene    DEBUG(dbgs() << '\n');
4402e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  }
4412e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin#endif
4422e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4432e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Track progress along the critical path through the SUnit graph as we walk
4442e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // the instructions.
44566db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman  const SUnit *CriticalPathSU = Max;
4462e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  MachineInstr *CriticalPathMI = CriticalPathSU->getInstr();
4472e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4482e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Consider this pattern:
4492e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4502e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4512e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4522e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4532e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4542e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4552e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4562e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4572e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // There are three anti-dependencies here, and without special care,
4582e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // we'd break all of them using the same register:
4592e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4602e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4612e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   B = ...
4622e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = B
4632e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   B = ...
4642e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = B
4652e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   B = ...
4662e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = B
4672e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // because at each anti-dependence, B is the first register that
4682e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // isn't A which is free.  This re-introduces anti-dependencies
4692e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // at all but one of the original anti-dependencies that we were
4702e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // trying to break.  To avoid this, keep track of the most recent
4712e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // register that each register was replaced with, avoid
4722e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // using it to repair an anti-dependence on the same register.
4732e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // This lets us produce this:
4742e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   A = ...
4752e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = A
4762e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   B = ...
4772e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = B
4782e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   C = ...
4792e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = C
4802e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   B = ...
4812e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //   ... = B
4822e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // This still has an anti-dependence on B, but at least it isn't on the
4832e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // original critical path.
4842e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  //
4852e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // TODO: If we tracked more than one register here, we could potentially
4862e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // fix that remaining critical edge too. This is a little more involved,
4872e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // because unlike the most recent register, less recent registers should
4882e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // still be considered, though only if no other registers are available.
4899c2a034730b289a2cf48bc91aa2ef69737a7afbbBill Wendling  std::vector<unsigned> LastNewReg(TRI->getNumRegs(), 0);
4902e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
4912e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // Attempt to break anti-dependence edges on the critical path. Walk the
4922e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // instructions from the bottom up, tracking information about liveness
4932e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  // as we go to help determine which registers are available.
4942e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  unsigned Broken = 0;
4952e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  unsigned Count = InsertPosIndex - 1;
4962e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin  for (MachineBasicBlock::iterator I = End, E = Begin;
4972e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin       I != E; --Count) {
4982e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    MachineInstr *MI = --I;
499b0812f114b83a32c4b90a4b553c7177c557558b5Dale Johannesen    if (MI->isDebugValue())
500b0812f114b83a32c4b90a4b553c7177c557558b5Dale Johannesen      continue;
5012e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
5022e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // Check if this instruction has a dependence on the critical path that
5032e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // is an anti-dependence that we may be able to break. If it is, set
5042e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // AntiDepReg to the non-zero register associated with the anti-dependence.
5052e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    //
5062e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // We limit our attention to the critical path as a heuristic to avoid
5072e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // breaking anti-dependence edges that aren't going to significantly
5082e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // impact the overall schedule. There are a limited number of registers
5092e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // and we want to save them for the important edges.
51001384ef159caa7eebff0e1d703638f2e2c862092Jim Grosbach    //
5112e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // TODO: Instructions with multiple defs could have multiple
5122e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // anti-dependencies. The current code here only knows how to break one
5132e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // edge per instruction. Note that we'd have to be able to break all of
5142e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    // the anti-dependencies in an instruction in order to be effective.
5152e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    unsigned AntiDepReg = 0;
5162e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    if (MI == CriticalPathMI) {
51766db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman      if (const SDep *Edge = CriticalPathStep(CriticalPathSU)) {
51866db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman        const SUnit *NextSU = Edge->getSUnit();
5192e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
5202e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        // Only consider anti-dependence edges.
5212e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        if (Edge->getKind() == SDep::Anti) {
5222e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          AntiDepReg = Edge->getReg();
5232e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          assert(AntiDepReg != 0 && "Anti-dependence on reg0?");
52414d1dd95c7c969e07defebb6fe65df2fae1b30cfJakob Stoklund Olesen          if (!MRI.isAllocatable(AntiDepReg))
5252e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // Don't break anti-dependencies on non-allocatable registers.
5262e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            AntiDepReg = 0;
527cff4ad768ec721b72498dc6b605d882e36c1fb14Benjamin Kramer          else if (KeepRegs.test(AntiDepReg))
5282e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // Don't break anti-dependencies if an use down below requires
5292e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // this exact register.
5302e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            AntiDepReg = 0;
5312e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          else {
5322e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // If the SUnit has other dependencies on the SUnit that it
5332e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // anti-depends on, don't bother breaking the anti-dependency
5342e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // since those edges would prevent such units from being
5352e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // scheduled past each other regardless.
5362e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            //
5372e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // Also, if there are dependencies on other SUnits with the
5382e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // same register as the anti-dependency, don't attempt to
5392e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin            // break it.
54066db3a0f10e96ae190c8a46a1a8d5242928d068cDan Gohman            for (SUnit::const_pred_iterator P = CriticalPathSU->Preds.begin(),
5412e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                 PE = CriticalPathSU->Preds.end(); P != PE; ++P)
5422e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin              if (P->getSUnit() == NextSU ?
5432e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                    (P->getKind() != SDep::Anti || P->getReg() != AntiDepReg) :
5442e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                    (P->getKind() == SDep::Data && P->getReg() == AntiDepReg)) {
5452e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                AntiDepReg = 0;
5462e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin                break;
5472e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin              }
5482e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          }
5492e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        }
5502e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        CriticalPathSU = NextSU;
5512e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        CriticalPathMI = CriticalPathSU->getInstr();
5522e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      } else {
5532e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        // We've reached the end of the critical path.
5542e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        CriticalPathSU = 0;
5552e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        CriticalPathMI = 0;
5562e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      }
5572e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    }
5582e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
5592e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    PrescanInstruction(MI);
5602e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin
5615ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt    SmallVector<unsigned, 2> ForbidRegs;
5625ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt
56346df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    // If MI's defs have a special allocation requirement, don't allow
56446df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    // any def registers to be changed. Also assume all registers
56546df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng    // defined in a call must not be changed (ABI).
5665a96b3dad2f634c9081c8b2b6c2575441dc5a2bdEvan Cheng    if (MI->isCall() || MI->hasExtraDefRegAllocReq() ||
56746df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        TII->isPredicated(MI))
5682e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // If this instruction's defs have special allocation requirement, don't
5692e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // break this anti-dependency.
5702e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      AntiDepReg = 0;
5712e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin    else if (AntiDepReg) {
5722e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      // If this instruction has a use of AntiDepReg, breaking it
5735ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt      // is invalid.  If the instruction defines other registers,
5745ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt      // save a list of them so that we don't pick a new register
5755ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt      // that overlaps any of them.
5762e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin      for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
5772e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        MachineOperand &MO = MI->getOperand(i);
5782e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        if (!MO.isReg()) continue;
5792e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        unsigned Reg = MO.getReg();
5802e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        if (Reg == 0) continue;
58146df4eb46e784036cf895db271fe29e1cf2a975aEvan Cheng        if (MO.isUse() && TRI->regsOverlap(AntiDepReg, Reg)) {
5822e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          AntiDepReg = 0;
5832e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin          break;
5842e7be612d5d0eb42ee3ae08194dbb03b750cc6bfDavid Goodwin        }
5855ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt        if (MO.isDef() && Reg != AntiDepReg)
5865ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt          ForbidRegs.push_back(Reg);
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],
6095ff776bfde2dd5d993e51f8f78904ce331b5528cBill Schmidt                                                     RC, ForbidRegs)) {
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