AArch64MacroFusion.cpp

Go to the documentation of this file.

//===- AArch64MacroFusion.cpp - AArch64 Macro Fusion ----------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
/// \file This file contains the AArch64 implementation of the DAG scheduling
///  mutation to pair instructions back to back.
//
//===----------------------------------------------------------------------===//
 
#include "AArch64MacroFusion.h"
#include "AArch64Subtarget.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/CodeGen/MacroFusion.h"
#include "llvm/CodeGen/TargetInstrInfo.h"
 
#define DEBUG_TYPE "aarch64-macro-fusion"
 
using namespace llvm;
 
STATISTIC(NumFusedArithmeticBcc, "Number of arithmetic-Bcc fusions");
STATISTIC(NumFusedArithmeticCbz, "Number of arithmetic-Cbz fusions");
STATISTIC(NumFusedAES, "Number of AES fusions");
STATISTIC(NumFusedCryptoEOR, "Number of crypto-EOR fusions");
STATISTIC(NumFusedAdrpAdd, "Number of ADRP-ADD fusions");
STATISTIC(NumFusedLiterals, "Number of literal-generation fusions");
STATISTIC(NumFusedAddress, "Number of address-generation load/store fusions");
STATISTIC(NumFusedCmpCSel, "Number of compare-CSEL fusions");
STATISTIC(NumFusedFCmpFCSel, "Number of FP-compare-FCSEL fusions");
STATISTIC(NumFusedCmpCSet, "Number of compare-CSET fusions");
STATISTIC(NumFusedArithmeticLogic, "Number of arithmetic-logic fusions");
STATISTIC(NumFusedAddSub2RegAndConstOne,
          "Number of add/sub-two-register-and-constant-one fusions");
STATISTIC(NumFusedAppleSMECompute, "Number of Apple SME compute fusions");
STATISTIC(NumFusedFMinFMax, "Number of FMIN-FMAX fusions");
 
/// CMN, CMP, TST followed by Bcc
static bool isArithmeticBccPair(const MachineInstr *FirstMI,
                                const MachineInstr &SecondMI, bool CmpOnly) {
  if (SecondMI.getOpcode() != AArch64::Bcc)
    return false;
 
  // Assume the 1st instr to be a wildcard if it is unspecified.
  if (FirstMI == nullptr)
    return true;
 
  // If we're in CmpOnly mode, we only fuse arithmetic instructions that
  // discard their result.
  if (CmpOnly && FirstMI->getOperand(0).isReg() &&
      !(FirstMI->getOperand(0).getReg() == AArch64::XZR ||
        FirstMI->getOperand(0).getReg() == AArch64::WZR)) {
    return false;
  }
 
  switch (FirstMI->getOpcode()) {
  case AArch64::ADDSWri:
  case AArch64::ADDSWrr:
  case AArch64::ADDSXri:
  case AArch64::ADDSXrr:
  case AArch64::ANDSWri:
  case AArch64::ANDSWrr:
  case AArch64::ANDSXri:
  case AArch64::ANDSXrr:
  case AArch64::SUBSWri:
  case AArch64::SUBSWrr:
  case AArch64::SUBSXri:
  case AArch64::SUBSXrr:
  case AArch64::BICSWrr:
  case AArch64::BICSXrr:
    return true;
  case AArch64::ADDSWrs:
  case AArch64::ADDSXrs:
  case AArch64::ANDSWrs:
  case AArch64::ANDSXrs:
  case AArch64::SUBSWrs:
  case AArch64::SUBSXrs:
  case AArch64::BICSWrs:
  case AArch64::BICSXrs:
    // Shift value can be 0 making these behave like the "rr" variant...
    return !AArch64InstrInfo::hasShiftedReg(*FirstMI);
  }
 
  return false;
}
 
