36#define DEBUG_TYPE "mccodeemitter"
40enum PrefixKind {
None, REX, REX2, XOP, VEX2, VEX3, EVEX };
44class X86OpcodePrefixHelper {
159 unsigned EVEX_L2 : 1;
161 unsigned EVEX_V2 : 1;
162 unsigned EVEX_aaa : 3;
163 PrefixKind Kind =
None;
166 unsigned getRegEncoding(
const MCInst &
MI,
unsigned OpNum)
const {
170 void setR(
unsigned Encoding) { R = Encoding >> 3 & 1; }
171 void setR2(
unsigned Encoding) {
172 R2 = Encoding >> 4 & 1;
173 assert((!
R2 || (Kind <= REX2 || Kind == EVEX)) &&
"invalid setting");
175 void setX(
unsigned Encoding) {
X = Encoding >> 3 & 1; }
176 void setX2(
unsigned Encoding) {
177 assert((Kind <= REX2 || Kind == EVEX) &&
"invalid setting");
178 X2 = Encoding >> 4 & 1;
180 void setB(
unsigned Encoding) {
B = Encoding >> 3 & 1; }
181 void setB2(
unsigned Encoding) {
182 assert((Kind <= REX2 || Kind == EVEX) &&
"invalid setting");
183 B2 = Encoding >> 4 & 1;
185 void set4V(
unsigned Encoding) { VEX_4V = Encoding & 0xf; }
186 void setV2(
unsigned Encoding) { EVEX_V2 = Encoding >> 4 & 1; }
189 void setW(
bool V) { W = V; }
190 void setR(
const MCInst &
MI,
unsigned OpNum) {
191 setR(getRegEncoding(
MI, OpNum));
193 void setX(
const MCInst &
MI,
unsigned OpNum,
unsigned Shift = 3) {
199 X = Encoding >> Shift & 1;
201 void setB(
const MCInst &
MI,
unsigned OpNum) {
202 B = getRegEncoding(
MI, OpNum) >> 3 & 1;
204 void set4V(
const MCInst &
MI,
unsigned OpNum,
bool IsImm =
false) {
207 set4V(~(
MI.getOperand(OpNum).getImm()));
209 set4V(getRegEncoding(
MI, OpNum));
211 void setL(
bool V) { VEX_L = V; }
212 void setPP(
unsigned V) { VEX_PP = V; }
213 void set5M(
unsigned V) { VEX_5M = V; }
214 void setR2(
const MCInst &
MI,
unsigned OpNum) {
215 setR2(getRegEncoding(
MI, OpNum));
217 void setRR2(
const MCInst &
MI,
unsigned OpNum) {
218 unsigned Encoding = getRegEncoding(
MI, OpNum);
222 void setM(
bool V) { M = V; }
223 void setXX2(
const MCInst &
MI,
unsigned OpNum) {
231 void setBB2(
const MCInst &
MI,
unsigned OpNum) {
239 void setZ(
bool V) { EVEX_z = V; }
240 void setL2(
bool V) { EVEX_L2 = V; }
241 void setEVEX_b(
bool V) { EVEX_b = V; }
242 void setEVEX_U(
bool V) { X2 = V; }
243 void setV2(
const MCInst &
MI,
unsigned OpNum,
bool HasVEX_4V) {
252 void set4VV2(
const MCInst &
MI,
unsigned OpNum) {
253 unsigned Encoding = getRegEncoding(
MI, OpNum);
257 void setAAA(
const MCInst &
MI,
unsigned OpNum) {
258 EVEX_aaa = getRegEncoding(
MI, OpNum);
260 void setNF(
bool V) { EVEX_aaa |= V << 2; }
261 void setSC(
const MCInst &
MI,
unsigned OpNum) {
262 unsigned Encoding =
MI.getOperand(OpNum).getImm();
263 EVEX_V2 = ~(Encoding >> 3) & 0x1;
264 EVEX_aaa = Encoding & 0x7;
268 : W(0), R(0),
X(0),
B(0), M(0),
R2(0), X2(0), B2(0), VEX_4V(0), VEX_L(0),
269 VEX_PP(0), VEX_5M(0), EVEX_z(0), EVEX_L2(0), EVEX_b(0), EVEX_V2(0),
270 EVEX_aaa(0), MRI(MRI) {}
272 void setLowerBound(PrefixKind
K) { Kind =
K; }
274 PrefixKind determineOptimalKind() {
280 Kind = (
R2 | X2 | B2) ? REX2 : (W | R |
X |
B) ? REX :
None;
283 Kind = (
R2 | X2 | B2) ? REX2 : REX;
291 Kind = (W |
X |
B | (VEX_5M != 1)) ? VEX3 : VEX2;
299 ((~R) & 0x1) << 7 | ((~
X) & 0x1) << 6 | ((
~B) & 0x1) << 5;
300 uint8_t LastPayload = ((~VEX_4V) & 0xf) << 3 | VEX_L << 2 | VEX_PP;
305 emitByte(0x40 | W << 3 | R << 2 |
X << 1 |
B, CB);
309 emitByte(M << 7 |
R2 << 6 | X2 << 5 | B2 << 4 | W << 3 | R << 2 |
X << 1 |
315 emitByte(((~R) & 1) << 7 | LastPayload, CB);
319 emitByte(Kind == VEX3 ? 0xC4 : 0x8F, CB);
320 emitByte(FirstPayload | VEX_5M, CB);
321 emitByte(W << 7 | LastPayload, CB);
324 assert(VEX_5M && !(VEX_5M & 0x8) &&
"invalid mmm fields for EVEX!");
326 emitByte(FirstPayload | ((~
R2) & 0x1) << 4 | B2 << 3 | VEX_5M, CB);
327 emitByte(W << 7 | ((~VEX_4V) & 0xf) << 3 | ((~X2) & 0x1) << 2 | VEX_PP,
329 emitByte(EVEX_z << 7 | EVEX_L2 << 6 | VEX_L << 5 | EVEX_b << 4 |
330 ((~EVEX_V2) & 0x1) << 3 | EVEX_aaa,
343 : MCII(mcii), Ctx(ctx) {}
344 X86MCCodeEmitter(
const X86MCCodeEmitter &) =
delete;
345 X86MCCodeEmitter &operator=(
const X86MCCodeEmitter &) =
delete;
346 ~X86MCCodeEmitter()
override =
default;
356 unsigned getX86RegNum(
const MCOperand &MO)
const;
358 unsigned getX86RegEncoding(
const MCInst &
MI,
unsigned OpNum)
const;
365 void emitRegModRMByte(
const MCOperand &ModRMReg,
unsigned RegOpcodeFld,
368 void emitSIBByte(
unsigned SS,
unsigned Index,
unsigned Base,
371 void emitMemModRMByte(
const MCInst &
MI,
unsigned Op,
unsigned RegOpcodeField,
376 bool ForceSIB =
false)
const;
381 PrefixKind emitVEXOpcodePrefix(
int MemOperand,
const MCInst &
MI,
385 void emitSegmentOverridePrefix(
unsigned SegOperand,
const MCInst &
MI,
388 PrefixKind emitOpcodePrefix(
int MemOperand,
const MCInst &
MI,
392 PrefixKind emitREXPrefix(
int MemOperand,
const MCInst &
MI,
400 assert(
Mod < 4 && RegOpcode < 8 && RM < 8 &&
"ModRM Fields out of range!");
401 return RM | (RegOpcode << 3) | (
Mod << 6);
407 for (
unsigned i = 0; i !=
Size; ++i) {
408 emitByte(Val & 255, CB);
463 if (S.
getName() !=
"_GLOBAL_OFFSET_TABLE_")
479 unsigned Opcode =
MI.getOpcode();
481 if ((Opcode != X86::CALL64pcrel32 && Opcode != X86::JMP_4 &&
482 Opcode != X86::JCC_4) ||
496unsigned X86MCCodeEmitter::getX86RegNum(
const MCOperand &MO)
const {
500unsigned X86MCCodeEmitter::getX86RegEncoding(
const MCInst &
MI,
501 unsigned OpNum)
const {
505void X86MCCodeEmitter::emitImmediate(
const MCOperand &DispOp, SMLoc Loc,
508 SmallVectorImpl<char> &CB,
509 SmallVectorImpl<MCFixup> &Fixups,
510 int ImmOffset)
const {
523 const MCExpr *Expr =
nullptr;
524 if (DispOp.
isImm()) {
552 ImmOffset =
static_cast<int>(CB.
size() - StartByte);
558 const MCBinaryExpr *
Bin =
static_cast<const MCBinaryExpr *
>(Expr);
576void X86MCCodeEmitter::emitRegModRMByte(
const MCOperand &ModRMReg,
577 unsigned RegOpcodeFld,
578 SmallVectorImpl<char> &CB)
const {
579 emitByte(
modRMByte(3, RegOpcodeFld, getX86RegNum(ModRMReg)), CB);
582void X86MCCodeEmitter::emitSIBByte(
unsigned SS,
unsigned Index,
unsigned Base,
583 SmallVectorImpl<char> &CB)
const {
588void X86MCCodeEmitter::emitMemModRMByte(
589 const MCInst &
MI,
unsigned Op,
unsigned RegOpcodeField,
uint64_t TSFlags,
590 PrefixKind Kind,
uint64_t StartByte, SmallVectorImpl<char> &CB,
591 SmallVectorImpl<MCFixup> &Fixups,
const MCSubtargetInfo &STI,
592 bool ForceSIB)
const {
600 if (BaseReg == X86::RIP ||
601 BaseReg == X86::EIP) {
603 "Rip-relative addressing requires 64-bit mode");
604 assert(!IndexReg.
getReg() && !ForceSIB &&
"Invalid rip-relative address");
605 emitByte(
modRMByte(0, RegOpcodeField, 5), CB);
607 unsigned Opcode =
MI.getOpcode();
637 case X86::TAILJMPm64:
651 case X86::ADD64rm_NF:
652 case X86::ADD64rm_ND:
653 case X86::ADD64mr_ND:
654 case X86::ADD64mr_NF_ND:
655 case X86::ADD64rm_NF_ND:
671 emitImmediate(Disp,
MI.getLoc(),
FixupKind,
true, StartByte, CB, Fixups,
676 unsigned BaseRegNo =
BaseReg ? getX86RegNum(
Base) : -1U;
678 bool IsAdSize16 = STI.
hasFeature(X86::Is32Bit) &&
696 static const unsigned R16Table[] = {0, 0, 0, 7, 0, 6, 4, 5};
697 unsigned RMfield = R16Table[BaseRegNo];
699 assert(RMfield &&
"invalid 16-bit base register");
702 unsigned IndexReg16 = R16Table[getX86RegNum(IndexReg)];
704 assert(IndexReg16 &&
"invalid 16-bit index register");
706 assert(((IndexReg16 ^ RMfield) & 2) &&
707 "invalid 16-bit base/index register combination");
709 "invalid scale for 16-bit memory reference");
713 RMfield = (RMfield & 1) | ((7 - IndexReg16) << 1);
715 RMfield = (IndexReg16 & 1) | ((7 - RMfield) << 1);
719 if (Disp.
getImm() == 0 && RMfield != 6) {
721 emitByte(
modRMByte(0, RegOpcodeField, RMfield), CB);
725 emitByte(
modRMByte(1, RegOpcodeField, RMfield), CB);
726 emitImmediate(Disp,
MI.getLoc(),
FK_Data_1,
false, StartByte, CB,
731 emitByte(
modRMByte(2, RegOpcodeField, RMfield), CB);
733 assert(!IndexReg.
getReg() &&
"Unexpected index register!");
735 emitByte(
modRMByte(0, RegOpcodeField, 6), CB);
739 emitImmediate(Disp,
MI.getLoc(),
FK_Data_2,
false, StartByte, CB, Fixups);
748 bool AllowNoDisp = !UseDisp8 && !UseDisp32;
750 bool AllowDisp8 = !UseDisp32;
756 emitByte(
modRMByte(0, RegOpcodeField, 5), CB);
757 emitImmediate(Disp,
MI.getLoc(),
FK_Data_4,
false, StartByte, CB, Fixups);
767 if (Disp.
isImm() && Disp.
getImm() == 0 && AllowNoDisp) {
768 emitByte(
modRMByte(0, RegOpcodeField, BaseRegNo), CB);
779 emitByte(
modRMByte(0, RegOpcodeField, BaseRegNo), CB);
789 if (Disp.
isImm() && AllowDisp8) {
792 emitByte(
modRMByte(1, RegOpcodeField, BaseRegNo), CB);
793 emitImmediate(Disp,
MI.getLoc(),
FK_Data_1,
false, StartByte, CB,
802 emitByte(
modRMByte(2, RegOpcodeField, BaseRegNo), CB);
803 unsigned Opcode =
MI.getOpcode();
813 "Cannot use ESP as index reg!");
815 bool ForceDisp32 =
false;
816 bool ForceDisp8 =
false;
822 emitByte(
modRMByte(0, RegOpcodeField, 4), CB);
824 }
else if (Disp.
isImm() && Disp.
getImm() == 0 && AllowNoDisp &&
831 emitByte(
modRMByte(0, RegOpcodeField, 4), CB);
832 }
else if (Disp.
isImm() && AllowDisp8 &&
837 emitByte(
modRMByte(1, RegOpcodeField, 4), CB);
841 emitByte(
modRMByte(2, RegOpcodeField, 4), CB);
846 static const unsigned SSTable[] = {~0
U, 0, 1, ~0
U, 2, ~0
U, ~0
U, ~0
U, 3};
847 unsigned SS = SSTable[Scale.
getImm()];
849 unsigned IndexRegNo = IndexReg.
getReg() ? getX86RegNum(IndexReg) : 4;
851 emitSIBByte(SS, IndexRegNo, BaseRegNo, CB);
855 emitImmediate(Disp,
MI.getLoc(),
FK_Data_1,
false, StartByte, CB, Fixups,
857 else if (ForceDisp32)
866PrefixKind X86MCCodeEmitter::emitPrefixImpl(
const MCInst &
MI,
867 const MCSubtargetInfo &STI,
868 SmallVectorImpl<char> &CB)
const {
869 const MCInstrDesc &
Desc = MCII.
get(
MI.getOpcode());
874 if (MemoryOperand != -1)
878 unsigned Flags =
MI.getFlags();
895 if (
MI.getOperand(2).getReg() != X86::DS)
896 emitSegmentOverridePrefix(2,
MI, CB);
900 if (
MI.getOperand(1).getReg() != X86::DS)
901 emitSegmentOverridePrefix(1,
MI, CB);
905 emitSegmentOverridePrefix(1,
MI, CB);
912 ? emitVEXOpcodePrefix(MemoryOperand,
MI, STI, CB)
913 : emitOpcodePrefix(MemoryOperand,
MI, STI, CB);
930X86MCCodeEmitter::emitVEXOpcodePrefix(
int MemOperand,
const MCInst &
MI,
931 const MCSubtargetInfo &STI,
932 SmallVectorImpl<char> &CB)
const {
933 const MCInstrDesc &
Desc = MCII.
get(
MI.getOpcode());
939 unsigned NumOps =
MI.getNumOperands();
942 const MCOperand &MO =
MI.getOperand(
I);
946 if (
Reg == X86::AH ||
Reg == X86::BH ||
Reg == X86::CH ||
Reg == X86::DH)
948 "Cannot encode high byte register in VEX/EVEX-prefixed instruction");
957 Prefix.setLowerBound(XOP);
964 Prefix.setLowerBound(EVEX);
1029 bool EncodeRC =
false;
1030 uint8_t EVEX_rc = 0;
1072 if (!IsND && HasVEX_4V)
1076 if (HasTwoConditionalOps) {
1104 if (!IsND && HasVEX_4V)
1111 if (HasTwoConditionalOps) {
1156 if (HasTwoConditionalOps) {
1181 if (!IsND && HasVEX_4V)
1188 if (HasTwoConditionalOps) {
1196 unsigned RcOperand =
NumOps - 1;
1197 assert(RcOperand >= CurOp);
1198 EVEX_rc =
MI.getOperand(RcOperand).getImm();
1199 assert(EVEX_rc <= 3 &&
"Invalid rounding control!");
1243 if (!IsND && HasVEX_4V)
1247 if (HasTwoConditionalOps) {
1282 if (HasTwoConditionalOps) {
1290 Prefix.setL(EVEX_rc & 0x1);
1291 Prefix.setL2(EVEX_rc & 0x2);
1293 PrefixKind
Kind =
Prefix.determineOptimalKind();
1304PrefixKind X86MCCodeEmitter::emitREXPrefix(
int MemOperand,
const MCInst &
MI,
1305 const MCSubtargetInfo &STI,
1306 SmallVectorImpl<char> &CB)
const {
1310 const MCInstrDesc &
Desc = MCII.
get(
MI.getOpcode());
1313 unsigned NumOps =
MI.getNumOperands();
1314 bool UsesHighByteReg =
false;
1316 bool HasRegOp =
false;
1319 for (
unsigned i = CurOp; i !=
NumOps; ++i) {
1320 const MCOperand &MO =
MI.getOperand(i);
1326 if (
Reg == X86::AH ||
Reg == X86::BH ||
Reg == X86::CH ||
Reg == X86::DH)
1327 UsesHighByteReg =
true;
1330 Prefix.setLowerBound(REX);
1340 Prefix.setLowerBound(REX);
1345 Prefix.setLowerBound(REX);
1348 Prefix.setLowerBound(REX2);
1351 assert(!HasRegOp &&
"Unexpected form in emitREXPrefix!");
1411 PrefixKind
Kind =
Prefix.determineOptimalKind();
1412 if (Kind && UsesHighByteReg)
1414 "Cannot encode high byte register in REX-prefixed instruction");
1420void X86MCCodeEmitter::emitSegmentOverridePrefix(
1421 unsigned SegOperand,
const MCInst &
MI, SmallVectorImpl<char> &CB)
const {
1423 if (MCRegister
Reg =
MI.getOperand(SegOperand).getReg())
1433PrefixKind X86MCCodeEmitter::emitOpcodePrefix(
int MemOperand,
const MCInst &
MI,
1434 const MCSubtargetInfo &STI,
1435 SmallVectorImpl<char> &CB)
const {
1436 const MCInstrDesc &
Desc = MCII.
get(
MI.getOpcode());
1466 "REX.W requires 64bit mode.");
1467 PrefixKind
Kind = emitREXPrefix(MemOperand,
MI, STI, CB);
1495void X86MCCodeEmitter::emitPrefix(
const MCInst &
MI, SmallVectorImpl<char> &CB,
1496 const MCSubtargetInfo &STI)
const {
1503 emitPrefixImpl(
MI, STI, CB);
1508 static_cast<X86MCCodeEmitter &
>(MCE).
emitPrefix(
MI, CB, STI);
1511void X86MCCodeEmitter::encodeInstruction(
const MCInst &
MI,
1515 unsigned Opcode =
MI.getOpcode();
1517 uint64_t TSFlags =
Desc.TSFlags;
1526 uint64_t StartByte = CB.
size();
1528 PrefixKind Kind = emitPrefixImpl(
MI, STI, CB);
1539 unsigned I8RegNum = 0;
1546 unsigned OpcodeOffset = 0;
1554 errs() <<
"FORM: " << Form <<
"\n";
1559 emitByte(BaseOpcode, CB);
1563 emitByte(BaseOpcode, CB);
1567 emitByte(BaseOpcode, CB);
1571 emitByte(BaseOpcode, CB);
1575 OpcodeOffset =
MI.getOperand(
NumOps - 1).getImm();
1576 assert(OpcodeOffset < 16 &&
"Unexpected opcode offset!");
1580 emitByte(BaseOpcode + OpcodeOffset, CB);
1587 StartByte, CB, Fixups);
1591 emitByte(BaseOpcode, CB);
1597 emitByte(BaseOpcode, CB);
1600 emitImmediate(
MI.getOperand(CurOp++),
MI.getLoc(),
FK_Data_1,
false,
1601 StartByte, CB, Fixups);
1604 emitByte(BaseOpcode, CB);
1607 emitImmediate(
MI.getOperand(CurOp++),
MI.getLoc(),
FK_Data_2,
false,
1608 StartByte, CB, Fixups);
1612 emitByte(BaseOpcode + getX86RegNum(
MI.getOperand(CurOp++)), CB);
1616 emitByte(BaseOpcode, CB);
1617 unsigned SrcRegNum = CurOp + 1;
1627 emitRegModRMByte(
MI.getOperand(CurOp),
1628 getX86RegNum(
MI.getOperand(SrcRegNum)), CB);
1629 CurOp = SrcRegNum + 1;
1633 unsigned FirstOp = CurOp++;
1634 unsigned SecondOp = CurOp++;
1635 unsigned CC =
MI.getOperand(CurOp++).getImm();
1636 emitByte(BaseOpcode + CC, CB);
1637 emitRegModRMByte(
MI.getOperand(FirstOp),
1638 getX86RegNum(
MI.getOperand(SecondOp)), CB);
1642 unsigned CC =
MI.getOperand(8).getImm();
1643 emitByte(BaseOpcode + CC, CB);
1645 emitMemModRMByte(
MI, CurOp + 1, getX86RegNum(
MI.getOperand(0)), TSFlags,
1646 Kind, StartByte, CB, Fixups, STI,
false);
1647 CurOp = SrcRegNum + 3;
1652 emitByte(BaseOpcode, CB);
1665 emitMemModRMByte(
MI, CurOp, getX86RegNum(
MI.getOperand(SrcRegNum)), TSFlags,
1666 Kind, StartByte, CB, Fixups, STI, ForceSIB);
1667 CurOp = SrcRegNum + 1;
1671 unsigned MemOp = CurOp;
1673 unsigned RegOp = CurOp++;
1674 unsigned CC =
MI.getOperand(CurOp++).getImm();
1675 emitByte(BaseOpcode + CC, CB);
1676 emitMemModRMByte(
MI, MemOp, getX86RegNum(
MI.getOperand(RegOp)), TSFlags,
1677 Kind, StartByte, CB, Fixups, STI);
1681 emitByte(BaseOpcode, CB);
1682 unsigned SrcRegNum = CurOp + 1;
1693 emitRegModRMByte(
MI.getOperand(SrcRegNum),
1694 getX86RegNum(
MI.getOperand(CurOp)), CB);
1695 CurOp = SrcRegNum + 1;
1697 I8RegNum = getX86RegEncoding(
MI, CurOp++);
1704 emitByte(BaseOpcode, CB);
1705 unsigned SrcRegNum = CurOp + 1;
1707 emitRegModRMByte(
MI.getOperand(SrcRegNum),
1708 getX86RegNum(
MI.getOperand(CurOp)), CB);
1709 CurOp = SrcRegNum + 1;
1714 emitByte(BaseOpcode, CB);
1715 unsigned SrcRegNum = CurOp + 1;
1721 assert(HasVEX_I8Reg &&
"MRMSrcRegOp4 should imply VEX_I8Reg");
1722 I8RegNum = getX86RegEncoding(
MI, SrcRegNum++);
1724 emitRegModRMByte(
MI.getOperand(SrcRegNum),
1725 getX86RegNum(
MI.getOperand(CurOp)), CB);
1726 CurOp = SrcRegNum + 1;
1732 unsigned FirstOp = CurOp++;
1733 unsigned SecondOp = CurOp++;
1735 unsigned CC =
MI.getOperand(CurOp++).getImm();
1736 emitByte(BaseOpcode + CC, CB);
1738 emitRegModRMByte(
MI.getOperand(SecondOp),
1739 getX86RegNum(
MI.getOperand(FirstOp)), CB);
1744 unsigned FirstMemOp = CurOp + 1;
1755 emitByte(BaseOpcode, CB);
1758 emitMemModRMByte(
MI, FirstMemOp, getX86RegNum(
MI.getOperand(CurOp)),
1759 TSFlags, Kind, StartByte, CB, Fixups, STI, ForceSIB);
1762 I8RegNum = getX86RegEncoding(
MI, CurOp++);
1766 unsigned FirstMemOp = CurOp + 1;
1768 emitByte(BaseOpcode, CB);
1770 emitMemModRMByte(
MI, FirstMemOp, getX86RegNum(
MI.getOperand(CurOp)),
1771 TSFlags, Kind, StartByte, CB, Fixups, STI);
1777 unsigned FirstMemOp = CurOp + 1;
1782 assert(HasVEX_I8Reg &&
"MRMSrcRegOp4 should imply VEX_I8Reg");
1783 I8RegNum = getX86RegEncoding(
MI, FirstMemOp++);
1785 emitByte(BaseOpcode, CB);
1787 emitMemModRMByte(
MI, FirstMemOp, getX86RegNum(
MI.getOperand(CurOp)),
1788 TSFlags, Kind, StartByte, CB, Fixups, STI);
1795 unsigned RegOp = CurOp++;
1796 unsigned FirstMemOp = CurOp;
1799 unsigned CC =
MI.getOperand(CurOp++).getImm();
1800 emitByte(BaseOpcode + CC, CB);
1802 emitMemModRMByte(
MI, FirstMemOp, getX86RegNum(
MI.getOperand(RegOp)),
1803 TSFlags, Kind, StartByte, CB, Fixups, STI);
1808 unsigned RegOp = CurOp++;
1810 unsigned CC =
MI.getOperand(CurOp++).getImm();
1811 emitByte(BaseOpcode + CC, CB);
1812 emitRegModRMByte(
MI.getOperand(RegOp), 0, CB);
1829 emitByte(BaseOpcode, CB);
1830 emitRegModRMByte(
MI.getOperand(CurOp++),
1834 emitByte(BaseOpcode, CB);
1835 emitByte(
modRMByte(3, getX86RegNum(
MI.getOperand(CurOp++)), 0), CB);
1839 unsigned FirstMemOp = CurOp;
1842 unsigned CC =
MI.getOperand(CurOp++).getImm();
1843 emitByte(BaseOpcode + CC, CB);
1845 emitMemModRMByte(
MI, FirstMemOp, 0, TSFlags, Kind, StartByte, CB, Fixups,
1863 emitByte(BaseOpcode, CB);
1864 emitMemModRMByte(
MI, CurOp,
1866 Kind, StartByte, CB, Fixups, STI);
1878 emitByte(BaseOpcode, CB);
1946 emitByte(BaseOpcode, CB);
1954 assert(I8RegNum < 16 &&
"Register encoding out of range");
1957 unsigned Val =
MI.getOperand(CurOp++).getImm();
1958 assert(Val < 16 &&
"Immediate operand value out of range");
1962 StartByte, CB, Fixups);
1969 unsigned RemainingOps =
NumOps - CurOp - 2 * HasTwoConditionalOps;
1977 "TSFlags indicates immediate but no operand provides it");
1978 while (RemainingOps) {
1979 emitImmediate(
MI.getOperand(CurOp++),
MI.getLoc(),
1984 CurOp += 2 * HasTwoConditionalOps;
1990 if (CB.
size() - StartByte > 15)
1991 Ctx.
reportError(
MI.getLoc(),
"instruction length exceeds the limit of 15");
1995 errs() <<
"Cannot encode all operands of: ";
2005 return new X86MCCodeEmitter(MCII, Ctx);
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
if(auto Err=PB.parsePassPipeline(MPM, Passes)) return wrap(std MPM run * Mod
This file defines the SmallVector class.
static MCFixupKind getImmFixupKind(uint64_t TSFlags)
static bool isPCRel32Branch(const MCInst &MI, const MCInstrInfo &MCII)
static GlobalOffsetTableExprKind startsWithGlobalOffsetTable(const MCExpr *Expr)
Check if this expression starts with GLOBAL_OFFSET_TABLE and if it is of the form GLOBAL_OFFSET_TABLE...
static uint8_t modRMByte(unsigned Mod, unsigned RegOpcode, unsigned RM)
GlobalOffsetTableExprKind
static void emitConstant(uint64_t Val, unsigned Size, SmallVectorImpl< char > &CB)
static bool hasSecRelSymbolRef(const MCExpr *Expr)
Binary assembler expressions.
const MCExpr * getLHS() const
Get the left-hand side expression of the binary operator.
static const MCBinaryExpr * createAdd(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx, SMLoc Loc=SMLoc())
const MCExpr * getRHS() const
Get the right-hand side expression of the binary operator.
MCCodeEmitter - Generic instruction encoding interface.
static LLVM_ABI const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
Context object for machine code objects.
const MCRegisterInfo * getRegisterInfo() const
LLVM_ABI void reportError(SMLoc L, const Twine &Msg)
Base class for the full range of assembler expressions which are needed for parsing.
@ SymbolRef
References to labels and assigned expressions.
@ Binary
Binary expressions.
static MCFixup create(uint32_t Offset, const MCExpr *Value, MCFixupKind Kind, bool PCRel=false)
Consider bit fields if we need more flags.
Instances of this class represent a single low-level machine instruction.
Describe properties that are true of each instruction in the target description file.
Interface to description of machine instruction set.
const MCInstrDesc & get(unsigned Opcode) const
Return the machine instruction descriptor that corresponds to the specified instruction opcode.
Instances of this class represent operands of the MCInst class.
static MCOperand createImm(int64_t Val)
MCRegister getReg() const
Returns the register number.
const MCExpr * getExpr() const
MCRegisterInfo base class - We assume that the target defines a static array of MCRegisterDesc object...
uint16_t getEncodingValue(MCRegister Reg) const
Returns the encoding for Reg.
Wrapper class representing physical registers. Should be passed by value.
Generic base class for all target subtargets.
bool hasFeature(unsigned Feature) const
const Triple & getTargetTriple() const
Represent a reference to a symbol from inside an expression.
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
StringRef getName() const
getName - Get the symbol name.
Represents a location in source code.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
bool isX32() const
Tests whether the target is X32.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
bool isDispOrCDisp8(uint64_t TSFlags, int64_t Value, int *ImmOffset=nullptr)
Determine if this immediate can fit in a disp8 or a compressed disp8 for EVEX instructions.
bool hasImm(uint64_t TSFlags)
bool hasNewDataDest(uint64_t TSFlags)
int getMemoryOperandIdx(const MCInstrDesc &Desc)
bool isX86_64NonExtLowByteReg(MCRegister Reg)
@ MRM0X
MRM0X-MRM7X - Instructions that operate that have mod=11 and an opcode but ignore r/m.
@ RawFrm
Raw - This form is for instructions that don't have any operands, so they are just a fixed opcode val...
@ RawFrmDstSrc
RawFrmDstSrc - This form is for instructions that use the source index register SI/ESI/RSI with a pos...
@ EVEX
EVEX - Specifies that this instruction use EVEX form which provides syntax support up to 32 512-bit r...
@ ExplicitREX2Prefix
For instructions that require REX2 prefix even if EGPR is not used.
@ MRMSrcMemCC
MRMSrcMemCC - This form is used for instructions that use the Mod/RM byte to specify the operands and...
@ MRM_C0
MRM_XX (XX: C0-FF)- A mod/rm byte of exactly 0xXX.
@ RawFrmDst
RawFrmDst - This form is for instructions that use the destination index register DI/EDI/RDI.
@ MRMDestMem4VOp3CC
MRMDestMem4VOp3CC - This form is used for instructions that use the Mod/RM byte to specify a destinat...
@ AddCCFrm
AddCCFrm - This form is used for Jcc that encode the condition code in the lower 4 bits of the opcode...
@ T_MAP4
MAP4, MAP5, MAP6, MAP7 - Prefix after the 0x0F prefix.
@ PrefixByte
PrefixByte - This form is used for instructions that represent a prefix byte like data16 or rep.
@ MRMr0
Instructions operate on a register Reg/Opcode operand not the r/m field.
@ MRMXm
MRMXm - This form is used for instructions that use the Mod/RM byte to specify a memory source,...
@ MRM0r
MRM0r-MRM7r - Instructions that operate on a register r/m operand and use reg field to hold extended ...
@ MRMDestMemFSIB
MRMDestMem - But force to use the SIB field.
@ AddRegFrm
AddRegFrm - This form is used for instructions like 'push r32' that have their one register operand a...
@ VEX
VEX - encoding using 0xC4/0xC5.
@ RawFrmImm8
RawFrmImm8 - This is used for the ENTER instruction, which has two immediates, the first of which is ...
@ TB
TB - TwoByte - Set if this instruction has a two byte opcode, which starts with a 0x0F byte before th...
@ XOP
XOP - Opcode prefix used by XOP instructions.
@ MRMXr
MRMXr - This form is used for instructions that use the Mod/RM byte to specify a register source,...
@ MRMSrcMem4VOp3
MRMSrcMem4VOp3 - This form is used for instructions that encode operand 3 with VEX....
@ XOP8
XOP8 - Prefix to include use of imm byte.
@ MRMDestRegCC
MRMDestRegCC - This form is used for the cfcmov instructions, which use the Mod/RM byte to specify th...
@ PD
PD - Prefix code for packed double precision vector floating point operations performed in the SSE re...
@ MRMDestMem
MRMDestMem - This form is used for instructions that use the Mod/RM byte to specify a destination,...
@ MRMSrcMemFSIB
MRMSrcMem - But force to use the SIB field.
@ MRMSrcRegOp4
MRMSrcRegOp4 - This form is used for instructions that use the Mod/RM byte to specify the fourth sour...
@ MRMXrCC
MRMXCCr - This form is used for instructions that use the Mod/RM byte to specify a register source,...
@ T8
T8, TA - Prefix after the 0x0F prefix.
@ MRMDestMemCC
MRMDestMemCC - This form is used for the cfcmov instructions, which use the Mod/RM byte to specify th...
@ XOP9
XOP9 - Prefix to exclude use of imm byte.
@ MRMXmCC
MRMXm - This form is used for instructions that use the Mod/RM byte to specify a memory source,...
@ RawFrmImm16
RawFrmImm16 - This is used for CALL FAR instructions, which have two immediates, the first of which i...
@ MRMSrcReg
MRMSrcReg - This form is used for instructions that use the Mod/RM byte to specify a source,...
@ RawFrmSrc
RawFrmSrc - This form is for instructions that use the source index register SI/ESI/RSI with a possib...
@ MRMDestReg
MRMDestReg - This form is used for instructions that use the Mod/RM byte to specify a destination,...
@ MRMSrcMem
MRMSrcMem - This form is used for instructions that use the Mod/RM byte to specify a source,...
@ MRMSrcMemOp4
MRMSrcMemOp4 - This form is used for instructions that use the Mod/RM byte to specify the fourth sour...
@ Pseudo
PseudoFrm - This represents an instruction that is a pseudo instruction or one that has not been impl...
@ MRMSrcRegCC
MRMSrcRegCC - This form is used for instructions that use the Mod/RM byte to specify the operands and...
@ MRM0m
MRM0m-MRM7m - Instructions that operate on a memory r/m operand and use reg field to hold extended op...
@ ThreeDNow
ThreeDNow - This indicates that the instruction uses the wacky 0x0F 0x0F prefix for 3DNow!
@ XS
XS, XD - These prefix codes are for single and double precision scalar floating point operations perf...
@ XOPA
XOPA - Prefix to encode 0xA in VEX.MMMM of XOP instructions.
@ MRMSrcReg4VOp3
MRMSrcReg4VOp3 - This form is used for instructions that encode operand 3 with VEX....
@ RawFrmMemOffs
RawFrmMemOffs - This form is for instructions that store an absolute memory offset as an immediate wi...
bool isPseudo(uint64_t TSFlags)
bool isImmPCRel(uint64_t TSFlags)
unsigned getSizeOfImm(uint64_t TSFlags)
Decode the "size of immediate" field from the TSFlags field of the specified instruction.
bool needSIB(MCRegister BaseReg, MCRegister IndexReg, bool In64BitMode)
uint8_t getBaseOpcodeFor(uint64_t TSFlags)
bool isApxExtendedReg(MCRegister Reg)
unsigned getOperandBias(const MCInstrDesc &Desc)
Compute whether all of the def operands are repeated in the uses and therefore should be skipped.
bool isImmSigned(uint64_t TSFlags)
bool is16BitMemOperand(const MCInst &MI, unsigned Op, const MCSubtargetInfo &STI)
bool needsAddressSizeOverride(const MCInst &MI, const MCSubtargetInfo &STI, int MemoryOperand, uint64_t TSFlags)
Returns true if this instruction needs an Address-Size override prefix.
void emitPrefix(MCCodeEmitter &MCE, const MCInst &MI, SmallVectorImpl< char > &CB, const MCSubtargetInfo &STI)
EncodingOfSegmentOverridePrefix getSegmentOverridePrefixForReg(MCRegister Reg)
Given a segment register, return the encoding of the segment override prefix for it.
@ reloc_riprel_4byte_movq_load_rex2
@ reloc_signed_4byte_relax
@ reloc_branch_4byte_pcrel
@ reloc_riprel_4byte_relax
@ reloc_riprel_4byte_relax_evex
@ reloc_riprel_4byte_relax_rex
@ reloc_global_offset_table
@ reloc_riprel_4byte_movq_load
@ reloc_riprel_4byte_relax_rex2
BaseReg
Stack frame base register. Bit 0 of FREInfo.Info.
This is an optimization pass for GlobalISel generic memory operations.
constexpr bool isInt(int64_t x)
Checks if an integer fits into the given bit width.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
MCCodeEmitter * createX86MCCodeEmitter(const MCInstrInfo &MCII, MCContext &Ctx)
uint16_t MCFixupKind
Extensible enumeration to represent the type of a fixup.
static Lanai::Fixups FixupKind(const MCExpr *Expr)
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
@ Ref
The access may reference the value stored in memory.
@ FirstLiteralRelocationKind
@ FK_Data_8
A eight-byte fixup.
@ FK_Data_1
A one-byte fixup.
@ FK_Data_4
A four-byte fixup.
@ FK_SecRel_4
A four-byte section relative fixup.
@ FK_Data_2
A two-byte fixup.
DWARFExpression::Operation Op
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.