blob: 440efa3a2b76304c94b2acaba4149f518a187ac2 [file] [log] [blame]
Eugene Zelenko60433b62017-10-05 00:33:50 +00001//===- X86EvexToVex.cpp ---------------------------------------------------===//
Gadi Haber19c4fc52016-12-28 10:12:48 +00002// Compress EVEX instructions to VEX encoding when possible to reduce code size
3//
4// The LLVM Compiler Infrastructure
5//
6// This file is distributed under the University of Illinois Open Source
7// License. See LICENSE.TXT for details.
8//
Eugene Zelenko60433b62017-10-05 00:33:50 +00009//===----------------------------------------------------------------------===//
10//
Gadi Haber19c4fc52016-12-28 10:12:48 +000011/// \file
12/// This file defines the pass that goes over all AVX-512 instructions which
13/// are encoded using the EVEX prefix and if possible replaces them by their
14/// corresponding VEX encoding which is usually shorter by 2 bytes.
15/// EVEX instructions may be encoded via the VEX prefix when the AVX-512
16/// instruction has a corresponding AVX/AVX2 opcode and when it does not
Craig Topperfbb19852017-10-17 04:17:54 +000017/// use the xmm or the mask registers or xmm/ymm registers with indexes
Gadi Haber19c4fc52016-12-28 10:12:48 +000018/// higher than 15.
19/// The pass applies code reduction on the generated code for AVX-512 instrs.
Eugene Zelenko60433b62017-10-05 00:33:50 +000020//
21//===----------------------------------------------------------------------===//
Gadi Haber19c4fc52016-12-28 10:12:48 +000022
23#include "InstPrinter/X86InstComments.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000024#include "MCTargetDesc/X86BaseInfo.h"
Gadi Haber19c4fc52016-12-28 10:12:48 +000025#include "X86.h"
Gadi Haber19c4fc52016-12-28 10:12:48 +000026#include "X86InstrInfo.h"
Gadi Haber19c4fc52016-12-28 10:12:48 +000027#include "X86Subtarget.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000028#include "llvm/ADT/DenseMap.h"
29#include "llvm/ADT/StringRef.h"
30#include "llvm/CodeGen/MachineFunction.h"
31#include "llvm/CodeGen/MachineFunctionPass.h"
32#include "llvm/CodeGen/MachineInstr.h"
33#include "llvm/CodeGen/MachineOperand.h"
34#include "llvm/MC/MCInstrDesc.h"
35#include "llvm/Pass.h"
36#include <cassert>
37#include <cstdint>
Gadi Haber19c4fc52016-12-28 10:12:48 +000038
39using namespace llvm;
40
Ayman Musa850fc972017-03-07 08:11:19 +000041// Including the generated EVEX2VEX tables.
42struct X86EvexToVexCompressTableEntry {
43 uint16_t EvexOpcode;
44 uint16_t VexOpcode;
45};
46#include "X86GenEVEX2VEXTables.inc"
47
Gadi Haber19c4fc52016-12-28 10:12:48 +000048#define EVEX2VEX_DESC "Compressing EVEX instrs to VEX encoding when possible"
49#define EVEX2VEX_NAME "x86-evex-to-vex-compress"
50
51#define DEBUG_TYPE EVEX2VEX_NAME
52
53namespace {
54
55class EvexToVexInstPass : public MachineFunctionPass {
56
57 /// X86EvexToVexCompressTable - Evex to Vex encoding opcode map.
Eugene Zelenko60433b62017-10-05 00:33:50 +000058 using EvexToVexTableType = DenseMap<unsigned, uint16_t>;
Gadi Haber19c4fc52016-12-28 10:12:48 +000059 EvexToVexTableType EvexToVex128Table;
60 EvexToVexTableType EvexToVex256Table;
61
62 /// For EVEX instructions that can be encoded using VEX encoding, replace
63 /// them by the VEX encoding in order to reduce size.
64 bool CompressEvexToVexImpl(MachineInstr &MI) const;
65
66 /// For initializing the hash map tables of all AVX-512 EVEX
67 /// corresponding to AVX/AVX2 opcodes.
68 void AddTableEntry(EvexToVexTableType &EvexToVexTable, uint16_t EvexOp,
69 uint16_t VexOp);
70
71public:
72 static char ID;
73
Gadi Haber19c4fc52016-12-28 10:12:48 +000074 EvexToVexInstPass() : MachineFunctionPass(ID) {
75 initializeEvexToVexInstPassPass(*PassRegistry::getPassRegistry());
76
77 // Initialize the EVEX to VEX 128 table map.
78 for (X86EvexToVexCompressTableEntry Entry : X86EvexToVex128CompressTable) {
79 AddTableEntry(EvexToVex128Table, Entry.EvexOpcode, Entry.VexOpcode);
80 }
81
82 // Initialize the EVEX to VEX 256 table map.
83 for (X86EvexToVexCompressTableEntry Entry : X86EvexToVex256CompressTable) {
84 AddTableEntry(EvexToVex256Table, Entry.EvexOpcode, Entry.VexOpcode);
85 }
86 }
87
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000088 StringRef getPassName() const override { return EVEX2VEX_DESC; }
89
Gadi Haber19c4fc52016-12-28 10:12:48 +000090 /// Loop over all of the basic blocks, replacing EVEX instructions
91 /// by equivalent VEX instructions when possible for reducing code size.
92 bool runOnMachineFunction(MachineFunction &MF) override;
93
94 // This pass runs after regalloc and doesn't support VReg operands.
95 MachineFunctionProperties getRequiredProperties() const override {
96 return MachineFunctionProperties().set(
97 MachineFunctionProperties::Property::NoVRegs);
98 }
99
100private:
101 /// Machine instruction info used throughout the class.
102 const X86InstrInfo *TII;
103};
104
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000105} // end anonymous namespace
Gadi Haber19c4fc52016-12-28 10:12:48 +0000106
Eugene Zelenko60433b62017-10-05 00:33:50 +0000107char EvexToVexInstPass::ID = 0;
108
Gadi Haber19c4fc52016-12-28 10:12:48 +0000109bool EvexToVexInstPass::runOnMachineFunction(MachineFunction &MF) {
110 TII = MF.getSubtarget<X86Subtarget>().getInstrInfo();
111
112 const X86Subtarget &ST = MF.getSubtarget<X86Subtarget>();
113 if (!ST.hasAVX512())
114 return false;
115
116 bool Changed = false;
117
118 /// Go over all basic blocks in function and replace
119 /// EVEX encoded instrs by VEX encoding when possible.
120 for (MachineBasicBlock &MBB : MF) {
121
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000122 // Traverse the basic block.
123 for (MachineInstr &MI : MBB)
Gadi Haber19c4fc52016-12-28 10:12:48 +0000124 Changed |= CompressEvexToVexImpl(MI);
125 }
126
127 return Changed;
128}
129
130void EvexToVexInstPass::AddTableEntry(EvexToVexTableType &EvexToVexTable,
131 uint16_t EvexOp, uint16_t VexOp) {
132 EvexToVexTable[EvexOp] = VexOp;
133}
134
Craig Topper730414b2017-10-30 03:35:43 +0000135static bool usesExtendedRegister(const MachineInstr &MI) {
136 auto isHiRegIdx = [](unsigned Reg) {
137 // Check for XMM register with indexes between 16 - 31.
138 if (Reg >= X86::XMM16 && Reg <= X86::XMM31)
139 return true;
140
141 // Check for YMM register with indexes between 16 - 31.
142 if (Reg >= X86::YMM16 && Reg <= X86::YMM31)
143 return true;
144
145 return false;
146 };
147
148 // Check that operands are not ZMM regs or
149 // XMM/YMM regs with hi indexes between 16 - 31.
150 for (const MachineOperand &MO : MI.explicit_operands()) {
151 if (!MO.isReg())
152 continue;
153
154 unsigned Reg = MO.getReg();
155
156 assert(!(Reg >= X86::ZMM0 && Reg <= X86::ZMM31) &&
157 "ZMM instructions should not be in the EVEX->VEX tables");
158
159 if (isHiRegIdx(Reg))
160 return true;
161 }
162
163 return false;
164}
165
166
Gadi Haber19c4fc52016-12-28 10:12:48 +0000167// For EVEX instructions that can be encoded using VEX encoding
168// replace them by the VEX encoding in order to reduce size.
169bool EvexToVexInstPass::CompressEvexToVexImpl(MachineInstr &MI) const {
Gadi Haber19c4fc52016-12-28 10:12:48 +0000170 // VEX format.
171 // # of bytes: 0,2,3 1 1 0,1 0,1,2,4 0,1
172 // [Prefixes] [VEX] OPCODE ModR/M [SIB] [DISP] [IMM]
173 //
174 // EVEX format.
175 // # of bytes: 4 1 1 1 4 / 1 1
176 // [Prefixes] EVEX Opcode ModR/M [SIB] [Disp32] / [Disp8*N] [Immediate]
177
178 const MCInstrDesc &Desc = MI.getDesc();
179
180 // Check for EVEX instructions only.
181 if ((Desc.TSFlags & X86II::EncodingMask) != X86II::EVEX)
182 return false;
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000183
184 // Check for EVEX instructions with mask or broadcast as in these cases
185 // the EVEX prefix is needed in order to carry this information
Gadi Haber19c4fc52016-12-28 10:12:48 +0000186 // thus preventing the transformation to VEX encoding.
187 if (Desc.TSFlags & (X86II::EVEX_K | X86II::EVEX_B))
188 return false;
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000189
Gadi Haber19c4fc52016-12-28 10:12:48 +0000190 // Check for non EVEX_V512 instrs only.
191 // EVEX_V512 instr: bit EVEX_L2 = 1; bit VEX_L = 0.
192 if ((Desc.TSFlags & X86II::EVEX_L2) && !(Desc.TSFlags & X86II::VEX_L))
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000193 return false;
194
Gadi Haber19c4fc52016-12-28 10:12:48 +0000195 // EVEX_V128 instr: bit EVEX_L2 = 0, bit VEX_L = 0.
196 bool IsEVEX_V128 =
197 (!(Desc.TSFlags & X86II::EVEX_L2) && !(Desc.TSFlags & X86II::VEX_L));
198
199 // EVEX_V256 instr: bit EVEX_L2 = 0, bit VEX_L = 1.
200 bool IsEVEX_V256 =
201 (!(Desc.TSFlags & X86II::EVEX_L2) && (Desc.TSFlags & X86II::VEX_L));
202
203 unsigned NewOpc = 0;
204
205 // Check for EVEX_V256 instructions.
206 if (IsEVEX_V256) {
207 // Search for opcode in the EvexToVex256 table.
208 auto It = EvexToVex256Table.find(MI.getOpcode());
209 if (It != EvexToVex256Table.end())
210 NewOpc = It->second;
211 }
Gadi Haber19c4fc52016-12-28 10:12:48 +0000212 // Check for EVEX_V128 or Scalar instructions.
213 else if (IsEVEX_V128) {
214 // Search for opcode in the EvexToVex128 table.
215 auto It = EvexToVex128Table.find(MI.getOpcode());
216 if (It != EvexToVex128Table.end())
217 NewOpc = It->second;
218 }
219
220 if (!NewOpc)
221 return false;
222
Craig Topper730414b2017-10-30 03:35:43 +0000223 if (usesExtendedRegister(MI))
Gadi Haber19c4fc52016-12-28 10:12:48 +0000224 return false;
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000225
Craig Topperc84835532017-10-30 03:35:44 +0000226 MI.setDesc(TII->get(NewOpc));
Gadi Haber19c4fc52016-12-28 10:12:48 +0000227 MI.setAsmPrinterFlag(AC_EVEX_2_VEX);
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000228 return true;
Gadi Haber19c4fc52016-12-28 10:12:48 +0000229}
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000230
231INITIALIZE_PASS(EvexToVexInstPass, EVEX2VEX_NAME, EVEX2VEX_DESC, false, false)
232
233FunctionPass *llvm::createX86EvexToVexInsts() {
234 return new EvexToVexInstPass();
235}