/// ALU operations followed by CBZ/CBNZ.
static bool isArithmeticCbzPair(const MachineInstr *FirstMI,
                                const MachineInstr &SecondMI) {
  if (SecondMI.getOpcode() != AArch64::CBZW &&
      SecondMI.getOpcode() != AArch64::CBZX &&
      SecondMI.getOpcode() != AArch64::CBNZW &&
      SecondMI.getOpcode() != AArch64::CBNZX &&
      SecondMI.getOpcode() != AArch64::TBZW &&
      SecondMI.getOpcode() != AArch64::TBZX &&
      SecondMI.getOpcode() != AArch64::TBNZW &&
      SecondMI.getOpcode() != AArch64::TBNZX)
    return false;
 
  // Assume the 1st instr to be a wildcard if it is unspecified.
  if (FirstMI == nullptr)
    return true;
 
  switch (FirstMI->getOpcode()) {
  case AArch64::ADDWri:
  case AArch64::ADDWrr:
  case AArch64::ADDXri:
  case AArch64::ADDXrr:
  case AArch64::ANDWri:
  case AArch64::ANDWrr:
  case AArch64::ANDXri:
  case AArch64::ANDXrr:
  case AArch64::EORWri:
  case AArch64::EORWrr:
  case AArch64::EORXri:
  case AArch64::EORXrr:
  case AArch64::ORRWri:
  case AArch64::ORRWrr:
  case AArch64::ORRXri:
  case AArch64::ORRXrr:
  case AArch64::ORNWrr:
  case AArch64::ORNXrr:
  case AArch64::SUBWri:
  case AArch64::SUBWrr:
  case AArch64::SUBXri:
  case AArch64::SUBXrr:
  case AArch64::BICWrr:
  case AArch64::BICXrr:
    return true;
  case AArch64::ADDWrs:
  case AArch64::ADDXrs:
  case AArch64::ANDWrs:
  case AArch64::ANDXrs:
  case AArch64::EORWrs:
  case AArch64::EORXrs:
  case AArch64::ORNWrs:
  case AArch64::ORNXrs:
  case AArch64::ORRWrs:
  case AArch64::ORRXrs:
  case AArch64::SUBWrs:
  case AArch64::SUBXrs:
  case AArch64::BICWrs:
  case AArch64::BICXrs:
    // Shift value can be 0 making these behave like the "rr" variant...
    return !AArch64InstrInfo::hasShiftedReg(*FirstMI);
  }
 
  return false;
}
 
// True unless the pair provably writes different physical registers. Pre-RA
// the dests are still virtual, and post-RA it requires a genuine WAW (same dest
// reg).
static bool mayHaveWAWDependency(const MachineInstr &FirstMI,
                                 const MachineInstr &SecondMI) {
  Register DestFirst = FirstMI.getOperand(0).getReg();
  Register DestSecond = SecondMI.getOperand(0).getReg();
  if (!DestFirst.isPhysical() || !DestSecond.isPhysical())
    return true;
  return DestFirst == DestSecond;
}
 
/// AES crypto encoding or decoding.
static bool isAESPair(const MachineInstr *FirstMI,
                      const MachineInstr &SecondMI) {
  // Assume the 1st instr to be a wildcard if it is unspecified.
  unsigned SecondOpcode = SecondMI.getOpcode();
  switch (SecondOpcode) {
  // AES encode.
  case AArch64::AESMCrr:
  case AArch64::AESMCrrTied:
    if (FirstMI == nullptr)
      return true;
    if (FirstMI->getOpcode() != AArch64::AESErr)
      return false;
    return SecondOpcode == AArch64::AESMCrrTied ||
           mayHaveWAWDependency(*FirstMI, SecondMI);
  // AES decode.
  case AArch64::AESIMCrr:
  case AArch64::AESIMCrrTied:
    if (FirstMI == nullptr)
      return true;
    if (FirstMI->getOpcode() != AArch64::AESDrr)
      return false;
    return SecondOpcode == AArch64::AESIMCrrTied ||
           mayHaveWAWDependency(*FirstMI, SecondMI);
  }
 
  return false;
}
 
