Line data Source code
1 : //===------ llvm/MC/MCInstrDesc.cpp- Instruction Descriptors --------------===//
2 : //
3 : // The LLVM Compiler Infrastructure
4 : //
5 : // This file is distributed under the University of Illinois Open Source
6 : // License. See LICENSE.TXT for details.
7 : //
8 : //===----------------------------------------------------------------------===//
9 : //
10 : // This file defines methods on the MCOperandInfo and MCInstrDesc classes, which
11 : // are used to describe target instructions and their operands.
12 : //
13 : //===----------------------------------------------------------------------===//
14 :
15 : #include "llvm/MC/MCInstrDesc.h"
16 : #include "llvm/MC/MCInst.h"
17 : #include "llvm/MC/MCRegisterInfo.h"
18 : #include "llvm/MC/MCSubtargetInfo.h"
19 :
20 : using namespace llvm;
21 :
22 28960 : bool MCInstrDesc::getDeprecatedInfo(MCInst &MI, const MCSubtargetInfo &STI,
23 : std::string &Info) const {
24 28960 : if (ComplexDeprecationInfo)
25 3061 : return ComplexDeprecationInfo(MI, STI, Info);
26 25899 : if (DeprecatedFeature != -1 && STI.getFeatureBits()[DeprecatedFeature]) {
27 : // FIXME: it would be nice to include the subtarget feature here.
28 : Info = "deprecated";
29 4 : return true;
30 : }
31 : return false;
32 : }
33 2625 : bool MCInstrDesc::mayAffectControlFlow(const MCInst &MI,
34 : const MCRegisterInfo &RI) const {
35 5250 : if (isBranch() || isCall() || isReturn() || isIndirectBranch())
36 : return true;
37 2165 : unsigned PC = RI.getProgramCounter();
38 2165 : if (PC == 0)
39 : return false;
40 988 : if (hasDefOfPhysReg(MI, PC, RI))
41 : return true;
42 : // A variadic instruction may define PC in the variable operand list.
43 : // There's currently no indication of which entries in a variable
44 : // list are defs and which are uses. While that's the case, this function
45 : // needs to assume they're defs in order to be conservatively correct.
46 1976 : for (int i = NumOperands, e = MI.getNumOperands(); i != e; ++i) {
47 0 : if (MI.getOperand(i).isReg() &&
48 0 : RI.isSubRegisterEq(PC, MI.getOperand(i).getReg()))
49 0 : return true;
50 : }
51 : return false;
52 : }
53 :
54 43036 : bool MCInstrDesc::hasImplicitDefOfPhysReg(unsigned Reg,
55 : const MCRegisterInfo *MRI) const {
56 43036 : if (const MCPhysReg *ImpDefs = ImplicitDefs)
57 3717 : for (; *ImpDefs; ++ImpDefs)
58 3186 : if (*ImpDefs == Reg || (MRI && MRI->isSubRegister(Reg, *ImpDefs)))
59 2321 : return true;
60 : return false;
61 : }
62 :
63 1039 : bool MCInstrDesc::hasDefOfPhysReg(const MCInst &MI, unsigned Reg,
64 : const MCRegisterInfo &RI) const {
65 1242 : for (int i = 0, e = NumDefs; i != e; ++i)
66 438 : if (MI.getOperand(i).isReg() &&
67 219 : RI.isSubRegisterEq(Reg, MI.getOperand(i).getReg()))
68 16 : return true;
69 1023 : return hasImplicitDefOfPhysReg(Reg, &RI);
70 : }
|