Fix PowerPC FPSCR update and floating-point exception generation
[qemu] / target-ppc / op_helper.h
1 /*
2  *  PowerPC emulation helpers header for qemu.
3  *
4  *  Copyright (c) 2003-2007 Jocelyn Mayer
5  *
6  * This library is free software; you can redistribute it and/or
7  * modify it under the terms of the GNU Lesser General Public
8  * License as published by the Free Software Foundation; either
9  * version 2 of the License, or (at your option) any later version.
10  *
11  * This library is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  * Lesser General Public License for more details.
15  *
16  * You should have received a copy of the GNU Lesser General Public
17  * License along with this library; if not, write to the Free Software
18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19  */
20
21 #if defined(MEMSUFFIX)
22
23 /* Memory load/store helpers */
24 void glue(do_lsw, MEMSUFFIX) (int dst);
25 void glue(do_lsw_le, MEMSUFFIX) (int dst);
26 void glue(do_stsw, MEMSUFFIX) (int src);
27 void glue(do_stsw_le, MEMSUFFIX) (int src);
28 void glue(do_lmw, MEMSUFFIX) (int dst);
29 void glue(do_lmw_le, MEMSUFFIX) (int dst);
30 void glue(do_stmw, MEMSUFFIX) (int src);
31 void glue(do_stmw_le, MEMSUFFIX) (int src);
32 void glue(do_icbi, MEMSUFFIX) (void);
33 void glue(do_dcbz, MEMSUFFIX) (void);
34 void glue(do_POWER_lscbx, MEMSUFFIX) (int dest, int ra, int rb);
35 void glue(do_POWER2_lfq, MEMSUFFIX) (void);
36 void glue(do_POWER2_lfq_le, MEMSUFFIX) (void);
37 void glue(do_POWER2_stfq, MEMSUFFIX) (void);
38 void glue(do_POWER2_stfq_le, MEMSUFFIX) (void);
39
40 #if defined(TARGET_PPC64)
41 void glue(do_lsw_64, MEMSUFFIX) (int dst);
42 void glue(do_lsw_le_64, MEMSUFFIX) (int dst);
43 void glue(do_stsw_64, MEMSUFFIX) (int src);
44 void glue(do_stsw_le_64, MEMSUFFIX) (int src);
45 void glue(do_lmw_64, MEMSUFFIX) (int dst);
46 void glue(do_lmw_le_64, MEMSUFFIX) (int dst);
47 void glue(do_stmw_64, MEMSUFFIX) (int src);
48 void glue(do_stmw_le_64, MEMSUFFIX) (int src);
49 void glue(do_icbi_64, MEMSUFFIX) (void);
50 void glue(do_dcbz_64, MEMSUFFIX) (void);
51 #endif
52
53 #else
54
55 void do_print_mem_EA (target_ulong EA);
56
57 /* Registers load and stores */
58 void do_load_cr (void);
59 void do_store_cr (uint32_t mask);
60 #if defined(TARGET_PPC64)
61 void do_store_pri (int prio);
62 #endif
63 void do_fpscr_setbit (int bit);
64 void do_store_fpscr (uint32_t mask);
65 target_ulong ppc_load_dump_spr (int sprn);
66 void ppc_store_dump_spr (int sprn, target_ulong val);
67
68 /* Integer arithmetic helpers */
69 void do_adde (void);
70 void do_addmeo (void);
71 void do_divwo (void);
72 void do_divwuo (void);
73 void do_mullwo (void);
74 void do_nego (void);
75 void do_subfe (void);
76 void do_subfmeo (void);
77 void do_subfzeo (void);
78 void do_sraw (void);
79 #if defined(TARGET_PPC64)
80 void do_adde_64 (void);
81 void do_addmeo_64 (void);
82 void do_divdo (void);
83 void do_divduo (void);
84 void do_mulldo (void);
85 void do_nego_64 (void);
86 void do_subfe_64 (void);
87 void do_subfmeo_64 (void);
88 void do_subfzeo_64 (void);
89 void do_srad (void);
90 #endif
91 void do_popcntb (void);
92 #if defined(TARGET_PPC64)
93 void do_popcntb_64 (void);
94 #endif
95
96 /* Floating-point arithmetic helpers */
97 void do_compute_fprf (int set_class);
98 #ifdef CONFIG_SOFTFLOAT
99 void do_float_check_status (void);
100 #endif
101 #if USE_PRECISE_EMULATION
102 void do_fadd (void);
103 void do_fsub (void);
104 void do_fmul (void);
105 void do_fdiv (void);
106 #endif
107 void do_fsqrt (void);
108 void do_fre (void);
109 void do_fres (void);
110 void do_frsqrte (void);
111 void do_fsel (void);
112 #if USE_PRECISE_EMULATION
113 void do_fmadd (void);
114 void do_fmsub (void);
115 #endif
116 void do_fnmadd (void);
117 void do_fnmsub (void);
118 #if USE_PRECISE_EMULATION
119 void do_frsp (void);
120 #endif
121 void do_fctiw (void);
122 void do_fctiwz (void);
123 #if defined(TARGET_PPC64)
124 void do_fcfid (void);
125 void do_fctid (void);
126 void do_fctidz (void);
127 #endif
128 void do_frin (void);
129 void do_friz (void);
130 void do_frip (void);
131 void do_frim (void);
132 void do_fcmpu (void);
133 void do_fcmpo (void);
134
135 /* Misc */
136 void do_tw (int flags);
137 #if defined(TARGET_PPC64)
138 void do_td (int flags);
139 #endif
140 #if !defined(CONFIG_USER_ONLY)
141 void do_store_msr (void);
142 void do_rfi (void);
143 #if defined(TARGET_PPC64)
144 void do_rfid (void);
145 #endif
146 #if defined(TARGET_PPC64H)
147 void do_hrfid (void);
148 #endif
149 void do_load_6xx_tlb (int is_code);
150 void do_load_74xx_tlb (int is_code);
151 #endif
152
153 /* POWER / PowerPC 601 specific helpers */
154 void do_store_601_batu (int nr);
155 void do_POWER_abso (void);
156 void do_POWER_clcs (void);
157 void do_POWER_div (void);
158 void do_POWER_divo (void);
159 void do_POWER_divs (void);
160 void do_POWER_divso (void);
161 void do_POWER_dozo (void);
162 void do_POWER_maskg (void);
163 void do_POWER_mulo (void);
164 #if !defined(CONFIG_USER_ONLY)
165 void do_POWER_rac (void);
166 void do_POWER_rfsvc (void);
167 #endif
168
169 /* PowerPC 602 specific helper */
170 #if !defined(CONFIG_USER_ONLY)
171 void do_op_602_mfrom (void);
172 #endif
173
174 /* PowerPC 440 specific helpers */
175 #if !defined(CONFIG_USER_ONLY)
176 void do_440_tlbre (int word);
177 void do_440_tlbwe (int word);
178 #endif
179
180 /* PowerPC 4xx specific helpers */
181 void do_405_check_ov (void);
182 void do_405_check_sat (void);
183 void do_load_dcr (void);
184 void do_store_dcr (void);
185 #if !defined(CONFIG_USER_ONLY)
186 void do_40x_rfci (void);
187 void do_rfci (void);
188 void do_rfdi (void);
189 void do_rfmci (void);
190 void do_4xx_tlbre_lo (void);
191 void do_4xx_tlbre_hi (void);
192 void do_4xx_tlbwe_lo (void);
193 void do_4xx_tlbwe_hi (void);
194 #endif
195
196 /* PowerPC 440 specific helpers */
197 void do_440_dlmzb (void);
198
199 /* PowerPC 403 specific helpers */
200 #if !defined(CONFIG_USER_ONLY)
201 void do_load_403_pb (int num);
202 void do_store_403_pb (int num);
203 #endif
204
205 #if defined(TARGET_PPCEMB)
206 /* SPE extension helpers */
207 void do_brinc (void);
208 /* Fixed-point vector helpers */
209 void do_evabs (void);
210 void do_evaddw (void);
211 void do_evcntlsw (void);
212 void do_evcntlzw (void);
213 void do_evneg (void);
214 void do_evrlw (void);
215 void do_evsel (void);
216 void do_evrndw (void);
217 void do_evslw (void);
218 void do_evsrws (void);
219 void do_evsrwu (void);
220 void do_evsubfw (void);
221 void do_evcmpeq (void);
222 void do_evcmpgts (void);
223 void do_evcmpgtu (void);
224 void do_evcmplts (void);
225 void do_evcmpltu (void);
226
227 /* Single precision floating-point helpers */
228 void do_efscmplt (void);
229 void do_efscmpgt (void);
230 void do_efscmpeq (void);
231 void do_efscfsf (void);
232 void do_efscfuf (void);
233 void do_efsctsf (void);
234 void do_efsctuf (void);
235
236 void do_efscfsi (void);
237 void do_efscfui (void);
238 void do_efsctsi (void);
239 void do_efsctui (void);
240 void do_efsctsiz (void);
241 void do_efsctuiz (void);
242
243 /* Double precision floating-point helpers */
244 void do_efdcmplt (void);
245 void do_efdcmpgt (void);
246 void do_efdcmpeq (void);
247 void do_efdcfsf (void);
248 void do_efdcfuf (void);
249 void do_efdctsf (void);
250 void do_efdctuf (void);
251
252 void do_efdcfsi (void);
253 void do_efdcfui (void);
254 void do_efdctsi (void);
255 void do_efdctui (void);
256 void do_efdctsiz (void);
257 void do_efdctuiz (void);
258
259 void do_efdcfs (void);
260 void do_efscfd (void);
261
262 /* Floating-point vector helpers */
263 void do_evfsabs (void);
264 void do_evfsnabs (void);
265 void do_evfsneg (void);
266 void do_evfsadd (void);
267 void do_evfssub (void);
268 void do_evfsmul (void);
269 void do_evfsdiv (void);
270 void do_evfscmplt (void);
271 void do_evfscmpgt (void);
272 void do_evfscmpeq (void);
273 void do_evfststlt (void);
274 void do_evfststgt (void);
275 void do_evfststeq (void);
276 void do_evfscfsi (void);
277 void do_evfscfui (void);
278 void do_evfscfsf (void);
279 void do_evfscfuf (void);
280 void do_evfsctsf (void);
281 void do_evfsctuf (void);
282 void do_evfsctsi (void);
283 void do_evfsctui (void);
284 void do_evfsctsiz (void);
285 void do_evfsctuiz (void);
286 #endif /* defined(TARGET_PPCEMB) */
287
288 /* Inlined helpers: used in micro-operation as well as helpers */
289 /* Generic fixed-point helpers */
290 static always_inline int _do_cntlzw (uint32_t val)
291 {
292     int cnt = 0;
293     if (!(val & 0xFFFF0000UL)) {
294         cnt += 16;
295         val <<= 16;
296     }
297     if (!(val & 0xFF000000UL)) {
298         cnt += 8;
299         val <<= 8;
300     }
301     if (!(val & 0xF0000000UL)) {
302         cnt += 4;
303         val <<= 4;
304     }
305     if (!(val & 0xC0000000UL)) {
306         cnt += 2;
307         val <<= 2;
308     }
309     if (!(val & 0x80000000UL)) {
310         cnt++;
311         val <<= 1;
312     }
313     if (!(val & 0x80000000UL)) {
314         cnt++;
315     }
316     return cnt;
317 }
318
319 static always_inline int _do_cntlzd (uint64_t val)
320 {
321     int cnt = 0;
322 #if HOST_LONG_BITS == 64
323     if (!(val & 0xFFFFFFFF00000000ULL)) {
324         cnt += 32;
325         val <<= 32;
326     }
327     if (!(val & 0xFFFF000000000000ULL)) {
328         cnt += 16;
329         val <<= 16;
330     }
331     if (!(val & 0xFF00000000000000ULL)) {
332         cnt += 8;
333         val <<= 8;
334     }
335     if (!(val & 0xF000000000000000ULL)) {
336         cnt += 4;
337         val <<= 4;
338     }
339     if (!(val & 0xC000000000000000ULL)) {
340         cnt += 2;
341         val <<= 2;
342     }
343     if (!(val & 0x8000000000000000ULL)) {
344         cnt++;
345         val <<= 1;
346     }
347     if (!(val & 0x8000000000000000ULL)) {
348         cnt++;
349     }
350 #else
351     /* Make it easier on 32 bits host machines */
352     if (!(val >> 32))
353         cnt = _do_cntlzw(val) + 32;
354     else
355         cnt = _do_cntlzw(val >> 32);
356 #endif
357     return cnt;
358 }
359
360 #if defined(TARGET_PPCEMB)
361 /* SPE extension */
362 /* Single precision floating-point helpers */
363 static always_inline uint32_t _do_efsabs (uint32_t val)
364 {
365     return val & ~0x80000000;
366 }
367 static always_inline uint32_t _do_efsnabs (uint32_t val)
368 {
369     return val | 0x80000000;
370 }
371 static always_inline uint32_t _do_efsneg (uint32_t val)
372 {
373     return val ^ 0x80000000;
374 }
375 static always_inline uint32_t _do_efsadd (uint32_t op1, uint32_t op2)
376 {
377     union {
378         uint32_t u;
379         float32 f;
380     } u1, u2;
381     u1.u = op1;
382     u2.u = op2;
383     u1.f = float32_add(u1.f, u2.f, &env->spe_status);
384     return u1.u;
385 }
386 static always_inline uint32_t _do_efssub (uint32_t op1, uint32_t op2)
387 {
388     union {
389         uint32_t u;
390         float32 f;
391     } u1, u2;
392     u1.u = op1;
393     u2.u = op2;
394     u1.f = float32_sub(u1.f, u2.f, &env->spe_status);
395     return u1.u;
396 }
397 static always_inline uint32_t _do_efsmul (uint32_t op1, uint32_t op2)
398 {
399     union {
400         uint32_t u;
401         float32 f;
402     } u1, u2;
403     u1.u = op1;
404     u2.u = op2;
405     u1.f = float32_mul(u1.f, u2.f, &env->spe_status);
406     return u1.u;
407 }
408 static always_inline uint32_t _do_efsdiv (uint32_t op1, uint32_t op2)
409 {
410     union {
411         uint32_t u;
412         float32 f;
413     } u1, u2;
414     u1.u = op1;
415     u2.u = op2;
416     u1.f = float32_div(u1.f, u2.f, &env->spe_status);
417     return u1.u;
418 }
419
420 static always_inline int _do_efststlt (uint32_t op1, uint32_t op2)
421 {
422     union {
423         uint32_t u;
424         float32 f;
425     } u1, u2;
426     u1.u = op1;
427     u2.u = op2;
428     return float32_lt(u1.f, u2.f, &env->spe_status) ? 1 : 0;
429 }
430 static always_inline int _do_efststgt (uint32_t op1, uint32_t op2)
431 {
432     union {
433         uint32_t u;
434         float32 f;
435     } u1, u2;
436     u1.u = op1;
437     u2.u = op2;
438     return float32_le(u1.f, u2.f, &env->spe_status) ? 0 : 1;
439 }
440 static always_inline int _do_efststeq (uint32_t op1, uint32_t op2)
441 {
442     union {
443         uint32_t u;
444         float32 f;
445     } u1, u2;
446     u1.u = op1;
447     u2.u = op2;
448     return float32_eq(u1.f, u2.f, &env->spe_status) ? 1 : 0;
449 }
450 /* Double precision floating-point helpers */
451 static always_inline int _do_efdtstlt (uint64_t op1, uint64_t op2)
452 {
453     union {
454         uint64_t u;
455         float64 f;
456     } u1, u2;
457     u1.u = op1;
458     u2.u = op2;
459     return float64_lt(u1.f, u2.f, &env->spe_status) ? 1 : 0;
460 }
461 static always_inline int _do_efdtstgt (uint64_t op1, uint64_t op2)
462 {
463     union {
464         uint64_t u;
465         float64 f;
466     } u1, u2;
467     u1.u = op1;
468     u2.u = op2;
469     return float64_le(u1.f, u2.f, &env->spe_status) ? 0 : 1;
470 }
471 static always_inline int _do_efdtsteq (uint64_t op1, uint64_t op2)
472 {
473     union {
474         uint64_t u;
475         float64 f;
476     } u1, u2;
477     u1.u = op1;
478     u2.u = op2;
479     return float64_eq(u1.f, u2.f, &env->spe_status) ? 1 : 0;
480 }
481 #endif /* defined(TARGET_PPCEMB) */
482 #endif