/// AESE/AESD/PMULL + EOR.
static bool isCryptoEORPair(const MachineInstr *FirstMI,
                            const MachineInstr &SecondMI) {
  if (SecondMI.getOpcode() != AArch64::EORv16i8)
    return false;
 
  // Assume the 1st instr to be a wildcard if it is unspecified.
  if (FirstMI == nullptr)
    return true;
 
  switch (FirstMI->getOpcode()) {
  case AArch64::AESErr:
  case AArch64::AESDrr:
  case AArch64::PMULLv16i8:
  case AArch64::PMULLv8i8:
  case AArch64::PMULLv1i64:
  case AArch64::PMULLv2i64:
    return true;
  }
 
  return false;
}
 
static bool isAdrpAddPair(const MachineInstr *FirstMI,
                          const MachineInstr &SecondMI) {
  // Assume the 1st instr to be a wildcard if it is unspecified.
  if ((FirstMI == nullptr || FirstMI->getOpcode() == AArch64::ADRP) &&
      SecondMI.getOpcode() == AArch64::ADDXri)
    return true;
  return false;
}
 
/// Literal generation.
static bool isLiteralsPair(const MachineInstr *FirstMI,
                           const MachineInstr &SecondMI) {
  // Assume the 1st instr to be a wildcard if it is unspecified.
  // 32 bit immediate.
  if ((FirstMI == nullptr || FirstMI->getOpcode() == AArch64::MOVZWi) &&
      (SecondMI.getOpcode() == AArch64::MOVKWi &&
       SecondMI.getOperand(3).getImm() == 16))
    return true;
 
  // Lower half of 64 bit immediate.
  if((FirstMI == nullptr || FirstMI->getOpcode() == AArch64::MOVZXi) &&
     (SecondMI.getOpcode() == AArch64::MOVKXi &&
      SecondMI.getOperand(3).getImm() == 16))
    return true;
 
  // Upper half of 64 bit immediate.
  if ((FirstMI == nullptr ||
       (FirstMI->getOpcode() == AArch64::MOVKXi &&
        FirstMI->getOperand(3).getImm() == 32)) &&
      (SecondMI.getOpcode() == AArch64::MOVKXi &&
       SecondMI.getOperand(3).getImm() == 48))
    return true;
 
  return false;
}
 
/// Fuse address generation and loads or stores.
static bool isAddressLdStPair(const MachineInstr *FirstMI,
                              const MachineInstr &SecondMI) {
  switch (SecondMI.getOpcode()) {
  case AArch64::STRBBui:
  case AArch64::STRBui:
  case AArch64::STRDui:
  case AArch64::STRHHui:
  case AArch64::STRHui:
  case AArch64::STRQui:
  case AArch64::STRSui:
  case AArch64::STRWui:
  case AArch64::STRXui:
  case AArch64::LDRBBui:
  case AArch64::LDRBui:
  case AArch64::LDRDui:
  case AArch64::LDRHHui:
  case AArch64::LDRHui:
  case AArch64::LDRQui:
  case AArch64::LDRSui:
  case AArch64::LDRWui:
  case AArch64::LDRXui:
  case AArch64::LDRSBWui:
  case AArch64::LDRSBXui:
  case AArch64::LDRSHWui:
  case AArch64::LDRSHXui:
  case AArch64::LDRSWui:
    // Assume the 1st instr to be a wildcard if it is unspecified.
    if (FirstMI == nullptr)
      return true;
 
   switch (FirstMI->getOpcode()) {
    case AArch64::ADR:
      return SecondMI.getOperand(2).getImm() == 0;
    case AArch64::ADRP:
      return true;
    }
  }
 
  return false;
}
 
