Statistics
| Branch: | Revision:

root / target-sh4 / op_helper.c @ 618ba8e6

History | View | Annotate | Download (15.6 kB)

1
/*
2
 *  SH4 emulation
3
 *
4
 *  Copyright (c) 2005 Samuel Tardieu
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, see <http://www.gnu.org/licenses/>.
18
 */
19
#include <assert.h>
20
#include <stdlib.h>
21
#include "exec.h"
22
#include "helper.h"
23

    
24
static void cpu_restore_state_from_retaddr(void *retaddr)
25
{
26
    TranslationBlock *tb;
27
    unsigned long pc;
28

    
29
    if (retaddr) {
30
        pc = (unsigned long) retaddr;
31
        tb = tb_find_pc(pc);
32
        if (tb) {
33
            /* the PC is inside the translated code. It means that we have
34
               a virtual CPU fault */
35
            cpu_restore_state(tb, env, pc);
36
        }
37
    }
38
}
39

    
40
#ifndef CONFIG_USER_ONLY
41

    
42
#define MMUSUFFIX _mmu
43

    
44
#define SHIFT 0
45
#include "softmmu_template.h"
46

    
47
#define SHIFT 1
48
#include "softmmu_template.h"
49

    
50
#define SHIFT 2
51
#include "softmmu_template.h"
52

    
53
#define SHIFT 3
54
#include "softmmu_template.h"
55

    
56
void tlb_fill(target_ulong addr, int is_write, int mmu_idx, void *retaddr)
57
{
58
    CPUState *saved_env;
59
    int ret;
60

    
61
    /* XXX: hack to restore env in all cases, even if not called from
62
       generated code */
63
    saved_env = env;
64
    env = cpu_single_env;
65
    ret = cpu_sh4_handle_mmu_fault(env, addr, is_write, mmu_idx, 1);
66
    if (ret) {
67
        /* now we have a real cpu fault */
68
        cpu_restore_state_from_retaddr(retaddr);
69
        cpu_loop_exit();
70
    }
71
    env = saved_env;
72
}
73

    
74
#endif
75

    
76
void helper_ldtlb(void)
77
{
78
#ifdef CONFIG_USER_ONLY
79
    /* XXXXX */
80
    cpu_abort(env, "Unhandled ldtlb");
81
#else
82
    cpu_load_tlb(env);
83
#endif
84
}
85

    
86
static inline void raise_exception(int index, void *retaddr)
87
{
88
    env->exception_index = index;
89
    cpu_restore_state_from_retaddr(retaddr);
90
    cpu_loop_exit();
91
}
92

    
93
void helper_raise_illegal_instruction(void)
94
{
95
    raise_exception(0x180, GETPC());
96
}
97

    
98
void helper_raise_slot_illegal_instruction(void)
99
{
100
    raise_exception(0x1a0, GETPC());
101
}
102

    
103
void helper_raise_fpu_disable(void)
104
{
105
    raise_exception(0x800, GETPC());
106
}
107

    
108
void helper_raise_slot_fpu_disable(void)
109
{
110
    raise_exception(0x820, GETPC());
111
}
112

    
113
void helper_debug(void)
114
{
115
    env->exception_index = EXCP_DEBUG;
116
    cpu_loop_exit();
117
}
118

    
119
void helper_sleep(uint32_t next_pc)
120
{
121
    env->halted = 1;
122
    env->in_sleep = 1;
123
    env->exception_index = EXCP_HLT;
124
    env->pc = next_pc;
125
    cpu_loop_exit();
126
}
127

    
128
void helper_trapa(uint32_t tra)
129
{
130
    env->tra = tra << 2;
131
    raise_exception(0x160, GETPC());
132
}
133

    
134
void helper_movcal(uint32_t address, uint32_t value)
135
{
136
    if (cpu_sh4_is_cached (env, address))
137
    {
138
        memory_content *r = malloc (sizeof(memory_content));
139
        r->address = address;
140
        r->value = value;
141
        r->next = NULL;
142

    
143
        *(env->movcal_backup_tail) = r;
144
        env->movcal_backup_tail = &(r->next);
145
    }
146
}
147

    
148
void helper_discard_movcal_backup(void)
149
{
150
    memory_content *current = env->movcal_backup;
151

    
152
    while(current)
153
    {
154
        memory_content *next = current->next;
155
        free (current);
156
        env->movcal_backup = current = next;
157
        if (current == NULL)
158
            env->movcal_backup_tail = &(env->movcal_backup);
159
    } 
160
}
161

    
162
void helper_ocbi(uint32_t address)
163
{
164
    memory_content **current = &(env->movcal_backup);
165
    while (*current)
166
    {
167
        uint32_t a = (*current)->address;
168
        if ((a & ~0x1F) == (address & ~0x1F))
169
        {
170
            memory_content *next = (*current)->next;
171
            stl(a, (*current)->value);
172
            
173
            if (next == NULL)
174
            {
175
                env->movcal_backup_tail = current;
176
            }
177

    
178
            free (*current);
179
            *current = next;
180
            break;
181
        }
182
    }
183
}
184

    
185
uint32_t helper_addc(uint32_t arg0, uint32_t arg1)
186
{
187
    uint32_t tmp0, tmp1;
188

    
189
    tmp1 = arg0 + arg1;
190
    tmp0 = arg1;
191
    arg1 = tmp1 + (env->sr & 1);
192
    if (tmp0 > tmp1)
193
        env->sr |= SR_T;
194
    else
195
        env->sr &= ~SR_T;
196
    if (tmp1 > arg1)
197
        env->sr |= SR_T;
198
    return arg1;
199
}
200

    
201
uint32_t helper_addv(uint32_t arg0, uint32_t arg1)
202
{
203
    uint32_t dest, src, ans;
204

    
205
    if ((int32_t) arg1 >= 0)
206
        dest = 0;
207
    else
208
        dest = 1;
209
    if ((int32_t) arg0 >= 0)
210
        src = 0;
211
    else
212
        src = 1;
213
    src += dest;
214
    arg1 += arg0;
215
    if ((int32_t) arg1 >= 0)
216
        ans = 0;
217
    else
218
        ans = 1;
219
    ans += dest;
220
    if (src == 0 || src == 2) {
221
        if (ans == 1)
222
            env->sr |= SR_T;
223
        else
224
            env->sr &= ~SR_T;
225
    } else
226
        env->sr &= ~SR_T;
227
    return arg1;
228
}
229

    
230
#define T (env->sr & SR_T)
231
#define Q (env->sr & SR_Q ? 1 : 0)
232
#define M (env->sr & SR_M ? 1 : 0)
233
#define SETT env->sr |= SR_T
234
#define CLRT env->sr &= ~SR_T
235
#define SETQ env->sr |= SR_Q
236
#define CLRQ env->sr &= ~SR_Q
237
#define SETM env->sr |= SR_M
238
#define CLRM env->sr &= ~SR_M
239

    
240
uint32_t helper_div1(uint32_t arg0, uint32_t arg1)
241
{
242
    uint32_t tmp0, tmp2;
243
    uint8_t old_q, tmp1 = 0xff;
244

    
245
    //printf("div1 arg0=0x%08x arg1=0x%08x M=%d Q=%d T=%d\n", arg0, arg1, M, Q, T);
246
    old_q = Q;
247
    if ((0x80000000 & arg1) != 0)
248
        SETQ;
249
    else
250
        CLRQ;
251
    tmp2 = arg0;
252
    arg1 <<= 1;
253
    arg1 |= T;
254
    switch (old_q) {
255
    case 0:
256
        switch (M) {
257
        case 0:
258
            tmp0 = arg1;
259
            arg1 -= tmp2;
260
            tmp1 = arg1 > tmp0;
261
            switch (Q) {
262
            case 0:
263
                if (tmp1)
264
                    SETQ;
265
                else
266
                    CLRQ;
267
                break;
268
            case 1:
269
                if (tmp1 == 0)
270
                    SETQ;
271
                else
272
                    CLRQ;
273
                break;
274
            }
275
            break;
276
        case 1:
277
            tmp0 = arg1;
278
            arg1 += tmp2;
279
            tmp1 = arg1 < tmp0;
280
            switch (Q) {
281
            case 0:
282
                if (tmp1 == 0)
283
                    SETQ;
284
                else
285
                    CLRQ;
286
                break;
287
            case 1:
288
                if (tmp1)
289
                    SETQ;
290
                else
291
                    CLRQ;
292
                break;
293
            }
294
            break;
295
        }
296
        break;
297
    case 1:
298
        switch (M) {
299
        case 0:
300
            tmp0 = arg1;
301
            arg1 += tmp2;
302
            tmp1 = arg1 < tmp0;
303
            switch (Q) {
304
            case 0:
305
                if (tmp1)
306
                    SETQ;
307
                else
308
                    CLRQ;
309
                break;
310
            case 1:
311
                if (tmp1 == 0)
312
                    SETQ;
313
                else
314
                    CLRQ;
315
                break;
316
            }
317
            break;
318
        case 1:
319
            tmp0 = arg1;
320
            arg1 -= tmp2;
321
            tmp1 = arg1 > tmp0;
322
            switch (Q) {
323
            case 0:
324
                if (tmp1 == 0)
325
                    SETQ;
326
                else
327
                    CLRQ;
328
                break;
329
            case 1:
330
                if (tmp1)
331
                    SETQ;
332
                else
333
                    CLRQ;
334
                break;
335
            }
336
            break;
337
        }
338
        break;
339
    }
340
    if (Q == M)
341
        SETT;
342
    else
343
        CLRT;
344
    //printf("Output: arg1=0x%08x M=%d Q=%d T=%d\n", arg1, M, Q, T);
345
    return arg1;
346
}
347

    
348
void helper_macl(uint32_t arg0, uint32_t arg1)
349
{
350
    int64_t res;
351

    
352
    res = ((uint64_t) env->mach << 32) | env->macl;
353
    res += (int64_t) (int32_t) arg0 *(int64_t) (int32_t) arg1;
354
    env->mach = (res >> 32) & 0xffffffff;
355
    env->macl = res & 0xffffffff;
356
    if (env->sr & SR_S) {
357
        if (res < 0)
358
            env->mach |= 0xffff0000;
359
        else
360
            env->mach &= 0x00007fff;
361
    }
362
}
363

    
364
void helper_macw(uint32_t arg0, uint32_t arg1)
365
{
366
    int64_t res;
367

    
368
    res = ((uint64_t) env->mach << 32) | env->macl;
369
    res += (int64_t) (int16_t) arg0 *(int64_t) (int16_t) arg1;
370
    env->mach = (res >> 32) & 0xffffffff;
371
    env->macl = res & 0xffffffff;
372
    if (env->sr & SR_S) {
373
        if (res < -0x80000000) {
374
            env->mach = 1;
375
            env->macl = 0x80000000;
376
        } else if (res > 0x000000007fffffff) {
377
            env->mach = 1;
378
            env->macl = 0x7fffffff;
379
        }
380
    }
381
}
382

    
383
uint32_t helper_subc(uint32_t arg0, uint32_t arg1)
384
{
385
    uint32_t tmp0, tmp1;
386

    
387
    tmp1 = arg1 - arg0;
388
    tmp0 = arg1;
389
    arg1 = tmp1 - (env->sr & SR_T);
390
    if (tmp0 < tmp1)
391
        env->sr |= SR_T;
392
    else
393
        env->sr &= ~SR_T;
394
    if (tmp1 < arg1)
395
        env->sr |= SR_T;
396
    return arg1;
397
}
398

    
399
uint32_t helper_subv(uint32_t arg0, uint32_t arg1)
400
{
401
    int32_t dest, src, ans;
402

    
403
    if ((int32_t) arg1 >= 0)
404
        dest = 0;
405
    else
406
        dest = 1;
407
    if ((int32_t) arg0 >= 0)
408
        src = 0;
409
    else
410
        src = 1;
411
    src += dest;
412
    arg1 -= arg0;
413
    if ((int32_t) arg1 >= 0)
414
        ans = 0;
415
    else
416
        ans = 1;
417
    ans += dest;
418
    if (src == 1) {
419
        if (ans == 1)
420
            env->sr |= SR_T;
421
        else
422
            env->sr &= ~SR_T;
423
    } else
424
        env->sr &= ~SR_T;
425
    return arg1;
426
}
427

    
428
static inline void set_t(void)
429
{
430
    env->sr |= SR_T;
431
}
432

    
433
static inline void clr_t(void)
434
{
435
    env->sr &= ~SR_T;
436
}
437

    
438
void helper_ld_fpscr(uint32_t val)
439
{
440
    env->fpscr = val & FPSCR_MASK;
441
    if ((val & FPSCR_RM_MASK) == FPSCR_RM_ZERO) {
442
        set_float_rounding_mode(float_round_to_zero, &env->fp_status);
443
    } else {
444
        set_float_rounding_mode(float_round_nearest_even, &env->fp_status);
445
    }
446
    set_flush_to_zero((val & FPSCR_DN) != 0, &env->fp_status);
447
}
448

    
449
static void update_fpscr(void *retaddr)
450
{
451
    int xcpt, cause, enable;
452

    
453
    xcpt = get_float_exception_flags(&env->fp_status);
454

    
455
    /* Clear the flag entries */
456
    env->fpscr &= ~FPSCR_FLAG_MASK;
457

    
458
    if (unlikely(xcpt)) {
459
        if (xcpt & float_flag_invalid) {
460
            env->fpscr |= FPSCR_FLAG_V;
461
        }
462
        if (xcpt & float_flag_divbyzero) {
463
            env->fpscr |= FPSCR_FLAG_Z;
464
        }
465
        if (xcpt & float_flag_overflow) {
466
            env->fpscr |= FPSCR_FLAG_O;
467
        }
468
        if (xcpt & float_flag_underflow) {
469
            env->fpscr |= FPSCR_FLAG_U;
470
        }
471
        if (xcpt & float_flag_inexact) {
472
            env->fpscr |= FPSCR_FLAG_I;
473
        }
474

    
475
        /* Accumulate in cause entries */
476
        env->fpscr |= (env->fpscr & FPSCR_FLAG_MASK)
477
                      << (FPSCR_CAUSE_SHIFT - FPSCR_FLAG_SHIFT);
478

    
479
        /* Generate an exception if enabled */
480
        cause = (env->fpscr & FPSCR_CAUSE_MASK) >> FPSCR_CAUSE_SHIFT;
481
        enable = (env->fpscr & FPSCR_ENABLE_MASK) >> FPSCR_ENABLE_SHIFT;
482
        if (cause & enable) {
483
            cpu_restore_state_from_retaddr(retaddr);
484
            env->exception_index = 0x120;
485
            cpu_loop_exit();
486
        }
487
    }
488
}
489

    
490
float32 helper_fabs_FT(float32 t0)
491
{
492
    return float32_abs(t0);
493
}
494

    
495
float64 helper_fabs_DT(float64 t0)
496
{
497
    return float64_abs(t0);
498
}
499

    
500
float32 helper_fadd_FT(float32 t0, float32 t1)
501
{
502
    set_float_exception_flags(0, &env->fp_status);
503
    t0 = float32_add(t0, t1, &env->fp_status);
504
    update_fpscr(GETPC());
505
    return t0;
506
}
507

    
508
float64 helper_fadd_DT(float64 t0, float64 t1)
509
{
510
    set_float_exception_flags(0, &env->fp_status);
511
    t0 = float64_add(t0, t1, &env->fp_status);
512
    update_fpscr(GETPC());
513
    return t0;
514
}
515

    
516
void helper_fcmp_eq_FT(float32 t0, float32 t1)
517
{
518
    int relation;
519

    
520
    set_float_exception_flags(0, &env->fp_status);
521
    relation = float32_compare(t0, t1, &env->fp_status);
522
    if (unlikely(relation == float_relation_unordered)) {
523
        update_fpscr(GETPC());
524
    } else if (relation == float_relation_equal) {
525
        set_t();
526
    } else {
527
        clr_t();
528
    }
529
}
530

    
531
void helper_fcmp_eq_DT(float64 t0, float64 t1)
532
{
533
    int relation;
534

    
535
    set_float_exception_flags(0, &env->fp_status);
536
    relation = float64_compare(t0, t1, &env->fp_status);
537
    if (unlikely(relation == float_relation_unordered)) {
538
        update_fpscr(GETPC());
539
    } else if (relation == float_relation_equal) {
540
        set_t();
541
    } else {
542
        clr_t();
543
    }
544
}
545

    
546
void helper_fcmp_gt_FT(float32 t0, float32 t1)
547
{
548
    int relation;
549

    
550
    set_float_exception_flags(0, &env->fp_status);
551
    relation = float32_compare(t0, t1, &env->fp_status);
552
    if (unlikely(relation == float_relation_unordered)) {
553
        update_fpscr(GETPC());
554
    } else if (relation == float_relation_greater) {
555
        set_t();
556
    } else {
557
        clr_t();
558
    }
559
}
560

    
561
void helper_fcmp_gt_DT(float64 t0, float64 t1)
562
{
563
    int relation;
564

    
565
    set_float_exception_flags(0, &env->fp_status);
566
    relation = float64_compare(t0, t1, &env->fp_status);
567
    if (unlikely(relation == float_relation_unordered)) {
568
        update_fpscr(GETPC());
569
    } else if (relation == float_relation_greater) {
570
        set_t();
571
    } else {
572
        clr_t();
573
    }
574
}
575

    
576
float64 helper_fcnvsd_FT_DT(float32 t0)
577
{
578
    float64 ret;
579
    set_float_exception_flags(0, &env->fp_status);
580
    ret = float32_to_float64(t0, &env->fp_status);
581
    update_fpscr(GETPC());
582
    return ret;
583
}
584

    
585
float32 helper_fcnvds_DT_FT(float64 t0)
586
{
587
    float32 ret;
588
    set_float_exception_flags(0, &env->fp_status);
589
    ret = float64_to_float32(t0, &env->fp_status);
590
    update_fpscr(GETPC());
591
    return ret;
592
}
593

    
594
float32 helper_fdiv_FT(float32 t0, float32 t1)
595
{
596
    set_float_exception_flags(0, &env->fp_status);
597
    t0 = float32_div(t0, t1, &env->fp_status);
598
    update_fpscr(GETPC());
599
    return t0;
600
}
601

    
602
float64 helper_fdiv_DT(float64 t0, float64 t1)
603
{
604
    set_float_exception_flags(0, &env->fp_status);
605
    t0 = float64_div(t0, t1, &env->fp_status);
606
    update_fpscr(GETPC());
607
    return t0;
608
}
609

    
610
float32 helper_float_FT(uint32_t t0)
611
{
612
    float32 ret;
613
    set_float_exception_flags(0, &env->fp_status);
614
    ret = int32_to_float32(t0, &env->fp_status);
615
    update_fpscr(GETPC());
616
    return ret;
617
}
618

    
619
float64 helper_float_DT(uint32_t t0)
620
{
621
    float64 ret;
622
    set_float_exception_flags(0, &env->fp_status);
623
    ret = int32_to_float64(t0, &env->fp_status);
624
    update_fpscr(GETPC());
625
    return ret;
626
}
627

    
628
float32 helper_fmac_FT(float32 t0, float32 t1, float32 t2)
629
{
630
    set_float_exception_flags(0, &env->fp_status);
631
    t0 = float32_mul(t0, t1, &env->fp_status);
632
    t0 = float32_add(t0, t2, &env->fp_status);
633
    update_fpscr(GETPC());
634
    return t0;
635
}
636

    
637
float32 helper_fmul_FT(float32 t0, float32 t1)
638
{
639
    set_float_exception_flags(0, &env->fp_status);
640
    t0 = float32_mul(t0, t1, &env->fp_status);
641
    update_fpscr(GETPC());
642
    return t0;
643
}
644

    
645
float64 helper_fmul_DT(float64 t0, float64 t1)
646
{
647
    set_float_exception_flags(0, &env->fp_status);
648
    t0 = float64_mul(t0, t1, &env->fp_status);
649
    update_fpscr(GETPC());
650
    return t0;
651
}
652

    
653
float32 helper_fneg_T(float32 t0)
654
{
655
    return float32_chs(t0);
656
}
657

    
658
float32 helper_fsqrt_FT(float32 t0)
659
{
660
    set_float_exception_flags(0, &env->fp_status);
661
    t0 = float32_sqrt(t0, &env->fp_status);
662
    update_fpscr(GETPC());
663
    return t0;
664
}
665

    
666
float64 helper_fsqrt_DT(float64 t0)
667
{
668
    set_float_exception_flags(0, &env->fp_status);
669
    t0 = float64_sqrt(t0, &env->fp_status);
670
    update_fpscr(GETPC());
671
    return t0;
672
}
673

    
674
float32 helper_fsub_FT(float32 t0, float32 t1)
675
{
676
    set_float_exception_flags(0, &env->fp_status);
677
    t0 = float32_sub(t0, t1, &env->fp_status);
678
    update_fpscr(GETPC());
679
    return t0;
680
}
681

    
682
float64 helper_fsub_DT(float64 t0, float64 t1)
683
{
684
    set_float_exception_flags(0, &env->fp_status);
685
    t0 = float64_sub(t0, t1, &env->fp_status);
686
    update_fpscr(GETPC());
687
    return t0;
688
}
689

    
690
uint32_t helper_ftrc_FT(float32 t0)
691
{
692
    uint32_t ret;
693
    set_float_exception_flags(0, &env->fp_status);
694
    ret = float32_to_int32_round_to_zero(t0, &env->fp_status);
695
    update_fpscr(GETPC());
696
    return ret;
697
}
698

    
699
uint32_t helper_ftrc_DT(float64 t0)
700
{
701
    uint32_t ret;
702
    set_float_exception_flags(0, &env->fp_status);
703
    ret = float64_to_int32_round_to_zero(t0, &env->fp_status);
704
    update_fpscr(GETPC());
705
    return ret;
706
}
707

    
708
void helper_fipr(uint32_t m, uint32_t n)
709
{
710
    int bank, i;
711
    float32 r, p;
712

    
713
    bank = (env->sr & FPSCR_FR) ? 16 : 0;
714
    r = float32_zero;
715
    set_float_exception_flags(0, &env->fp_status);
716

    
717
    for (i = 0 ; i < 4 ; i++) {
718
        p = float32_mul(env->fregs[bank + m + i],
719
                        env->fregs[bank + n + i],
720
                        &env->fp_status);
721
        r = float32_add(r, p, &env->fp_status);
722
    }
723
    update_fpscr(GETPC());
724

    
725
    env->fregs[bank + n + 3] = r;
726
}
727

    
728
void helper_ftrv(uint32_t n)
729
{
730
    int bank_matrix, bank_vector;
731
    int i, j;
732
    float32 r[4];
733
    float32 p;
734

    
735
    bank_matrix = (env->sr & FPSCR_FR) ? 0 : 16;
736
    bank_vector = (env->sr & FPSCR_FR) ? 16 : 0;
737
    set_float_exception_flags(0, &env->fp_status);
738
    for (i = 0 ; i < 4 ; i++) {
739
        r[i] = float32_zero;
740
        for (j = 0 ; j < 4 ; j++) {
741
            p = float32_mul(env->fregs[bank_matrix + 4 * j + i],
742
                            env->fregs[bank_vector + j],
743
                            &env->fp_status);
744
            r[i] = float32_add(r[i], p, &env->fp_status);
745
        }
746
    }
747
    update_fpscr(GETPC());
748

    
749
    for (i = 0 ; i < 4 ; i++) {
750
        env->fregs[bank_vector + i] = r[i];
751
    }
752
}