LLVM: lib/CodeGen/GlobalISel/GIMatchTableExecutor.cpp Source File

24 GIMatchTableExecutor::MatcherState::MatcherState(unsigned MaxRenderers)

25 : Renderers(MaxRenderers) {}

29 bool GIMatchTableExecutor::isOperandImmEqual(const MachineOperand &MO,

30 int64_t Value,

31 const MachineRegisterInfo &MRI,

32 bool Splat) const {

33 if (MO.isReg() && MO.getReg()) {

34 if (auto VRegVal = getIConstantVRegValWithLookThrough(MO.getReg(), MRI))

35 return VRegVal->Value.getSExtValue() == Value;

36

37 if (Splat) {

38 if (auto VRegVal = getIConstantSplatVal(MO.getReg(), MRI))

39 return VRegVal->getSExtValue() == Value;

40 }

41 }

42 return false;

43}

45 bool GIMatchTableExecutor::isBaseWithConstantOffset(

46 const MachineOperand &Root, const MachineRegisterInfo &MRI) const {

47 if (!Root.isReg())

48 return false;

49

50 MachineInstr *RootI = MRI.getVRegDef(Root.getReg());

51 if (RootI->getOpcode() != TargetOpcode::G_PTR_ADD)

52 return false;

53

54 MachineOperand &RHS = RootI->getOperand(2);

55 MachineInstr *RHSI = MRI.getVRegDef(RHS.getReg());

56 if (RHSI->getOpcode() != TargetOpcode::G_CONSTANT)

57 return false;

58

59 return true;

60}

62 bool GIMatchTableExecutor::isObviouslySafeToFold(MachineInstr &MI,

63 MachineInstr &IntoMI) const {

64 auto IntoMIIter = IntoMI.getIterator();

65

66 // Immediate neighbours are already folded.

67 if (MI.getParent() == IntoMI.getParent() &&

68 std::next(MI.getIterator()) == IntoMIIter)

69 return true;

70

71 // Convergent instructions cannot be moved in the CFG.

72 if (MI.isConvergent() && MI.getParent() != IntoMI.getParent())

73 return false;

74

75 if (MI.isLoadFoldBarrier())

76 return false;

77

78 // If the load is simple, check instructions between MI and IntoMI

79 if (MI.mayLoad() && MI.getParent() == IntoMI.getParent()) {

80 if (MI.memoperands_empty())

81 return false;

82 auto &MMO = **(MI.memoperands_begin());

83 if (MMO.isAtomic() || MMO.isVolatile())

84 return false;

85

86 // Ensure instructions between MI and IntoMI are not affected when combined

87 unsigned Iter = 0;

88 const unsigned MaxIter = 20;

89 for (auto &CurrMI :

90 instructionsWithoutDebug(MI.getIterator(), IntoMI.getIterator())) {

91 if (CurrMI.isLoadFoldBarrier())

92 return false;

93

94 if (Iter++ == MaxIter)

95 return false;

96 }

97

98 return true;

99 }

100

101 return !MI.mayLoad();

102}

MRI

unsigned const MachineRegisterInfo * MRI

Definition AArch64AdvSIMDScalarPass.cpp:103

Utils.h

GIMatchTableExecutor.h

MI

IRTranslator LLVM IR MI

Definition IRTranslator.cpp:110

MachineInstr.h

MachineOperand.h

MachineRegisterInfo.h

llvm::GIMatchTableExecutor::GIMatchTableExecutor

LLVM_ABI GIMatchTableExecutor()

llvm::GIMatchTableExecutor::isBaseWithConstantOffset

LLVM_ABI bool isBaseWithConstantOffset(const MachineOperand &Root, const MachineRegisterInfo &MRI) const

Return true if the specified operand is a G_PTR_ADD with a G_CONSTANT on the right-hand side.

Definition GIMatchTableExecutor.cpp:45

llvm::GIMatchTableExecutor::isOperandImmEqual

LLVM_ABI bool isOperandImmEqual(const MachineOperand &MO, int64_t Value, const MachineRegisterInfo &MRI, bool Splat=false) const

Definition GIMatchTableExecutor.cpp:29

llvm::GIMatchTableExecutor::isObviouslySafeToFold

LLVM_ABI bool isObviouslySafeToFold(MachineInstr &MI, MachineInstr &IntoMI) const

Return true if MI can obviously be folded into IntoMI.

Definition GIMatchTableExecutor.cpp:62

llvm::MachineInstr

Representation of each machine instruction.

Definition MachineInstr.h:72

llvm::MachineInstr::getOpcode

unsigned getOpcode() const

Returns the opcode of this MachineInstr.

Definition MachineInstr.h:587

llvm::MachineInstr::getParent

const MachineBasicBlock * getParent() const

Definition MachineInstr.h:359

llvm::MachineInstr::getOperand

const MachineOperand & getOperand(unsigned i) const

Definition MachineInstr.h:595

llvm::MachineOperand

MachineOperand class - Representation of each machine instruction operand.

Definition MachineOperand.h:48

llvm::MachineOperand::isReg

bool isReg() const

isReg - Tests if this is a MO_Register operand.

Definition MachineOperand.h:328

llvm::MachineOperand::getReg

Register getReg() const

getReg - Returns the register number.

Definition MachineOperand.h:368

llvm::MachineRegisterInfo

MachineRegisterInfo - Keep track of information for virtual and physical registers,...

Definition MachineRegisterInfo.h:53

llvm::Value

LLVM Value Representation.

Definition Value.h:75

llvm::ilist_node_impl::getIterator

self_iterator getIterator()

Definition ilist_node.h:123

llvm

This is an optimization pass for GlobalISel generic memory operations.

Definition AddressRanges.h:18

llvm::getIConstantSplatVal

LLVM_ABI std::optional< APInt > getIConstantSplatVal(const Register Reg, const MachineRegisterInfo &MRI)

Definition Utils.cpp:1441

llvm::ComplexDeinterleavingOperation::Splat

@ Splat

Definition ComplexDeinterleavingPass.h:42

llvm::instructionsWithoutDebug

auto instructionsWithoutDebug(IterT It, IterT End, bool SkipPseudoOp=true)

Construct a range iterator which begins at It and moves forwards until End is reached,...

Definition MachineBasicBlock.h:1515

llvm::getIConstantVRegValWithLookThrough

LLVM_ABI std::optional< ValueAndVReg > getIConstantVRegValWithLookThrough(Register VReg, const MachineRegisterInfo &MRI, bool LookThroughInstrs=true)

If VReg is defined by a statically evaluable chain of instructions rooted on a G_CONSTANT returns its...

Definition Utils.cpp:433

llvm::GIMatchTableExecutor::MatcherState::MatcherState

LLVM_ABI MatcherState(unsigned MaxRenderers)

Definition GIMatchTableExecutor.cpp:24

llvm::GIMatchTableExecutor::MatcherState::Renderers

std::vector< ComplexRendererFns::value_type > Renderers

Definition GIMatchTableExecutor.h:628