/// Compare and conditional select.
static bool isCmpCSelPair(const MachineInstr *FirstMI,
                          const MachineInstr &SecondMI) {
  // 32 bits
  if (SecondMI.getOpcode() == AArch64::CSELWr) {
    // Assume the 1st instr to be a wildcard if it is unspecified.
    if (FirstMI == nullptr)
      return true;
 
    if (FirstMI->definesRegister(AArch64::WZR, /*TRI=*/nullptr))
      switch (FirstMI->getOpcode()) {
      case AArch64::SUBSWrs:
        return !AArch64InstrInfo::hasShiftedReg(*FirstMI);
      case AArch64::SUBSWrx:
        return !AArch64InstrInfo::hasExtendedReg(*FirstMI);
      case AArch64::SUBSWrr:
      case AArch64::SUBSWri:
        return true;
      }
  }
 
  // 64 bits
  if (SecondMI.getOpcode() == AArch64::CSELXr) {
    // Assume the 1st instr to be a wildcard if it is unspecified.
    if (FirstMI == nullptr)
      return true;
 
    if (FirstMI->definesRegister(AArch64::XZR, /*TRI=*/nullptr))
      switch (FirstMI->getOpcode()) {
      case AArch64::SUBSXrs:
        return !AArch64InstrInfo::hasShiftedReg(*FirstMI);
      case AArch64::SUBSXrx:
      case AArch64::SUBSXrx64:
        return !AArch64InstrInfo::hasExtendedReg(*FirstMI);
      case AArch64::SUBSXrr:
      case AArch64::SUBSXri:
        return true;
      }
  }
 
  return false;
}
 
/// Floating-point compare and floating-point conditional select.
static bool isFCmpFCSelPair(const MachineInstr *FirstMI,
                            const MachineInstr &SecondMI) {
  switch (SecondMI.getOpcode()) {
  case AArch64::FCSELSrrr:
  case AArch64::FCSELDrrr:
  case AArch64::FCSELHrrr:
    break;
  default:
    return false;
  }
 
  // Assume the 1st instr to be a wildcard if it is unspecified.
  if (FirstMI == nullptr)
    return true;
 
  switch (FirstMI->getOpcode()) {
  case AArch64::FCMPSrr:
  case AArch64::FCMPDrr:
  case AArch64::FCMPESrr:
  case AArch64::FCMPEDrr:
  case AArch64::FCMPHrr:
  case AArch64::FCMPEHrr:
    return true;
  default:
    return false;
  }
}
 
/// Compare and cset.
static bool isCmpCSetPair(const MachineInstr *FirstMI,
                          const MachineInstr &SecondMI) {
  if ((SecondMI.getOpcode() == AArch64::CSINCWr &&
       SecondMI.getOperand(1).getReg() == AArch64::WZR &&
       SecondMI.getOperand(2).getReg() == AArch64::WZR) ||
      (SecondMI.getOpcode() == AArch64::CSINCXr &&
       SecondMI.getOperand(1).getReg() == AArch64::XZR &&
       SecondMI.getOperand(2).getReg() == AArch64::XZR)) {
    // Assume the 1st instr to be a wildcard if it is unspecified.
    if (FirstMI == nullptr)
      return true;
 
    if (FirstMI->definesRegister(AArch64::WZR, /*TRI=*/nullptr) ||
        FirstMI->definesRegister(AArch64::XZR, /*TRI=*/nullptr))
      switch (FirstMI->getOpcode()) {
      case AArch64::SUBSWrs:
      case AArch64::SUBSXrs:
        return !AArch64InstrInfo::hasShiftedReg(*FirstMI);
      case AArch64::SUBSWrx:
      case AArch64::SUBSXrx:
      case AArch64::SUBSXrx64:
        return !AArch64InstrInfo::hasExtendedReg(*FirstMI);
      case AArch64::SUBSWri:
      case AArch64::SUBSWrr:
      case AArch64::SUBSXri:
      case AArch64::SUBSXrr:
        return true;
      }
  }
 
  return false;
}
 
