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