blob: 744510a3a3ba635ed98127e76d07b53b6f105e0f [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
Craig Topper4e56ba22017-11-01 21:00:59 +0000166// Do any custom cleanup needed to finalize the conversion.
167static void performCustomAdjustments(MachineInstr &MI, unsigned NewOpc) {
168 (void)NewOpc;
169 unsigned Opc = MI.getOpcode();
170 switch (Opc) {
171 case X86::VALIGNDZ128rri:
172 case X86::VALIGNDZ128rmi:
173 case X86::VALIGNQZ128rri:
174 case X86::VALIGNQZ128rmi:
175 assert((NewOpc == X86::VPALIGNRrri || NewOpc == X86::VPALIGNRrmi) &&
176 "Unexpected new opcode!");
177 unsigned Scale = (Opc == X86::VALIGNQZ128rri ||
178 Opc == X86::VALIGNQZ128rmi) ? 8 : 4;
179 MachineOperand &Imm = MI.getOperand(MI.getNumExplicitOperands()-1);
180 Imm.setImm(Imm.getImm() * Scale);
181 break;
182 }
183}
184
Craig Topper730414b2017-10-30 03:35:43 +0000185
Gadi Haber19c4fc52016-12-28 10:12:48 +0000186// For EVEX instructions that can be encoded using VEX encoding
187// replace them by the VEX encoding in order to reduce size.
188bool EvexToVexInstPass::CompressEvexToVexImpl(MachineInstr &MI) const {
Gadi Haber19c4fc52016-12-28 10:12:48 +0000189 // VEX format.
190 // # of bytes: 0,2,3 1 1 0,1 0,1,2,4 0,1
191 // [Prefixes] [VEX] OPCODE ModR/M [SIB] [DISP] [IMM]
192 //
193 // EVEX format.
194 // # of bytes: 4 1 1 1 4 / 1 1
195 // [Prefixes] EVEX Opcode ModR/M [SIB] [Disp32] / [Disp8*N] [Immediate]
196
197 const MCInstrDesc &Desc = MI.getDesc();
198
199 // Check for EVEX instructions only.
200 if ((Desc.TSFlags & X86II::EncodingMask) != X86II::EVEX)
201 return false;
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000202
203 // Check for EVEX instructions with mask or broadcast as in these cases
204 // the EVEX prefix is needed in order to carry this information
Gadi Haber19c4fc52016-12-28 10:12:48 +0000205 // thus preventing the transformation to VEX encoding.
206 if (Desc.TSFlags & (X86II::EVEX_K | X86II::EVEX_B))
207 return false;
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000208
Gadi Haber19c4fc52016-12-28 10:12:48 +0000209 // Check for non EVEX_V512 instrs only.
210 // EVEX_V512 instr: bit EVEX_L2 = 1; bit VEX_L = 0.
211 if ((Desc.TSFlags & X86II::EVEX_L2) && !(Desc.TSFlags & X86II::VEX_L))
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000212 return false;
213
Gadi Haber19c4fc52016-12-28 10:12:48 +0000214 // EVEX_V128 instr: bit EVEX_L2 = 0, bit VEX_L = 0.
215 bool IsEVEX_V128 =
216 (!(Desc.TSFlags & X86II::EVEX_L2) && !(Desc.TSFlags & X86II::VEX_L));
217
218 // EVEX_V256 instr: bit EVEX_L2 = 0, bit VEX_L = 1.
219 bool IsEVEX_V256 =
220 (!(Desc.TSFlags & X86II::EVEX_L2) && (Desc.TSFlags & X86II::VEX_L));
221
222 unsigned NewOpc = 0;
223
224 // Check for EVEX_V256 instructions.
225 if (IsEVEX_V256) {
226 // Search for opcode in the EvexToVex256 table.
227 auto It = EvexToVex256Table.find(MI.getOpcode());
228 if (It != EvexToVex256Table.end())
229 NewOpc = It->second;
230 }
Gadi Haber19c4fc52016-12-28 10:12:48 +0000231 // Check for EVEX_V128 or Scalar instructions.
232 else if (IsEVEX_V128) {
233 // Search for opcode in the EvexToVex128 table.
234 auto It = EvexToVex128Table.find(MI.getOpcode());
235 if (It != EvexToVex128Table.end())
236 NewOpc = It->second;
237 }
238
239 if (!NewOpc)
240 return false;
241
Craig Topper730414b2017-10-30 03:35:43 +0000242 if (usesExtendedRegister(MI))
Gadi Haber19c4fc52016-12-28 10:12:48 +0000243 return false;
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000244
Craig Topper4e56ba22017-11-01 21:00:59 +0000245 performCustomAdjustments(MI, NewOpc);
246
Craig Topperc84835532017-10-30 03:35:44 +0000247 MI.setDesc(TII->get(NewOpc));
Gadi Haber19c4fc52016-12-28 10:12:48 +0000248 MI.setAsmPrinterFlag(AC_EVEX_2_VEX);
Simon Pilgrim60ea09e2017-09-05 12:32:16 +0000249 return true;
Gadi Haber19c4fc52016-12-28 10:12:48 +0000250}
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000251
252INITIALIZE_PASS(EvexToVexInstPass, EVEX2VEX_NAME, EVEX2VEX_DESC, false, false)
253
254FunctionPass *llvm::createX86EvexToVexInsts() {
255 return new EvexToVexInstPass();
256}