37#define DEBUG_TYPE "mccodeemitter"
41enum PrefixKind {
None, REX, REX2, XOP, VEX2, VEX3, EVEX };
45class X86OpcodePrefixHelper {
160 unsigned EVEX_L2 : 1;
162 unsigned EVEX_V2 : 1;
163 unsigned EVEX_aaa : 3;
164 PrefixKind Kind =
None;
167 unsigned getRegEncoding(
const MCInst &
MI,
unsigned OpNum)
const {
171 void setR(
unsigned Encoding) { R = Encoding >> 3 & 1; }
172 void setR2(
unsigned Encoding) {
173 R2 = Encoding >> 4 & 1;
174 assert((!
R2 || (Kind <= REX2 || Kind == EVEX)) &&
"invalid setting");
176 void setX(
unsigned Encoding) {
X = Encoding >> 3 & 1; }
177 void setX2(
unsigned Encoding) {
178 assert((Kind <= REX2 || Kind == EVEX) &&
"invalid setting");
179 X2 = Encoding >> 4 & 1;
181 void setB(
unsigned Encoding) {
B = Encoding >> 3 & 1; }
182 void setB2(
unsigned Encoding) {
183 assert((Kind <= REX2 || Kind == EVEX) &&
"invalid setting");
184 B2 = Encoding >> 4 & 1;
186 void set4V(
unsigned Encoding) { VEX_4V = Encoding & 0xf; }
187 void setV2(
unsigned Encoding) { EVEX_V2 = Encoding >> 4 & 1; }
190 void setW(
bool V) { W = V; }
191 void setR(
const MCInst &
MI,
unsigned OpNum) {
192 setR(getRegEncoding(
MI, OpNum));
194 void setX(
const MCInst &
MI,
unsigned OpNum,
unsigned Shift = 3) {
200 X = Encoding >> Shift & 1;
202 void setB(
const MCInst &
MI,
unsigned OpNum) {
203 B = getRegEncoding(
MI, OpNum) >> 3 & 1;
205 void set4V(
const MCInst &
MI,
unsigned OpNum,
bool IsImm =
false) {
208 set4V(~(
MI.getOperand(OpNum).getImm()));
210 set4V(getRegEncoding(
MI, OpNum));
212 void setL(
bool V) { VEX_L = V; }
213 void setPP(
unsigned V) { VEX_PP = V; }
214 void set5M(
unsigned V) { VEX_5M = V; }
215 void setR2(
const MCInst &
MI,
unsigned OpNum) {
216 setR2(getRegEncoding(
MI, OpNum));
218 void setRR2(
const MCInst &
MI,
unsigned OpNum) {
219 unsigned Encoding = getRegEncoding(
MI, OpNum);
223 void setM(
bool V) { M = V; }
224 void setXX2(
const MCInst &
MI,
unsigned OpNum) {
232 void setBB2(
const MCInst &
MI,
unsigned OpNum) {
240 void setZ(
bool V) { EVEX_z = V; }
241 void setL2(
bool V) { EVEX_L2 = V; }
242 void setEVEX_b(
bool V) { EVEX_b = V; }
243 void setEVEX_U(
bool V) { X2 = V; }
244 void setV2(
const MCInst &
MI,
unsigned OpNum,
bool HasVEX_4V) {
253 void set4VV2(
const MCInst &
MI,
unsigned OpNum) {
254 unsigned Encoding = getRegEncoding(
MI, OpNum);
258 void setAAA(
const MCInst &
MI,
unsigned OpNum) {
259 EVEX_aaa = getRegEncoding(
MI, OpNum);
261 void setNF(
bool V) { EVEX_aaa |= V << 2; }
262 void setSC(
const MCInst &
MI,
unsigned OpNum) {
263 unsigned Encoding =
MI.getOperand(OpNum).getImm();
264 EVEX_V2 = ~(Encoding >> 3) & 0x1;
265 EVEX_aaa = Encoding & 0x7;
269 : W(0), R(0),
X(0),
B(0), M(0),
R2(0), X2(0), B2(0), VEX_4V(0), VEX_L(0),
270 VEX_PP(0), VEX_5M(0), EVEX_z(0), EVEX_L2(0), EVEX_b(0), EVEX_V2(0),
271 EVEX_aaa(0), MRI(MRI) {}
273 void setLowerBound(PrefixKind K) { Kind = K; }
275 PrefixKind determineOptimalKind() {
281 Kind = (
R2 | X2 | B2) ? REX2 : (W | R |
X |
B) ? REX :
None;
284 Kind = (
R2 | X2 | B2) ? REX2 : REX;
292 Kind = (W |
X |
B | (VEX_5M != 1)) ? VEX3 : VEX2;
300 ((~R) & 0x1) << 7 | ((~
X) & 0x1) << 6 | ((
~B) & 0x1) << 5;
301 uint8_t LastPayload = ((~VEX_4V) & 0xf) << 3 | VEX_L << 2 | VEX_PP;
306 emitByte(0x40 | W << 3 | R << 2 |
X << 1 |
B, CB);
310 emitByte(M << 7 |
R2 << 6 | X2 << 5 | B2 << 4 | W << 3 | R << 2 |
X << 1 |
316 emitByte(((~R) & 1) << 7 | LastPayload, CB);
320 emitByte(Kind == VEX3 ? 0xC4 : 0x8F, CB);
321 emitByte(FirstPayload | VEX_5M, CB);
322 emitByte(W << 7 | LastPayload, CB);
325 assert(VEX_5M && !(VEX_5M & 0x8) &&
"invalid mmm fields for EVEX!");
327 emitByte(FirstPayload | ((~
R2) & 0x1) << 4 | B2 << 3 | VEX_5M, CB);
328 emitByte(W << 7 | ((~VEX_4V) & 0xf) << 3 | ((~X2) & 0x1) << 2 | VEX_PP,
330 emitByte(EVEX_z << 7 | EVEX_L2 << 6 | VEX_L << 5 | EVEX_b << 4 |
331 ((~EVEX_V2) & 0x1) << 3 | EVEX_aaa,
344 : MCII(mcii), Ctx(ctx) {}
345 X86MCCodeEmitter(
const X86MCCodeEmitter &) =
delete;
346 X86MCCodeEmitter &operator=(
const X86MCCodeEmitter &) =
delete;
347 ~X86MCCodeEmitter()
override =
default;
357 unsigned getX86RegNum(
const MCOperand &MO)
const;
359 unsigned getX86RegEncoding(
const MCInst &
MI,
unsigned OpNum)
const;
366 void emitRegModRMByte(
const MCOperand &ModRMReg,
unsigned RegOpcodeFld,
369 void emitSIBByte(
unsigned SS,
unsigned Index,
unsigned Base,
372 void emitMemModRMByte(
const MCInst &
MI,
unsigned Op,
unsigned RegOpcodeField,
377 bool ForceSIB =
false)
const;
382 PrefixKind emitVEXOpcodePrefix(
int MemOperand,
const MCInst &
MI,
386 void emitSegmentOverridePrefix(
unsigned SegOperand,
const MCInst &
MI,
389 PrefixKind emitOpcodePrefix(
int MemOperand,
const MCInst &
MI,
393 PrefixKind emitREXPrefix(
int MemOperand,
const MCInst &
MI,
401 assert(
Mod < 4 && RegOpcode < 8 && RM < 8 &&
"ModRM Fields out of range!");
402 return RM | (RegOpcode << 3) | (
Mod << 6);
408 for (
unsigned i = 0; i !=
Size; ++i) {
409 emitByte(Val & 255, CB);
422 CD8_Scale = CD8_Scale ? 1U << (CD8_Scale - 1) : 0U;
423 if (!HasEVEX || !CD8_Scale)
427 if (
Value & (CD8_Scale - 1))
430 int CDisp8 =
Value /
static_cast<int>(CD8_Scale);
435 ImmOffset = CDisp8 -
Value;
489 if (S.
getName() !=
"_GLOBAL_OFFSET_TABLE_")
505 unsigned Opcode =
MI.getOpcode();
507 if ((Opcode != X86::CALL64pcrel32 && Opcode != X86::JMP_4 &&
508 Opcode != X86::JCC_4) ||
522unsigned X86MCCodeEmitter::getX86RegNum(
const MCOperand &MO)
const {
526unsigned X86MCCodeEmitter::getX86RegEncoding(
const MCInst &
MI,
527 unsigned OpNum)
const {
531void X86MCCodeEmitter::emitImmediate(
const MCOperand &DispOp, SMLoc Loc,
534 SmallVectorImpl<char> &CB,
535 SmallVectorImpl<MCFixup> &Fixups,
536 int ImmOffset)
const {
549 const MCExpr *Expr =
nullptr;
550 if (DispOp.
isImm()) {
578 ImmOffset =
static_cast<int>(CB.
size() - StartByte);
584 const MCBinaryExpr *
Bin =
static_cast<const MCBinaryExpr *
>(Expr);
602void X86MCCodeEmitter::emitRegModRMByte(
const MCOperand &ModRMReg,
603 unsigned RegOpcodeFld,
604 SmallVectorImpl<char> &CB)
const {
605 emitByte(
modRMByte(3, RegOpcodeFld, getX86RegNum(ModRMReg)), CB);
608void X86MCCodeEmitter::emitSIBByte(
unsigned SS,
unsigned Index,
unsigned Base,
609 SmallVectorImpl<char> &CB)
const {
614void X86MCCodeEmitter::emitMemModRMByte(
615 const MCInst &
MI,
unsigned Op,
unsigned RegOpcodeField, uint64_t TSFlags,
616 PrefixKind Kind, uint64_t StartByte, SmallVectorImpl<char> &CB,
617 SmallVectorImpl<MCFixup> &Fixups,
const MCSubtargetInfo &STI,
618 bool ForceSIB)
const {
626 if (BaseReg == X86::RIP ||
627 BaseReg == X86::EIP) {
629 "Rip-relative addressing requires 64-bit mode");
630 assert(!IndexReg.
getReg() && !ForceSIB &&
"Invalid rip-relative address");
631 emitByte(
modRMByte(0, RegOpcodeField, 5), CB);
633 unsigned Opcode =
MI.getOpcode();
663 case X86::TAILJMPm64:
677 case X86::ADD64rm_NF:
678 case X86::ADD64rm_ND:
679 case X86::ADD64mr_ND:
680 case X86::ADD64mr_NF_ND:
681 case X86::ADD64rm_NF_ND:
697 emitImmediate(Disp,
MI.getLoc(),
FixupKind,
true, StartByte, CB, Fixups,
702 unsigned BaseRegNo =
BaseReg ? getX86RegNum(
Base) : -1U;
704 bool IsAdSize16 = STI.
hasFeature(X86::Is32Bit) &&
722 static const unsigned R16Table[] = {0, 0, 0, 7, 0, 6, 4, 5};
723 unsigned RMfield = R16Table[BaseRegNo];
725 assert(RMfield &&
"invalid 16-bit base register");
728 unsigned IndexReg16 = R16Table[getX86RegNum(IndexReg)];
730 assert(IndexReg16 &&
"invalid 16-bit index register");
732 assert(((IndexReg16 ^ RMfield) & 2) &&
733 "invalid 16-bit base/index register combination");
735 "invalid scale for 16-bit memory reference");
739 RMfield = (RMfield & 1) | ((7 - IndexReg16) << 1);
741 RMfield = (IndexReg16 & 1) | ((7 - RMfield) << 1);
745 if (Disp.
getImm() == 0 && RMfield != 6) {
747 emitByte(
modRMByte(0, RegOpcodeField, RMfield), CB);
751 emitByte(
modRMByte(1, RegOpcodeField, RMfield), CB);
752 emitImmediate(Disp,
MI.getLoc(),
FK_Data_1,
false, StartByte, CB,
757 emitByte(
modRMByte(2, RegOpcodeField, RMfield), CB);
759 assert(!IndexReg.
getReg() &&
"Unexpected index register!");
761 emitByte(
modRMByte(0, RegOpcodeField, 6), CB);
765 emitImmediate(Disp,
MI.getLoc(),
FK_Data_2,
false, StartByte, CB, Fixups);
774 bool AllowNoDisp = !UseDisp8 && !UseDisp32;
776 bool AllowDisp8 = !UseDisp32;
782 emitByte(
modRMByte(0, RegOpcodeField, 5), CB);
783 emitImmediate(Disp,
MI.getLoc(),
FK_Data_4,
false, StartByte, CB, Fixups);
793 if (Disp.
isImm() && Disp.
getImm() == 0 && AllowNoDisp) {
794 emitByte(
modRMByte(0, RegOpcodeField, BaseRegNo), CB);
805 emitByte(
modRMByte(0, RegOpcodeField, BaseRegNo), CB);
815 if (Disp.
isImm() && AllowDisp8) {
818 emitByte(
modRMByte(1, RegOpcodeField, BaseRegNo), CB);
819 emitImmediate(Disp,
MI.getLoc(),
FK_Data_1,
false, StartByte, CB,
828 emitByte(
modRMByte(2, RegOpcodeField, BaseRegNo), CB);
829 unsigned Opcode =
MI.getOpcode();
839 "Cannot use ESP as index reg!");
841 bool ForceDisp32 =
false;
842 bool ForceDisp8 =
false;
848 emitByte(
modRMByte(0, RegOpcodeField, 4), CB);
850 }
else if (Disp.
isImm() && Disp.
getImm() == 0 && AllowNoDisp &&
857 emitByte(
modRMByte(0, RegOpcodeField, 4), CB);
858 }
else if (Disp.
isImm() && AllowDisp8 &&
863 emitByte(
modRMByte(1, RegOpcodeField, 4), CB);
867 emitByte(
modRMByte(2, RegOpcodeField, 4), CB);
872 static const unsigned SSTable[] = {~0
U, 0, 1, ~0
U, 2, ~0
U, ~0
U, ~0
U, 3};
873 unsigned SS = SSTable[Scale.
getImm()];
875 unsigned IndexRegNo = IndexReg.
getReg() ? getX86RegNum(IndexReg) : 4;
877 emitSIBByte(SS, IndexRegNo, BaseRegNo, CB);
881 emitImmediate(Disp,
MI.getLoc(),
FK_Data_1,
false, StartByte, CB, Fixups,
883 else if (ForceDisp32)
892PrefixKind X86MCCodeEmitter::emitPrefixImpl(
const MCInst &
MI,
893 const MCSubtargetInfo &STI,
894 SmallVectorImpl<char> &CB)
const {
895 const MCInstrDesc &
Desc = MCII.
get(
MI.getOpcode());
896 uint64_t TSFlags =
Desc.TSFlags;
900 if (MemoryOperand != -1)
904 unsigned Flags =
MI.getFlags();
921 if (
MI.getOperand(2).getReg() != X86::DS)
922 emitSegmentOverridePrefix(2,
MI, CB);
926 if (
MI.getOperand(1).getReg() != X86::DS)
927 emitSegmentOverridePrefix(1,
MI, CB);
931 emitSegmentOverridePrefix(1,
MI, CB);
938 ? emitVEXOpcodePrefix(MemoryOperand,
MI, STI, CB)
939 : emitOpcodePrefix(MemoryOperand,
MI, STI, CB);
956X86MCCodeEmitter::emitVEXOpcodePrefix(
int MemOperand,
const MCInst &
MI,
957 const MCSubtargetInfo &STI,
958 SmallVectorImpl<char> &CB)
const {
959 const MCInstrDesc &
Desc = MCII.
get(
MI.getOpcode());
960 uint64_t TSFlags =
Desc.TSFlags;
965 unsigned NumOps =
MI.getNumOperands();
968 const MCOperand &MO =
MI.getOperand(
I);
972 if (
Reg == X86::AH ||
Reg == X86::BH ||
Reg == X86::CH ||
Reg == X86::DH)
974 "Cannot encode high byte register in VEX/EVEX-prefixed instruction");
983 Prefix.setLowerBound(XOP);
990 Prefix.setLowerBound(EVEX);
1055 bool EncodeRC =
false;
1056 uint8_t EVEX_rc = 0;
1098 if (!IsND && HasVEX_4V)
1102 if (HasTwoConditionalOps) {
1130 if (!IsND && HasVEX_4V)
1137 if (HasTwoConditionalOps) {
1182 if (HasTwoConditionalOps) {
1207 if (!IsND && HasVEX_4V)
1214 if (HasTwoConditionalOps) {
1222 unsigned RcOperand =
NumOps - 1;
1223 assert(RcOperand >= CurOp);
1224 EVEX_rc =
MI.getOperand(RcOperand).getImm();
1225 assert(EVEX_rc <= 3 &&
"Invalid rounding control!");
1269 if (!IsND && HasVEX_4V)
1273 if (HasTwoConditionalOps) {
1308 if (HasTwoConditionalOps) {
1316 Prefix.setL(EVEX_rc & 0x1);
1317 Prefix.setL2(EVEX_rc & 0x2);
1319 PrefixKind
Kind =
Prefix.determineOptimalKind();
1330PrefixKind X86MCCodeEmitter::emitREXPrefix(
int MemOperand,
const MCInst &
MI,
1331 const MCSubtargetInfo &STI,
1332 SmallVectorImpl<char> &CB)
const {
1336 const MCInstrDesc &
Desc = MCII.
get(
MI.getOpcode());
1337 uint64_t TSFlags =
Desc.TSFlags;
1339 unsigned NumOps =
MI.getNumOperands();
1340 bool UsesHighByteReg =
false;
1342 bool HasRegOp =
false;
1345 for (
unsigned i = CurOp; i !=
NumOps; ++i) {
1346 const MCOperand &MO =
MI.getOperand(i);
1352 if (
Reg == X86::AH ||
Reg == X86::BH ||
Reg == X86::CH ||
Reg == X86::DH)
1353 UsesHighByteReg =
true;
1356 Prefix.setLowerBound(REX);
1366 Prefix.setLowerBound(REX);
1371 Prefix.setLowerBound(REX);
1374 Prefix.setLowerBound(REX2);
1377 assert(!HasRegOp &&
"Unexpected form in emitREXPrefix!");
1437 PrefixKind
Kind =
Prefix.determineOptimalKind();
1438 if (Kind && UsesHighByteReg)
1440 "Cannot encode high byte register in REX-prefixed instruction");
1446void X86MCCodeEmitter::emitSegmentOverridePrefix(
1447 unsigned SegOperand,
const MCInst &
MI, SmallVectorImpl<char> &CB)
const {
1449 if (MCRegister
Reg =
MI.getOperand(SegOperand).getReg())
1459PrefixKind X86MCCodeEmitter::emitOpcodePrefix(
int MemOperand,
const MCInst &
MI,
1460 const MCSubtargetInfo &STI,
1461 SmallVectorImpl<char> &CB)
const {
1462 const MCInstrDesc &
Desc = MCII.
get(
MI.getOpcode());
1463 uint64_t TSFlags =
Desc.TSFlags;
1492 "REX.W requires 64bit mode.");
1493 PrefixKind
Kind = emitREXPrefix(MemOperand,
MI, STI, CB);
1521void X86MCCodeEmitter::emitPrefix(
const MCInst &
MI, SmallVectorImpl<char> &CB,
1522 const MCSubtargetInfo &STI)
const {
1529 emitPrefixImpl(
MI, STI, CB);
1534 static_cast<X86MCCodeEmitter &
>(MCE).
emitPrefix(
MI, CB, STI);
1537void X86MCCodeEmitter::encodeInstruction(
const MCInst &
MI,
1541 unsigned Opcode =
MI.getOpcode();
1554 PrefixKind Kind = emitPrefixImpl(
MI, STI, CB);
1565 unsigned I8RegNum = 0;
1572 unsigned OpcodeOffset = 0;
1580 errs() <<
"FORM: " << Form <<
"\n";
1585 emitByte(BaseOpcode, CB);
1589 emitByte(BaseOpcode, CB);
1593 emitByte(BaseOpcode, CB);
1597 emitByte(BaseOpcode, CB);
1601 OpcodeOffset =
MI.getOperand(
NumOps - 1).getImm();
1602 assert(OpcodeOffset < 16 &&
"Unexpected opcode offset!");
1606 emitByte(BaseOpcode + OpcodeOffset, CB);
1613 StartByte, CB, Fixups);
1617 emitByte(BaseOpcode, CB);
1623 emitByte(BaseOpcode, CB);
1626 emitImmediate(
MI.getOperand(CurOp++),
MI.getLoc(),
FK_Data_1,
false,
1627 StartByte, CB, Fixups);
1630 emitByte(BaseOpcode, CB);
1633 emitImmediate(
MI.getOperand(CurOp++),
MI.getLoc(),
FK_Data_2,
false,
1634 StartByte, CB, Fixups);
1638 emitByte(BaseOpcode + getX86RegNum(
MI.getOperand(CurOp++)), CB);
1642 emitByte(BaseOpcode, CB);
1643 unsigned SrcRegNum = CurOp + 1;
1653 emitRegModRMByte(
MI.getOperand(CurOp),
1654 getX86RegNum(
MI.getOperand(SrcRegNum)), CB);
1655 CurOp = SrcRegNum + 1;
1659 unsigned FirstOp = CurOp++;
1660 unsigned SecondOp = CurOp++;
1661 unsigned CC =
MI.getOperand(CurOp++).getImm();
1662 emitByte(BaseOpcode + CC, CB);
1663 emitRegModRMByte(
MI.getOperand(FirstOp),
1664 getX86RegNum(
MI.getOperand(SecondOp)), CB);
1668 unsigned CC =
MI.getOperand(8).getImm();
1669 emitByte(BaseOpcode + CC, CB);
1671 emitMemModRMByte(
MI, CurOp + 1, getX86RegNum(
MI.getOperand(0)), TSFlags,
1672 Kind, StartByte, CB, Fixups, STI,
false);
1673 CurOp = SrcRegNum + 3;
1678 emitByte(BaseOpcode, CB);
1691 emitMemModRMByte(
MI, CurOp, getX86RegNum(
MI.getOperand(SrcRegNum)), TSFlags,
1692 Kind, StartByte, CB, Fixups, STI, ForceSIB);
1693 CurOp = SrcRegNum + 1;
1697 unsigned MemOp = CurOp;
1699 unsigned RegOp = CurOp++;
1700 unsigned CC =
MI.getOperand(CurOp++).getImm();
1701 emitByte(BaseOpcode + CC, CB);
1702 emitMemModRMByte(
MI, MemOp, getX86RegNum(
MI.getOperand(RegOp)), TSFlags,
1703 Kind, StartByte, CB, Fixups, STI);
1707 emitByte(BaseOpcode, CB);
1708 unsigned SrcRegNum = CurOp + 1;
1719 emitRegModRMByte(
MI.getOperand(SrcRegNum),
1720 getX86RegNum(
MI.getOperand(CurOp)), CB);
1721 CurOp = SrcRegNum + 1;
1723 I8RegNum = getX86RegEncoding(
MI, CurOp++);
1730 emitByte(BaseOpcode, CB);
1731 unsigned SrcRegNum = CurOp + 1;
1733 emitRegModRMByte(
MI.getOperand(SrcRegNum),
1734 getX86RegNum(
MI.getOperand(CurOp)), CB);
1735 CurOp = SrcRegNum + 1;
1740 emitByte(BaseOpcode, CB);
1741 unsigned SrcRegNum = CurOp + 1;
1747 assert(HasVEX_I8Reg &&
"MRMSrcRegOp4 should imply VEX_I8Reg");
1748 I8RegNum = getX86RegEncoding(
MI, SrcRegNum++);
1750 emitRegModRMByte(
MI.getOperand(SrcRegNum),
1751 getX86RegNum(
MI.getOperand(CurOp)), CB);
1752 CurOp = SrcRegNum + 1;
1758 unsigned FirstOp = CurOp++;
1759 unsigned SecondOp = CurOp++;
1761 unsigned CC =
MI.getOperand(CurOp++).getImm();
1762 emitByte(BaseOpcode + CC, CB);
1764 emitRegModRMByte(
MI.getOperand(SecondOp),
1765 getX86RegNum(
MI.getOperand(FirstOp)), CB);
1770 unsigned FirstMemOp = CurOp + 1;
1781 emitByte(BaseOpcode, CB);
1784 emitMemModRMByte(
MI, FirstMemOp, getX86RegNum(
MI.getOperand(CurOp)),
1785 TSFlags, Kind, StartByte, CB, Fixups, STI, ForceSIB);
1788 I8RegNum = getX86RegEncoding(
MI, CurOp++);
1792 unsigned FirstMemOp = CurOp + 1;
1794 emitByte(BaseOpcode, CB);
1796 emitMemModRMByte(
MI, FirstMemOp, getX86RegNum(
MI.getOperand(CurOp)),
1797 TSFlags, Kind, StartByte, CB, Fixups, STI);
1803 unsigned FirstMemOp = CurOp + 1;
1808 assert(HasVEX_I8Reg &&
"MRMSrcRegOp4 should imply VEX_I8Reg");
1809 I8RegNum = getX86RegEncoding(
MI, FirstMemOp++);
1811 emitByte(BaseOpcode, CB);
1813 emitMemModRMByte(
MI, FirstMemOp, getX86RegNum(
MI.getOperand(CurOp)),
1814 TSFlags, Kind, StartByte, CB, Fixups, STI);
1821 unsigned RegOp = CurOp++;
1822 unsigned FirstMemOp = CurOp;
1825 unsigned CC =
MI.getOperand(CurOp++).getImm();
1826 emitByte(BaseOpcode + CC, CB);
1828 emitMemModRMByte(
MI, FirstMemOp, getX86RegNum(
MI.getOperand(RegOp)),
1829 TSFlags, Kind, StartByte, CB, Fixups, STI);
1834 unsigned RegOp = CurOp++;
1836 unsigned CC =
MI.getOperand(CurOp++).getImm();
1837 emitByte(BaseOpcode + CC, CB);
1838 emitRegModRMByte(
MI.getOperand(RegOp), 0, CB);
1855 emitByte(BaseOpcode, CB);
1856 emitRegModRMByte(
MI.getOperand(CurOp++),
1860 emitByte(BaseOpcode, CB);
1861 emitByte(
modRMByte(3, getX86RegNum(
MI.getOperand(CurOp++)), 0), CB);
1865 unsigned FirstMemOp = CurOp;
1868 unsigned CC =
MI.getOperand(CurOp++).getImm();
1869 emitByte(BaseOpcode + CC, CB);
1871 emitMemModRMByte(
MI, FirstMemOp, 0, TSFlags, Kind, StartByte, CB, Fixups,
1889 emitByte(BaseOpcode, CB);
1890 emitMemModRMByte(
MI, CurOp,
1892 Kind, StartByte, CB, Fixups, STI);
1904 emitByte(BaseOpcode, CB);
1972 emitByte(BaseOpcode, CB);
1980 assert(I8RegNum < 16 &&
"Register encoding out of range");
1983 unsigned Val =
MI.getOperand(CurOp++).getImm();
1984 assert(Val < 16 &&
"Immediate operand value out of range");
1988 StartByte, CB, Fixups);
1995 unsigned RemainingOps =
NumOps - CurOp - 2 * HasTwoConditionalOps;
2003 "TSFlags indicates immediate but no operand provides it");
2004 while (RemainingOps) {
2005 emitImmediate(
MI.getOperand(CurOp++),
MI.getLoc(),
2010 CurOp += 2 * HasTwoConditionalOps;
2016 if (CB.
size() - StartByte > 15)
2017 Ctx.
reportError(
MI.getLoc(),
"instruction length exceeds the limit of 15");
2021 errs() <<
"Cannot encode all operands of: ";
2031 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)
static bool isDispOrCDisp8(uint64_t TSFlags, int Value, int &ImmOffset)
Determine if this immediate can fit in a disp8 or a compressed disp8 for EVEX instructions.
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.
LLVM Value Representation.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
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...
@ CD8_Scale_Shift
The scaling factor for the AVX512's 8-bit compressed displacement.
@ 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.
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
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.