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 165*03ab2e2bSUlrich Weigand static DecodeStatus DecodeCR64BitRegisterClass(MCInst &Inst, uint64_t RegNo, 166*03ab2e2bSUlrich Weigand uint64_t Address, 167*03ab2e2bSUlrich Weigand const void *Decoder) { 168*03ab2e2bSUlrich Weigand return decodeRegisterClass(Inst, RegNo, SystemZMC::CR64Regs, 16); 169*03ab2e2bSUlrich Weigand } 170*03ab2e2bSUlrich Weigand 171eb9af294SRichard Sandiford template<unsigned N> 172eb9af294SRichard Sandiford static DecodeStatus decodeUImmOperand(MCInst &Inst, uint64_t Imm) { 173a8b04e1cSUlrich Weigand if (!isUInt<N>(Imm)) 174a8b04e1cSUlrich Weigand return MCDisassembler::Fail; 175e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Imm)); 176eb9af294SRichard Sandiford return MCDisassembler::Success; 177eb9af294SRichard Sandiford } 178eb9af294SRichard Sandiford 179eb9af294SRichard Sandiford template<unsigned N> 180eb9af294SRichard Sandiford static DecodeStatus decodeSImmOperand(MCInst &Inst, uint64_t Imm) { 181a8b04e1cSUlrich Weigand if (!isUInt<N>(Imm)) 182a8b04e1cSUlrich Weigand return MCDisassembler::Fail; 183e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(SignExtend64<N>(Imm))); 184eb9af294SRichard Sandiford return MCDisassembler::Success; 185eb9af294SRichard Sandiford } 186eb9af294SRichard Sandiford 187a8b04e1cSUlrich Weigand static DecodeStatus decodeU1ImmOperand(MCInst &Inst, uint64_t Imm, 188a8b04e1cSUlrich Weigand uint64_t Address, const void *Decoder) { 189a8b04e1cSUlrich Weigand return decodeUImmOperand<1>(Inst, Imm); 190a8b04e1cSUlrich Weigand } 191a8b04e1cSUlrich Weigand 192a8b04e1cSUlrich Weigand static DecodeStatus decodeU2ImmOperand(MCInst &Inst, uint64_t Imm, 193a8b04e1cSUlrich Weigand uint64_t Address, const void *Decoder) { 194a8b04e1cSUlrich Weigand return decodeUImmOperand<2>(Inst, Imm); 195a8b04e1cSUlrich Weigand } 196a8b04e1cSUlrich Weigand 197a8b04e1cSUlrich Weigand static DecodeStatus decodeU3ImmOperand(MCInst &Inst, uint64_t Imm, 198a8b04e1cSUlrich Weigand uint64_t Address, const void *Decoder) { 199a8b04e1cSUlrich Weigand return decodeUImmOperand<3>(Inst, Imm); 200a8b04e1cSUlrich Weigand } 201a8b04e1cSUlrich Weigand 202eb9af294SRichard Sandiford static DecodeStatus decodeU4ImmOperand(MCInst &Inst, uint64_t Imm, 203eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 204eb9af294SRichard Sandiford return decodeUImmOperand<4>(Inst, Imm); 205eb9af294SRichard Sandiford } 206eb9af294SRichard Sandiford 207eb9af294SRichard Sandiford static DecodeStatus decodeU6ImmOperand(MCInst &Inst, uint64_t Imm, 208eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 209eb9af294SRichard Sandiford return decodeUImmOperand<6>(Inst, Imm); 210eb9af294SRichard Sandiford } 211eb9af294SRichard Sandiford 212eb9af294SRichard Sandiford static DecodeStatus decodeU8ImmOperand(MCInst &Inst, uint64_t Imm, 213eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 214eb9af294SRichard Sandiford return decodeUImmOperand<8>(Inst, Imm); 215eb9af294SRichard Sandiford } 216eb9af294SRichard Sandiford 217a8b04e1cSUlrich Weigand static DecodeStatus decodeU12ImmOperand(MCInst &Inst, uint64_t Imm, 218a8b04e1cSUlrich Weigand uint64_t Address, const void *Decoder) { 219a8b04e1cSUlrich Weigand return decodeUImmOperand<12>(Inst, Imm); 220a8b04e1cSUlrich Weigand } 221a8b04e1cSUlrich Weigand 222eb9af294SRichard Sandiford static DecodeStatus decodeU16ImmOperand(MCInst &Inst, uint64_t Imm, 223eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 224eb9af294SRichard Sandiford return decodeUImmOperand<16>(Inst, Imm); 225eb9af294SRichard Sandiford } 226eb9af294SRichard Sandiford 227eb9af294SRichard Sandiford static DecodeStatus decodeU32ImmOperand(MCInst &Inst, uint64_t Imm, 228eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 229eb9af294SRichard Sandiford return decodeUImmOperand<32>(Inst, Imm); 230eb9af294SRichard Sandiford } 231eb9af294SRichard Sandiford 232eb9af294SRichard Sandiford static DecodeStatus decodeS8ImmOperand(MCInst &Inst, uint64_t Imm, 233eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 234eb9af294SRichard Sandiford return decodeSImmOperand<8>(Inst, Imm); 235eb9af294SRichard Sandiford } 236eb9af294SRichard Sandiford 237eb9af294SRichard Sandiford static DecodeStatus decodeS16ImmOperand(MCInst &Inst, uint64_t Imm, 238eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 239eb9af294SRichard Sandiford return decodeSImmOperand<16>(Inst, Imm); 240eb9af294SRichard Sandiford } 241eb9af294SRichard Sandiford 242eb9af294SRichard Sandiford static DecodeStatus decodeS32ImmOperand(MCInst &Inst, uint64_t Imm, 243eb9af294SRichard Sandiford uint64_t Address, const void *Decoder) { 244eb9af294SRichard Sandiford return decodeSImmOperand<32>(Inst, Imm); 245eb9af294SRichard Sandiford } 246eb9af294SRichard Sandiford 247eb9af294SRichard Sandiford template<unsigned N> 248eb9af294SRichard Sandiford static DecodeStatus decodePCDBLOperand(MCInst &Inst, uint64_t Imm, 2496e648ea5SUlrich Weigand uint64_t Address, 2506e648ea5SUlrich Weigand bool isBranch, 2516e648ea5SUlrich Weigand const void *Decoder) { 252eb9af294SRichard Sandiford assert(isUInt<N>(Imm) && "Invalid PC-relative offset"); 2536e648ea5SUlrich Weigand uint64_t Value = SignExtend64<N>(Imm) * 2 + Address; 2546e648ea5SUlrich Weigand 2556e648ea5SUlrich Weigand if (!tryAddingSymbolicOperand(Value, isBranch, Address, 2, N / 8, 2566e648ea5SUlrich Weigand Inst, Decoder)) 2576e648ea5SUlrich Weigand Inst.addOperand(MCOperand::createImm(Value)); 2586e648ea5SUlrich Weigand 259eb9af294SRichard Sandiford return MCDisassembler::Success; 260eb9af294SRichard Sandiford } 261eb9af294SRichard Sandiford 26284404f30SUlrich Weigand static DecodeStatus decodePC12DBLBranchOperand(MCInst &Inst, uint64_t Imm, 26384404f30SUlrich Weigand uint64_t Address, 26484404f30SUlrich Weigand const void *Decoder) { 26584404f30SUlrich Weigand return decodePCDBLOperand<12>(Inst, Imm, Address, true, Decoder); 26684404f30SUlrich Weigand } 26784404f30SUlrich Weigand 2686e648ea5SUlrich Weigand static DecodeStatus decodePC16DBLBranchOperand(MCInst &Inst, uint64_t Imm, 269eb9af294SRichard Sandiford uint64_t Address, 270eb9af294SRichard Sandiford const void *Decoder) { 2716e648ea5SUlrich Weigand return decodePCDBLOperand<16>(Inst, Imm, Address, true, Decoder); 2726e648ea5SUlrich Weigand } 2736e648ea5SUlrich Weigand 27484404f30SUlrich Weigand static DecodeStatus decodePC24DBLBranchOperand(MCInst &Inst, uint64_t Imm, 27584404f30SUlrich Weigand uint64_t Address, 27684404f30SUlrich Weigand const void *Decoder) { 27784404f30SUlrich Weigand return decodePCDBLOperand<24>(Inst, Imm, Address, true, Decoder); 27884404f30SUlrich Weigand } 27984404f30SUlrich Weigand 2806e648ea5SUlrich Weigand static DecodeStatus decodePC32DBLBranchOperand(MCInst &Inst, uint64_t Imm, 2816e648ea5SUlrich Weigand uint64_t Address, 2826e648ea5SUlrich Weigand const void *Decoder) { 2836e648ea5SUlrich Weigand return decodePCDBLOperand<32>(Inst, Imm, Address, true, Decoder); 284eb9af294SRichard Sandiford } 285eb9af294SRichard Sandiford 286eb9af294SRichard Sandiford static DecodeStatus decodePC32DBLOperand(MCInst &Inst, uint64_t Imm, 287eb9af294SRichard Sandiford uint64_t Address, 288eb9af294SRichard Sandiford const void *Decoder) { 2896e648ea5SUlrich Weigand return decodePCDBLOperand<32>(Inst, Imm, Address, false, Decoder); 290eb9af294SRichard Sandiford } 291eb9af294SRichard Sandiford 292eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr12Operand(MCInst &Inst, uint64_t Field, 293eb9af294SRichard Sandiford const unsigned *Regs) { 294eb9af294SRichard Sandiford uint64_t Base = Field >> 12; 295eb9af294SRichard Sandiford uint64_t Disp = Field & 0xfff; 296eb9af294SRichard Sandiford assert(Base < 16 && "Invalid BDAddr12"); 297e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 298e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Disp)); 299eb9af294SRichard Sandiford return MCDisassembler::Success; 300eb9af294SRichard Sandiford } 301eb9af294SRichard Sandiford 302eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr20Operand(MCInst &Inst, uint64_t Field, 303eb9af294SRichard Sandiford const unsigned *Regs) { 304eb9af294SRichard Sandiford uint64_t Base = Field >> 20; 305eb9af294SRichard Sandiford uint64_t Disp = ((Field << 12) & 0xff000) | ((Field >> 8) & 0xfff); 306eb9af294SRichard Sandiford assert(Base < 16 && "Invalid BDAddr20"); 307e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 308e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(SignExtend64<20>(Disp))); 309eb9af294SRichard Sandiford return MCDisassembler::Success; 310eb9af294SRichard Sandiford } 311eb9af294SRichard Sandiford 312eb9af294SRichard Sandiford static DecodeStatus decodeBDXAddr12Operand(MCInst &Inst, uint64_t Field, 313eb9af294SRichard Sandiford const unsigned *Regs) { 314eb9af294SRichard Sandiford uint64_t Index = Field >> 16; 315eb9af294SRichard Sandiford uint64_t Base = (Field >> 12) & 0xf; 316eb9af294SRichard Sandiford uint64_t Disp = Field & 0xfff; 317eb9af294SRichard Sandiford assert(Index < 16 && "Invalid BDXAddr12"); 318e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 319e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Disp)); 320e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Index == 0 ? 0 : Regs[Index])); 321eb9af294SRichard Sandiford return MCDisassembler::Success; 322eb9af294SRichard Sandiford } 323eb9af294SRichard Sandiford 324eb9af294SRichard Sandiford static DecodeStatus decodeBDXAddr20Operand(MCInst &Inst, uint64_t Field, 325eb9af294SRichard Sandiford const unsigned *Regs) { 326eb9af294SRichard Sandiford uint64_t Index = Field >> 24; 327eb9af294SRichard Sandiford uint64_t Base = (Field >> 20) & 0xf; 328eb9af294SRichard Sandiford uint64_t Disp = ((Field & 0xfff00) >> 8) | ((Field & 0xff) << 12); 329eb9af294SRichard Sandiford assert(Index < 16 && "Invalid BDXAddr20"); 330e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 331e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(SignExtend64<20>(Disp))); 332e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Index == 0 ? 0 : Regs[Index])); 333eb9af294SRichard Sandiford return MCDisassembler::Success; 334eb9af294SRichard Sandiford } 335eb9af294SRichard Sandiford 336c7eb5a95SUlrich Weigand static DecodeStatus decodeBDLAddr12Len4Operand(MCInst &Inst, uint64_t Field, 337c7eb5a95SUlrich Weigand const unsigned *Regs) { 338c7eb5a95SUlrich Weigand uint64_t Length = Field >> 16; 339c7eb5a95SUlrich Weigand uint64_t Base = (Field >> 12) & 0xf; 340c7eb5a95SUlrich Weigand uint64_t Disp = Field & 0xfff; 341c7eb5a95SUlrich Weigand assert(Length < 16 && "Invalid BDLAddr12Len4"); 342c7eb5a95SUlrich Weigand Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 343c7eb5a95SUlrich Weigand Inst.addOperand(MCOperand::createImm(Disp)); 344c7eb5a95SUlrich Weigand Inst.addOperand(MCOperand::createImm(Length + 1)); 345c7eb5a95SUlrich Weigand return MCDisassembler::Success; 346c7eb5a95SUlrich Weigand } 347c7eb5a95SUlrich Weigand 3481d959008SRichard Sandiford static DecodeStatus decodeBDLAddr12Len8Operand(MCInst &Inst, uint64_t Field, 3491d959008SRichard Sandiford const unsigned *Regs) { 3501d959008SRichard Sandiford uint64_t Length = Field >> 16; 3511d959008SRichard Sandiford uint64_t Base = (Field >> 12) & 0xf; 3521d959008SRichard Sandiford uint64_t Disp = Field & 0xfff; 3531d959008SRichard Sandiford assert(Length < 256 && "Invalid BDLAddr12Len8"); 354e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 355e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Disp)); 356e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Length + 1)); 3571d959008SRichard Sandiford return MCDisassembler::Success; 3581d959008SRichard Sandiford } 3591d959008SRichard Sandiford 360ec5d779eSUlrich Weigand static DecodeStatus decodeBDRAddr12Operand(MCInst &Inst, uint64_t Field, 361ec5d779eSUlrich Weigand const unsigned *Regs) { 362ec5d779eSUlrich Weigand uint64_t Length = Field >> 16; 363ec5d779eSUlrich Weigand uint64_t Base = (Field >> 12) & 0xf; 364ec5d779eSUlrich Weigand uint64_t Disp = Field & 0xfff; 365ec5d779eSUlrich Weigand assert(Length < 16 && "Invalid BDRAddr12"); 366ec5d779eSUlrich Weigand Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 367ec5d779eSUlrich Weigand Inst.addOperand(MCOperand::createImm(Disp)); 368ec5d779eSUlrich Weigand Inst.addOperand(MCOperand::createReg(Regs[Length])); 369ec5d779eSUlrich Weigand return MCDisassembler::Success; 370ec5d779eSUlrich Weigand } 371ec5d779eSUlrich Weigand 372a8b04e1cSUlrich Weigand static DecodeStatus decodeBDVAddr12Operand(MCInst &Inst, uint64_t Field, 373a8b04e1cSUlrich Weigand const unsigned *Regs) { 374a8b04e1cSUlrich Weigand uint64_t Index = Field >> 16; 375a8b04e1cSUlrich Weigand uint64_t Base = (Field >> 12) & 0xf; 376a8b04e1cSUlrich Weigand uint64_t Disp = Field & 0xfff; 377a8b04e1cSUlrich Weigand assert(Index < 32 && "Invalid BDVAddr12"); 378e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); 379e9119e41SJim Grosbach Inst.addOperand(MCOperand::createImm(Disp)); 380e9119e41SJim Grosbach Inst.addOperand(MCOperand::createReg(SystemZMC::VR128Regs[Index])); 381a8b04e1cSUlrich Weigand return MCDisassembler::Success; 382a8b04e1cSUlrich Weigand } 383a8b04e1cSUlrich Weigand 384eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr32Disp12Operand(MCInst &Inst, uint64_t Field, 385eb9af294SRichard Sandiford uint64_t Address, 386eb9af294SRichard Sandiford const void *Decoder) { 387eb9af294SRichard Sandiford return decodeBDAddr12Operand(Inst, Field, SystemZMC::GR32Regs); 388eb9af294SRichard Sandiford } 389eb9af294SRichard Sandiford 390eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr32Disp20Operand(MCInst &Inst, uint64_t Field, 391eb9af294SRichard Sandiford uint64_t Address, 392eb9af294SRichard Sandiford const void *Decoder) { 393eb9af294SRichard Sandiford return decodeBDAddr20Operand(Inst, Field, SystemZMC::GR32Regs); 394eb9af294SRichard Sandiford } 395eb9af294SRichard Sandiford 396eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr64Disp12Operand(MCInst &Inst, uint64_t Field, 397eb9af294SRichard Sandiford uint64_t Address, 398eb9af294SRichard Sandiford const void *Decoder) { 399eb9af294SRichard Sandiford return decodeBDAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 400eb9af294SRichard Sandiford } 401eb9af294SRichard Sandiford 402eb9af294SRichard Sandiford static DecodeStatus decodeBDAddr64Disp20Operand(MCInst &Inst, uint64_t Field, 403eb9af294SRichard Sandiford uint64_t Address, 404eb9af294SRichard Sandiford const void *Decoder) { 405eb9af294SRichard Sandiford return decodeBDAddr20Operand(Inst, Field, SystemZMC::GR64Regs); 406eb9af294SRichard Sandiford } 407eb9af294SRichard Sandiford 408eb9af294SRichard Sandiford static DecodeStatus decodeBDXAddr64Disp12Operand(MCInst &Inst, uint64_t Field, 409eb9af294SRichard Sandiford uint64_t Address, 410eb9af294SRichard Sandiford const void *Decoder) { 411eb9af294SRichard Sandiford return decodeBDXAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 412eb9af294SRichard Sandiford } 413eb9af294SRichard Sandiford 414eb9af294SRichard Sandiford static DecodeStatus decodeBDXAddr64Disp20Operand(MCInst &Inst, uint64_t Field, 415eb9af294SRichard Sandiford uint64_t Address, 416eb9af294SRichard Sandiford const void *Decoder) { 417eb9af294SRichard Sandiford return decodeBDXAddr20Operand(Inst, Field, SystemZMC::GR64Regs); 418eb9af294SRichard Sandiford } 419eb9af294SRichard Sandiford 420c7eb5a95SUlrich Weigand static DecodeStatus decodeBDLAddr64Disp12Len4Operand(MCInst &Inst, 421c7eb5a95SUlrich Weigand uint64_t Field, 422c7eb5a95SUlrich Weigand uint64_t Address, 423c7eb5a95SUlrich Weigand const void *Decoder) { 424c7eb5a95SUlrich Weigand return decodeBDLAddr12Len4Operand(Inst, Field, SystemZMC::GR64Regs); 425c7eb5a95SUlrich Weigand } 426c7eb5a95SUlrich Weigand 4271d959008SRichard Sandiford static DecodeStatus decodeBDLAddr64Disp12Len8Operand(MCInst &Inst, 4281d959008SRichard Sandiford uint64_t Field, 4291d959008SRichard Sandiford uint64_t Address, 4301d959008SRichard Sandiford const void *Decoder) { 4311d959008SRichard Sandiford return decodeBDLAddr12Len8Operand(Inst, Field, SystemZMC::GR64Regs); 4321d959008SRichard Sandiford } 4331d959008SRichard Sandiford 434ec5d779eSUlrich Weigand static DecodeStatus decodeBDRAddr64Disp12Operand(MCInst &Inst, 435ec5d779eSUlrich Weigand uint64_t Field, 436ec5d779eSUlrich Weigand uint64_t Address, 437ec5d779eSUlrich Weigand const void *Decoder) { 438ec5d779eSUlrich Weigand return decodeBDRAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 439ec5d779eSUlrich Weigand } 440ec5d779eSUlrich Weigand 441a8b04e1cSUlrich Weigand static DecodeStatus decodeBDVAddr64Disp12Operand(MCInst &Inst, uint64_t Field, 442a8b04e1cSUlrich Weigand uint64_t Address, 443a8b04e1cSUlrich Weigand const void *Decoder) { 444a8b04e1cSUlrich Weigand return decodeBDVAddr12Operand(Inst, Field, SystemZMC::GR64Regs); 445a8b04e1cSUlrich Weigand } 446a8b04e1cSUlrich Weigand 447eb9af294SRichard Sandiford #include "SystemZGenDisassemblerTables.inc" 448eb9af294SRichard Sandiford 449eb9af294SRichard Sandiford DecodeStatus SystemZDisassembler::getInstruction(MCInst &MI, uint64_t &Size, 4507fc5b874SRafael Espindola ArrayRef<uint8_t> Bytes, 451eb9af294SRichard Sandiford uint64_t Address, 4524aa6bea7SRafael Espindola raw_ostream &OS, 4534aa6bea7SRafael Espindola raw_ostream &CS) const { 454eb9af294SRichard Sandiford // Get the first two bytes of the instruction. 455eb9af294SRichard Sandiford Size = 0; 4567fc5b874SRafael Espindola if (Bytes.size() < 2) 457eb9af294SRichard Sandiford return MCDisassembler::Fail; 458eb9af294SRichard Sandiford 459eb9af294SRichard Sandiford // The top 2 bits of the first byte specify the size. 460eb9af294SRichard Sandiford const uint8_t *Table; 461eb9af294SRichard Sandiford if (Bytes[0] < 0x40) { 462eb9af294SRichard Sandiford Size = 2; 463eb9af294SRichard Sandiford Table = DecoderTable16; 464eb9af294SRichard Sandiford } else if (Bytes[0] < 0xc0) { 465eb9af294SRichard Sandiford Size = 4; 466eb9af294SRichard Sandiford Table = DecoderTable32; 467eb9af294SRichard Sandiford } else { 468eb9af294SRichard Sandiford Size = 6; 469eb9af294SRichard Sandiford Table = DecoderTable48; 470eb9af294SRichard Sandiford } 471eb9af294SRichard Sandiford 472eb9af294SRichard Sandiford // Read any remaining bytes. 4737fc5b874SRafael Espindola if (Bytes.size() < Size) 474eb9af294SRichard Sandiford return MCDisassembler::Fail; 475eb9af294SRichard Sandiford 476eb9af294SRichard Sandiford // Construct the instruction. 477eb9af294SRichard Sandiford uint64_t Inst = 0; 478eb9af294SRichard Sandiford for (uint64_t I = 0; I < Size; ++I) 479eb9af294SRichard Sandiford Inst = (Inst << 8) | Bytes[I]; 480eb9af294SRichard Sandiford 481eb9af294SRichard Sandiford return decodeInstruction(Table, MI, Inst, Address, this, STI); 482eb9af294SRichard Sandiford } 483