1eb9af294SRichard Sandiford //===-- SystemZDisassembler.cpp - Disassembler for SystemZ ------*- C++ -*-===// 2eb9af294SRichard Sandiford // 3eb9af294SRichard Sandiford // The LLVM Compiler Infrastructure 4eb9af294SRichard Sandiford // 5eb9af294SRichard Sandiford // This file is distributed under the University of Illinois Open Source 6eb9af294SRichard Sandiford // License. See LICENSE.TXT for details. 7eb9af294SRichard Sandiford // 8eb9af294SRichard Sandiford //===----------------------------------------------------------------------===// 9eb9af294SRichard Sandiford 103943d2b0SEugene Zelenko #include "MCTargetDesc/SystemZMCTargetDesc.h" 11eb9af294SRichard Sandiford #include "SystemZ.h" 12f57c1977SBenjamin Kramer #include "llvm/MC/MCDisassembler/MCDisassembler.h" 13eb9af294SRichard Sandiford #include "llvm/MC/MCFixedLenDisassembler.h" 14eb9af294SRichard Sandiford #include "llvm/MC/MCInst.h" 15eb9af294SRichard Sandiford #include "llvm/MC/MCSubtargetInfo.h" 163943d2b0SEugene Zelenko #include "llvm/Support/MathExtras.h" 17eb9af294SRichard Sandiford #include "llvm/Support/TargetRegistry.h" 183943d2b0SEugene Zelenko #include <cassert> 193943d2b0SEugene Zelenko #include <cstdint> 20eb9af294SRichard Sandiford 21eb9af294SRichard Sandiford using namespace llvm; 22eb9af294SRichard Sandiford 23e96dd897SChandler Carruth #define DEBUG_TYPE "systemz-disassembler" 24e96dd897SChandler Carruth 25eb9af294SRichard Sandiford typedef MCDisassembler::DecodeStatus DecodeStatus; 26eb9af294SRichard Sandiford 27eb9af294SRichard Sandiford namespace { 283943d2b0SEugene Zelenko 29eb9af294SRichard Sandiford class SystemZDisassembler : public MCDisassembler { 30eb9af294SRichard Sandiford public: 31a1bc0f56SLang Hames SystemZDisassembler(const MCSubtargetInfo &STI, MCContext &Ctx) 32a1bc0f56SLang Hames : MCDisassembler(STI, Ctx) {} 333943d2b0SEugene Zelenko ~SystemZDisassembler() override = default; 34eb9af294SRichard Sandiford 357fc5b874SRafael Espindola DecodeStatus getInstruction(MCInst &instr, uint64_t &Size, 367fc5b874SRafael Espindola ArrayRef<uint8_t> Bytes, uint64_t Address, 374aa6bea7SRafael Espindola raw_ostream &VStream, 384aa6bea7SRafael Espindola raw_ostream &CStream) const override; 39eb9af294SRichard Sandiford }; 403943d2b0SEugene Zelenko 41eb9af294SRichard Sandiford } // end anonymous namespace 42eb9af294SRichard Sandiford 43eb9af294SRichard Sandiford static MCDisassembler *createSystemZDisassembler(const Target &T, 44a1bc0f56SLang Hames const MCSubtargetInfo &STI, 45a1bc0f56SLang Hames MCContext &Ctx) { 46a1bc0f56SLang Hames return new SystemZDisassembler(STI, Ctx); 47eb9af294SRichard Sandiford } 48eb9af294SRichard Sandiford 49eb9af294SRichard Sandiford extern "C" void LLVMInitializeSystemZDisassembler() { 50eb9af294SRichard Sandiford // Register the disassembler. 51f42454b9SMehdi Amini TargetRegistry::RegisterMCDisassembler(getTheSystemZTarget(), 52eb9af294SRichard Sandiford createSystemZDisassembler); 53eb9af294SRichard Sandiford } 54eb9af294SRichard Sandiford 556e648ea5SUlrich Weigand /// tryAddingSymbolicOperand - trys to add a symbolic operand in place of the 566e648ea5SUlrich Weigand /// immediate Value in the MCInst. 576e648ea5SUlrich Weigand /// 586e648ea5SUlrich Weigand /// @param Value - The immediate Value, has had any PC adjustment made by 596e648ea5SUlrich Weigand /// the caller. 606e648ea5SUlrich Weigand /// @param isBranch - If the instruction is a branch instruction 616e648ea5SUlrich Weigand /// @param Address - The starting address of the instruction 626e648ea5SUlrich Weigand /// @param Offset - The byte offset to this immediate in the instruction 636e648ea5SUlrich Weigand /// @param Width - The byte width of this immediate in the instruction 646e648ea5SUlrich Weigand /// 656e648ea5SUlrich Weigand /// If the getOpInfo() function was set when setupForSymbolicDisassembly() was 666e648ea5SUlrich Weigand /// called then that function is called to get any symbolic information for the 676e648ea5SUlrich Weigand /// immediate in the instruction using the Address, Offset and Width. If that 686e648ea5SUlrich Weigand /// returns non-zero then the symbolic information it returns is used to create 696e648ea5SUlrich Weigand /// an MCExpr and that is added as an operand to the MCInst. If getOpInfo() 706e648ea5SUlrich Weigand /// returns zero and isBranch is true then a symbol look up for immediate Value 716e648ea5SUlrich Weigand /// is done and if a symbol is found an MCExpr is created with that, else 726e648ea5SUlrich Weigand /// an MCExpr with the immediate Value is created. This function returns true 736e648ea5SUlrich Weigand /// if it adds an operand to the MCInst and false otherwise. 746e648ea5SUlrich Weigand static bool tryAddingSymbolicOperand(int64_t Value, bool isBranch, 756e648ea5SUlrich Weigand uint64_t Address, uint64_t Offset, 766e648ea5SUlrich Weigand uint64_t Width, MCInst &MI, 776e648ea5SUlrich Weigand const void *Decoder) { 786e648ea5SUlrich Weigand const MCDisassembler *Dis = static_cast<const MCDisassembler*>(Decoder); 796e648ea5SUlrich Weigand return Dis->tryAddingSymbolicOperand(MI, Value, Address, isBranch, 806e648ea5SUlrich Weigand Offset, Width); 816e648ea5SUlrich Weigand } 826e648ea5SUlrich Weigand 83eb9af294SRichard Sandiford static DecodeStatus decodeRegisterClass(MCInst &Inst, uint64_t RegNo, 84a8b04e1cSUlrich Weigand const unsigned *Regs, unsigned Size) { 85a8b04e1cSUlrich Weigand assert(RegNo < Size && "Invalid register"); 86eb9af294SRichard Sandiford RegNo = Regs[RegNo]; 87eb9af294SRichard Sandiford if (RegNo == 0) 88eb9af294SRichard Sandiford return MCDisassembler::Fail; 89e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(RegNo)); 90eb9af294SRichard Sandiford return MCDisassembler::Success; 91eb9af294SRichard Sandiford } 92eb9af294SRichard Sandiford 93eb9af294SRichard Sandiford static DecodeStatus DecodeGR32BitRegisterClass(MCInst &Inst, uint64_t RegNo, 94eb9af294SRichard Sandiford uint64_t Address, 95eb9af294SRichard Sandiford const void *Decoder) { 96a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::GR32Regs, 16); 97eb9af294SRichard Sandiford } 98eb9af294SRichard Sandiford 99f9496060SRichard Sandiford static DecodeStatus DecodeGRH32BitRegisterClass(MCInst &Inst, uint64_t RegNo, 100f9496060SRichard Sandiford uint64_t Address, 101f9496060SRichard Sandiford const void *Decoder) { 102a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::GRH32Regs, 16); 103f9496060SRichard Sandiford } 104f9496060SRichard Sandiford 105eb9af294SRichard Sandiford static DecodeStatus DecodeGR64BitRegisterClass(MCInst &Inst, uint64_t RegNo, 106eb9af294SRichard Sandiford uint64_t Address, 107eb9af294SRichard Sandiford const void *Decoder) { 108a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::GR64Regs, 16); 109eb9af294SRichard Sandiford } 110eb9af294SRichard Sandiford 111eb9af294SRichard Sandiford static DecodeStatus DecodeGR128BitRegisterClass(MCInst &Inst, uint64_t RegNo, 112eb9af294SRichard Sandiford uint64_t Address, 113eb9af294SRichard Sandiford const void *Decoder) { 114a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::GR128Regs, 16); 115eb9af294SRichard Sandiford } 116eb9af294SRichard Sandiford 117eb9af294SRichard Sandiford static DecodeStatus DecodeADDR64BitRegisterClass(MCInst &Inst, uint64_t RegNo, 118eb9af294SRichard Sandiford uint64_t Address, 119eb9af294SRichard Sandiford const void *Decoder) { 120a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::GR64Regs, 16); 121eb9af294SRichard Sandiford } 122eb9af294SRichard Sandiford 123eb9af294SRichard Sandiford static DecodeStatus DecodeFP32BitRegisterClass(MCInst &Inst, uint64_t RegNo, 124eb9af294SRichard Sandiford uint64_t Address, 125eb9af294SRichard Sandiford const void *Decoder) { 126a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::FP32Regs, 16); 127eb9af294SRichard Sandiford } 128eb9af294SRichard Sandiford 129eb9af294SRichard Sandiford static DecodeStatus DecodeFP64BitRegisterClass(MCInst &Inst, uint64_t RegNo, 130eb9af294SRichard Sandiford uint64_t Address, 131eb9af294SRichard Sandiford const void *Decoder) { 132a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::FP64Regs, 16); 133eb9af294SRichard Sandiford } 134eb9af294SRichard Sandiford 135eb9af294SRichard Sandiford static DecodeStatus DecodeFP128BitRegisterClass(MCInst &Inst, uint64_t RegNo, 136eb9af294SRichard Sandiford uint64_t Address, 137eb9af294SRichard Sandiford const void *Decoder) { 138a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::FP128Regs, 16); 139a8b04e1cSUlrich Weigand } 140a8b04e1cSUlrich Weigand 141a8b04e1cSUlrich Weigand static DecodeStatus DecodeVR32BitRegisterClass(MCInst &Inst, uint64_t RegNo, 142a8b04e1cSUlrich Weigand uint64_t Address, 143a8b04e1cSUlrich Weigand const void *Decoder) { 144a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::VR32Regs, 32); 145a8b04e1cSUlrich Weigand } 146a8b04e1cSUlrich Weigand 147a8b04e1cSUlrich Weigand static DecodeStatus DecodeVR64BitRegisterClass(MCInst &Inst, uint64_t RegNo, 148a8b04e1cSUlrich Weigand uint64_t Address, 149a8b04e1cSUlrich Weigand const void *Decoder) { 150a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::VR64Regs, 32); 151a8b04e1cSUlrich Weigand } 152a8b04e1cSUlrich Weigand 153a8b04e1cSUlrich Weigand static DecodeStatus DecodeVR128BitRegisterClass(MCInst &Inst, uint64_t RegNo, 154a8b04e1cSUlrich Weigand uint64_t Address, 155a8b04e1cSUlrich Weigand const void *Decoder) { 156a8b04e1cSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::VR128Regs, 32); 157eb9af294SRichard Sandiford } 158eb9af294SRichard Sandiford 159fffc7110SUlrich Weigand static DecodeStatus DecodeAR32BitRegisterClass(MCInst &Inst, uint64_t RegNo, 160fffc7110SUlrich Weigand uint64_t Address, 161fffc7110SUlrich Weigand const void *Decoder) { 162fffc7110SUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::AR32Regs, 16); 163fffc7110SUlrich Weigand } 164fffc7110SUlrich Weigand 165eb9af294SRichard Sandiford template<unsigned N> 166eb9af294SRichard Sandiford static DecodeStatus decodeUImmOperand(MCInst &Inst, uint64_t Imm) { 167a8b04e1cSUlrich Weigand if (!isUInt<N>(Imm)) 168a8b04e1cSUlrich Weigand return MCDisassembler::Fail; 169e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Imm)); 170eb9af294SRichard Sandiford return MCDisassembler::Success; 171eb9af294SRichard Sandiford } 172eb9af294SRichard Sandiford 173eb9af294SRichard Sandiford template<unsigned N> 174eb9af294SRichard Sandiford static DecodeStatus decodeSImmOperand(MCInst &Inst, uint64_t Imm) { 175a8b04e1cSUlrich Weigand if (!isUInt<N>(Imm)) 176a8b04e1cSUlrich Weigand return MCDisassembler::Fail; 177e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(SignExtend64<N>(Imm))); 178eb9af294SRichard Sandiford return MCDisassembler::Success; 179eb9af294SRichard Sandiford } 180eb9af294SRichard Sandiford 181a8b04e1cSUlrich Weigand static DecodeStatus decodeU1ImmOperand(MCInst &Inst, uint64_t Imm, 182a8b04e1cSUlrich Weigand uint64_t Address, const void *Decoder) { 183a8b04e1cSUlrich Weigand return decodeUImmOperand<1>(Inst, Imm); 184a8b04e1cSUlrich Weigand } 185a8b04e1cSUlrich Weigand 186a8b04e1cSUlrich Weigand static DecodeStatus decodeU2ImmOperand(MCInst &Inst, uint64_t Imm, 187a8b04e1cSUlrich Weigand uint64_t Address, const void *Decoder) { 188a8b04e1cSUlrich Weigand return decodeUImmOperand<2>(Inst, Imm); 189a8b04e1cSUlrich Weigand } 190a8b04e1cSUlrich Weigand 191a8b04e1cSUlrich Weigand static DecodeStatus decodeU3ImmOperand(MCInst &Inst, uint64_t Imm, 192a8b04e1cSUlrich Weigand uint64_t Address, const void *Decoder) { 193a8b04e1cSUlrich Weigand return decodeUImmOperand<3>(Inst, Imm); 194a8b04e1cSUlrich Weigand } 195a8b04e1cSUlrich Weigand 196eb9af294SRichard Sandiford static DecodeStatus decodeU4ImmOperand(MCInst &Inst, uint64_t Imm, 197eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 198eb9af294SRichard Sandiford return decodeUImmOperand<4>(Inst, Imm); 199eb9af294SRichard Sandiford } 200eb9af294SRichard Sandiford 201eb9af294SRichard Sandiford static DecodeStatus decodeU6ImmOperand(MCInst &Inst, uint64_t Imm, 202eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 203eb9af294SRichard Sandiford return decodeUImmOperand<6>(Inst, Imm); 204eb9af294SRichard Sandiford } 205eb9af294SRichard Sandiford 206eb9af294SRichard Sandiford static DecodeStatus decodeU8ImmOperand(MCInst &Inst, uint64_t Imm, 207eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 208eb9af294SRichard Sandiford return decodeUImmOperand<8>(Inst, Imm); 209eb9af294SRichard Sandiford } 210eb9af294SRichard Sandiford 211a8b04e1cSUlrich Weigand static DecodeStatus decodeU12ImmOperand(MCInst &Inst, uint64_t Imm, 212a8b04e1cSUlrich Weigand uint64_t Address, const void *Decoder) { 213a8b04e1cSUlrich Weigand return decodeUImmOperand<12>(Inst, Imm); 214a8b04e1cSUlrich Weigand } 215a8b04e1cSUlrich Weigand 216eb9af294SRichard Sandiford static DecodeStatus decodeU16ImmOperand(MCInst &Inst, uint64_t Imm, 217eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 218eb9af294SRichard Sandiford return decodeUImmOperand<16>(Inst, Imm); 219eb9af294SRichard Sandiford } 220eb9af294SRichard Sandiford 221eb9af294SRichard Sandiford static DecodeStatus decodeU32ImmOperand(MCInst &Inst, uint64_t Imm, 222eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 223eb9af294SRichard Sandiford return decodeUImmOperand<32>(Inst, Imm); 224eb9af294SRichard Sandiford } 225eb9af294SRichard Sandiford 226eb9af294SRichard Sandiford static DecodeStatus decodeS8ImmOperand(MCInst &Inst, uint64_t Imm, 227eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 228eb9af294SRichard Sandiford return decodeSImmOperand<8>(Inst, Imm); 229eb9af294SRichard Sandiford } 230eb9af294SRichard Sandiford 231eb9af294SRichard Sandiford static DecodeStatus decodeS16ImmOperand(MCInst &Inst, uint64_t Imm, 232eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 233eb9af294SRichard Sandiford return decodeSImmOperand<16>(Inst, Imm); 234eb9af294SRichard Sandiford } 235eb9af294SRichard Sandiford 236eb9af294SRichard Sandiford static DecodeStatus decodeS32ImmOperand(MCInst &Inst, uint64_t Imm, 237eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 238eb9af294SRichard Sandiford return decodeSImmOperand<32>(Inst, Imm); 239eb9af294SRichard Sandiford } 240eb9af294SRichard Sandiford 241eb9af294SRichard Sandiford template<unsigned N> 242eb9af294SRichard Sandiford static DecodeStatus decodePCDBLOperand(MCInst &Inst, uint64_t Imm, 2436e648ea5SUlrich Weigand uint64_t Address, 2446e648ea5SUlrich Weigand bool isBranch, 2456e648ea5SUlrich Weigand const void *Decoder) { 246eb9af294SRichard Sandiford assert(isUInt<N>(Imm) && "Invalid PC-relative offset"); 2476e648ea5SUlrich Weigand uint64_t Value = SignExtend64<N>(Imm) * 2 + Address; 2486e648ea5SUlrich Weigand 2496e648ea5SUlrich Weigand if (!tryAddingSymbolicOperand(Value, isBranch, Address, 2, N / 8, 2506e648ea5SUlrich Weigand Inst, Decoder)) 2516e648ea5SUlrich Weigand Inst.addOperand(MCOperand::createImm(Value)); 2526e648ea5SUlrich Weigand 253eb9af294SRichard Sandiford return MCDisassembler::Success; 254eb9af294SRichard Sandiford } 255eb9af294SRichard Sandiford 25684404f30SUlrich Weigand static DecodeStatus decodePC12DBLBranchOperand(MCInst &Inst, uint64_t Imm, 25784404f30SUlrich Weigand uint64_t Address, 25884404f30SUlrich Weigand const void *Decoder) { 25984404f30SUlrich Weigand return decodePCDBLOperand<12>(Inst, Imm, Address, true, Decoder); 26084404f30SUlrich Weigand } 26184404f30SUlrich Weigand 2626e648ea5SUlrich Weigand static DecodeStatus decodePC16DBLBranchOperand(MCInst &Inst, uint64_t Imm, 263eb9af294SRichard Sandiford uint64_t Address, 264eb9af294SRichard Sandiford const void *Decoder) { 2656e648ea5SUlrich Weigand return decodePCDBLOperand<16>(Inst, Imm, Address, true, Decoder); 2666e648ea5SUlrich Weigand } 2676e648ea5SUlrich Weigand 26884404f30SUlrich Weigand static DecodeStatus decodePC24DBLBranchOperand(MCInst &Inst, uint64_t Imm, 26984404f30SUlrich Weigand uint64_t Address, 27084404f30SUlrich Weigand const void *Decoder) { 27184404f30SUlrich Weigand return decodePCDBLOperand<24>(Inst, Imm, Address, true, Decoder); 27284404f30SUlrich Weigand } 27384404f30SUlrich Weigand 2746e648ea5SUlrich Weigand static DecodeStatus decodePC32DBLBranchOperand(MCInst &Inst, uint64_t Imm, 2756e648ea5SUlrich Weigand uint64_t Address, 2766e648ea5SUlrich Weigand const void *Decoder) { 2776e648ea5SUlrich Weigand return decodePCDBLOperand<32>(Inst, Imm, Address, true, Decoder); 278eb9af294SRichard Sandiford } 279eb9af294SRichard Sandiford 280eb9af294SRichard Sandiford static DecodeStatus decodePC32DBLOperand(MCInst &Inst, uint64_t Imm, 281eb9af294SRichard Sandiford uint64_t Address, 282eb9af294SRichard Sandiford const void *Decoder) { 2836e648ea5SUlrich Weigand return decodePCDBLOperand<32>(Inst, Imm, Address, false, Decoder); 284eb9af294SRichard Sandiford } 285eb9af294SRichard Sandiford 286eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr12Operand(MCInst &Inst, uint64_t Field, 287eb9af294SRichard Sandiford const unsigned *Regs) { 288eb9af294SRichard Sandiford uint64_t Base = Field >> 12; 289eb9af294SRichard Sandiford uint64_t Disp = Field & 0xfff; 290eb9af294SRichard Sandiford assert(Base < 16 && "Invalid BDAddr12"); 291e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 292e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Disp)); 293eb9af294SRichard Sandiford return MCDisassembler::Success; 294eb9af294SRichard Sandiford } 295eb9af294SRichard Sandiford 296eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr20Operand(MCInst &Inst, uint64_t Field, 297eb9af294SRichard Sandiford const unsigned *Regs) { 298eb9af294SRichard Sandiford uint64_t Base = Field >> 20; 299eb9af294SRichard Sandiford uint64_t Disp = ((Field << 12) & 0xff000) | ((Field >> 8) & 0xfff); 300eb9af294SRichard Sandiford assert(Base < 16 && "Invalid BDAddr20"); 301e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 302e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(SignExtend64<20>(Disp))); 303eb9af294SRichard Sandiford return MCDisassembler::Success; 304eb9af294SRichard Sandiford } 305eb9af294SRichard Sandiford 306eb9af294SRichard Sandiford static DecodeStatus decodeBDXAddr12Operand(MCInst &Inst, uint64_t Field, 307eb9af294SRichard Sandiford const unsigned *Regs) { 308eb9af294SRichard Sandiford uint64_t Index = Field >> 16; 309eb9af294SRichard Sandiford uint64_t Base = (Field >> 12) & 0xf; 310eb9af294SRichard Sandiford uint64_t Disp = Field & 0xfff; 311eb9af294SRichard Sandiford assert(Index < 16 && "Invalid BDXAddr12"); 312e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 313e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Disp)); 314e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Index == 0 ? 0 : Regs[Index])); 315eb9af294SRichard Sandiford return MCDisassembler::Success; 316eb9af294SRichard Sandiford } 317eb9af294SRichard Sandiford 318eb9af294SRichard Sandiford static DecodeStatus decodeBDXAddr20Operand(MCInst &Inst, uint64_t Field, 319eb9af294SRichard Sandiford const unsigned *Regs) { 320eb9af294SRichard Sandiford uint64_t Index = Field >> 24; 321eb9af294SRichard Sandiford uint64_t Base = (Field >> 20) & 0xf; 322eb9af294SRichard Sandiford uint64_t Disp = ((Field & 0xfff00) >> 8) | ((Field & 0xff) << 12); 323eb9af294SRichard Sandiford assert(Index < 16 && "Invalid BDXAddr20"); 324e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 325e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(SignExtend64<20>(Disp))); 326e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Index == 0 ? 0 : Regs[Index])); 327eb9af294SRichard Sandiford return MCDisassembler::Success; 328eb9af294SRichard Sandiford } 329eb9af294SRichard Sandiford 330*c7eb5a95SUlrich Weigand static DecodeStatus decodeBDLAddr12Len4Operand(MCInst &Inst, uint64_t Field, 331*c7eb5a95SUlrich Weigand const unsigned *Regs) { 332*c7eb5a95SUlrich Weigand uint64_t Length = Field >> 16; 333*c7eb5a95SUlrich Weigand uint64_t Base = (Field >> 12) & 0xf; 334*c7eb5a95SUlrich Weigand uint64_t Disp = Field & 0xfff; 335*c7eb5a95SUlrich Weigand assert(Length < 16 && "Invalid BDLAddr12Len4"); 336*c7eb5a95SUlrich Weigand Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 337*c7eb5a95SUlrich Weigand Inst.addOperand(MCOperand::createImm(Disp)); 338*c7eb5a95SUlrich Weigand Inst.addOperand(MCOperand::createImm(Length + 1)); 339*c7eb5a95SUlrich Weigand return MCDisassembler::Success; 340*c7eb5a95SUlrich Weigand } 341*c7eb5a95SUlrich Weigand 3421d959008SRichard Sandiford static DecodeStatus decodeBDLAddr12Len8Operand(MCInst &Inst, uint64_t Field, 3431d959008SRichard Sandiford const unsigned *Regs) { 3441d959008SRichard Sandiford uint64_t Length = Field >> 16; 3451d959008SRichard Sandiford uint64_t Base = (Field >> 12) & 0xf; 3461d959008SRichard Sandiford uint64_t Disp = Field & 0xfff; 3471d959008SRichard Sandiford assert(Length < 256 && "Invalid BDLAddr12Len8"); 348e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 349e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Disp)); 350e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Length + 1)); 3511d959008SRichard Sandiford return MCDisassembler::Success; 3521d959008SRichard Sandiford } 3531d959008SRichard Sandiford 354ec5d779eSUlrich Weigand static DecodeStatus decodeBDRAddr12Operand(MCInst &Inst, uint64_t Field, 355ec5d779eSUlrich Weigand const unsigned *Regs) { 356ec5d779eSUlrich Weigand uint64_t Length = Field >> 16; 357ec5d779eSUlrich Weigand uint64_t Base = (Field >> 12) & 0xf; 358ec5d779eSUlrich Weigand uint64_t Disp = Field & 0xfff; 359ec5d779eSUlrich Weigand assert(Length < 16 && "Invalid BDRAddr12"); 360ec5d779eSUlrich Weigand Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 361ec5d779eSUlrich Weigand Inst.addOperand(MCOperand::createImm(Disp)); 362ec5d779eSUlrich Weigand Inst.addOperand(MCOperand::createReg(Regs[Length])); 363ec5d779eSUlrich Weigand return MCDisassembler::Success; 364ec5d779eSUlrich Weigand } 365ec5d779eSUlrich Weigand 366a8b04e1cSUlrich Weigand static DecodeStatus decodeBDVAddr12Operand(MCInst &Inst, uint64_t Field, 367a8b04e1cSUlrich Weigand const unsigned *Regs) { 368a8b04e1cSUlrich Weigand uint64_t Index = Field >> 16; 369a8b04e1cSUlrich Weigand uint64_t Base = (Field >> 12) & 0xf; 370a8b04e1cSUlrich Weigand uint64_t Disp = Field & 0xfff; 371a8b04e1cSUlrich Weigand assert(Index < 32 && "Invalid BDVAddr12"); 372e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 373e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Disp)); 374e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(SystemZMC::VR128Regs[Index])); 375a8b04e1cSUlrich Weigand return MCDisassembler::Success; 376a8b04e1cSUlrich Weigand } 377a8b04e1cSUlrich Weigand 378eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr32Disp12Operand(MCInst &Inst, uint64_t Field, 379eb9af294SRichard Sandiford uint64_t Address, 380eb9af294SRichard Sandiford const void *Decoder) { 381eb9af294SRichard Sandiford return decodeBDAddr12Operand(Inst, Field, SystemZMC::GR32Regs); 382eb9af294SRichard Sandiford } 383eb9af294SRichard Sandiford 384eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr32Disp20Operand(MCInst &Inst, uint64_t Field, 385eb9af294SRichard Sandiford uint64_t Address, 386eb9af294SRichard Sandiford const void *Decoder) { 387eb9af294SRichard Sandiford return decodeBDAddr20Operand(Inst, Field, SystemZMC::GR32Regs); 388eb9af294SRichard Sandiford } 389eb9af294SRichard Sandiford 390eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr64Disp12Operand(MCInst &Inst, uint64_t Field, 391eb9af294SRichard Sandiford uint64_t Address, 392eb9af294SRichard Sandiford const void *Decoder) { 393eb9af294SRichard Sandiford return decodeBDAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 394eb9af294SRichard Sandiford } 395eb9af294SRichard Sandiford 396eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr64Disp20Operand(MCInst &Inst, uint64_t Field, 397eb9af294SRichard Sandiford uint64_t Address, 398eb9af294SRichard Sandiford const void *Decoder) { 399eb9af294SRichard Sandiford return decodeBDAddr20Operand(Inst, Field, SystemZMC::GR64Regs); 400eb9af294SRichard Sandiford } 401eb9af294SRichard Sandiford 402eb9af294SRichard Sandiford static DecodeStatus decodeBDXAddr64Disp12Operand(MCInst &Inst, uint64_t Field, 403eb9af294SRichard Sandiford uint64_t Address, 404eb9af294SRichard Sandiford const void *Decoder) { 405eb9af294SRichard Sandiford return decodeBDXAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 406eb9af294SRichard Sandiford } 407eb9af294SRichard Sandiford 408eb9af294SRichard Sandiford static DecodeStatus decodeBDXAddr64Disp20Operand(MCInst &Inst, uint64_t Field, 409eb9af294SRichard Sandiford uint64_t Address, 410eb9af294SRichard Sandiford const void *Decoder) { 411eb9af294SRichard Sandiford return decodeBDXAddr20Operand(Inst, Field, SystemZMC::GR64Regs); 412eb9af294SRichard Sandiford } 413eb9af294SRichard Sandiford 414*c7eb5a95SUlrich Weigand static DecodeStatus decodeBDLAddr64Disp12Len4Operand(MCInst &Inst, 415*c7eb5a95SUlrich Weigand uint64_t Field, 416*c7eb5a95SUlrich Weigand uint64_t Address, 417*c7eb5a95SUlrich Weigand const void *Decoder) { 418*c7eb5a95SUlrich Weigand return decodeBDLAddr12Len4Operand(Inst, Field, SystemZMC::GR64Regs); 419*c7eb5a95SUlrich Weigand } 420*c7eb5a95SUlrich Weigand 4211d959008SRichard Sandiford static DecodeStatus decodeBDLAddr64Disp12Len8Operand(MCInst &Inst, 4221d959008SRichard Sandiford uint64_t Field, 4231d959008SRichard Sandiford uint64_t Address, 4241d959008SRichard Sandiford const void *Decoder) { 4251d959008SRichard Sandiford return decodeBDLAddr12Len8Operand(Inst, Field, SystemZMC::GR64Regs); 4261d959008SRichard Sandiford } 4271d959008SRichard Sandiford 428ec5d779eSUlrich Weigand static DecodeStatus decodeBDRAddr64Disp12Operand(MCInst &Inst, 429ec5d779eSUlrich Weigand uint64_t Field, 430ec5d779eSUlrich Weigand uint64_t Address, 431ec5d779eSUlrich Weigand const void *Decoder) { 432ec5d779eSUlrich Weigand return decodeBDRAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 433ec5d779eSUlrich Weigand } 434ec5d779eSUlrich Weigand 435a8b04e1cSUlrich Weigand static DecodeStatus decodeBDVAddr64Disp12Operand(MCInst &Inst, uint64_t Field, 436a8b04e1cSUlrich Weigand uint64_t Address, 437a8b04e1cSUlrich Weigand const void *Decoder) { 438a8b04e1cSUlrich Weigand return decodeBDVAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 439a8b04e1cSUlrich Weigand } 440a8b04e1cSUlrich Weigand 441eb9af294SRichard Sandiford #include "SystemZGenDisassemblerTables.inc" 442eb9af294SRichard Sandiford 443eb9af294SRichard Sandiford DecodeStatus SystemZDisassembler::getInstruction(MCInst &MI, uint64_t &Size, 4447fc5b874SRafael Espindola ArrayRef<uint8_t> Bytes, 445eb9af294SRichard Sandiford uint64_t Address, 4464aa6bea7SRafael Espindola raw_ostream &OS, 4474aa6bea7SRafael Espindola raw_ostream &CS) const { 448eb9af294SRichard Sandiford // Get the first two bytes of the instruction. 449eb9af294SRichard Sandiford Size = 0; 4507fc5b874SRafael Espindola if (Bytes.size() < 2) 451eb9af294SRichard Sandiford return MCDisassembler::Fail; 452eb9af294SRichard Sandiford 453eb9af294SRichard Sandiford // The top 2 bits of the first byte specify the size. 454eb9af294SRichard Sandiford const uint8_t *Table; 455eb9af294SRichard Sandiford if (Bytes[0] < 0x40) { 456eb9af294SRichard Sandiford Size = 2; 457eb9af294SRichard Sandiford Table = DecoderTable16; 458eb9af294SRichard Sandiford } else if (Bytes[0] < 0xc0) { 459eb9af294SRichard Sandiford Size = 4; 460eb9af294SRichard Sandiford Table = DecoderTable32; 461eb9af294SRichard Sandiford } else { 462eb9af294SRichard Sandiford Size = 6; 463eb9af294SRichard Sandiford Table = DecoderTable48; 464eb9af294SRichard Sandiford } 465eb9af294SRichard Sandiford 466eb9af294SRichard Sandiford // Read any remaining bytes. 4677fc5b874SRafael Espindola if (Bytes.size() < Size) 468eb9af294SRichard Sandiford return MCDisassembler::Fail; 469eb9af294SRichard Sandiford 470eb9af294SRichard Sandiford // Construct the instruction. 471eb9af294SRichard Sandiford uint64_t Inst = 0; 472eb9af294SRichard Sandiford for (uint64_t I = 0; I < Size; ++I) 473eb9af294SRichard Sandiford Inst = (Inst << 8) | Bytes[I]; 474eb9af294SRichard Sandiford 475eb9af294SRichard Sandiford return decodeInstruction(Table, MI, Inst, Address, this, STI); 476eb9af294SRichard Sandiford } 477