// Arithmetic and logic.
static bool isArithmeticLogicPair(const MachineInstr *FirstMI,
                                  const MachineInstr &SecondMI) {
  if (AArch64InstrInfo::hasShiftedReg(SecondMI))
    return false;
 
  switch (SecondMI.getOpcode()) {
  // Arithmetic
  case AArch64::ADDWrr:
  case AArch64::ADDXrr:
  case AArch64::SUBWrr:
  case AArch64::SUBXrr:
  case AArch64::ADDWrs:
  case AArch64::ADDXrs:
  case AArch64::SUBWrs:
  case AArch64::SUBXrs:
  // Logic
  case AArch64::ANDWrr:
  case AArch64::ANDXrr:
  case AArch64::BICWrr:
  case AArch64::BICXrr:
  case AArch64::EONWrr:
  case AArch64::EONXrr:
  case AArch64::EORWrr:
  case AArch64::EORXrr:
  case AArch64::ORNWrr:
  case AArch64::ORNXrr:
  case AArch64::ORRWrr:
  case AArch64::ORRXrr:
  case AArch64::ANDWrs:
  case AArch64::ANDXrs:
  case AArch64::BICWrs:
  case AArch64::BICXrs:
  case AArch64::EONWrs:
  case AArch64::EONXrs:
  case AArch64::EORWrs:
  case AArch64::EORXrs:
  case AArch64::ORNWrs:
  case AArch64::ORNXrs:
  case AArch64::ORRWrs:
  case AArch64::ORRXrs:
    // Assume the 1st instr to be a wildcard if it is unspecified.
    if (FirstMI == nullptr)
      return true;
 
    // Arithmetic
    switch (FirstMI->getOpcode()) {
    case AArch64::ADDWrr:
    case AArch64::ADDXrr:
    case AArch64::ADDSWrr:
    case AArch64::ADDSXrr:
    case AArch64::SUBWrr:
    case AArch64::SUBXrr:
    case AArch64::SUBSWrr:
    case AArch64::SUBSXrr:
      return true;
    case AArch64::ADDWrs:
    case AArch64::ADDXrs:
    case AArch64::ADDSWrs:
    case AArch64::ADDSXrs:
    case AArch64::SUBWrs:
    case AArch64::SUBXrs:
    case AArch64::SUBSWrs:
    case AArch64::SUBSXrs:
      return !AArch64InstrInfo::hasShiftedReg(*FirstMI);
    }
    break;
 
  // Arithmetic, setting flags.
  case AArch64::ADDSWrr:
  case AArch64::ADDSXrr:
  case AArch64::SUBSWrr:
  case AArch64::SUBSXrr:
  case AArch64::ADDSWrs:
  case AArch64::ADDSXrs:
  case AArch64::SUBSWrs:
  case AArch64::SUBSXrs:
    // Assume the 1st instr to be a wildcard if it is unspecified.
    if (FirstMI == nullptr)
      return true;
 
    // Arithmetic, not setting flags.
    switch (FirstMI->getOpcode()) {
    case AArch64::ADDWrr:
    case AArch64::ADDXrr:
    case AArch64::SUBWrr:
    case AArch64::SUBXrr:
      return true;
    case AArch64::ADDWrs:
    case AArch64::ADDXrs:
    case AArch64::SUBWrs:
    case AArch64::SUBXrs:
      return !AArch64InstrInfo::hasShiftedReg(*FirstMI);
    }
    break;
  }
 
  return false;
}
 
// "(A + B) + 1" or "(A - B) - 1"
static bool isAddSub2RegAndConstOnePair(const MachineInstr *FirstMI,
                                        const MachineInstr &SecondMI) {
  bool NeedsSubtract = false;
 
  // The 2nd instr must be an add-immediate or subtract-immediate.
  switch (SecondMI.getOpcode()) {
  case AArch64::SUBWri:
  case AArch64::SUBXri:
    NeedsSubtract = true;
    [[fallthrough]];
  case AArch64::ADDWri:
  case AArch64::ADDXri:
    break;
 
  default:
    return false;
  }
 
  // The immediate in the 2nd instr must be "1".
  if (!SecondMI.getOperand(2).isImm() || SecondMI.getOperand(2).getImm() != 1) {
    return false;
  }
 
  // Assume the 1st instr to be a wildcard if it is unspecified.
  if (FirstMI == nullptr) {
    return true;
  }
 
  switch (FirstMI->getOpcode()) {
  case AArch64::SUBWrs:
  case AArch64::SUBXrs:
    if (AArch64InstrInfo::hasShiftedReg(*FirstMI))
      return false;
    [[fallthrough]];
  case AArch64::SUBWrr:
  case AArch64::SUBXrr:
    if (NeedsSubtract) {
      return true;
    }
    break;
 
  case AArch64::ADDWrs:
  case AArch64::ADDXrs:
    if (AArch64InstrInfo::hasShiftedReg(*FirstMI))
      return false;
    [[fallthrough]];
  case AArch64::ADDWrr:
  case AArch64::ADDXrr:
    if (!NeedsSubtract) {
      return true;
    }
    break;
  }
 
  return false;
}
 
