Home | History | Annotate | Line # | Download | only in X86
      1 //===- X86EvexToVex.cpp ---------------------------------------------------===//
      2 // Compress EVEX instructions to VEX encoding when possible to reduce code size
      3 //
      4 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
      5 // See https://llvm.org/LICENSE.txt for license information.
      6 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
      7 //
      8 //===----------------------------------------------------------------------===//
      9 //
     10 /// \file
     11 /// This file defines the pass that goes over all AVX-512 instructions which
     12 /// are encoded using the EVEX prefix and if possible replaces them by their
     13 /// corresponding VEX encoding which is usually shorter by 2 bytes.
     14 /// EVEX instructions may be encoded via the VEX prefix when the AVX-512
     15 /// instruction has a corresponding AVX/AVX2 opcode, when vector length
     16 /// accessed by instruction is less than 512 bits and when it does not use
     17 //  the xmm or the mask registers or xmm/ymm registers with indexes higher than 15.
     18 /// The pass applies code reduction on the generated code for AVX-512 instrs.
     19 //
     20 //===----------------------------------------------------------------------===//
     21 
     22 #include "MCTargetDesc/X86BaseInfo.h"
     23 #include "MCTargetDesc/X86InstComments.h"
     24 #include "X86.h"
     25 #include "X86InstrInfo.h"
     26 #include "X86Subtarget.h"
     27 #include "llvm/ADT/StringRef.h"
     28 #include "llvm/CodeGen/MachineFunction.h"
     29 #include "llvm/CodeGen/MachineFunctionPass.h"
     30 #include "llvm/CodeGen/MachineInstr.h"
     31 #include "llvm/CodeGen/MachineOperand.h"
     32 #include "llvm/MC/MCInstrDesc.h"
     33 #include "llvm/Pass.h"
     34 #include <cassert>
     35 #include <cstdint>
     36 
     37 using namespace llvm;
     38 
     39 // Including the generated EVEX2VEX tables.
     40 struct X86EvexToVexCompressTableEntry {
     41   uint16_t EvexOpcode;
     42   uint16_t VexOpcode;
     43 
     44   bool operator<(const X86EvexToVexCompressTableEntry &RHS) const {
     45     return EvexOpcode < RHS.EvexOpcode;
     46   }
     47 
     48   friend bool operator<(const X86EvexToVexCompressTableEntry &TE,
     49                         unsigned Opc) {
     50     return TE.EvexOpcode < Opc;
     51   }
     52 };
     53 #include "X86GenEVEX2VEXTables.inc"
     54 
     55 #define EVEX2VEX_DESC "Compressing EVEX instrs to VEX encoding when possible"
     56 #define EVEX2VEX_NAME "x86-evex-to-vex-compress"
     57 
     58 #define DEBUG_TYPE EVEX2VEX_NAME
     59 
     60 namespace {
     61 
     62 class EvexToVexInstPass : public MachineFunctionPass {
     63 
     64   /// For EVEX instructions that can be encoded using VEX encoding, replace
     65   /// them by the VEX encoding in order to reduce size.
     66   bool CompressEvexToVexImpl(MachineInstr &MI) const;
     67 
     68 public:
     69   static char ID;
     70 
     71   EvexToVexInstPass() : MachineFunctionPass(ID) { }
     72 
     73   StringRef getPassName() const override { return EVEX2VEX_DESC; }
     74 
     75   /// Loop over all of the basic blocks, replacing EVEX instructions
     76   /// by equivalent VEX instructions when possible for reducing code size.
     77   bool runOnMachineFunction(MachineFunction &MF) override;
     78 
     79   // This pass runs after regalloc and doesn't support VReg operands.
     80   MachineFunctionProperties getRequiredProperties() const override {
     81     return MachineFunctionProperties().set(
     82         MachineFunctionProperties::Property::NoVRegs);
     83   }
     84 
     85 private:
     86   /// Machine instruction info used throughout the class.
     87   const X86InstrInfo *TII = nullptr;
     88 
     89   const X86Subtarget *ST = nullptr;
     90 };
     91 
     92 } // end anonymous namespace
     93 
     94 char EvexToVexInstPass::ID = 0;
     95 
     96 bool EvexToVexInstPass::runOnMachineFunction(MachineFunction &MF) {
     97   TII = MF.getSubtarget<X86Subtarget>().getInstrInfo();
     98 
     99   ST = &MF.getSubtarget<X86Subtarget>();
    100   if (!ST->hasAVX512())
    101     return false;
    102 
    103   bool Changed = false;
    104 
    105   /// Go over all basic blocks in function and replace
    106   /// EVEX encoded instrs by VEX encoding when possible.
    107   for (MachineBasicBlock &MBB : MF) {
    108 
    109     // Traverse the basic block.
    110     for (MachineInstr &MI : MBB)
    111       Changed |= CompressEvexToVexImpl(MI);
    112   }
    113 
    114   return Changed;
    115 }
    116 
    117 static bool usesExtendedRegister(const MachineInstr &MI) {
    118   auto isHiRegIdx = [](unsigned Reg) {
    119     // Check for XMM register with indexes between 16 - 31.
    120     if (Reg >= X86::XMM16 && Reg <= X86::XMM31)
    121       return true;
    122 
    123     // Check for YMM register with indexes between 16 - 31.
    124     if (Reg >= X86::YMM16 && Reg <= X86::YMM31)
    125       return true;
    126 
    127     return false;
    128   };
    129 
    130   // Check that operands are not ZMM regs or
    131   // XMM/YMM regs with hi indexes between 16 - 31.
    132   for (const MachineOperand &MO : MI.explicit_operands()) {
    133     if (!MO.isReg())
    134       continue;
    135 
    136     Register Reg = MO.getReg();
    137 
    138     assert(!(Reg >= X86::ZMM0 && Reg <= X86::ZMM31) &&
    139            "ZMM instructions should not be in the EVEX->VEX tables");
    140 
    141     if (isHiRegIdx(Reg))
    142       return true;
    143   }
    144 
    145   return false;
    146 }
    147 
    148 // Do any custom cleanup needed to finalize the conversion.
    149 static bool performCustomAdjustments(MachineInstr &MI, unsigned NewOpc,
    150                                      const X86Subtarget *ST) {
    151   (void)NewOpc;
    152   unsigned Opc = MI.getOpcode();
    153   switch (Opc) {
    154   case X86::VALIGNDZ128rri:
    155   case X86::VALIGNDZ128rmi:
    156   case X86::VALIGNQZ128rri:
    157   case X86::VALIGNQZ128rmi: {
    158     assert((NewOpc == X86::VPALIGNRrri || NewOpc == X86::VPALIGNRrmi) &&
    159            "Unexpected new opcode!");
    160     unsigned Scale = (Opc == X86::VALIGNQZ128rri ||
    161                       Opc == X86::VALIGNQZ128rmi) ? 8 : 4;
    162     MachineOperand &Imm = MI.getOperand(MI.getNumExplicitOperands()-1);
    163     Imm.setImm(Imm.getImm() * Scale);
    164     break;
    165   }
    166   case X86::VSHUFF32X4Z256rmi:
    167   case X86::VSHUFF32X4Z256rri:
    168   case X86::VSHUFF64X2Z256rmi:
    169   case X86::VSHUFF64X2Z256rri:
    170   case X86::VSHUFI32X4Z256rmi:
    171   case X86::VSHUFI32X4Z256rri:
    172   case X86::VSHUFI64X2Z256rmi:
    173   case X86::VSHUFI64X2Z256rri: {
    174     assert((NewOpc == X86::VPERM2F128rr || NewOpc == X86::VPERM2I128rr ||
    175             NewOpc == X86::VPERM2F128rm || NewOpc == X86::VPERM2I128rm) &&
    176            "Unexpected new opcode!");
    177     MachineOperand &Imm = MI.getOperand(MI.getNumExplicitOperands()-1);
    178     int64_t ImmVal = Imm.getImm();
    179     // Set bit 5, move bit 1 to bit 4, copy bit 0.
    180     Imm.setImm(0x20 | ((ImmVal & 2) << 3) | (ImmVal & 1));
    181     break;
    182   }
    183   case X86::VRNDSCALEPDZ128rri:
    184   case X86::VRNDSCALEPDZ128rmi:
    185   case X86::VRNDSCALEPSZ128rri:
    186   case X86::VRNDSCALEPSZ128rmi:
    187   case X86::VRNDSCALEPDZ256rri:
    188   case X86::VRNDSCALEPDZ256rmi:
    189   case X86::VRNDSCALEPSZ256rri:
    190   case X86::VRNDSCALEPSZ256rmi:
    191   case X86::VRNDSCALESDZr:
    192   case X86::VRNDSCALESDZm:
    193   case X86::VRNDSCALESSZr:
    194   case X86::VRNDSCALESSZm:
    195   case X86::VRNDSCALESDZr_Int:
    196   case X86::VRNDSCALESDZm_Int:
    197   case X86::VRNDSCALESSZr_Int:
    198   case X86::VRNDSCALESSZm_Int:
    199     const MachineOperand &Imm = MI.getOperand(MI.getNumExplicitOperands()-1);
    200     int64_t ImmVal = Imm.getImm();
    201     // Ensure that only bits 3:0 of the immediate are used.
    202     if ((ImmVal & 0xf) != ImmVal)
    203       return false;
    204     break;
    205   }
    206 
    207   return true;
    208 }
    209 
    210 
    211 // For EVEX instructions that can be encoded using VEX encoding
    212 // replace them by the VEX encoding in order to reduce size.
    213 bool EvexToVexInstPass::CompressEvexToVexImpl(MachineInstr &MI) const {
    214   // VEX format.
    215   // # of bytes: 0,2,3  1      1      0,1   0,1,2,4  0,1
    216   //  [Prefixes] [VEX]  OPCODE ModR/M [SIB] [DISP]  [IMM]
    217   //
    218   // EVEX format.
    219   //  # of bytes: 4    1      1      1      4       / 1         1
    220   //  [Prefixes]  EVEX Opcode ModR/M [SIB] [Disp32] / [Disp8*N] [Immediate]
    221 
    222   const MCInstrDesc &Desc = MI.getDesc();
    223 
    224   // Check for EVEX instructions only.
    225   if ((Desc.TSFlags & X86II::EncodingMask) != X86II::EVEX)
    226     return false;
    227 
    228   // Check for EVEX instructions with mask or broadcast as in these cases
    229   // the EVEX prefix is needed in order to carry this information
    230   // thus preventing the transformation to VEX encoding.
    231   if (Desc.TSFlags & (X86II::EVEX_K | X86II::EVEX_B))
    232     return false;
    233 
    234   // Check for EVEX instructions with L2 set. These instructions are 512-bits
    235   // and can't be converted to VEX.
    236   if (Desc.TSFlags & X86II::EVEX_L2)
    237     return false;
    238 
    239 #ifndef NDEBUG
    240   // Make sure the tables are sorted.
    241   static std::atomic<bool> TableChecked(false);
    242   if (!TableChecked.load(std::memory_order_relaxed)) {
    243     assert(llvm::is_sorted(X86EvexToVex128CompressTable) &&
    244            "X86EvexToVex128CompressTable is not sorted!");
    245     assert(llvm::is_sorted(X86EvexToVex256CompressTable) &&
    246            "X86EvexToVex256CompressTable is not sorted!");
    247     TableChecked.store(true, std::memory_order_relaxed);
    248   }
    249 #endif
    250 
    251   // Use the VEX.L bit to select the 128 or 256-bit table.
    252   ArrayRef<X86EvexToVexCompressTableEntry> Table =
    253     (Desc.TSFlags & X86II::VEX_L) ? makeArrayRef(X86EvexToVex256CompressTable)
    254                                   : makeArrayRef(X86EvexToVex128CompressTable);
    255 
    256   const auto *I = llvm::lower_bound(Table, MI.getOpcode());
    257   if (I == Table.end() || I->EvexOpcode != MI.getOpcode())
    258     return false;
    259 
    260   unsigned NewOpc = I->VexOpcode;
    261 
    262   if (usesExtendedRegister(MI))
    263     return false;
    264 
    265   if (!CheckVEXInstPredicate(MI, ST))
    266     return false;
    267 
    268   if (!performCustomAdjustments(MI, NewOpc, ST))
    269     return false;
    270 
    271   MI.setDesc(TII->get(NewOpc));
    272   MI.setAsmPrinterFlag(X86::AC_EVEX_2_VEX);
    273   return true;
    274 }
    275 
    276 INITIALIZE_PASS(EvexToVexInstPass, EVEX2VEX_NAME, EVEX2VEX_DESC, false, false)
    277 
    278 FunctionPass *llvm::createX86EvexToVexInsts() {
    279   return new EvexToVexInstPass();
    280 }
    281