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