1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171
|
/* e500 expression macros, for PSIM, the PowerPC simulator.
Copyright 2003, 2007-2012 Free Software Foundation, Inc.
Contributed by Red Hat Inc; developed under contract from Motorola.
Written by matthew green <mrg@redhat.com>.
This file is part of GDB.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
/* e500 register dance */
#define EV_SET_REG4(sh, sl, h0, h1, h2, h3) do { \
(sh) = (((h0) & 0xffff) << 16) | ((h1) & 0xffff); \
(sl) = (((h2) & 0xffff) << 16) | ((h3) & 0xffff); \
} while (0)
#define EV_SET_REG4_ACC(sh, sl, h0, h1, h2, h3) do { \
(sh) = (((h0) & 0xffff) << 16) | ((h1) & 0xffff); \
(sl) = (((h2) & 0xffff) << 16) | ((h3) & 0xffff); \
ACC = ((unsigned64)(sh) << 32) | (sl & 0xffffffff); \
} while (0)
#define EV_SET_REG2(sh, sl, dh, dl) do { \
(sh) = (dh) & 0xffffffff; \
(sl) = (dl) & 0xffffffff; \
} while (0)
#define EV_SET_REG2_ACC(sh, sl, dh, dl) do { \
(sh) = (dh) & 0xffffffff; \
(sl) = (dl) & 0xffffffff; \
ACC = ((unsigned64)(sh) << 32) | ((sl) & 0xffffffff); \
} while (0)
#define EV_SET_REG1(sh, sl, d) do { \
(sh) = ((unsigned64)(d) >> 32) & 0xffffffff; \
(sl) = (d) & 0xffffffff; \
} while (0)
#define EV_SET_REG1_ACC(sh, sl, d) do { \
(sh) = ((unsigned64)(d) >> 32) & 0xffffffff; \
(sl) = (d) & 0xffffffff; \
ACC = (d); \
} while (0)
#define EV_SET_REG(s, d) do { \
(s) = (d) & 0xffffffff; \
} while (0)
/* get the low or high half word of a word */
#define EV_LOHALF(x) ((unsigned32)(x) & 0xffff)
#define EV_HIHALF(x) (((unsigned32)(x) >> 16) & 0xffff)
/* partially visible accumulator accessors */
#define EV_SET_ACC(rh, rl) \
ACC = ((unsigned64)(rh) << 32) | ((rl) & 0xffffffff)
#define EV_ACCLOW (ACC & 0xffffffff)
#define EV_ACCHIGH ((ACC >> 32) & 0xffffffff)
/* bit manipulation macros needed for e500 SPE */
#define EV_BITREVERSE16(x) \
(((x) & 0x0001) << 15) \
| (((x) & 0x0002) << 13) \
| (((x) & 0x0004) << 11) \
| (((x) & 0x0008) << 9) \
| (((x) & 0x0010) << 7) \
| (((x) & 0x0020) << 5) \
| (((x) & 0x0040) << 3) \
| (((x) & 0x0080) << 1) \
| (((x) & 0x0100) >> 1) \
| (((x) & 0x0200) >> 3) \
| (((x) & 0x0400) >> 5) \
| (((x) & 0x0800) >> 7) \
| (((x) & 0x1000) >> 9) \
| (((x) & 0x2000) >> 11) \
| (((x) & 0x4000) >> 13) \
| (((x) & 0x8000) >> 15)
/* saturation helpers */
#define EV_MUL16_SSF(a,b) ((signed64)((signed32)(signed16)(a) * (signed32)(signed16)(b)) << 1)
/* this one loses the top sign bit; be careful */
#define EV_MUL32_SSF(a,b) (((signed64)(signed32)(a) * (signed64)(signed32)(b)) << 1)
#define EV_SAT_P_S32(x) ((((signed64)(x)) < -0x80000000LL) || (((signed64)(x)) > 0x7fffffffLL))
#define EV_SAT_P_U32(x) ((((signed64)(x)) < -0LL) || (((signed64)(x)) > 0xffffffffLL))
#define EV_SATURATE(flag, sat_val, val) \
((flag) ? (sat_val) : (val))
#define EV_SATURATE_ACC(flag, sign, negative_sat_val, positive_sat_val, val) \
((flag) ? ((((sign) >> 63) & 1) ? (negative_sat_val) : (positive_sat_val)) : (val))
/* SPEFSCR handling. */
/* These bits must be clear. */
#define EV_SPEFSCR_MASK (BIT(40) | BIT(41) | spefscr_mode | BIT(56))
/* The Inexact and Divide by zero sticky bits are based on others. */
#define EV_SET_SPEFSCR(bits) do { \
int finxs = (bits) & (spefscr_fgh|spefscr_fxh|spefscr_fg|spefscr_fx); \
int fdbzs = (bits) & (spefscr_fdbzh|spefscr_fdbz); \
SPREG(spr_spefscr) = ((bits) & ~EV_SPEFSCR_MASK) | \
(finxs ? spefscr_finxs : 0) | \
(fdbzs ? spefscr_fdbzs : 0); \
} while (0)
#define EV_SET_SPEFSCR_BITS(s) \
EV_SET_SPEFSCR(SPREG(spr_spefscr) | (s))
#define EV_SET_SPEFSCR_OV(l,h) do { \
unsigned32 _sPefScR = SPREG(spr_spefscr); \
if (l) \
_sPefScR |= spefscr_ov | spefscr_sov; \
else \
_sPefScR &= ~spefscr_ov; \
if (h) \
_sPefScR |= spefscr_ovh | spefscr_sovh; \
else \
_sPefScR &= ~spefscr_ovh; \
EV_SET_SPEFSCR(_sPefScR); \
} while (0)
/* SPE floating point helpers. */
#define EV_PMAX 0x7f7fffff
#define EV_NMAX 0xff7fffff
#define EV_PMIN 0x00800001
#define EV_NMIN 0x80800001
#define EV_IS_INFDENORMNAN(x) \
(sim_fpu_is_infinity(x) || sim_fpu_is_denorm(x) || sim_fpu_is_nan(x))
/* These aren't used (yet?) For now, SPU is always enabled.
Would be nice if they were generated by igen for e500. */
#define SPU_BEGIN \
{ \
if (MSR & msr_e500_spu_enable) { \
#define SPU_END \
} else { \
/* FIXME: raise SPU unavailable. */ \
} \
}
/* These are also not yet used. */
#define SPU_FP_BEGIN \
{
#define SPU_FP_END \
{ \
unsigned s = SPEFSCR; \
/* Check SPEFSCR; raise exceptions if any required. */ \
if (((spefscr_finxe || spefscr_finve) \
&& (s & (spefscr_finvh|spefscr_finv))) \
|| ((spefscr_finxe || spefscr_fdbze) \
&& (s & (spefscr_fdbzh|spefscr_fdbz))) \
|| ((spefscr_finxe || spefscr_funfe) \
&& (s & (spefscr_funfh|spefscr_funf))) \
|| ((spefscr_finxe || spefscr_fovfe) \
&& (s & (spefscr_fovfh|spefscr_fovf)))) \
/* FIXME: raise exceptions. */; \
} \
}
|