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