Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 1 | //===-- SystemZDisassembler.cpp - Disassembler for SystemZ ------*- C++ -*-===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
Eugene Zelenko | 3943d2b | 2017-01-24 22:10:43 +0000 | [diff] [blame] | 9 | #include "MCTargetDesc/SystemZMCTargetDesc.h" |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 10 | #include "SystemZ.h" |
Richard Trieu | 1e6f98b | 2019-05-15 00:46:18 +0000 | [diff] [blame] | 11 | #include "TargetInfo/SystemZTargetInfo.h" |
Benjamin Kramer | f57c197 | 2016-01-26 16:44:37 +0000 | [diff] [blame] | 12 | #include "llvm/MC/MCDisassembler/MCDisassembler.h" |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 13 | #include "llvm/MC/MCFixedLenDisassembler.h" |
| 14 | #include "llvm/MC/MCInst.h" |
| 15 | #include "llvm/MC/MCSubtargetInfo.h" |
Eugene Zelenko | 3943d2b | 2017-01-24 22:10:43 +0000 | [diff] [blame] | 16 | #include "llvm/Support/MathExtras.h" |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 17 | #include "llvm/Support/TargetRegistry.h" |
Eugene Zelenko | 3943d2b | 2017-01-24 22:10:43 +0000 | [diff] [blame] | 18 | #include <cassert> |
| 19 | #include <cstdint> |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 20 | |
| 21 | using namespace llvm; |
| 22 | |
Chandler Carruth | e96dd89 | 2014-04-21 22:55:11 +0000 | [diff] [blame] | 23 | #define DEBUG_TYPE "systemz-disassembler" |
| 24 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 25 | typedef MCDisassembler::DecodeStatus DecodeStatus; |
| 26 | |
| 27 | namespace { |
Eugene Zelenko | 3943d2b | 2017-01-24 22:10:43 +0000 | [diff] [blame] | 28 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 29 | class SystemZDisassembler : public MCDisassembler { |
| 30 | public: |
Lang Hames | a1bc0f5 | 2014-04-15 04:40:56 +0000 | [diff] [blame] | 31 | SystemZDisassembler(const MCSubtargetInfo &STI, MCContext &Ctx) |
| 32 | : MCDisassembler(STI, Ctx) {} |
Eugene Zelenko | 3943d2b | 2017-01-24 22:10:43 +0000 | [diff] [blame] | 33 | ~SystemZDisassembler() override = default; |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 34 | |
Rafael Espindola | 7fc5b87 | 2014-11-12 02:04:27 +0000 | [diff] [blame] | 35 | DecodeStatus getInstruction(MCInst &instr, uint64_t &Size, |
| 36 | ArrayRef<uint8_t> Bytes, uint64_t Address, |
Rafael Espindola | 4aa6bea | 2014-11-10 18:11:10 +0000 | [diff] [blame] | 37 | raw_ostream &VStream, |
| 38 | raw_ostream &CStream) const override; |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 39 | }; |
Eugene Zelenko | 3943d2b | 2017-01-24 22:10:43 +0000 | [diff] [blame] | 40 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 41 | } // end anonymous namespace |
| 42 | |
| 43 | static MCDisassembler *createSystemZDisassembler(const Target &T, |
Lang Hames | a1bc0f5 | 2014-04-15 04:40:56 +0000 | [diff] [blame] | 44 | const MCSubtargetInfo &STI, |
| 45 | MCContext &Ctx) { |
| 46 | return new SystemZDisassembler(STI, Ctx); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 47 | } |
| 48 | |
Tom Stellard | 4b0b261 | 2019-06-11 03:21:13 +0000 | [diff] [blame] | 49 | extern "C" void LLVMInitializeSystemZDisassembler() { |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 50 | // Register the disassembler. |
Mehdi Amini | f42454b | 2016-10-09 23:00:34 +0000 | [diff] [blame] | 51 | TargetRegistry::RegisterMCDisassembler(getTheSystemZTarget(), |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 52 | createSystemZDisassembler); |
| 53 | } |
| 54 | |
Ulrich Weigand | 6e648ea | 2016-04-15 19:55:58 +0000 | [diff] [blame] | 55 | /// tryAddingSymbolicOperand - trys to add a symbolic operand in place of the |
| 56 | /// immediate Value in the MCInst. |
| 57 | /// |
| 58 | /// @param Value - The immediate Value, has had any PC adjustment made by |
| 59 | /// the caller. |
| 60 | /// @param isBranch - If the instruction is a branch instruction |
| 61 | /// @param Address - The starting address of the instruction |
| 62 | /// @param Offset - The byte offset to this immediate in the instruction |
| 63 | /// @param Width - The byte width of this immediate in the instruction |
| 64 | /// |
| 65 | /// If the getOpInfo() function was set when setupForSymbolicDisassembly() was |
| 66 | /// called then that function is called to get any symbolic information for the |
| 67 | /// immediate in the instruction using the Address, Offset and Width. If that |
| 68 | /// returns non-zero then the symbolic information it returns is used to create |
| 69 | /// an MCExpr and that is added as an operand to the MCInst. If getOpInfo() |
| 70 | /// returns zero and isBranch is true then a symbol look up for immediate Value |
| 71 | /// is done and if a symbol is found an MCExpr is created with that, else |
| 72 | /// an MCExpr with the immediate Value is created. This function returns true |
| 73 | /// if it adds an operand to the MCInst and false otherwise. |
| 74 | static bool tryAddingSymbolicOperand(int64_t Value, bool isBranch, |
| 75 | uint64_t Address, uint64_t Offset, |
| 76 | uint64_t Width, MCInst &MI, |
| 77 | const void *Decoder) { |
| 78 | const MCDisassembler *Dis = static_cast<const MCDisassembler*>(Decoder); |
| 79 | return Dis->tryAddingSymbolicOperand(MI, Value, Address, isBranch, |
| 80 | Offset, Width); |
| 81 | } |
| 82 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 83 | static DecodeStatus decodeRegisterClass(MCInst &Inst, uint64_t RegNo, |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 84 | const unsigned *Regs, unsigned Size) { |
| 85 | assert(RegNo < Size && "Invalid register"); |
Richard Sandiford | 09de091 | 2013-11-13 16:57:53 +0000 | [diff] [blame] | 86 | RegNo = Regs[RegNo]; |
| 87 | if (RegNo == 0) |
| 88 | return MCDisassembler::Fail; |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 89 | Inst.addOperand(MCOperand::createReg(RegNo)); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 90 | return MCDisassembler::Success; |
| 91 | } |
| 92 | |
| 93 | static DecodeStatus DecodeGR32BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 94 | uint64_t Address, |
| 95 | const void *Decoder) { |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 96 | return decodeRegisterClass(Inst, RegNo, SystemZMC::GR32Regs, 16); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 97 | } |
| 98 | |
Richard Sandiford | f949606 | 2013-09-30 10:45:16 +0000 | [diff] [blame] | 99 | static DecodeStatus DecodeGRH32BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 100 | uint64_t Address, |
| 101 | const void *Decoder) { |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 102 | return decodeRegisterClass(Inst, RegNo, SystemZMC::GRH32Regs, 16); |
Richard Sandiford | f949606 | 2013-09-30 10:45:16 +0000 | [diff] [blame] | 103 | } |
| 104 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 105 | static DecodeStatus DecodeGR64BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 106 | uint64_t Address, |
| 107 | const void *Decoder) { |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 108 | return decodeRegisterClass(Inst, RegNo, SystemZMC::GR64Regs, 16); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 109 | } |
| 110 | |
| 111 | static DecodeStatus DecodeGR128BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 112 | uint64_t Address, |
| 113 | const void *Decoder) { |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 114 | return decodeRegisterClass(Inst, RegNo, SystemZMC::GR128Regs, 16); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 115 | } |
| 116 | |
| 117 | static DecodeStatus DecodeADDR64BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 118 | uint64_t Address, |
| 119 | const void *Decoder) { |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 120 | return decodeRegisterClass(Inst, RegNo, SystemZMC::GR64Regs, 16); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 121 | } |
| 122 | |
| 123 | static DecodeStatus DecodeFP32BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 124 | uint64_t Address, |
| 125 | const void *Decoder) { |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 126 | return decodeRegisterClass(Inst, RegNo, SystemZMC::FP32Regs, 16); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 127 | } |
| 128 | |
| 129 | static DecodeStatus DecodeFP64BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 130 | uint64_t Address, |
| 131 | const void *Decoder) { |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 132 | return decodeRegisterClass(Inst, RegNo, SystemZMC::FP64Regs, 16); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 133 | } |
| 134 | |
| 135 | static DecodeStatus DecodeFP128BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 136 | uint64_t Address, |
| 137 | const void *Decoder) { |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 138 | return decodeRegisterClass(Inst, RegNo, SystemZMC::FP128Regs, 16); |
| 139 | } |
| 140 | |
| 141 | static DecodeStatus DecodeVR32BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 142 | uint64_t Address, |
| 143 | const void *Decoder) { |
| 144 | return decodeRegisterClass(Inst, RegNo, SystemZMC::VR32Regs, 32); |
| 145 | } |
| 146 | |
| 147 | static DecodeStatus DecodeVR64BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 148 | uint64_t Address, |
| 149 | const void *Decoder) { |
| 150 | return decodeRegisterClass(Inst, RegNo, SystemZMC::VR64Regs, 32); |
| 151 | } |
| 152 | |
| 153 | static DecodeStatus DecodeVR128BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 154 | uint64_t Address, |
| 155 | const void *Decoder) { |
| 156 | return decodeRegisterClass(Inst, RegNo, SystemZMC::VR128Regs, 32); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 157 | } |
| 158 | |
Ulrich Weigand | fffc711 | 2016-11-08 20:15:26 +0000 | [diff] [blame] | 159 | static DecodeStatus DecodeAR32BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 160 | uint64_t Address, |
| 161 | const void *Decoder) { |
| 162 | return decodeRegisterClass(Inst, RegNo, SystemZMC::AR32Regs, 16); |
| 163 | } |
| 164 | |
Ulrich Weigand | 03ab2e2 | 2017-06-30 20:43:40 +0000 | [diff] [blame] | 165 | static DecodeStatus DecodeCR64BitRegisterClass(MCInst &Inst, uint64_t RegNo, |
| 166 | uint64_t Address, |
| 167 | const void *Decoder) { |
| 168 | return decodeRegisterClass(Inst, RegNo, SystemZMC::CR64Regs, 16); |
| 169 | } |
| 170 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 171 | template<unsigned N> |
| 172 | static DecodeStatus decodeUImmOperand(MCInst &Inst, uint64_t Imm) { |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 173 | if (!isUInt<N>(Imm)) |
| 174 | return MCDisassembler::Fail; |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 175 | Inst.addOperand(MCOperand::createImm(Imm)); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 176 | return MCDisassembler::Success; |
| 177 | } |
| 178 | |
| 179 | template<unsigned N> |
| 180 | static DecodeStatus decodeSImmOperand(MCInst &Inst, uint64_t Imm) { |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 181 | if (!isUInt<N>(Imm)) |
| 182 | return MCDisassembler::Fail; |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 183 | Inst.addOperand(MCOperand::createImm(SignExtend64<N>(Imm))); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 184 | return MCDisassembler::Success; |
| 185 | } |
| 186 | |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 187 | static DecodeStatus decodeU1ImmOperand(MCInst &Inst, uint64_t Imm, |
| 188 | uint64_t Address, const void *Decoder) { |
| 189 | return decodeUImmOperand<1>(Inst, Imm); |
| 190 | } |
| 191 | |
| 192 | static DecodeStatus decodeU2ImmOperand(MCInst &Inst, uint64_t Imm, |
| 193 | uint64_t Address, const void *Decoder) { |
| 194 | return decodeUImmOperand<2>(Inst, Imm); |
| 195 | } |
| 196 | |
| 197 | static DecodeStatus decodeU3ImmOperand(MCInst &Inst, uint64_t Imm, |
| 198 | uint64_t Address, const void *Decoder) { |
| 199 | return decodeUImmOperand<3>(Inst, Imm); |
| 200 | } |
| 201 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 202 | static DecodeStatus decodeU4ImmOperand(MCInst &Inst, uint64_t Imm, |
| 203 | uint64_t Address, const void *Decoder) { |
| 204 | return decodeUImmOperand<4>(Inst, Imm); |
| 205 | } |
| 206 | |
| 207 | static DecodeStatus decodeU6ImmOperand(MCInst &Inst, uint64_t Imm, |
| 208 | uint64_t Address, const void *Decoder) { |
| 209 | return decodeUImmOperand<6>(Inst, Imm); |
| 210 | } |
| 211 | |
| 212 | static DecodeStatus decodeU8ImmOperand(MCInst &Inst, uint64_t Imm, |
| 213 | uint64_t Address, const void *Decoder) { |
| 214 | return decodeUImmOperand<8>(Inst, Imm); |
| 215 | } |
| 216 | |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 217 | static DecodeStatus decodeU12ImmOperand(MCInst &Inst, uint64_t Imm, |
| 218 | uint64_t Address, const void *Decoder) { |
| 219 | return decodeUImmOperand<12>(Inst, Imm); |
| 220 | } |
| 221 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 222 | static DecodeStatus decodeU16ImmOperand(MCInst &Inst, uint64_t Imm, |
| 223 | uint64_t Address, const void *Decoder) { |
| 224 | return decodeUImmOperand<16>(Inst, Imm); |
| 225 | } |
| 226 | |
| 227 | static DecodeStatus decodeU32ImmOperand(MCInst &Inst, uint64_t Imm, |
| 228 | uint64_t Address, const void *Decoder) { |
| 229 | return decodeUImmOperand<32>(Inst, Imm); |
| 230 | } |
| 231 | |
| 232 | static DecodeStatus decodeS8ImmOperand(MCInst &Inst, uint64_t Imm, |
| 233 | uint64_t Address, const void *Decoder) { |
| 234 | return decodeSImmOperand<8>(Inst, Imm); |
| 235 | } |
| 236 | |
| 237 | static DecodeStatus decodeS16ImmOperand(MCInst &Inst, uint64_t Imm, |
| 238 | uint64_t Address, const void *Decoder) { |
| 239 | return decodeSImmOperand<16>(Inst, Imm); |
| 240 | } |
| 241 | |
| 242 | static DecodeStatus decodeS32ImmOperand(MCInst &Inst, uint64_t Imm, |
| 243 | uint64_t Address, const void *Decoder) { |
| 244 | return decodeSImmOperand<32>(Inst, Imm); |
| 245 | } |
| 246 | |
| 247 | template<unsigned N> |
| 248 | static DecodeStatus decodePCDBLOperand(MCInst &Inst, uint64_t Imm, |
Ulrich Weigand | 6e648ea | 2016-04-15 19:55:58 +0000 | [diff] [blame] | 249 | uint64_t Address, |
| 250 | bool isBranch, |
| 251 | const void *Decoder) { |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 252 | assert(isUInt<N>(Imm) && "Invalid PC-relative offset"); |
Ulrich Weigand | 6e648ea | 2016-04-15 19:55:58 +0000 | [diff] [blame] | 253 | uint64_t Value = SignExtend64<N>(Imm) * 2 + Address; |
| 254 | |
| 255 | if (!tryAddingSymbolicOperand(Value, isBranch, Address, 2, N / 8, |
| 256 | Inst, Decoder)) |
| 257 | Inst.addOperand(MCOperand::createImm(Value)); |
| 258 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 259 | return MCDisassembler::Success; |
| 260 | } |
| 261 | |
Ulrich Weigand | 84404f3 | 2016-11-28 14:01:51 +0000 | [diff] [blame] | 262 | static DecodeStatus decodePC12DBLBranchOperand(MCInst &Inst, uint64_t Imm, |
| 263 | uint64_t Address, |
| 264 | const void *Decoder) { |
| 265 | return decodePCDBLOperand<12>(Inst, Imm, Address, true, Decoder); |
| 266 | } |
| 267 | |
Ulrich Weigand | 6e648ea | 2016-04-15 19:55:58 +0000 | [diff] [blame] | 268 | static DecodeStatus decodePC16DBLBranchOperand(MCInst &Inst, uint64_t Imm, |
| 269 | uint64_t Address, |
| 270 | const void *Decoder) { |
| 271 | return decodePCDBLOperand<16>(Inst, Imm, Address, true, Decoder); |
| 272 | } |
| 273 | |
Ulrich Weigand | 84404f3 | 2016-11-28 14:01:51 +0000 | [diff] [blame] | 274 | static DecodeStatus decodePC24DBLBranchOperand(MCInst &Inst, uint64_t Imm, |
| 275 | uint64_t Address, |
| 276 | const void *Decoder) { |
| 277 | return decodePCDBLOperand<24>(Inst, Imm, Address, true, Decoder); |
| 278 | } |
| 279 | |
Ulrich Weigand | 6e648ea | 2016-04-15 19:55:58 +0000 | [diff] [blame] | 280 | static DecodeStatus decodePC32DBLBranchOperand(MCInst &Inst, uint64_t Imm, |
| 281 | uint64_t Address, |
| 282 | const void *Decoder) { |
| 283 | return decodePCDBLOperand<32>(Inst, Imm, Address, true, Decoder); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 284 | } |
| 285 | |
| 286 | static DecodeStatus decodePC32DBLOperand(MCInst &Inst, uint64_t Imm, |
| 287 | uint64_t Address, |
| 288 | const void *Decoder) { |
Ulrich Weigand | 6e648ea | 2016-04-15 19:55:58 +0000 | [diff] [blame] | 289 | return decodePCDBLOperand<32>(Inst, Imm, Address, false, Decoder); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 290 | } |
| 291 | |
| 292 | static DecodeStatus decodeBDAddr12Operand(MCInst &Inst, uint64_t Field, |
| 293 | const unsigned *Regs) { |
| 294 | uint64_t Base = Field >> 12; |
| 295 | uint64_t Disp = Field & 0xfff; |
| 296 | assert(Base < 16 && "Invalid BDAddr12"); |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 297 | Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); |
| 298 | Inst.addOperand(MCOperand::createImm(Disp)); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 299 | return MCDisassembler::Success; |
| 300 | } |
| 301 | |
| 302 | static DecodeStatus decodeBDAddr20Operand(MCInst &Inst, uint64_t Field, |
| 303 | const unsigned *Regs) { |
| 304 | uint64_t Base = Field >> 20; |
| 305 | uint64_t Disp = ((Field << 12) & 0xff000) | ((Field >> 8) & 0xfff); |
| 306 | assert(Base < 16 && "Invalid BDAddr20"); |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 307 | Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); |
| 308 | Inst.addOperand(MCOperand::createImm(SignExtend64<20>(Disp))); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 309 | return MCDisassembler::Success; |
| 310 | } |
| 311 | |
| 312 | static DecodeStatus decodeBDXAddr12Operand(MCInst &Inst, uint64_t Field, |
| 313 | const unsigned *Regs) { |
| 314 | uint64_t Index = Field >> 16; |
| 315 | uint64_t Base = (Field >> 12) & 0xf; |
| 316 | uint64_t Disp = Field & 0xfff; |
| 317 | assert(Index < 16 && "Invalid BDXAddr12"); |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 318 | Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); |
| 319 | Inst.addOperand(MCOperand::createImm(Disp)); |
| 320 | Inst.addOperand(MCOperand::createReg(Index == 0 ? 0 : Regs[Index])); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 321 | return MCDisassembler::Success; |
| 322 | } |
| 323 | |
| 324 | static DecodeStatus decodeBDXAddr20Operand(MCInst &Inst, uint64_t Field, |
| 325 | const unsigned *Regs) { |
| 326 | uint64_t Index = Field >> 24; |
| 327 | uint64_t Base = (Field >> 20) & 0xf; |
| 328 | uint64_t Disp = ((Field & 0xfff00) >> 8) | ((Field & 0xff) << 12); |
| 329 | assert(Index < 16 && "Invalid BDXAddr20"); |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 330 | Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); |
| 331 | Inst.addOperand(MCOperand::createImm(SignExtend64<20>(Disp))); |
| 332 | Inst.addOperand(MCOperand::createReg(Index == 0 ? 0 : Regs[Index])); |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 333 | return MCDisassembler::Success; |
| 334 | } |
| 335 | |
Ulrich Weigand | c7eb5a9 | 2017-05-10 12:42:45 +0000 | [diff] [blame] | 336 | static DecodeStatus decodeBDLAddr12Len4Operand(MCInst &Inst, uint64_t Field, |
| 337 | const unsigned *Regs) { |
| 338 | uint64_t Length = Field >> 16; |
| 339 | uint64_t Base = (Field >> 12) & 0xf; |
| 340 | uint64_t Disp = Field & 0xfff; |
| 341 | assert(Length < 16 && "Invalid BDLAddr12Len4"); |
| 342 | Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); |
| 343 | Inst.addOperand(MCOperand::createImm(Disp)); |
| 344 | Inst.addOperand(MCOperand::createImm(Length + 1)); |
| 345 | return MCDisassembler::Success; |
| 346 | } |
| 347 | |
Richard Sandiford | 1d95900 | 2013-07-02 14:56:45 +0000 | [diff] [blame] | 348 | static DecodeStatus decodeBDLAddr12Len8Operand(MCInst &Inst, uint64_t Field, |
| 349 | const unsigned *Regs) { |
| 350 | uint64_t Length = Field >> 16; |
| 351 | uint64_t Base = (Field >> 12) & 0xf; |
| 352 | uint64_t Disp = Field & 0xfff; |
| 353 | assert(Length < 256 && "Invalid BDLAddr12Len8"); |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 354 | Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); |
| 355 | Inst.addOperand(MCOperand::createImm(Disp)); |
| 356 | Inst.addOperand(MCOperand::createImm(Length + 1)); |
Richard Sandiford | 1d95900 | 2013-07-02 14:56:45 +0000 | [diff] [blame] | 357 | return MCDisassembler::Success; |
| 358 | } |
| 359 | |
Ulrich Weigand | ec5d779 | 2016-10-31 14:21:36 +0000 | [diff] [blame] | 360 | static DecodeStatus decodeBDRAddr12Operand(MCInst &Inst, uint64_t Field, |
| 361 | const unsigned *Regs) { |
| 362 | uint64_t Length = Field >> 16; |
| 363 | uint64_t Base = (Field >> 12) & 0xf; |
| 364 | uint64_t Disp = Field & 0xfff; |
| 365 | assert(Length < 16 && "Invalid BDRAddr12"); |
| 366 | Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); |
| 367 | Inst.addOperand(MCOperand::createImm(Disp)); |
| 368 | Inst.addOperand(MCOperand::createReg(Regs[Length])); |
| 369 | return MCDisassembler::Success; |
| 370 | } |
| 371 | |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 372 | static DecodeStatus decodeBDVAddr12Operand(MCInst &Inst, uint64_t Field, |
| 373 | const unsigned *Regs) { |
| 374 | uint64_t Index = Field >> 16; |
| 375 | uint64_t Base = (Field >> 12) & 0xf; |
| 376 | uint64_t Disp = Field & 0xfff; |
| 377 | assert(Index < 32 && "Invalid BDVAddr12"); |
Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 378 | Inst.addOperand(MCOperand::createReg(Base == 0 ? 0 : Regs[Base])); |
| 379 | Inst.addOperand(MCOperand::createImm(Disp)); |
| 380 | Inst.addOperand(MCOperand::createReg(SystemZMC::VR128Regs[Index])); |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 381 | return MCDisassembler::Success; |
| 382 | } |
| 383 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 384 | static DecodeStatus decodeBDAddr32Disp12Operand(MCInst &Inst, uint64_t Field, |
| 385 | uint64_t Address, |
| 386 | const void *Decoder) { |
| 387 | return decodeBDAddr12Operand(Inst, Field, SystemZMC::GR32Regs); |
| 388 | } |
| 389 | |
| 390 | static DecodeStatus decodeBDAddr32Disp20Operand(MCInst &Inst, uint64_t Field, |
| 391 | uint64_t Address, |
| 392 | const void *Decoder) { |
| 393 | return decodeBDAddr20Operand(Inst, Field, SystemZMC::GR32Regs); |
| 394 | } |
| 395 | |
| 396 | static DecodeStatus decodeBDAddr64Disp12Operand(MCInst &Inst, uint64_t Field, |
| 397 | uint64_t Address, |
| 398 | const void *Decoder) { |
| 399 | return decodeBDAddr12Operand(Inst, Field, SystemZMC::GR64Regs); |
| 400 | } |
| 401 | |
| 402 | static DecodeStatus decodeBDAddr64Disp20Operand(MCInst &Inst, uint64_t Field, |
| 403 | uint64_t Address, |
| 404 | const void *Decoder) { |
| 405 | return decodeBDAddr20Operand(Inst, Field, SystemZMC::GR64Regs); |
| 406 | } |
| 407 | |
| 408 | static DecodeStatus decodeBDXAddr64Disp12Operand(MCInst &Inst, uint64_t Field, |
| 409 | uint64_t Address, |
| 410 | const void *Decoder) { |
| 411 | return decodeBDXAddr12Operand(Inst, Field, SystemZMC::GR64Regs); |
| 412 | } |
| 413 | |
| 414 | static DecodeStatus decodeBDXAddr64Disp20Operand(MCInst &Inst, uint64_t Field, |
| 415 | uint64_t Address, |
| 416 | const void *Decoder) { |
| 417 | return decodeBDXAddr20Operand(Inst, Field, SystemZMC::GR64Regs); |
| 418 | } |
| 419 | |
Ulrich Weigand | c7eb5a9 | 2017-05-10 12:42:45 +0000 | [diff] [blame] | 420 | static DecodeStatus decodeBDLAddr64Disp12Len4Operand(MCInst &Inst, |
| 421 | uint64_t Field, |
| 422 | uint64_t Address, |
| 423 | const void *Decoder) { |
| 424 | return decodeBDLAddr12Len4Operand(Inst, Field, SystemZMC::GR64Regs); |
| 425 | } |
| 426 | |
Richard Sandiford | 1d95900 | 2013-07-02 14:56:45 +0000 | [diff] [blame] | 427 | static DecodeStatus decodeBDLAddr64Disp12Len8Operand(MCInst &Inst, |
| 428 | uint64_t Field, |
| 429 | uint64_t Address, |
| 430 | const void *Decoder) { |
| 431 | return decodeBDLAddr12Len8Operand(Inst, Field, SystemZMC::GR64Regs); |
| 432 | } |
| 433 | |
Ulrich Weigand | ec5d779 | 2016-10-31 14:21:36 +0000 | [diff] [blame] | 434 | static DecodeStatus decodeBDRAddr64Disp12Operand(MCInst &Inst, |
| 435 | uint64_t Field, |
| 436 | uint64_t Address, |
| 437 | const void *Decoder) { |
| 438 | return decodeBDRAddr12Operand(Inst, Field, SystemZMC::GR64Regs); |
| 439 | } |
| 440 | |
Ulrich Weigand | a8b04e1 | 2015-05-05 19:23:40 +0000 | [diff] [blame] | 441 | static DecodeStatus decodeBDVAddr64Disp12Operand(MCInst &Inst, uint64_t Field, |
| 442 | uint64_t Address, |
| 443 | const void *Decoder) { |
| 444 | return decodeBDVAddr12Operand(Inst, Field, SystemZMC::GR64Regs); |
| 445 | } |
| 446 | |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 447 | #include "SystemZGenDisassemblerTables.inc" |
| 448 | |
| 449 | DecodeStatus SystemZDisassembler::getInstruction(MCInst &MI, uint64_t &Size, |
Rafael Espindola | 7fc5b87 | 2014-11-12 02:04:27 +0000 | [diff] [blame] | 450 | ArrayRef<uint8_t> Bytes, |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 451 | uint64_t Address, |
Rafael Espindola | 4aa6bea | 2014-11-10 18:11:10 +0000 | [diff] [blame] | 452 | raw_ostream &OS, |
| 453 | raw_ostream &CS) const { |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 454 | // Get the first two bytes of the instruction. |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 455 | Size = 0; |
Rafael Espindola | 7fc5b87 | 2014-11-12 02:04:27 +0000 | [diff] [blame] | 456 | if (Bytes.size() < 2) |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 457 | return MCDisassembler::Fail; |
| 458 | |
| 459 | // The top 2 bits of the first byte specify the size. |
| 460 | const uint8_t *Table; |
| 461 | if (Bytes[0] < 0x40) { |
| 462 | Size = 2; |
| 463 | Table = DecoderTable16; |
| 464 | } else if (Bytes[0] < 0xc0) { |
| 465 | Size = 4; |
| 466 | Table = DecoderTable32; |
| 467 | } else { |
| 468 | Size = 6; |
| 469 | Table = DecoderTable48; |
| 470 | } |
| 471 | |
| 472 | // Read any remaining bytes. |
Rafael Espindola | 7fc5b87 | 2014-11-12 02:04:27 +0000 | [diff] [blame] | 473 | if (Bytes.size() < Size) |
Richard Sandiford | eb9af29 | 2013-05-14 10:17:52 +0000 | [diff] [blame] | 474 | return MCDisassembler::Fail; |
| 475 | |
| 476 | // Construct the instruction. |
| 477 | uint64_t Inst = 0; |
| 478 | for (uint64_t I = 0; I < Size; ++I) |
| 479 | Inst = (Inst << 8) | Bytes[I]; |
| 480 | |
| 481 | return decodeInstruction(Table, MI, Inst, Address, this, STI); |
| 482 | } |