[x86] fix assert with horizontal math + broadcast of vector (PR43402)
[llvm-core.git] / lib / CodeGen / GlobalISel / InstructionSelector.cpp
blob2ad35b3a72c98d8d08854e35fdd807ad9bbbef14
1 //===- llvm/CodeGen/GlobalISel/InstructionSelector.cpp --------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 /// \file
10 /// This file implements the InstructionSelector class.
12 //===----------------------------------------------------------------------===//
14 #include "llvm/CodeGen/GlobalISel/InstructionSelector.h"
15 #include "llvm/CodeGen/GlobalISel/Utils.h"
16 #include "llvm/CodeGen/MachineBasicBlock.h"
17 #include "llvm/CodeGen/MachineFunction.h"
18 #include "llvm/CodeGen/MachineInstr.h"
19 #include "llvm/CodeGen/MachineOperand.h"
20 #include "llvm/CodeGen/MachineRegisterInfo.h"
21 #include "llvm/CodeGen/TargetRegisterInfo.h"
22 #include "llvm/MC/MCInstrDesc.h"
23 #include "llvm/Support/Debug.h"
24 #include "llvm/Support/raw_ostream.h"
25 #include <cassert>
27 #define DEBUG_TYPE "instructionselector"
29 using namespace llvm;
31 InstructionSelector::MatcherState::MatcherState(unsigned MaxRenderers)
32 : Renderers(MaxRenderers), MIs() {}
34 InstructionSelector::InstructionSelector() = default;
36 bool InstructionSelector::constrainOperandRegToRegClass(
37 MachineInstr &I, unsigned OpIdx, const TargetRegisterClass &RC,
38 const TargetInstrInfo &TII, const TargetRegisterInfo &TRI,
39 const RegisterBankInfo &RBI) const {
40 MachineBasicBlock &MBB = *I.getParent();
41 MachineFunction &MF = *MBB.getParent();
42 MachineRegisterInfo &MRI = MF.getRegInfo();
44 return constrainOperandRegClass(MF, TRI, MRI, TII, RBI, I, RC,
45 I.getOperand(OpIdx), OpIdx);
48 bool InstructionSelector::isOperandImmEqual(
49 const MachineOperand &MO, int64_t Value,
50 const MachineRegisterInfo &MRI) const {
51 if (MO.isReg() && MO.getReg())
52 if (auto VRegVal = getConstantVRegValWithLookThrough(MO.getReg(), MRI))
53 return VRegVal->Value == Value;
54 return false;
57 bool InstructionSelector::isBaseWithConstantOffset(
58 const MachineOperand &Root, const MachineRegisterInfo &MRI) const {
59 if (!Root.isReg())
60 return false;
62 MachineInstr *RootI = MRI.getVRegDef(Root.getReg());
63 if (RootI->getOpcode() != TargetOpcode::G_GEP)
64 return false;
66 MachineOperand &RHS = RootI->getOperand(2);
67 MachineInstr *RHSI = MRI.getVRegDef(RHS.getReg());
68 if (RHSI->getOpcode() != TargetOpcode::G_CONSTANT)
69 return false;
71 return true;
74 bool InstructionSelector::isObviouslySafeToFold(MachineInstr &MI,
75 MachineInstr &IntoMI) const {
76 // Immediate neighbours are already folded.
77 if (MI.getParent() == IntoMI.getParent() &&
78 std::next(MI.getIterator()) == IntoMI.getIterator())
79 return true;
81 return !MI.mayLoadOrStore() && !MI.mayRaiseFPException() &&
82 !MI.hasUnmodeledSideEffects() && empty(MI.implicit_operands());