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 10*3943d2b0SEugene 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" 16*3943d2b0SEugene Zelenko #include "llvm/Support/MathExtras.h" 17eb9af294SRichard Sandiford #include "llvm/Support/TargetRegistry.h" 18*3943d2b0SEugene Zelenko #include <cassert> 19*3943d2b0SEugene 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 { 28*3943d2b0SEugene Zelenko 29eb9af294SRichard Sandiford class SystemZDisassembler : public MCDisassembler { 30eb9af294SRichard Sandiford public: 31a1bc0f56SLang Hames SystemZDisassembler(const MCSubtargetInfo &STI, MCContext &Ctx) 32a1bc0f56SLang Hames : MCDisassembler(STI, Ctx) {} 33*3943d2b0SEugene 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 }; 40*3943d2b0SEugene 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 3301d959008SRichard Sandiford static DecodeStatus decodeBDLAddr12Len8Operand(MCInst &Inst, uint64_t Field, 3311d959008SRichard Sandiford const unsigned *Regs) { 3321d959008SRichard Sandiford uint64_t Length = Field >> 16; 3331d959008SRichard Sandiford uint64_t Base = (Field >> 12) & 0xf; 3341d959008SRichard Sandiford uint64_t Disp = Field & 0xfff; 3351d959008SRichard Sandiford assert(Length < 256 && "Invalid BDLAddr12Len8"); 336e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 337e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Disp)); 338e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Length + 1)); 3391d959008SRichard Sandiford return MCDisassembler::Success; 3401d959008SRichard Sandiford } 3411d959008SRichard Sandiford 342ec5d779eSUlrich Weigand static DecodeStatus decodeBDRAddr12Operand(MCInst &Inst, uint64_t Field, 343ec5d779eSUlrich Weigand const unsigned *Regs) { 344ec5d779eSUlrich Weigand uint64_t Length = Field >> 16; 345ec5d779eSUlrich Weigand uint64_t Base = (Field >> 12) & 0xf; 346ec5d779eSUlrich Weigand uint64_t Disp = Field & 0xfff; 347ec5d779eSUlrich Weigand assert(Length < 16 && "Invalid BDRAddr12"); 348ec5d779eSUlrich Weigand Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 349ec5d779eSUlrich Weigand Inst.addOperand(MCOperand::createImm(Disp)); 350ec5d779eSUlrich Weigand Inst.addOperand(MCOperand::createReg(Regs[Length])); 351ec5d779eSUlrich Weigand return MCDisassembler::Success; 352ec5d779eSUlrich Weigand } 353ec5d779eSUlrich Weigand 354a8b04e1cSUlrich Weigand static DecodeStatus decodeBDVAddr12Operand(MCInst &Inst, uint64_t Field, 355a8b04e1cSUlrich Weigand const unsigned *Regs) { 356a8b04e1cSUlrich Weigand uint64_t Index = Field >> 16; 357a8b04e1cSUlrich Weigand uint64_t Base = (Field >> 12) & 0xf; 358a8b04e1cSUlrich Weigand uint64_t Disp = Field & 0xfff; 359a8b04e1cSUlrich Weigand assert(Index < 32 && "Invalid BDVAddr12"); 360e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 361e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Disp)); 362e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(SystemZMC::VR128Regs[Index])); 363a8b04e1cSUlrich Weigand return MCDisassembler::Success; 364a8b04e1cSUlrich Weigand } 365a8b04e1cSUlrich Weigand 366eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr32Disp12Operand(MCInst &Inst, uint64_t Field, 367eb9af294SRichard Sandiford uint64_t Address, 368eb9af294SRichard Sandiford const void *Decoder) { 369eb9af294SRichard Sandiford return decodeBDAddr12Operand(Inst, Field, SystemZMC::GR32Regs); 370eb9af294SRichard Sandiford } 371eb9af294SRichard Sandiford 372eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr32Disp20Operand(MCInst &Inst, uint64_t Field, 373eb9af294SRichard Sandiford uint64_t Address, 374eb9af294SRichard Sandiford const void *Decoder) { 375eb9af294SRichard Sandiford return decodeBDAddr20Operand(Inst, Field, SystemZMC::GR32Regs); 376eb9af294SRichard Sandiford } 377eb9af294SRichard Sandiford 378eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr64Disp12Operand(MCInst &Inst, uint64_t Field, 379eb9af294SRichard Sandiford uint64_t Address, 380eb9af294SRichard Sandiford const void *Decoder) { 381eb9af294SRichard Sandiford return decodeBDAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 382eb9af294SRichard Sandiford } 383eb9af294SRichard Sandiford 384eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr64Disp20Operand(MCInst &Inst, uint64_t Field, 385eb9af294SRichard Sandiford uint64_t Address, 386eb9af294SRichard Sandiford const void *Decoder) { 387eb9af294SRichard Sandiford return decodeBDAddr20Operand(Inst, Field, SystemZMC::GR64Regs); 388eb9af294SRichard Sandiford } 389eb9af294SRichard Sandiford 390eb9af294SRichard Sandiford static DecodeStatus decodeBDXAddr64Disp12Operand(MCInst &Inst, uint64_t Field, 391eb9af294SRichard Sandiford uint64_t Address, 392eb9af294SRichard Sandiford const void *Decoder) { 393eb9af294SRichard Sandiford return decodeBDXAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 394eb9af294SRichard Sandiford } 395eb9af294SRichard Sandiford 396eb9af294SRichard Sandiford static DecodeStatus decodeBDXAddr64Disp20Operand(MCInst &Inst, uint64_t Field, 397eb9af294SRichard Sandiford uint64_t Address, 398eb9af294SRichard Sandiford const void *Decoder) { 399eb9af294SRichard Sandiford return decodeBDXAddr20Operand(Inst, Field, SystemZMC::GR64Regs); 400eb9af294SRichard Sandiford } 401eb9af294SRichard Sandiford 4021d959008SRichard Sandiford static DecodeStatus decodeBDLAddr64Disp12Len8Operand(MCInst &Inst, 4031d959008SRichard Sandiford uint64_t Field, 4041d959008SRichard Sandiford uint64_t Address, 4051d959008SRichard Sandiford const void *Decoder) { 4061d959008SRichard Sandiford return decodeBDLAddr12Len8Operand(Inst, Field, SystemZMC::GR64Regs); 4071d959008SRichard Sandiford } 4081d959008SRichard Sandiford 409ec5d779eSUlrich Weigand static DecodeStatus decodeBDRAddr64Disp12Operand(MCInst &Inst, 410ec5d779eSUlrich Weigand uint64_t Field, 411ec5d779eSUlrich Weigand uint64_t Address, 412ec5d779eSUlrich Weigand const void *Decoder) { 413ec5d779eSUlrich Weigand return decodeBDRAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 414ec5d779eSUlrich Weigand } 415ec5d779eSUlrich Weigand 416a8b04e1cSUlrich Weigand static DecodeStatus decodeBDVAddr64Disp12Operand(MCInst &Inst, uint64_t Field, 417a8b04e1cSUlrich Weigand uint64_t Address, 418a8b04e1cSUlrich Weigand const void *Decoder) { 419a8b04e1cSUlrich Weigand return decodeBDVAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 420a8b04e1cSUlrich Weigand } 421a8b04e1cSUlrich Weigand 422eb9af294SRichard Sandiford #include "SystemZGenDisassemblerTables.inc" 423eb9af294SRichard Sandiford 424eb9af294SRichard Sandiford DecodeStatus SystemZDisassembler::getInstruction(MCInst &MI, uint64_t &Size, 4257fc5b874SRafael Espindola ArrayRef<uint8_t> Bytes, 426eb9af294SRichard Sandiford uint64_t Address, 4274aa6bea7SRafael Espindola raw_ostream &OS, 4284aa6bea7SRafael Espindola raw_ostream &CS) const { 429eb9af294SRichard Sandiford // Get the first two bytes of the instruction. 430eb9af294SRichard Sandiford Size = 0; 4317fc5b874SRafael Espindola if (Bytes.size() < 2) 432eb9af294SRichard Sandiford return MCDisassembler::Fail; 433eb9af294SRichard Sandiford 434eb9af294SRichard Sandiford // The top 2 bits of the first byte specify the size. 435eb9af294SRichard Sandiford const uint8_t *Table; 436eb9af294SRichard Sandiford if (Bytes[0] < 0x40) { 437eb9af294SRichard Sandiford Size = 2; 438eb9af294SRichard Sandiford Table = DecoderTable16; 439eb9af294SRichard Sandiford } else if (Bytes[0] < 0xc0) { 440eb9af294SRichard Sandiford Size = 4; 441eb9af294SRichard Sandiford Table = DecoderTable32; 442eb9af294SRichard Sandiford } else { 443eb9af294SRichard Sandiford Size = 6; 444eb9af294SRichard Sandiford Table = DecoderTable48; 445eb9af294SRichard Sandiford } 446eb9af294SRichard Sandiford 447eb9af294SRichard Sandiford // Read any remaining bytes. 4487fc5b874SRafael Espindola if (Bytes.size() < Size) 449eb9af294SRichard Sandiford return MCDisassembler::Fail; 450eb9af294SRichard Sandiford 451eb9af294SRichard Sandiford // Construct the instruction. 452eb9af294SRichard Sandiford uint64_t Inst = 0; 453eb9af294SRichard Sandiford for (uint64_t I = 0; I < Size; ++I) 454eb9af294SRichard Sandiford Inst = (Inst << 8) | Bytes[I]; 455eb9af294SRichard Sandiford 456eb9af294SRichard Sandiford return decodeInstruction(Table, MI, Inst, Address, this, STI); 457eb9af294SRichard Sandiford } 458