1d88c1a5aSDimitry Andric //===-- SIMCCodeEmitter.cpp - SI Code Emitter -----------------------------===//
28f0fd8f6SDimitry Andric //
38f0fd8f6SDimitry Andric //                     The LLVM Compiler Infrastructure
48f0fd8f6SDimitry Andric //
58f0fd8f6SDimitry Andric // This file is distributed under the University of Illinois Open Source
68f0fd8f6SDimitry Andric // License. See LICENSE.TXT for details.
78f0fd8f6SDimitry Andric //
88f0fd8f6SDimitry Andric //===----------------------------------------------------------------------===//
98f0fd8f6SDimitry Andric //
108f0fd8f6SDimitry Andric /// \file
11*4ba319b5SDimitry Andric /// The SI code emitter produces machine code that can be executed
128f0fd8f6SDimitry Andric /// directly on the GPU device.
138f0fd8f6SDimitry Andric //
148f0fd8f6SDimitry Andric //===----------------------------------------------------------------------===//
158f0fd8f6SDimitry Andric 
168f0fd8f6SDimitry Andric #include "AMDGPU.h"
178f0fd8f6SDimitry Andric #include "MCTargetDesc/AMDGPUFixupKinds.h"
188f0fd8f6SDimitry Andric #include "MCTargetDesc/AMDGPUMCCodeEmitter.h"
198f0fd8f6SDimitry Andric #include "MCTargetDesc/AMDGPUMCTargetDesc.h"
20d88c1a5aSDimitry Andric #include "Utils/AMDGPUBaseInfo.h"
218f0fd8f6SDimitry Andric #include "llvm/MC/MCCodeEmitter.h"
228f0fd8f6SDimitry Andric #include "llvm/MC/MCContext.h"
23d88c1a5aSDimitry Andric #include "llvm/MC/MCExpr.h"
248f0fd8f6SDimitry Andric #include "llvm/MC/MCFixup.h"
258f0fd8f6SDimitry Andric #include "llvm/MC/MCInst.h"
26d88c1a5aSDimitry Andric #include "llvm/MC/MCInstrDesc.h"
278f0fd8f6SDimitry Andric #include "llvm/MC/MCInstrInfo.h"
288f0fd8f6SDimitry Andric #include "llvm/MC/MCRegisterInfo.h"
298f0fd8f6SDimitry Andric #include "llvm/MC/MCSubtargetInfo.h"
30d88c1a5aSDimitry Andric #include "llvm/MC/MCSymbol.h"
31d88c1a5aSDimitry Andric #include "llvm/Support/Casting.h"
32d88c1a5aSDimitry Andric #include "llvm/Support/ErrorHandling.h"
33d88c1a5aSDimitry Andric #include "llvm/Support/MathExtras.h"
348f0fd8f6SDimitry Andric #include "llvm/Support/raw_ostream.h"
35d88c1a5aSDimitry Andric #include <cassert>
36d88c1a5aSDimitry Andric #include <cstdint>
37d88c1a5aSDimitry Andric #include <cstdlib>
388f0fd8f6SDimitry Andric 
398f0fd8f6SDimitry Andric using namespace llvm;
408f0fd8f6SDimitry Andric 
418f0fd8f6SDimitry Andric namespace {
428f0fd8f6SDimitry Andric 
438f0fd8f6SDimitry Andric class SIMCCodeEmitter : public  AMDGPUMCCodeEmitter {
448f0fd8f6SDimitry Andric   const MCRegisterInfo &MRI;
458f0fd8f6SDimitry Andric 
46*4ba319b5SDimitry Andric   /// Encode an fp or int literal
47d88c1a5aSDimitry Andric   uint32_t getLitEncoding(const MCOperand &MO, const MCOperandInfo &OpInfo,
48d88c1a5aSDimitry Andric                           const MCSubtargetInfo &STI) const;
498f0fd8f6SDimitry Andric 
508f0fd8f6SDimitry Andric public:
SIMCCodeEmitter(const MCInstrInfo & mcii,const MCRegisterInfo & mri,MCContext & ctx)518f0fd8f6SDimitry Andric   SIMCCodeEmitter(const MCInstrInfo &mcii, const MCRegisterInfo &mri,
528f0fd8f6SDimitry Andric                   MCContext &ctx)
53d88c1a5aSDimitry Andric       : AMDGPUMCCodeEmitter(mcii), MRI(mri) {}
54d88c1a5aSDimitry Andric   SIMCCodeEmitter(const SIMCCodeEmitter &) = delete;
55d88c1a5aSDimitry Andric   SIMCCodeEmitter &operator=(const SIMCCodeEmitter &) = delete;
568f0fd8f6SDimitry Andric 
57*4ba319b5SDimitry Andric   /// Encode the instruction and write it to the OS.
588f0fd8f6SDimitry Andric   void encodeInstruction(const MCInst &MI, raw_ostream &OS,
598f0fd8f6SDimitry Andric                          SmallVectorImpl<MCFixup> &Fixups,
608f0fd8f6SDimitry Andric                          const MCSubtargetInfo &STI) const override;
618f0fd8f6SDimitry Andric 
628f0fd8f6SDimitry Andric   /// \returns the encoding for an MCOperand.
638f0fd8f6SDimitry Andric   uint64_t getMachineOpValue(const MCInst &MI, const MCOperand &MO,
648f0fd8f6SDimitry Andric                              SmallVectorImpl<MCFixup> &Fixups,
658f0fd8f6SDimitry Andric                              const MCSubtargetInfo &STI) const override;
668f0fd8f6SDimitry Andric 
67*4ba319b5SDimitry Andric   /// Use a fixup to encode the simm16 field for SOPP branch
688f0fd8f6SDimitry Andric   ///        instructions.
698f0fd8f6SDimitry Andric   unsigned getSOPPBrEncoding(const MCInst &MI, unsigned OpNo,
708f0fd8f6SDimitry Andric                              SmallVectorImpl<MCFixup> &Fixups,
718f0fd8f6SDimitry Andric                              const MCSubtargetInfo &STI) const override;
72302affcbSDimitry Andric 
73edd7eaddSDimitry Andric   unsigned getSDWASrcEncoding(const MCInst &MI, unsigned OpNo,
74302affcbSDimitry Andric                               SmallVectorImpl<MCFixup> &Fixups,
75302affcbSDimitry Andric                               const MCSubtargetInfo &STI) const override;
76302affcbSDimitry Andric 
77edd7eaddSDimitry Andric   unsigned getSDWAVopcDstEncoding(const MCInst &MI, unsigned OpNo,
78302affcbSDimitry Andric                                   SmallVectorImpl<MCFixup> &Fixups,
79302affcbSDimitry Andric                                   const MCSubtargetInfo &STI) const override;
808f0fd8f6SDimitry Andric };
818f0fd8f6SDimitry Andric 
82d88c1a5aSDimitry Andric } // end anonymous namespace
838f0fd8f6SDimitry Andric 
createSIMCCodeEmitter(const MCInstrInfo & MCII,const MCRegisterInfo & MRI,MCContext & Ctx)848f0fd8f6SDimitry Andric MCCodeEmitter *llvm::createSIMCCodeEmitter(const MCInstrInfo &MCII,
858f0fd8f6SDimitry Andric                                            const MCRegisterInfo &MRI,
868f0fd8f6SDimitry Andric                                            MCContext &Ctx) {
878f0fd8f6SDimitry Andric   return new SIMCCodeEmitter(MCII, MRI, Ctx);
888f0fd8f6SDimitry Andric }
898f0fd8f6SDimitry Andric 
908f0fd8f6SDimitry Andric // Returns the encoding value to use if the given integer is an integer inline
918f0fd8f6SDimitry Andric // immediate value, or 0 if it is not.
928f0fd8f6SDimitry Andric template <typename IntTy>
getIntInlineImmEncoding(IntTy Imm)938f0fd8f6SDimitry Andric static uint32_t getIntInlineImmEncoding(IntTy Imm) {
948f0fd8f6SDimitry Andric   if (Imm >= 0 && Imm <= 64)
958f0fd8f6SDimitry Andric     return 128 + Imm;
968f0fd8f6SDimitry Andric 
978f0fd8f6SDimitry Andric   if (Imm >= -16 && Imm <= -1)
988f0fd8f6SDimitry Andric     return 192 + std::abs(Imm);
998f0fd8f6SDimitry Andric 
1008f0fd8f6SDimitry Andric   return 0;
1018f0fd8f6SDimitry Andric }
1028f0fd8f6SDimitry Andric 
getLit16Encoding(uint16_t Val,const MCSubtargetInfo & STI)103d88c1a5aSDimitry Andric static uint32_t getLit16Encoding(uint16_t Val, const MCSubtargetInfo &STI) {
104d88c1a5aSDimitry Andric   uint16_t IntImm = getIntInlineImmEncoding(static_cast<int16_t>(Val));
105d88c1a5aSDimitry Andric   if (IntImm != 0)
106d88c1a5aSDimitry Andric     return IntImm;
107d88c1a5aSDimitry Andric 
108d88c1a5aSDimitry Andric   if (Val == 0x3800) // 0.5
109d88c1a5aSDimitry Andric     return 240;
110d88c1a5aSDimitry Andric 
111d88c1a5aSDimitry Andric   if (Val == 0xB800) // -0.5
112d88c1a5aSDimitry Andric     return 241;
113d88c1a5aSDimitry Andric 
114d88c1a5aSDimitry Andric   if (Val == 0x3C00) // 1.0
115d88c1a5aSDimitry Andric     return 242;
116d88c1a5aSDimitry Andric 
117d88c1a5aSDimitry Andric   if (Val == 0xBC00) // -1.0
118d88c1a5aSDimitry Andric     return 243;
119d88c1a5aSDimitry Andric 
120d88c1a5aSDimitry Andric   if (Val == 0x4000) // 2.0
121d88c1a5aSDimitry Andric     return 244;
122d88c1a5aSDimitry Andric 
123d88c1a5aSDimitry Andric   if (Val == 0xC000) // -2.0
124d88c1a5aSDimitry Andric     return 245;
125d88c1a5aSDimitry Andric 
126d88c1a5aSDimitry Andric   if (Val == 0x4400) // 4.0
127d88c1a5aSDimitry Andric     return 246;
128d88c1a5aSDimitry Andric 
129d88c1a5aSDimitry Andric   if (Val == 0xC400) // -4.0
130d88c1a5aSDimitry Andric     return 247;
131d88c1a5aSDimitry Andric 
132d88c1a5aSDimitry Andric   if (Val == 0x3118 && // 1.0 / (2.0 * pi)
133d88c1a5aSDimitry Andric       STI.getFeatureBits()[AMDGPU::FeatureInv2PiInlineImm])
134d88c1a5aSDimitry Andric     return 248;
135d88c1a5aSDimitry Andric 
136d88c1a5aSDimitry Andric   return 255;
137d88c1a5aSDimitry Andric }
138d88c1a5aSDimitry Andric 
getLit32Encoding(uint32_t Val,const MCSubtargetInfo & STI)139d88c1a5aSDimitry Andric static uint32_t getLit32Encoding(uint32_t Val, const MCSubtargetInfo &STI) {
1408f0fd8f6SDimitry Andric   uint32_t IntImm = getIntInlineImmEncoding(static_cast<int32_t>(Val));
1418f0fd8f6SDimitry Andric   if (IntImm != 0)
1428f0fd8f6SDimitry Andric     return IntImm;
1438f0fd8f6SDimitry Andric 
1448f0fd8f6SDimitry Andric   if (Val == FloatToBits(0.5f))
1458f0fd8f6SDimitry Andric     return 240;
1468f0fd8f6SDimitry Andric 
1478f0fd8f6SDimitry Andric   if (Val == FloatToBits(-0.5f))
1488f0fd8f6SDimitry Andric     return 241;
1498f0fd8f6SDimitry Andric 
1508f0fd8f6SDimitry Andric   if (Val == FloatToBits(1.0f))
1518f0fd8f6SDimitry Andric     return 242;
1528f0fd8f6SDimitry Andric 
1538f0fd8f6SDimitry Andric   if (Val == FloatToBits(-1.0f))
1548f0fd8f6SDimitry Andric     return 243;
1558f0fd8f6SDimitry Andric 
1568f0fd8f6SDimitry Andric   if (Val == FloatToBits(2.0f))
1578f0fd8f6SDimitry Andric     return 244;
1588f0fd8f6SDimitry Andric 
1598f0fd8f6SDimitry Andric   if (Val == FloatToBits(-2.0f))
1608f0fd8f6SDimitry Andric     return 245;
1618f0fd8f6SDimitry Andric 
1628f0fd8f6SDimitry Andric   if (Val == FloatToBits(4.0f))
1638f0fd8f6SDimitry Andric     return 246;
1648f0fd8f6SDimitry Andric 
1658f0fd8f6SDimitry Andric   if (Val == FloatToBits(-4.0f))
1668f0fd8f6SDimitry Andric     return 247;
1678f0fd8f6SDimitry Andric 
168d88c1a5aSDimitry Andric   if (Val == 0x3e22f983 && // 1.0 / (2.0 * pi)
169d88c1a5aSDimitry Andric       STI.getFeatureBits()[AMDGPU::FeatureInv2PiInlineImm])
170d88c1a5aSDimitry Andric     return 248;
171d88c1a5aSDimitry Andric 
1728f0fd8f6SDimitry Andric   return 255;
1738f0fd8f6SDimitry Andric }
1748f0fd8f6SDimitry Andric 
getLit64Encoding(uint64_t Val,const MCSubtargetInfo & STI)175d88c1a5aSDimitry Andric static uint32_t getLit64Encoding(uint64_t Val, const MCSubtargetInfo &STI) {
1768f0fd8f6SDimitry Andric   uint32_t IntImm = getIntInlineImmEncoding(static_cast<int64_t>(Val));
1778f0fd8f6SDimitry Andric   if (IntImm != 0)
1788f0fd8f6SDimitry Andric     return IntImm;
1798f0fd8f6SDimitry Andric 
1808f0fd8f6SDimitry Andric   if (Val == DoubleToBits(0.5))
1818f0fd8f6SDimitry Andric     return 240;
1828f0fd8f6SDimitry Andric 
1838f0fd8f6SDimitry Andric   if (Val == DoubleToBits(-0.5))
1848f0fd8f6SDimitry Andric     return 241;
1858f0fd8f6SDimitry Andric 
1868f0fd8f6SDimitry Andric   if (Val == DoubleToBits(1.0))
1878f0fd8f6SDimitry Andric     return 242;
1888f0fd8f6SDimitry Andric 
1898f0fd8f6SDimitry Andric   if (Val == DoubleToBits(-1.0))
1908f0fd8f6SDimitry Andric     return 243;
1918f0fd8f6SDimitry Andric 
1928f0fd8f6SDimitry Andric   if (Val == DoubleToBits(2.0))
1938f0fd8f6SDimitry Andric     return 244;
1948f0fd8f6SDimitry Andric 
1958f0fd8f6SDimitry Andric   if (Val == DoubleToBits(-2.0))
1968f0fd8f6SDimitry Andric     return 245;
1978f0fd8f6SDimitry Andric 
1988f0fd8f6SDimitry Andric   if (Val == DoubleToBits(4.0))
1998f0fd8f6SDimitry Andric     return 246;
2008f0fd8f6SDimitry Andric 
2018f0fd8f6SDimitry Andric   if (Val == DoubleToBits(-4.0))
2028f0fd8f6SDimitry Andric     return 247;
2038f0fd8f6SDimitry Andric 
204d88c1a5aSDimitry Andric   if (Val == 0x3fc45f306dc9c882 && // 1.0 / (2.0 * pi)
205d88c1a5aSDimitry Andric       STI.getFeatureBits()[AMDGPU::FeatureInv2PiInlineImm])
206d88c1a5aSDimitry Andric     return 248;
207d88c1a5aSDimitry Andric 
2088f0fd8f6SDimitry Andric   return 255;
2098f0fd8f6SDimitry Andric }
2108f0fd8f6SDimitry Andric 
getLitEncoding(const MCOperand & MO,const MCOperandInfo & OpInfo,const MCSubtargetInfo & STI) const2118f0fd8f6SDimitry Andric uint32_t SIMCCodeEmitter::getLitEncoding(const MCOperand &MO,
212d88c1a5aSDimitry Andric                                          const MCOperandInfo &OpInfo,
213d88c1a5aSDimitry Andric                                          const MCSubtargetInfo &STI) const {
2143ca95b02SDimitry Andric   int64_t Imm;
2153ca95b02SDimitry Andric   if (MO.isExpr()) {
216d88c1a5aSDimitry Andric     const auto *C = dyn_cast<MCConstantExpr>(MO.getExpr());
2173ca95b02SDimitry Andric     if (!C)
2188f0fd8f6SDimitry Andric       return 255;
2198f0fd8f6SDimitry Andric 
2203ca95b02SDimitry Andric     Imm = C->getValue();
2213ca95b02SDimitry Andric   } else {
2223ca95b02SDimitry Andric 
2238f0fd8f6SDimitry Andric     assert(!MO.isFPImm());
2248f0fd8f6SDimitry Andric 
2258f0fd8f6SDimitry Andric     if (!MO.isImm())
2268f0fd8f6SDimitry Andric       return ~0;
2278f0fd8f6SDimitry Andric 
2283ca95b02SDimitry Andric     Imm = MO.getImm();
2293ca95b02SDimitry Andric   }
2303ca95b02SDimitry Andric 
2317a7e6055SDimitry Andric   switch (OpInfo.OperandType) {
2327a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_IMM_INT32:
2337a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_IMM_FP32:
2347a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_INLINE_C_INT32:
2357a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_INLINE_C_FP32:
236d88c1a5aSDimitry Andric     return getLit32Encoding(static_cast<uint32_t>(Imm), STI);
2377a7e6055SDimitry Andric 
2387a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_IMM_INT64:
2397a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_IMM_FP64:
2407a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_INLINE_C_INT64:
2417a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_INLINE_C_FP64:
242d88c1a5aSDimitry Andric     return getLit64Encoding(static_cast<uint64_t>(Imm), STI);
2437a7e6055SDimitry Andric 
2447a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_IMM_INT16:
2457a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_IMM_FP16:
2467a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_INLINE_C_INT16:
2477a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_INLINE_C_FP16:
2487a7e6055SDimitry Andric     // FIXME Is this correct? What do inline immediates do on SI for f16 src
2497a7e6055SDimitry Andric     // which does not have f16 support?
250d88c1a5aSDimitry Andric     return getLit16Encoding(static_cast<uint16_t>(Imm), STI);
2517a7e6055SDimitry Andric 
2527a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_INLINE_C_V2INT16:
2537a7e6055SDimitry Andric   case AMDGPU::OPERAND_REG_INLINE_C_V2FP16: {
2547a7e6055SDimitry Andric     uint16_t Lo16 = static_cast<uint16_t>(Imm);
2557a7e6055SDimitry Andric     uint32_t Encoding = getLit16Encoding(Lo16, STI);
2567a7e6055SDimitry Andric     return Encoding;
2577a7e6055SDimitry Andric   }
258d88c1a5aSDimitry Andric   default:
259d88c1a5aSDimitry Andric     llvm_unreachable("invalid operand size");
260d88c1a5aSDimitry Andric   }
2618f0fd8f6SDimitry Andric }
2628f0fd8f6SDimitry Andric 
encodeInstruction(const MCInst & MI,raw_ostream & OS,SmallVectorImpl<MCFixup> & Fixups,const MCSubtargetInfo & STI) const2638f0fd8f6SDimitry Andric void SIMCCodeEmitter::encodeInstruction(const MCInst &MI, raw_ostream &OS,
2648f0fd8f6SDimitry Andric                                        SmallVectorImpl<MCFixup> &Fixups,
2658f0fd8f6SDimitry Andric                                        const MCSubtargetInfo &STI) const {
266d88c1a5aSDimitry Andric   verifyInstructionPredicates(MI,
267d88c1a5aSDimitry Andric                               computeAvailableFeatures(STI.getFeatureBits()));
2688f0fd8f6SDimitry Andric 
2698f0fd8f6SDimitry Andric   uint64_t Encoding = getBinaryCodeForInstr(MI, Fixups, STI);
2708f0fd8f6SDimitry Andric   const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
2718f0fd8f6SDimitry Andric   unsigned bytes = Desc.getSize();
2728f0fd8f6SDimitry Andric 
2738f0fd8f6SDimitry Andric   for (unsigned i = 0; i < bytes; i++) {
2748f0fd8f6SDimitry Andric     OS.write((uint8_t) ((Encoding >> (8 * i)) & 0xff));
2758f0fd8f6SDimitry Andric   }
2768f0fd8f6SDimitry Andric 
2778f0fd8f6SDimitry Andric   if (bytes > 4)
2788f0fd8f6SDimitry Andric     return;
2798f0fd8f6SDimitry Andric 
2808f0fd8f6SDimitry Andric   // Check for additional literals in SRC0/1/2 (Op 1/2/3)
2812cab237bSDimitry Andric   for (unsigned i = 0, e = Desc.getNumOperands(); i < e; ++i) {
2828f0fd8f6SDimitry Andric 
2838f0fd8f6SDimitry Andric     // Check if this operand should be encoded as [SV]Src
284d88c1a5aSDimitry Andric     if (!AMDGPU::isSISrcOperand(Desc, i))
2858f0fd8f6SDimitry Andric       continue;
2868f0fd8f6SDimitry Andric 
2878f0fd8f6SDimitry Andric     // Is this operand a literal immediate?
2888f0fd8f6SDimitry Andric     const MCOperand &Op = MI.getOperand(i);
289d88c1a5aSDimitry Andric     if (getLitEncoding(Op, Desc.OpInfo[i], STI) != 255)
2908f0fd8f6SDimitry Andric       continue;
2918f0fd8f6SDimitry Andric 
2928f0fd8f6SDimitry Andric     // Yes! Encode it
2938f0fd8f6SDimitry Andric     int64_t Imm = 0;
2948f0fd8f6SDimitry Andric 
2958f0fd8f6SDimitry Andric     if (Op.isImm())
2968f0fd8f6SDimitry Andric       Imm = Op.getImm();
2973ca95b02SDimitry Andric     else if (Op.isExpr()) {
298d88c1a5aSDimitry Andric       if (const auto *C = dyn_cast<MCConstantExpr>(Op.getExpr()))
2993ca95b02SDimitry Andric         Imm = C->getValue();
3003ca95b02SDimitry Andric 
3013ca95b02SDimitry Andric     } else if (!Op.isExpr()) // Exprs will be replaced with a fixup value.
3028f0fd8f6SDimitry Andric       llvm_unreachable("Must be immediate or expr");
3038f0fd8f6SDimitry Andric 
3048f0fd8f6SDimitry Andric     for (unsigned j = 0; j < 4; j++) {
3058f0fd8f6SDimitry Andric       OS.write((uint8_t) ((Imm >> (8 * j)) & 0xff));
3068f0fd8f6SDimitry Andric     }
3078f0fd8f6SDimitry Andric 
3088f0fd8f6SDimitry Andric     // Only one literal value allowed
3098f0fd8f6SDimitry Andric     break;
3108f0fd8f6SDimitry Andric   }
3118f0fd8f6SDimitry Andric }
3128f0fd8f6SDimitry Andric 
getSOPPBrEncoding(const MCInst & MI,unsigned OpNo,SmallVectorImpl<MCFixup> & Fixups,const MCSubtargetInfo & STI) const3138f0fd8f6SDimitry Andric unsigned SIMCCodeEmitter::getSOPPBrEncoding(const MCInst &MI, unsigned OpNo,
3148f0fd8f6SDimitry Andric                                             SmallVectorImpl<MCFixup> &Fixups,
3158f0fd8f6SDimitry Andric                                             const MCSubtargetInfo &STI) const {
3168f0fd8f6SDimitry Andric   const MCOperand &MO = MI.getOperand(OpNo);
3178f0fd8f6SDimitry Andric 
3188f0fd8f6SDimitry Andric   if (MO.isExpr()) {
3198f0fd8f6SDimitry Andric     const MCExpr *Expr = MO.getExpr();
3208f0fd8f6SDimitry Andric     MCFixupKind Kind = (MCFixupKind)AMDGPU::fixup_si_sopp_br;
3218f0fd8f6SDimitry Andric     Fixups.push_back(MCFixup::create(0, Expr, Kind, MI.getLoc()));
3228f0fd8f6SDimitry Andric     return 0;
3238f0fd8f6SDimitry Andric   }
3248f0fd8f6SDimitry Andric 
3258f0fd8f6SDimitry Andric   return getMachineOpValue(MI, MO, Fixups, STI);
3268f0fd8f6SDimitry Andric }
3278f0fd8f6SDimitry Andric 
328302affcbSDimitry Andric unsigned
getSDWASrcEncoding(const MCInst & MI,unsigned OpNo,SmallVectorImpl<MCFixup> & Fixups,const MCSubtargetInfo & STI) const329edd7eaddSDimitry Andric SIMCCodeEmitter::getSDWASrcEncoding(const MCInst &MI, unsigned OpNo,
330302affcbSDimitry Andric                                     SmallVectorImpl<MCFixup> &Fixups,
331302affcbSDimitry Andric                                     const MCSubtargetInfo &STI) const {
332302affcbSDimitry Andric   using namespace AMDGPU::SDWA;
333302affcbSDimitry Andric 
334302affcbSDimitry Andric   uint64_t RegEnc = 0;
335302affcbSDimitry Andric 
336302affcbSDimitry Andric   const MCOperand &MO = MI.getOperand(OpNo);
337302affcbSDimitry Andric 
338*4ba319b5SDimitry Andric   if (MO.isReg()) {
339302affcbSDimitry Andric     unsigned Reg = MO.getReg();
340302affcbSDimitry Andric     RegEnc |= MRI.getEncodingValue(Reg);
341302affcbSDimitry Andric     RegEnc &= SDWA9EncValues::SRC_VGPR_MASK;
342302affcbSDimitry Andric     if (AMDGPU::isSGPR(AMDGPU::mc2PseudoReg(Reg), &MRI)) {
343302affcbSDimitry Andric       RegEnc |= SDWA9EncValues::SRC_SGPR_MASK;
344302affcbSDimitry Andric     }
345302affcbSDimitry Andric     return RegEnc;
346*4ba319b5SDimitry Andric   } else {
347*4ba319b5SDimitry Andric     const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
348*4ba319b5SDimitry Andric     uint32_t Enc = getLitEncoding(MO, Desc.OpInfo[OpNo], STI);
349*4ba319b5SDimitry Andric     if (Enc != ~0U && Enc != 255) {
350*4ba319b5SDimitry Andric       return Enc | SDWA9EncValues::SRC_SGPR_MASK;
351*4ba319b5SDimitry Andric     }
352*4ba319b5SDimitry Andric   }
353*4ba319b5SDimitry Andric 
354*4ba319b5SDimitry Andric   llvm_unreachable("Unsupported operand kind");
355*4ba319b5SDimitry Andric   return 0;
356302affcbSDimitry Andric }
357302affcbSDimitry Andric 
358302affcbSDimitry Andric unsigned
getSDWAVopcDstEncoding(const MCInst & MI,unsigned OpNo,SmallVectorImpl<MCFixup> & Fixups,const MCSubtargetInfo & STI) const359edd7eaddSDimitry Andric SIMCCodeEmitter::getSDWAVopcDstEncoding(const MCInst &MI, unsigned OpNo,
360302affcbSDimitry Andric                                         SmallVectorImpl<MCFixup> &Fixups,
361302affcbSDimitry Andric                                         const MCSubtargetInfo &STI) const {
362302affcbSDimitry Andric   using namespace AMDGPU::SDWA;
363302affcbSDimitry Andric 
364302affcbSDimitry Andric   uint64_t RegEnc = 0;
365302affcbSDimitry Andric 
366302affcbSDimitry Andric   const MCOperand &MO = MI.getOperand(OpNo);
367302affcbSDimitry Andric 
368302affcbSDimitry Andric   unsigned Reg = MO.getReg();
369302affcbSDimitry Andric   if (Reg != AMDGPU::VCC) {
370302affcbSDimitry Andric     RegEnc |= MRI.getEncodingValue(Reg);
371302affcbSDimitry Andric     RegEnc &= SDWA9EncValues::VOPC_DST_SGPR_MASK;
372302affcbSDimitry Andric     RegEnc |= SDWA9EncValues::VOPC_DST_VCC_MASK;
373302affcbSDimitry Andric   }
374302affcbSDimitry Andric   return RegEnc;
375302affcbSDimitry Andric }
376302affcbSDimitry Andric 
needsPCRel(const MCExpr * Expr)377edd7eaddSDimitry Andric static bool needsPCRel(const MCExpr *Expr) {
378edd7eaddSDimitry Andric   switch (Expr->getKind()) {
379edd7eaddSDimitry Andric   case MCExpr::SymbolRef:
380edd7eaddSDimitry Andric     return true;
381edd7eaddSDimitry Andric   case MCExpr::Binary: {
382edd7eaddSDimitry Andric     auto *BE = cast<MCBinaryExpr>(Expr);
383edd7eaddSDimitry Andric     if (BE->getOpcode() == MCBinaryExpr::Sub)
384edd7eaddSDimitry Andric       return false;
385edd7eaddSDimitry Andric     return needsPCRel(BE->getLHS()) || needsPCRel(BE->getRHS());
386edd7eaddSDimitry Andric   }
387edd7eaddSDimitry Andric   case MCExpr::Unary:
388edd7eaddSDimitry Andric     return needsPCRel(cast<MCUnaryExpr>(Expr)->getSubExpr());
389edd7eaddSDimitry Andric   case MCExpr::Target:
390edd7eaddSDimitry Andric   case MCExpr::Constant:
391edd7eaddSDimitry Andric     return false;
392edd7eaddSDimitry Andric   }
393edd7eaddSDimitry Andric   llvm_unreachable("invalid kind");
394edd7eaddSDimitry Andric }
395edd7eaddSDimitry Andric 
getMachineOpValue(const MCInst & MI,const MCOperand & MO,SmallVectorImpl<MCFixup> & Fixups,const MCSubtargetInfo & STI) const3968f0fd8f6SDimitry Andric uint64_t SIMCCodeEmitter::getMachineOpValue(const MCInst &MI,
3978f0fd8f6SDimitry Andric                                             const MCOperand &MO,
3988f0fd8f6SDimitry Andric                                        SmallVectorImpl<MCFixup> &Fixups,
3998f0fd8f6SDimitry Andric                                        const MCSubtargetInfo &STI) const {
4008f0fd8f6SDimitry Andric   if (MO.isReg())
4018f0fd8f6SDimitry Andric     return MRI.getEncodingValue(MO.getReg());
4028f0fd8f6SDimitry Andric 
4033ca95b02SDimitry Andric   if (MO.isExpr() && MO.getExpr()->getKind() != MCExpr::Constant) {
404edd7eaddSDimitry Andric     // FIXME: If this is expression is PCRel or not should not depend on what
405edd7eaddSDimitry Andric     // the expression looks like. Given that this is just a general expression,
406edd7eaddSDimitry Andric     // it should probably be FK_Data_4 and whatever is producing
407edd7eaddSDimitry Andric     //
408edd7eaddSDimitry Andric     //    s_add_u32 s2, s2, (extern_const_addrspace+16
409edd7eaddSDimitry Andric     //
410edd7eaddSDimitry Andric     // And expecting a PCRel should instead produce
411edd7eaddSDimitry Andric     //
412edd7eaddSDimitry Andric     // .Ltmp1:
413edd7eaddSDimitry Andric     //   s_add_u32 s2, s2, (extern_const_addrspace+16)-.Ltmp1
4143ca95b02SDimitry Andric     MCFixupKind Kind;
415edd7eaddSDimitry Andric     if (needsPCRel(MO.getExpr()))
4163ca95b02SDimitry Andric       Kind = FK_PCRel_4;
417edd7eaddSDimitry Andric     else
418edd7eaddSDimitry Andric       Kind = FK_Data_4;
4193ca95b02SDimitry Andric     Fixups.push_back(MCFixup::create(4, MO.getExpr(), Kind, MI.getLoc()));
4208f0fd8f6SDimitry Andric   }
4218f0fd8f6SDimitry Andric 
4228f0fd8f6SDimitry Andric   // Figure out the operand number, needed for isSrcOperand check
4238f0fd8f6SDimitry Andric   unsigned OpNo = 0;
4248f0fd8f6SDimitry Andric   for (unsigned e = MI.getNumOperands(); OpNo < e; ++OpNo) {
4258f0fd8f6SDimitry Andric     if (&MO == &MI.getOperand(OpNo))
4268f0fd8f6SDimitry Andric       break;
4278f0fd8f6SDimitry Andric   }
4288f0fd8f6SDimitry Andric 
4298f0fd8f6SDimitry Andric   const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
430d88c1a5aSDimitry Andric   if (AMDGPU::isSISrcOperand(Desc, OpNo)) {
431d88c1a5aSDimitry Andric     uint32_t Enc = getLitEncoding(MO, Desc.OpInfo[OpNo], STI);
4328f0fd8f6SDimitry Andric     if (Enc != ~0U && (Enc != 255 || Desc.getSize() == 4))
4338f0fd8f6SDimitry Andric       return Enc;
4348f0fd8f6SDimitry Andric 
4358f0fd8f6SDimitry Andric   } else if (MO.isImm())
4368f0fd8f6SDimitry Andric     return MO.getImm();
4378f0fd8f6SDimitry Andric 
4388f0fd8f6SDimitry Andric   llvm_unreachable("Encoding of this operand type is not supported yet.");
4398f0fd8f6SDimitry Andric   return 0;
4408f0fd8f6SDimitry Andric }
441*4ba319b5SDimitry Andric 
442*4ba319b5SDimitry Andric #define ENABLE_INSTR_PREDICATE_VERIFIER
443*4ba319b5SDimitry Andric #include "AMDGPUGenMCCodeEmitter.inc"
444