static bool definesRegInClass(const MachineInstr &MI,
                              const TargetRegisterInfo *TRI,
                              const TargetRegisterClass &Class) {
  return llvm::any_of(Class, [&MI, TRI](MCPhysReg Reg) {
    return MI.definesRegister(Reg, TRI);
  });
}
 
static bool readsRegInClass(const MachineInstr &MI,
                            const TargetRegisterInfo *TRI,
                            const TargetRegisterClass &Class) {
  return llvm::any_of(
      Class, [&MI, TRI](MCPhysReg Reg) { return MI.readsRegister(Reg, TRI); });
}
 
static bool isFusableAppleSMEComputeOp(const MachineInstr &MI,
                                       const TargetInstrInfo &TII,
                                       const TargetRegisterInfo *TRI) {
  const bool ReadOrWriteZA = MI.readsRegister(AArch64::ZA, TRI) ||
                             MI.definesRegister(AArch64::ZA, TRI);
 
  // (read/write ZA or read/write Z)
  if (!ReadOrWriteZA && !definesRegInClass(MI, TRI, AArch64::ZPRRegClass))
    return false;
 
  // (NOT load/store)
  if (MI.mayLoad() || MI.mayStore())
    return false;
 
  // (NOT write P)
  if (definesRegInClass(MI, TRI, AArch64::PPRRegClass))
    return false;
 
  // (NOT write GPR)
  const bool WriteGPR = definesRegInClass(MI, TRI, AArch64::GPR32RegClass) ||
                        definesRegInClass(MI, TRI, AArch64::GPR64RegClass);
  if (WriteGPR)
    return false;
 
  // (NOT read/write NZCV)
  if (MI.readsRegister(AArch64::NZCV, TRI) ||
      MI.definesRegister(AArch64::NZCV, TRI))
    return false;
 
  const bool ReadGPR = readsRegInClass(MI, TRI, AArch64::GPR32RegClass) &&
                       readsRegInClass(MI, TRI, AArch64::GPR64RegClass);
 
  // ( (NOT read GPR) or read/write ZA )
  if (ReadGPR && !ReadOrWriteZA)
    return false;
 
  return true;
}
 
static bool isAppleSMEComputePair(const MachineInstr *FirstMI,
                                  const MachineInstr &SecondMI,
                                  const TargetInstrInfo &TII,
                                  const TargetRegisterInfo *TRI) {
  if (!isFusableAppleSMEComputeOp(SecondMI, TII, TRI))
    return false;
  // Assume the 1st instr to be a wildcard if it is unspecified.
  if (FirstMI == nullptr)
    return true;
  if (isFusableAppleSMEComputeOp(*FirstMI, TII, TRI))
    return true;
  return false;
}
 
// Floating-point minimum or maximum, scalar (H/S/D) or vector (Vd).
static bool isFMinFMax(unsigned Opcode) {
  switch (Opcode) {
  // Scalar.
  case AArch64::FMAXHrr:
  case AArch64::FMAXSrr:
  case AArch64::FMAXDrr:
  case AArch64::FMINHrr:
  case AArch64::FMINSrr:
  case AArch64::FMINDrr:
  // Vector.
  case AArch64::FMAXv4f16:
  case AArch64::FMAXv8f16:
  case AArch64::FMAXv2f32:
  case AArch64::FMAXv4f32:
  case AArch64::FMAXv2f64:
  case AArch64::FMINv4f16:
  case AArch64::FMINv8f16:
  case AArch64::FMINv2f32:
  case AArch64::FMINv4f32:
  case AArch64::FMINv2f64:
    return true;
  }
  return false;
}
 
