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