Cross Reference: /gem5/src/arch/arm/insts/pred

Deleted Added

sdiff udiff text old ( 12616:4b463b4dc098 ) new ( 13120:690a0db8e58b )

full compact

1/*

3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software
9 * licensed hereunder. You may use the software subject to the license
10 * terms below provided that you ensure that this notice is replicated
11 * unmodified and in its entirety in all distributions of the software,
12 * modified or unmodified, in source code or in binary form.
13 *
14 * Copyright (c) 2007-2008 The Florida State University
15 * All rights reserved.
16 *
17 * Redistribution and use in source and binary forms, with or without
18 * modification, are permitted provided that the following conditions are
19 * met: redistributions of source code must retain the above copyright
20 * notice, this list of conditions and the following disclaimer;
21 * redistributions in binary form must reproduce the above copyright
22 * notice, this list of conditions and the following disclaimer in the
23 * documentation and/or other materials provided with the distribution;
24 * neither the name of the copyright holders nor the names of its
25 * contributors may be used to endorse or promote products derived from
26 * this software without specific prior written permission.
27 *
28 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
29 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
30 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
31 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
32 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
33 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
34 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
35 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
36 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
37 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
38 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
39 *
40 * Authors: Stephen Hines
41 */
42#ifndef __ARCH_ARM_INSTS_PREDINST_HH__
43#define __ARCH_ARM_INSTS_PREDINST_HH__
44
45#include "arch/arm/insts/static_inst.hh"
46#include "base/trace.hh"
47
48namespace ArmISA
49{
50static inline uint32_t
51rotate_imm(uint32_t immValue, uint32_t rotateValue)
52{
53 rotateValue &= 31;
54 return rotateValue == 0 ? immValue :
55 (immValue >> rotateValue) | (immValue << (32 - rotateValue));
56}
57
58static inline uint32_t
59modified_imm(uint8_t ctrlImm, uint8_t dataImm)
60{
61 uint32_t bigData = dataImm;
62 uint32_t bigCtrl = ctrlImm;
63 if (bigCtrl < 4) {
64 switch (bigCtrl) {
65 case 0:
66 return bigData;
67 case 1:
68 return bigData | (bigData << 16);
69 case 2:
70 return (bigData << 8) | (bigData << 24);
71 case 3:
72 return (bigData << 0) | (bigData << 8) |
73 (bigData << 16) | (bigData << 24);
74 }
75 }
76 bigCtrl = (bigCtrl << 1) | ((bigData >> 7) & 0x1);
77 bigData |= (1 << 7);
78 return bigData << (32 - bigCtrl);
79}
80
81static inline uint64_t
82simd_modified_imm(bool op, uint8_t cmode, uint8_t data, bool &immValid,
83 bool isAarch64 = false)
84{
85 uint64_t bigData = data;
86 immValid = true;
87 switch (cmode) {
88 case 0x0:
89 case 0x1:
90 bigData = (bigData << 0) | (bigData << 32);
91 break;
92 case 0x2:
93 case 0x3:
94 bigData = (bigData << 8) | (bigData << 40);
95 break;
96 case 0x4:
97 case 0x5:
98 bigData = (bigData << 16) | (bigData << 48);
99 break;
100 case 0x6:
101 case 0x7:
102 bigData = (bigData << 24) | (bigData << 56);
103 break;
104 case 0x8:
105 case 0x9:
106 bigData = (bigData << 0) | (bigData << 16) |
107 (bigData << 32) | (bigData << 48);
108 break;
109 case 0xa:
110 case 0xb:
111 bigData = (bigData << 8) | (bigData << 24) |
112 (bigData << 40) | (bigData << 56);
113 break;
114 case 0xc:
115 bigData = (0xffULL << 0) | (bigData << 8) |
116 (0xffULL << 32) | (bigData << 40);
117 break;
118 case 0xd:
119 bigData = (0xffffULL << 0) | (bigData << 16) |
120 (0xffffULL << 32) | (bigData << 48);
121 break;
122 case 0xe:
123 if (op) {
124 bigData = 0;
125 for (int i = 7; i >= 0; i--) {
126 if (bits(data, i)) {
127 bigData |= (ULL(0xFF) << (i * 8));
128 }
129 }
130 } else {
131 bigData = (bigData << 0) | (bigData << 8) |
132 (bigData << 16) | (bigData << 24) |
133 (bigData << 32) | (bigData << 40) |
134 (bigData << 48) | (bigData << 56);
135 }
136 break;
137 case 0xf:
138 {
139 uint64_t bVal = 0;
140 if (!op) {
141 bVal = bits(bigData, 6) ? (0x1F) : (0x20);
142 bigData = (bits(bigData, 5, 0) << 19) |
143 (bVal << 25) | (bits(bigData, 7) << 31);
144 bigData |= (bigData << 32);
145 break;
146 } else if (isAarch64) {
147 bVal = bits(bigData, 6) ? (0x0FF) : (0x100);
148 bigData = (bits(bigData, 5, 0) << 48) |
149 (bVal << 54) | (bits(bigData, 7) << 63);
150 break;
151 }
152 }
153 M5_FALLTHROUGH;
154 default:
155 immValid = false;
156 break;
157 }
158 return bigData;
159}
160

161/** Floating point data types. */
162enum class FpDataType { Fp16, Fp32, Fp64 };
163

164static inline uint64_t

~~162~~vfp_modified_imm(uint8_t data, bool wide)

165vfp_modified_imm(uint8_t data, FpDataType dtype)

166{
167 uint64_t bigData = data;
168 uint64_t repData;

~~166~~ if (wide) {
~~167~~ repData = bits(data, 6) ? 0xFF : 0;
~~168~~ bigData = (bits(bigData, 5, 0) << 48) |
~~169~~ (repData << 54) | (bits(~bigData, 6) << 62) |
~~170~~ (bits(bigData, 7) << 63);
~~171~~ } else {

169 switch (dtype) {
170 case FpDataType::Fp16:
171 repData = bits(data, 6) ? 0x3 : 0;
172 bigData = (bits(bigData, 5, 0) << 6) |
173 (repData << 12) | (bits(~bigData, 6) << 14) |
174 (bits(bigData, 7) << 15);
175 break;
176 case FpDataType::Fp32:

177 repData = bits(data, 6) ? 0x1F : 0;
178 bigData = (bits(bigData, 5, 0) << 19) |
179 (repData << 25) | (bits(~bigData, 6) << 30) |
180 (bits(bigData, 7) << 31);

181 break;
182 case FpDataType::Fp64:
183 repData = bits(data, 6) ? 0xFF : 0;
184 bigData = (bits(bigData, 5, 0) << 48) |
185 (repData << 54) | (bits(~bigData, 6) << 62) |
186 (bits(bigData, 7) << 63);
187 break;
188 default:
189 assert(0);

190 }
191 return bigData;
192}
193

194static inline FpDataType
195decode_fp_data_type(uint8_t encoding)
196{
197 switch (encoding) {
198 case 1: return FpDataType::Fp16;
199 case 2: return FpDataType::Fp32;
200 case 3: return FpDataType::Fp64;
201 default:
202 panic(
203 "Invalid floating point data type in VFP/SIMD or SVE instruction");
204 }
205}

206
207/**
208 * Base class for predicated integer operations.
209 */
210class PredOp : public ArmStaticInst
211{
212 protected:
213
214 ConditionCode condCode;
215
216 /// Constructor
217 PredOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass) :
218 ArmStaticInst(mnem, _machInst, __opClass)
219 {
220 if (machInst.aarch64)
221 condCode = COND_UC;
222 else if (machInst.itstateMask)
223 condCode = (ConditionCode)(uint8_t)machInst.itstateCond;
224 else
225 condCode = (ConditionCode)(unsigned)machInst.condCode;
226 }
227};
228
229/**
230 * Base class for predicated immediate operations.
231 */
232class PredImmOp : public PredOp
233{
234 protected:
235
236 uint32_t imm;
237 uint32_t rotated_imm;
238 uint32_t rotated_carry;
239 uint32_t rotate;
240
241 /// Constructor
242 PredImmOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass) :
243 PredOp(mnem, _machInst, __opClass),
244 imm(machInst.imm), rotated_imm(0), rotated_carry(0),
245 rotate(machInst.rotate << 1)
246 {
247 rotated_imm = rotate_imm(imm, rotate);
248 if (rotate != 0)
249 rotated_carry = bits(rotated_imm, 31);
250 }
251
252 std::string generateDisassembly(
253 Addr pc, const SymbolTable *symtab) const override;
254};
255
256/**
257 * Base class for predicated integer operations.
258 */
259class PredIntOp : public PredOp
260{
261 protected:
262
263 uint32_t shift_size;
264 uint32_t shift;
265
266 /// Constructor
267 PredIntOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass) :
268 PredOp(mnem, _machInst, __opClass),
269 shift_size(machInst.shiftSize), shift(machInst.shift)
270 {
271 }
272
273 std::string generateDisassembly(
274 Addr pc, const SymbolTable *symtab) const override;
275};
276
277class DataImmOp : public PredOp
278{
279 protected:
280 IntRegIndex dest, op1;
281 uint32_t imm;
282 // Whether the carry flag should be modified if that's an option for
283 // this instruction.
284 bool rotC;
285
286 DataImmOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
287 IntRegIndex _dest, IntRegIndex _op1, uint32_t _imm, bool _rotC) :
288 PredOp(mnem, _machInst, __opClass),
289 dest(_dest), op1(_op1), imm(_imm), rotC(_rotC)
290 {}
291
292 std::string generateDisassembly(
293 Addr pc, const SymbolTable *symtab) const override;
294};
295
296class DataRegOp : public PredOp
297{
298 protected:
299 IntRegIndex dest, op1, op2;
300 int32_t shiftAmt;
301 ArmShiftType shiftType;
302
303 DataRegOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
304 IntRegIndex _dest, IntRegIndex _op1, IntRegIndex _op2,
305 int32_t _shiftAmt, ArmShiftType _shiftType) :
306 PredOp(mnem, _machInst, __opClass),
307 dest(_dest), op1(_op1), op2(_op2),
308 shiftAmt(_shiftAmt), shiftType(_shiftType)
309 {}
310
311 std::string generateDisassembly(
312 Addr pc, const SymbolTable *symtab) const override;
313};
314
315class DataRegRegOp : public PredOp
316{
317 protected:
318 IntRegIndex dest, op1, op2, shift;
319 ArmShiftType shiftType;
320
321 DataRegRegOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
322 IntRegIndex _dest, IntRegIndex _op1, IntRegIndex _op2,
323 IntRegIndex _shift, ArmShiftType _shiftType) :
324 PredOp(mnem, _machInst, __opClass),
325 dest(_dest), op1(_op1), op2(_op2), shift(_shift),
326 shiftType(_shiftType)
327 {}
328
329 std::string generateDisassembly(
330 Addr pc, const SymbolTable *symtab) const override;
331};
332
333/**
334 * Base class for predicated macro-operations.
335 */
336class PredMacroOp : public PredOp
337{
338 protected:
339
340 uint32_t numMicroops;
341 StaticInstPtr * microOps;
342
343 /// Constructor
344 PredMacroOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass) :
345 PredOp(mnem, _machInst, __opClass),
346 numMicroops(0), microOps(nullptr)
347 {
348 // We rely on the subclasses of this object to handle the
349 // initialization of the micro-operations, since they are
350 // all of variable length
351 flags[IsMacroop] = true;
352 }
353
354 ~PredMacroOp()
355 {
356 if (numMicroops)
357 delete [] microOps;
358 }
359
360 StaticInstPtr
361 fetchMicroop(MicroPC microPC) const override
362 {
363 assert(microPC < numMicroops);
364 return microOps[microPC];
365 }
366
367 Fault
368 execute(ExecContext *, Trace::InstRecord *) const override
369 {
370 panic("Execute method called when it shouldn't!");
371 }
372
373 std::string generateDisassembly(
374 Addr pc, const SymbolTable *symtab) const override;
375};
376
377/**
378 * Base class for predicated micro-operations.
379 */
380class PredMicroop : public PredOp
381{
382 /// Constructor
383 PredMicroop(const char *mnem, ExtMachInst _machInst, OpClass __opClass) :
384 PredOp(mnem, _machInst, __opClass)
385 {
386 flags[IsMicroop] = true;
387 }
388
389 void
390 advancePC(PCState &pcState) const
391 {
392 if (flags[IsLastMicroop])
393 pcState.uEnd();
394 else
395 pcState.uAdvance();
396 }
397};
398}
399
400#endif //__ARCH_ARM_INSTS_PREDINST_HH__