// FMIN + FMAX.
static bool isFMinFMaxPair(const MachineInstr *FirstMI,
                           const MachineInstr &SecondMI) {
  if (!isFMinFMax(SecondMI.getOpcode()))
    return false;
 
  // Assume the 1st instr to be a wildcard if it is unspecified.
  if (FirstMI == nullptr)
    return true;
 
  if (!isFMinFMax(FirstMI->getOpcode()))
    return false;
 
  return mayHaveWAWDependency(*FirstMI, SecondMI);
}
 
/// \brief Check if the instr pair, FirstMI and SecondMI, should be fused
/// together. Given SecondMI, when FirstMI is unspecified, then check if
/// SecondMI may be part of a fused pair at all.
static bool shouldScheduleAdjacent(const TargetInstrInfo &TII,
                                   const TargetSubtargetInfo &TSI,
                                   const MachineInstr *FirstMI,
                                   const MachineInstr &SecondMI,
                                   const SDep *Dep) {
  const AArch64Subtarget &ST = static_cast<const AArch64Subtarget&>(TSI);
  const TargetRegisterInfo *TRI = TSI.getRegisterInfo();
 
  // All checking functions assume that the 1st instr is a wildcard if it is
  // unspecified.
 
  // FuseAppleSMECompute does not require a specific dependency kind
  if (ST.hasFuseAppleSMECompute() &&
      isAppleSMEComputePair(FirstMI, SecondMI, TII, TRI)) {
    ++NumFusedAppleSMECompute;
    return true;
  }
 
  // All the other fusions require RAW dependency
  if (isNonDataDep(Dep))
    return false;
 
  if (ST.hasCmpBccFusion() || ST.hasArithmeticBccFusion()) {
    bool CmpOnly = !ST.hasArithmeticBccFusion();
    if (isArithmeticBccPair(FirstMI, SecondMI, CmpOnly)) {
      ++NumFusedArithmeticBcc;
      return true;
    }
  }
  if (ST.hasArithmeticCbzFusion() && isArithmeticCbzPair(FirstMI, SecondMI)) {
    ++NumFusedArithmeticCbz;
    return true;
  }
  if (ST.hasFuseAES() && isAESPair(FirstMI, SecondMI)) {
    ++NumFusedAES;
    return true;
  }
  if (ST.hasFuseCryptoEOR() && isCryptoEORPair(FirstMI, SecondMI)) {
    ++NumFusedCryptoEOR;
    return true;
  }
  if (ST.hasFuseAdrpAdd() && isAdrpAddPair(FirstMI, SecondMI)) {
    ++NumFusedAdrpAdd;
    return true;
  }
  if (ST.hasFuseLiterals() && isLiteralsPair(FirstMI, SecondMI)) {
    ++NumFusedLiterals;
    return true;
  }
  if (ST.hasFuseAddress() && isAddressLdStPair(FirstMI, SecondMI)) {
    ++NumFusedAddress;
    return true;
  }
  if (ST.hasFuseCmpCSel() && isCmpCSelPair(FirstMI, SecondMI)) {
    ++NumFusedCmpCSel;
    return true;
  }
  if (ST.hasFuseFCmpFCSel() && isFCmpFCSelPair(FirstMI, SecondMI)) {
    ++NumFusedFCmpFCSel;
    return true;
  }
  if (ST.hasFuseCmpCSet() && isCmpCSetPair(FirstMI, SecondMI)) {
    ++NumFusedCmpCSet;
    return true;
  }
  if (ST.hasFuseArithmeticLogic() && isArithmeticLogicPair(FirstMI, SecondMI)) {
    ++NumFusedArithmeticLogic;
    return true;
  }
  if (ST.hasFuseAddSub2RegAndConstOne() &&
      isAddSub2RegAndConstOnePair(FirstMI, SecondMI)) {
    ++NumFusedAddSub2RegAndConstOne;
    return true;
  }
  if (ST.hasFuseFMinFMax() && isFMinFMaxPair(FirstMI, SecondMI)) {
    ++NumFusedFMinFMax;
    return true;
  }
 
  return false;
}
 
std::unique_ptr<ScheduleDAGMutation>
llvm::createAArch64MacroFusionDAGMutation() {
  return createMacroFusionDAGMutation(shouldScheduleAdjacent);
}