xref: /qemu/target/m68k/op_helper.c (revision 65255e8efdd5fca602bcc4ff61a879939ff75f4f)
10633879fSpbrook /*
20633879fSpbrook  *  M68K helper routines
30633879fSpbrook  *
40633879fSpbrook  *  Copyright (c) 2007 CodeSourcery
50633879fSpbrook  *
60633879fSpbrook  * This library is free software; you can redistribute it and/or
70633879fSpbrook  * modify it under the terms of the GNU Lesser General Public
80633879fSpbrook  * License as published by the Free Software Foundation; either
90633879fSpbrook  * version 2 of the License, or (at your option) any later version.
100633879fSpbrook  *
110633879fSpbrook  * This library is distributed in the hope that it will be useful,
120633879fSpbrook  * but WITHOUT ANY WARRANTY; without even the implied warranty of
130633879fSpbrook  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
140633879fSpbrook  * Lesser General Public License for more details.
150633879fSpbrook  *
160633879fSpbrook  * You should have received a copy of the GNU Lesser General Public
178167ee88SBlue Swirl  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
180633879fSpbrook  */
19d8416665SPeter Maydell #include "qemu/osdep.h"
203e457172SBlue Swirl #include "cpu.h"
212ef6175aSRichard Henderson #include "exec/helper-proto.h"
2263c91552SPaolo Bonzini #include "exec/exec-all.h"
23f08b6170SPaolo Bonzini #include "exec/cpu_ldst.h"
24cfe67cefSLeon Alrae #include "exec/semihost.h"
250633879fSpbrook 
260633879fSpbrook #if defined(CONFIG_USER_ONLY)
270633879fSpbrook 
2897a8ea5aSAndreas Färber void m68k_cpu_do_interrupt(CPUState *cs)
290633879fSpbrook {
3027103424SAndreas Färber     cs->exception_index = -1;
313c688828SBlue Swirl }
323c688828SBlue Swirl 
33ab409bb3SRichard Henderson static inline void do_interrupt_m68k_hardirq(CPUM68KState *env)
343c688828SBlue Swirl {
350633879fSpbrook }
360633879fSpbrook 
370633879fSpbrook #else
380633879fSpbrook 
390633879fSpbrook /* Try to fill the TLB and return an exception if error. If retaddr is
400633879fSpbrook    NULL, it means that the function was called in C code (i.e. not
410633879fSpbrook    from generated code or from helper.c) */
42b35399bbSSergey Sorokin void tlb_fill(CPUState *cs, target_ulong addr, MMUAccessType access_type,
43b35399bbSSergey Sorokin               int mmu_idx, uintptr_t retaddr)
440633879fSpbrook {
450633879fSpbrook     int ret;
460633879fSpbrook 
47b35399bbSSergey Sorokin     ret = m68k_cpu_handle_mmu_fault(cs, addr, access_type, mmu_idx);
48551bd27fSths     if (unlikely(ret)) {
490633879fSpbrook         /* now we have a real cpu fault */
50*65255e8eSAlex Bennée         cpu_loop_exit_restore(cs, retaddr);
510633879fSpbrook     }
520633879fSpbrook }
530633879fSpbrook 
5431871141SBlue Swirl static void do_rte(CPUM68KState *env)
550633879fSpbrook {
560633879fSpbrook     uint32_t sp;
570633879fSpbrook     uint32_t fmt;
580633879fSpbrook 
590633879fSpbrook     sp = env->aregs[7];
6031871141SBlue Swirl     fmt = cpu_ldl_kernel(env, sp);
6131871141SBlue Swirl     env->pc = cpu_ldl_kernel(env, sp + 4);
620633879fSpbrook     sp |= (fmt >> 28) & 3;
630633879fSpbrook     env->aregs[7] = sp + 8;
6499c51448SRichard Henderson 
6599c51448SRichard Henderson     helper_set_sr(env, fmt);
660633879fSpbrook }
670633879fSpbrook 
6831871141SBlue Swirl static void do_interrupt_all(CPUM68KState *env, int is_hw)
690633879fSpbrook {
7027103424SAndreas Färber     CPUState *cs = CPU(m68k_env_get_cpu(env));
710633879fSpbrook     uint32_t sp;
720633879fSpbrook     uint32_t fmt;
730633879fSpbrook     uint32_t retaddr;
740633879fSpbrook     uint32_t vector;
750633879fSpbrook 
760633879fSpbrook     fmt = 0;
770633879fSpbrook     retaddr = env->pc;
780633879fSpbrook 
790633879fSpbrook     if (!is_hw) {
8027103424SAndreas Färber         switch (cs->exception_index) {
810633879fSpbrook         case EXCP_RTE:
820633879fSpbrook             /* Return from an exception.  */
8331871141SBlue Swirl             do_rte(env);
840633879fSpbrook             return;
85a87295e8Spbrook         case EXCP_HALT_INSN:
86cfe67cefSLeon Alrae             if (semihosting_enabled()
87a87295e8Spbrook                     && (env->sr & SR_S) != 0
88a87295e8Spbrook                     && (env->pc & 3) == 0
8931871141SBlue Swirl                     && cpu_lduw_code(env, env->pc - 4) == 0x4e71
9031871141SBlue Swirl                     && cpu_ldl_code(env, env->pc) == 0x4e7bf000) {
91a87295e8Spbrook                 env->pc += 4;
92a87295e8Spbrook                 do_m68k_semihosting(env, env->dregs[0]);
93a87295e8Spbrook                 return;
94a87295e8Spbrook             }
95259186a7SAndreas Färber             cs->halted = 1;
9627103424SAndreas Färber             cs->exception_index = EXCP_HLT;
975638d180SAndreas Färber             cpu_loop_exit(cs);
98a87295e8Spbrook             return;
990633879fSpbrook         }
10027103424SAndreas Färber         if (cs->exception_index >= EXCP_TRAP0
10127103424SAndreas Färber             && cs->exception_index <= EXCP_TRAP15) {
1020633879fSpbrook             /* Move the PC after the trap instruction.  */
1030633879fSpbrook             retaddr += 2;
1040633879fSpbrook         }
1050633879fSpbrook     }
1060633879fSpbrook 
10727103424SAndreas Färber     vector = cs->exception_index << 2;
1080633879fSpbrook 
1090633879fSpbrook     fmt |= 0x40000000;
1100633879fSpbrook     fmt |= vector << 16;
1110633879fSpbrook     fmt |= env->sr;
11299c51448SRichard Henderson     fmt |= cpu_m68k_get_ccr(env);
1130633879fSpbrook 
11420dcee94Spbrook     env->sr |= SR_S;
11520dcee94Spbrook     if (is_hw) {
11620dcee94Spbrook         env->sr = (env->sr & ~SR_I) | (env->pending_level << SR_I_SHIFT);
11720dcee94Spbrook         env->sr &= ~SR_M;
11820dcee94Spbrook     }
11920dcee94Spbrook     m68k_switch_sp(env);
1200c8ff723SGreg Ungerer     sp = env->aregs[7];
1210c8ff723SGreg Ungerer     fmt |= (sp & 3) << 28;
12220dcee94Spbrook 
1230633879fSpbrook     /* ??? This could cause MMU faults.  */
1240633879fSpbrook     sp &= ~3;
1250633879fSpbrook     sp -= 4;
12631871141SBlue Swirl     cpu_stl_kernel(env, sp, retaddr);
1270633879fSpbrook     sp -= 4;
12831871141SBlue Swirl     cpu_stl_kernel(env, sp, fmt);
1290633879fSpbrook     env->aregs[7] = sp;
1300633879fSpbrook     /* Jump to vector.  */
13131871141SBlue Swirl     env->pc = cpu_ldl_kernel(env, env->vbr + vector);
1320633879fSpbrook }
1330633879fSpbrook 
13497a8ea5aSAndreas Färber void m68k_cpu_do_interrupt(CPUState *cs)
1353c688828SBlue Swirl {
13697a8ea5aSAndreas Färber     M68kCPU *cpu = M68K_CPU(cs);
13797a8ea5aSAndreas Färber     CPUM68KState *env = &cpu->env;
13897a8ea5aSAndreas Färber 
13931871141SBlue Swirl     do_interrupt_all(env, 0);
1403c688828SBlue Swirl }
1413c688828SBlue Swirl 
142ab409bb3SRichard Henderson static inline void do_interrupt_m68k_hardirq(CPUM68KState *env)
1433c688828SBlue Swirl {
14431871141SBlue Swirl     do_interrupt_all(env, 1);
1453c688828SBlue Swirl }
1460633879fSpbrook #endif
147e1f3808eSpbrook 
148ab409bb3SRichard Henderson bool m68k_cpu_exec_interrupt(CPUState *cs, int interrupt_request)
149ab409bb3SRichard Henderson {
150ab409bb3SRichard Henderson     M68kCPU *cpu = M68K_CPU(cs);
151ab409bb3SRichard Henderson     CPUM68KState *env = &cpu->env;
152ab409bb3SRichard Henderson 
153ab409bb3SRichard Henderson     if (interrupt_request & CPU_INTERRUPT_HARD
154ab409bb3SRichard Henderson         && ((env->sr & SR_I) >> SR_I_SHIFT) < env->pending_level) {
155ab409bb3SRichard Henderson         /* Real hardware gets the interrupt vector via an IACK cycle
156ab409bb3SRichard Henderson            at this point.  Current emulated hardware doesn't rely on
157ab409bb3SRichard Henderson            this, so we provide/save the vector when the interrupt is
158ab409bb3SRichard Henderson            first signalled.  */
159ab409bb3SRichard Henderson         cs->exception_index = env->pending_vector;
160ab409bb3SRichard Henderson         do_interrupt_m68k_hardirq(env);
161ab409bb3SRichard Henderson         return true;
162ab409bb3SRichard Henderson     }
163ab409bb3SRichard Henderson     return false;
164ab409bb3SRichard Henderson }
165ab409bb3SRichard Henderson 
1660ccb9c1dSLaurent Vivier static void raise_exception_ra(CPUM68KState *env, int tt, uintptr_t raddr)
167e1f3808eSpbrook {
16827103424SAndreas Färber     CPUState *cs = CPU(m68k_env_get_cpu(env));
16927103424SAndreas Färber 
17027103424SAndreas Färber     cs->exception_index = tt;
1710ccb9c1dSLaurent Vivier     cpu_loop_exit_restore(cs, raddr);
1720ccb9c1dSLaurent Vivier }
1730ccb9c1dSLaurent Vivier 
1740ccb9c1dSLaurent Vivier static void raise_exception(CPUM68KState *env, int tt)
1750ccb9c1dSLaurent Vivier {
1760ccb9c1dSLaurent Vivier     raise_exception_ra(env, tt, 0);
177e1f3808eSpbrook }
178e1f3808eSpbrook 
17931871141SBlue Swirl void HELPER(raise_exception)(CPUM68KState *env, uint32_t tt)
180e1f3808eSpbrook {
18131871141SBlue Swirl     raise_exception(env, tt);
182e1f3808eSpbrook }
183e1f3808eSpbrook 
1840ccb9c1dSLaurent Vivier void HELPER(divuw)(CPUM68KState *env, int destr, uint32_t den)
185e1f3808eSpbrook {
1860ccb9c1dSLaurent Vivier     uint32_t num = env->dregs[destr];
1870ccb9c1dSLaurent Vivier     uint32_t quot, rem;
1880ccb9c1dSLaurent Vivier 
1890ccb9c1dSLaurent Vivier     if (den == 0) {
1900ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
1910ccb9c1dSLaurent Vivier     }
1920ccb9c1dSLaurent Vivier     quot = num / den;
1930ccb9c1dSLaurent Vivier     rem = num % den;
1940ccb9c1dSLaurent Vivier 
1950ccb9c1dSLaurent Vivier     env->cc_c = 0; /* always cleared, even if overflow */
1960ccb9c1dSLaurent Vivier     if (quot > 0xffff) {
1970ccb9c1dSLaurent Vivier         env->cc_v = -1;
1980ccb9c1dSLaurent Vivier         /* real 68040 keeps N and unset Z on overflow,
1990ccb9c1dSLaurent Vivier          * whereas documentation says "undefined"
2000ccb9c1dSLaurent Vivier          */
2010ccb9c1dSLaurent Vivier         env->cc_z = 1;
2020ccb9c1dSLaurent Vivier         return;
2030ccb9c1dSLaurent Vivier     }
2040ccb9c1dSLaurent Vivier     env->dregs[destr] = deposit32(quot, 16, 16, rem);
2050ccb9c1dSLaurent Vivier     env->cc_z = (int16_t)quot;
2060ccb9c1dSLaurent Vivier     env->cc_n = (int16_t)quot;
2070ccb9c1dSLaurent Vivier     env->cc_v = 0;
2080ccb9c1dSLaurent Vivier }
2090ccb9c1dSLaurent Vivier 
2100ccb9c1dSLaurent Vivier void HELPER(divsw)(CPUM68KState *env, int destr, int32_t den)
2110ccb9c1dSLaurent Vivier {
2120ccb9c1dSLaurent Vivier     int32_t num = env->dregs[destr];
2130ccb9c1dSLaurent Vivier     uint32_t quot, rem;
2140ccb9c1dSLaurent Vivier 
2150ccb9c1dSLaurent Vivier     if (den == 0) {
2160ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
2170ccb9c1dSLaurent Vivier     }
2180ccb9c1dSLaurent Vivier     quot = num / den;
2190ccb9c1dSLaurent Vivier     rem = num % den;
2200ccb9c1dSLaurent Vivier 
2210ccb9c1dSLaurent Vivier     env->cc_c = 0; /* always cleared, even if overflow */
2220ccb9c1dSLaurent Vivier     if (quot != (int16_t)quot) {
2230ccb9c1dSLaurent Vivier         env->cc_v = -1;
2240ccb9c1dSLaurent Vivier         /* nothing else is modified */
2250ccb9c1dSLaurent Vivier         /* real 68040 keeps N and unset Z on overflow,
2260ccb9c1dSLaurent Vivier          * whereas documentation says "undefined"
2270ccb9c1dSLaurent Vivier          */
2280ccb9c1dSLaurent Vivier         env->cc_z = 1;
2290ccb9c1dSLaurent Vivier         return;
2300ccb9c1dSLaurent Vivier     }
2310ccb9c1dSLaurent Vivier     env->dregs[destr] = deposit32(quot, 16, 16, rem);
2320ccb9c1dSLaurent Vivier     env->cc_z = (int16_t)quot;
2330ccb9c1dSLaurent Vivier     env->cc_n = (int16_t)quot;
2340ccb9c1dSLaurent Vivier     env->cc_v = 0;
2350ccb9c1dSLaurent Vivier }
2360ccb9c1dSLaurent Vivier 
2370ccb9c1dSLaurent Vivier void HELPER(divul)(CPUM68KState *env, int numr, int regr, uint32_t den)
2380ccb9c1dSLaurent Vivier {
2390ccb9c1dSLaurent Vivier     uint32_t num = env->dregs[numr];
2400ccb9c1dSLaurent Vivier     uint32_t quot, rem;
2410ccb9c1dSLaurent Vivier 
2420ccb9c1dSLaurent Vivier     if (den == 0) {
2430ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
2440ccb9c1dSLaurent Vivier     }
2450ccb9c1dSLaurent Vivier     quot = num / den;
2460ccb9c1dSLaurent Vivier     rem = num % den;
2470ccb9c1dSLaurent Vivier 
2480ccb9c1dSLaurent Vivier     env->cc_c = 0;
2490ccb9c1dSLaurent Vivier     env->cc_z = quot;
2500ccb9c1dSLaurent Vivier     env->cc_n = quot;
2510ccb9c1dSLaurent Vivier     env->cc_v = 0;
2520ccb9c1dSLaurent Vivier 
2530ccb9c1dSLaurent Vivier     if (m68k_feature(env, M68K_FEATURE_CF_ISA_A)) {
2540ccb9c1dSLaurent Vivier         if (numr == regr) {
2550ccb9c1dSLaurent Vivier             env->dregs[numr] = quot;
2560ccb9c1dSLaurent Vivier         } else {
2570ccb9c1dSLaurent Vivier             env->dregs[regr] = rem;
2580ccb9c1dSLaurent Vivier         }
2590ccb9c1dSLaurent Vivier     } else {
2600ccb9c1dSLaurent Vivier         env->dregs[regr] = rem;
2610ccb9c1dSLaurent Vivier         env->dregs[numr] = quot;
2620ccb9c1dSLaurent Vivier     }
2630ccb9c1dSLaurent Vivier }
2640ccb9c1dSLaurent Vivier 
2650ccb9c1dSLaurent Vivier void HELPER(divsl)(CPUM68KState *env, int numr, int regr, int32_t den)
2660ccb9c1dSLaurent Vivier {
2670ccb9c1dSLaurent Vivier     int32_t num = env->dregs[numr];
2680ccb9c1dSLaurent Vivier     int32_t quot, rem;
2690ccb9c1dSLaurent Vivier 
2700ccb9c1dSLaurent Vivier     if (den == 0) {
2710ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
2720ccb9c1dSLaurent Vivier     }
2730ccb9c1dSLaurent Vivier     quot = num / den;
2740ccb9c1dSLaurent Vivier     rem = num % den;
2750ccb9c1dSLaurent Vivier 
2760ccb9c1dSLaurent Vivier     env->cc_c = 0;
2770ccb9c1dSLaurent Vivier     env->cc_z = quot;
2780ccb9c1dSLaurent Vivier     env->cc_n = quot;
2790ccb9c1dSLaurent Vivier     env->cc_v = 0;
2800ccb9c1dSLaurent Vivier 
2810ccb9c1dSLaurent Vivier     if (m68k_feature(env, M68K_FEATURE_CF_ISA_A)) {
2820ccb9c1dSLaurent Vivier         if (numr == regr) {
2830ccb9c1dSLaurent Vivier             env->dregs[numr] = quot;
2840ccb9c1dSLaurent Vivier         } else {
2850ccb9c1dSLaurent Vivier             env->dregs[regr] = rem;
2860ccb9c1dSLaurent Vivier         }
2870ccb9c1dSLaurent Vivier     } else {
2880ccb9c1dSLaurent Vivier         env->dregs[regr] = rem;
2890ccb9c1dSLaurent Vivier         env->dregs[numr] = quot;
2900ccb9c1dSLaurent Vivier     }
2910ccb9c1dSLaurent Vivier }
2920ccb9c1dSLaurent Vivier 
2930ccb9c1dSLaurent Vivier void HELPER(divull)(CPUM68KState *env, int numr, int regr, uint32_t den)
2940ccb9c1dSLaurent Vivier {
2950ccb9c1dSLaurent Vivier     uint64_t num = deposit64(env->dregs[numr], 32, 32, env->dregs[regr]);
2960ccb9c1dSLaurent Vivier     uint64_t quot;
297e1f3808eSpbrook     uint32_t rem;
298e1f3808eSpbrook 
29931871141SBlue Swirl     if (den == 0) {
3000ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
30131871141SBlue Swirl     }
302e1f3808eSpbrook     quot = num / den;
303e1f3808eSpbrook     rem = num % den;
304620c6cf6SRichard Henderson 
3050ccb9c1dSLaurent Vivier     env->cc_c = 0; /* always cleared, even if overflow */
3060ccb9c1dSLaurent Vivier     if (quot > 0xffffffffULL) {
3070ccb9c1dSLaurent Vivier         env->cc_v = -1;
3080ccb9c1dSLaurent Vivier         /* real 68040 keeps N and unset Z on overflow,
3090ccb9c1dSLaurent Vivier          * whereas documentation says "undefined"
3100ccb9c1dSLaurent Vivier          */
3110ccb9c1dSLaurent Vivier         env->cc_z = 1;
3120ccb9c1dSLaurent Vivier         return;
3130ccb9c1dSLaurent Vivier     }
314620c6cf6SRichard Henderson     env->cc_z = quot;
315620c6cf6SRichard Henderson     env->cc_n = quot;
3160ccb9c1dSLaurent Vivier     env->cc_v = 0;
317620c6cf6SRichard Henderson 
3180ccb9c1dSLaurent Vivier     /*
3190ccb9c1dSLaurent Vivier      * If Dq and Dr are the same, the quotient is returned.
3200ccb9c1dSLaurent Vivier      * therefore we set Dq last.
3210ccb9c1dSLaurent Vivier      */
3220ccb9c1dSLaurent Vivier 
3230ccb9c1dSLaurent Vivier     env->dregs[regr] = rem;
3240ccb9c1dSLaurent Vivier     env->dregs[numr] = quot;
325e1f3808eSpbrook }
326e1f3808eSpbrook 
3270ccb9c1dSLaurent Vivier void HELPER(divsll)(CPUM68KState *env, int numr, int regr, int32_t den)
328e1f3808eSpbrook {
3290ccb9c1dSLaurent Vivier     int64_t num = deposit64(env->dregs[numr], 32, 32, env->dregs[regr]);
3300ccb9c1dSLaurent Vivier     int64_t quot;
331e1f3808eSpbrook     int32_t rem;
332e1f3808eSpbrook 
33331871141SBlue Swirl     if (den == 0) {
3340ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
33531871141SBlue Swirl     }
336e1f3808eSpbrook     quot = num / den;
337e1f3808eSpbrook     rem = num % den;
338620c6cf6SRichard Henderson 
3390ccb9c1dSLaurent Vivier     env->cc_c = 0; /* always cleared, even if overflow */
3400ccb9c1dSLaurent Vivier     if (quot != (int32_t)quot) {
3410ccb9c1dSLaurent Vivier         env->cc_v = -1;
3420ccb9c1dSLaurent Vivier         /* real 68040 keeps N and unset Z on overflow,
3430ccb9c1dSLaurent Vivier          * whereas documentation says "undefined"
3440ccb9c1dSLaurent Vivier          */
3450ccb9c1dSLaurent Vivier         env->cc_z = 1;
3460ccb9c1dSLaurent Vivier         return;
3470ccb9c1dSLaurent Vivier     }
348620c6cf6SRichard Henderson     env->cc_z = quot;
349620c6cf6SRichard Henderson     env->cc_n = quot;
3500ccb9c1dSLaurent Vivier     env->cc_v = 0;
351620c6cf6SRichard Henderson 
3520ccb9c1dSLaurent Vivier     /*
3530ccb9c1dSLaurent Vivier      * If Dq and Dr are the same, the quotient is returned.
3540ccb9c1dSLaurent Vivier      * therefore we set Dq last.
3550ccb9c1dSLaurent Vivier      */
3560ccb9c1dSLaurent Vivier 
3570ccb9c1dSLaurent Vivier     env->dregs[regr] = rem;
3580ccb9c1dSLaurent Vivier     env->dregs[numr] = quot;
359e1f3808eSpbrook }
36014f94406SLaurent Vivier 
361f0ddf11bSEmilio G. Cota /* We're executing in a serial context -- no need to be atomic.  */
36214f94406SLaurent Vivier void HELPER(cas2w)(CPUM68KState *env, uint32_t regs, uint32_t a1, uint32_t a2)
36314f94406SLaurent Vivier {
36414f94406SLaurent Vivier     uint32_t Dc1 = extract32(regs, 9, 3);
36514f94406SLaurent Vivier     uint32_t Dc2 = extract32(regs, 6, 3);
36614f94406SLaurent Vivier     uint32_t Du1 = extract32(regs, 3, 3);
36714f94406SLaurent Vivier     uint32_t Du2 = extract32(regs, 0, 3);
36814f94406SLaurent Vivier     int16_t c1 = env->dregs[Dc1];
36914f94406SLaurent Vivier     int16_t c2 = env->dregs[Dc2];
37014f94406SLaurent Vivier     int16_t u1 = env->dregs[Du1];
37114f94406SLaurent Vivier     int16_t u2 = env->dregs[Du2];
37214f94406SLaurent Vivier     int16_t l1, l2;
37314f94406SLaurent Vivier     uintptr_t ra = GETPC();
37414f94406SLaurent Vivier 
37514f94406SLaurent Vivier     l1 = cpu_lduw_data_ra(env, a1, ra);
37614f94406SLaurent Vivier     l2 = cpu_lduw_data_ra(env, a2, ra);
37714f94406SLaurent Vivier     if (l1 == c1 && l2 == c2) {
37814f94406SLaurent Vivier         cpu_stw_data_ra(env, a1, u1, ra);
37914f94406SLaurent Vivier         cpu_stw_data_ra(env, a2, u2, ra);
38014f94406SLaurent Vivier     }
38114f94406SLaurent Vivier 
38214f94406SLaurent Vivier     if (c1 != l1) {
38314f94406SLaurent Vivier         env->cc_n = l1;
38414f94406SLaurent Vivier         env->cc_v = c1;
38514f94406SLaurent Vivier     } else {
38614f94406SLaurent Vivier         env->cc_n = l2;
38714f94406SLaurent Vivier         env->cc_v = c2;
38814f94406SLaurent Vivier     }
38914f94406SLaurent Vivier     env->cc_op = CC_OP_CMPW;
39014f94406SLaurent Vivier     env->dregs[Dc1] = deposit32(env->dregs[Dc1], 0, 16, l1);
39114f94406SLaurent Vivier     env->dregs[Dc2] = deposit32(env->dregs[Dc2], 0, 16, l2);
39214f94406SLaurent Vivier }
39314f94406SLaurent Vivier 
394f0ddf11bSEmilio G. Cota static void do_cas2l(CPUM68KState *env, uint32_t regs, uint32_t a1, uint32_t a2,
395f0ddf11bSEmilio G. Cota                      bool parallel)
39614f94406SLaurent Vivier {
39714f94406SLaurent Vivier     uint32_t Dc1 = extract32(regs, 9, 3);
39814f94406SLaurent Vivier     uint32_t Dc2 = extract32(regs, 6, 3);
39914f94406SLaurent Vivier     uint32_t Du1 = extract32(regs, 3, 3);
40014f94406SLaurent Vivier     uint32_t Du2 = extract32(regs, 0, 3);
40114f94406SLaurent Vivier     uint32_t c1 = env->dregs[Dc1];
40214f94406SLaurent Vivier     uint32_t c2 = env->dregs[Dc2];
40314f94406SLaurent Vivier     uint32_t u1 = env->dregs[Du1];
40414f94406SLaurent Vivier     uint32_t u2 = env->dregs[Du2];
40514f94406SLaurent Vivier     uint32_t l1, l2;
40614f94406SLaurent Vivier     uintptr_t ra = GETPC();
40714f94406SLaurent Vivier #if defined(CONFIG_ATOMIC64) && !defined(CONFIG_USER_ONLY)
40814f94406SLaurent Vivier     int mmu_idx = cpu_mmu_index(env, 0);
40914f94406SLaurent Vivier     TCGMemOpIdx oi;
41014f94406SLaurent Vivier #endif
41114f94406SLaurent Vivier 
412f0ddf11bSEmilio G. Cota     if (parallel) {
41314f94406SLaurent Vivier         /* We're executing in a parallel context -- must be atomic.  */
41414f94406SLaurent Vivier #ifdef CONFIG_ATOMIC64
41514f94406SLaurent Vivier         uint64_t c, u, l;
41614f94406SLaurent Vivier         if ((a1 & 7) == 0 && a2 == a1 + 4) {
41714f94406SLaurent Vivier             c = deposit64(c2, 32, 32, c1);
41814f94406SLaurent Vivier             u = deposit64(u2, 32, 32, u1);
41914f94406SLaurent Vivier #ifdef CONFIG_USER_ONLY
42014f94406SLaurent Vivier             l = helper_atomic_cmpxchgq_be(env, a1, c, u);
42114f94406SLaurent Vivier #else
42214f94406SLaurent Vivier             oi = make_memop_idx(MO_BEQ, mmu_idx);
42314f94406SLaurent Vivier             l = helper_atomic_cmpxchgq_be_mmu(env, a1, c, u, oi, ra);
42414f94406SLaurent Vivier #endif
42514f94406SLaurent Vivier             l1 = l >> 32;
42614f94406SLaurent Vivier             l2 = l;
42714f94406SLaurent Vivier         } else if ((a2 & 7) == 0 && a1 == a2 + 4) {
42814f94406SLaurent Vivier             c = deposit64(c1, 32, 32, c2);
42914f94406SLaurent Vivier             u = deposit64(u1, 32, 32, u2);
43014f94406SLaurent Vivier #ifdef CONFIG_USER_ONLY
43114f94406SLaurent Vivier             l = helper_atomic_cmpxchgq_be(env, a2, c, u);
43214f94406SLaurent Vivier #else
43314f94406SLaurent Vivier             oi = make_memop_idx(MO_BEQ, mmu_idx);
43414f94406SLaurent Vivier             l = helper_atomic_cmpxchgq_be_mmu(env, a2, c, u, oi, ra);
43514f94406SLaurent Vivier #endif
43614f94406SLaurent Vivier             l2 = l >> 32;
43714f94406SLaurent Vivier             l1 = l;
43814f94406SLaurent Vivier         } else
43914f94406SLaurent Vivier #endif
44014f94406SLaurent Vivier         {
44114f94406SLaurent Vivier             /* Tell the main loop we need to serialize this insn.  */
44214f94406SLaurent Vivier             cpu_loop_exit_atomic(ENV_GET_CPU(env), ra);
44314f94406SLaurent Vivier         }
44414f94406SLaurent Vivier     } else {
44514f94406SLaurent Vivier         /* We're executing in a serial context -- no need to be atomic.  */
44614f94406SLaurent Vivier         l1 = cpu_ldl_data_ra(env, a1, ra);
44714f94406SLaurent Vivier         l2 = cpu_ldl_data_ra(env, a2, ra);
44814f94406SLaurent Vivier         if (l1 == c1 && l2 == c2) {
44914f94406SLaurent Vivier             cpu_stl_data_ra(env, a1, u1, ra);
45014f94406SLaurent Vivier             cpu_stl_data_ra(env, a2, u2, ra);
45114f94406SLaurent Vivier         }
45214f94406SLaurent Vivier     }
45314f94406SLaurent Vivier 
45414f94406SLaurent Vivier     if (c1 != l1) {
45514f94406SLaurent Vivier         env->cc_n = l1;
45614f94406SLaurent Vivier         env->cc_v = c1;
45714f94406SLaurent Vivier     } else {
45814f94406SLaurent Vivier         env->cc_n = l2;
45914f94406SLaurent Vivier         env->cc_v = c2;
46014f94406SLaurent Vivier     }
46114f94406SLaurent Vivier     env->cc_op = CC_OP_CMPL;
46214f94406SLaurent Vivier     env->dregs[Dc1] = l1;
46314f94406SLaurent Vivier     env->dregs[Dc2] = l2;
46414f94406SLaurent Vivier }
465f2224f2cSRichard Henderson 
466f0ddf11bSEmilio G. Cota void HELPER(cas2l)(CPUM68KState *env, uint32_t regs, uint32_t a1, uint32_t a2)
467f0ddf11bSEmilio G. Cota {
468f0ddf11bSEmilio G. Cota     do_cas2l(env, regs, a1, a2, false);
469f0ddf11bSEmilio G. Cota }
470f0ddf11bSEmilio G. Cota 
471f0ddf11bSEmilio G. Cota void HELPER(cas2l_parallel)(CPUM68KState *env, uint32_t regs, uint32_t a1,
472f0ddf11bSEmilio G. Cota                             uint32_t a2)
473f0ddf11bSEmilio G. Cota {
474f0ddf11bSEmilio G. Cota     do_cas2l(env, regs, a1, a2, true);
475f0ddf11bSEmilio G. Cota }
476f0ddf11bSEmilio G. Cota 
477f2224f2cSRichard Henderson struct bf_data {
478f2224f2cSRichard Henderson     uint32_t addr;
479f2224f2cSRichard Henderson     uint32_t bofs;
480f2224f2cSRichard Henderson     uint32_t blen;
481f2224f2cSRichard Henderson     uint32_t len;
482f2224f2cSRichard Henderson };
483f2224f2cSRichard Henderson 
484f2224f2cSRichard Henderson static struct bf_data bf_prep(uint32_t addr, int32_t ofs, uint32_t len)
485f2224f2cSRichard Henderson {
486f2224f2cSRichard Henderson     int bofs, blen;
487f2224f2cSRichard Henderson 
488f2224f2cSRichard Henderson     /* Bound length; map 0 to 32.  */
489f2224f2cSRichard Henderson     len = ((len - 1) & 31) + 1;
490f2224f2cSRichard Henderson 
491f2224f2cSRichard Henderson     /* Note that ofs is signed.  */
492f2224f2cSRichard Henderson     addr += ofs / 8;
493f2224f2cSRichard Henderson     bofs = ofs % 8;
494f2224f2cSRichard Henderson     if (bofs < 0) {
495f2224f2cSRichard Henderson         bofs += 8;
496f2224f2cSRichard Henderson         addr -= 1;
497f2224f2cSRichard Henderson     }
498f2224f2cSRichard Henderson 
499f2224f2cSRichard Henderson     /* Compute the number of bytes required (minus one) to
500f2224f2cSRichard Henderson        satisfy the bitfield.  */
501f2224f2cSRichard Henderson     blen = (bofs + len - 1) / 8;
502f2224f2cSRichard Henderson 
503f2224f2cSRichard Henderson     /* Canonicalize the bit offset for data loaded into a 64-bit big-endian
504f2224f2cSRichard Henderson        word.  For the cases where BLEN is not a power of 2, adjust ADDR so
505f2224f2cSRichard Henderson        that we can use the next power of two sized load without crossing a
506f2224f2cSRichard Henderson        page boundary, unless the field itself crosses the boundary.  */
507f2224f2cSRichard Henderson     switch (blen) {
508f2224f2cSRichard Henderson     case 0:
509f2224f2cSRichard Henderson         bofs += 56;
510f2224f2cSRichard Henderson         break;
511f2224f2cSRichard Henderson     case 1:
512f2224f2cSRichard Henderson         bofs += 48;
513f2224f2cSRichard Henderson         break;
514f2224f2cSRichard Henderson     case 2:
515f2224f2cSRichard Henderson         if (addr & 1) {
516f2224f2cSRichard Henderson             bofs += 8;
517f2224f2cSRichard Henderson             addr -= 1;
518f2224f2cSRichard Henderson         }
519f2224f2cSRichard Henderson         /* fallthru */
520f2224f2cSRichard Henderson     case 3:
521f2224f2cSRichard Henderson         bofs += 32;
522f2224f2cSRichard Henderson         break;
523f2224f2cSRichard Henderson     case 4:
524f2224f2cSRichard Henderson         if (addr & 3) {
525f2224f2cSRichard Henderson             bofs += 8 * (addr & 3);
526f2224f2cSRichard Henderson             addr &= -4;
527f2224f2cSRichard Henderson         }
528f2224f2cSRichard Henderson         break;
529f2224f2cSRichard Henderson     default:
530f2224f2cSRichard Henderson         g_assert_not_reached();
531f2224f2cSRichard Henderson     }
532f2224f2cSRichard Henderson 
533f2224f2cSRichard Henderson     return (struct bf_data){
534f2224f2cSRichard Henderson         .addr = addr,
535f2224f2cSRichard Henderson         .bofs = bofs,
536f2224f2cSRichard Henderson         .blen = blen,
537f2224f2cSRichard Henderson         .len = len,
538f2224f2cSRichard Henderson     };
539f2224f2cSRichard Henderson }
540f2224f2cSRichard Henderson 
541f2224f2cSRichard Henderson static uint64_t bf_load(CPUM68KState *env, uint32_t addr, int blen,
542f2224f2cSRichard Henderson                         uintptr_t ra)
543f2224f2cSRichard Henderson {
544f2224f2cSRichard Henderson     switch (blen) {
545f2224f2cSRichard Henderson     case 0:
546f2224f2cSRichard Henderson         return cpu_ldub_data_ra(env, addr, ra);
547f2224f2cSRichard Henderson     case 1:
548f2224f2cSRichard Henderson         return cpu_lduw_data_ra(env, addr, ra);
549f2224f2cSRichard Henderson     case 2:
550f2224f2cSRichard Henderson     case 3:
551f2224f2cSRichard Henderson         return cpu_ldl_data_ra(env, addr, ra);
552f2224f2cSRichard Henderson     case 4:
553f2224f2cSRichard Henderson         return cpu_ldq_data_ra(env, addr, ra);
554f2224f2cSRichard Henderson     default:
555f2224f2cSRichard Henderson         g_assert_not_reached();
556f2224f2cSRichard Henderson     }
557f2224f2cSRichard Henderson }
558f2224f2cSRichard Henderson 
559f2224f2cSRichard Henderson static void bf_store(CPUM68KState *env, uint32_t addr, int blen,
560f2224f2cSRichard Henderson                      uint64_t data, uintptr_t ra)
561f2224f2cSRichard Henderson {
562f2224f2cSRichard Henderson     switch (blen) {
563f2224f2cSRichard Henderson     case 0:
564f2224f2cSRichard Henderson         cpu_stb_data_ra(env, addr, data, ra);
565f2224f2cSRichard Henderson         break;
566f2224f2cSRichard Henderson     case 1:
567f2224f2cSRichard Henderson         cpu_stw_data_ra(env, addr, data, ra);
568f2224f2cSRichard Henderson         break;
569f2224f2cSRichard Henderson     case 2:
570f2224f2cSRichard Henderson     case 3:
571f2224f2cSRichard Henderson         cpu_stl_data_ra(env, addr, data, ra);
572f2224f2cSRichard Henderson         break;
573f2224f2cSRichard Henderson     case 4:
574f2224f2cSRichard Henderson         cpu_stq_data_ra(env, addr, data, ra);
575f2224f2cSRichard Henderson         break;
576f2224f2cSRichard Henderson     default:
577f2224f2cSRichard Henderson         g_assert_not_reached();
578f2224f2cSRichard Henderson     }
579f2224f2cSRichard Henderson }
580f2224f2cSRichard Henderson 
581f2224f2cSRichard Henderson uint32_t HELPER(bfexts_mem)(CPUM68KState *env, uint32_t addr,
582f2224f2cSRichard Henderson                             int32_t ofs, uint32_t len)
583f2224f2cSRichard Henderson {
584f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
585f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
586f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
587f2224f2cSRichard Henderson 
588f2224f2cSRichard Henderson     return (int64_t)(data << d.bofs) >> (64 - d.len);
589f2224f2cSRichard Henderson }
590f2224f2cSRichard Henderson 
591f2224f2cSRichard Henderson uint64_t HELPER(bfextu_mem)(CPUM68KState *env, uint32_t addr,
592f2224f2cSRichard Henderson                             int32_t ofs, uint32_t len)
593f2224f2cSRichard Henderson {
594f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
595f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
596f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
597f2224f2cSRichard Henderson 
598f2224f2cSRichard Henderson     /* Put CC_N at the top of the high word; put the zero-extended value
599f2224f2cSRichard Henderson        at the bottom of the low word.  */
600f2224f2cSRichard Henderson     data <<= d.bofs;
601f2224f2cSRichard Henderson     data >>= 64 - d.len;
602f2224f2cSRichard Henderson     data |= data << (64 - d.len);
603f2224f2cSRichard Henderson 
604f2224f2cSRichard Henderson     return data;
605f2224f2cSRichard Henderson }
606f2224f2cSRichard Henderson 
607f2224f2cSRichard Henderson uint32_t HELPER(bfins_mem)(CPUM68KState *env, uint32_t addr, uint32_t val,
608f2224f2cSRichard Henderson                            int32_t ofs, uint32_t len)
609f2224f2cSRichard Henderson {
610f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
611f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
612f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
613f2224f2cSRichard Henderson     uint64_t mask = -1ull << (64 - d.len) >> d.bofs;
614f2224f2cSRichard Henderson 
615f2224f2cSRichard Henderson     data = (data & ~mask) | (((uint64_t)val << (64 - d.len)) >> d.bofs);
616f2224f2cSRichard Henderson 
617f2224f2cSRichard Henderson     bf_store(env, d.addr, d.blen, data, ra);
618f2224f2cSRichard Henderson 
619f2224f2cSRichard Henderson     /* The field at the top of the word is also CC_N for CC_OP_LOGIC.  */
620f2224f2cSRichard Henderson     return val << (32 - d.len);
621f2224f2cSRichard Henderson }
622f2224f2cSRichard Henderson 
623f2224f2cSRichard Henderson uint32_t HELPER(bfchg_mem)(CPUM68KState *env, uint32_t addr,
624f2224f2cSRichard Henderson                            int32_t ofs, uint32_t len)
625f2224f2cSRichard Henderson {
626f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
627f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
628f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
629f2224f2cSRichard Henderson     uint64_t mask = -1ull << (64 - d.len) >> d.bofs;
630f2224f2cSRichard Henderson 
631f2224f2cSRichard Henderson     bf_store(env, d.addr, d.blen, data ^ mask, ra);
632f2224f2cSRichard Henderson 
633f2224f2cSRichard Henderson     return ((data & mask) << d.bofs) >> 32;
634f2224f2cSRichard Henderson }
635f2224f2cSRichard Henderson 
636f2224f2cSRichard Henderson uint32_t HELPER(bfclr_mem)(CPUM68KState *env, uint32_t addr,
637f2224f2cSRichard Henderson                            int32_t ofs, uint32_t len)
638f2224f2cSRichard Henderson {
639f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
640f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
641f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
642f2224f2cSRichard Henderson     uint64_t mask = -1ull << (64 - d.len) >> d.bofs;
643f2224f2cSRichard Henderson 
644f2224f2cSRichard Henderson     bf_store(env, d.addr, d.blen, data & ~mask, ra);
645f2224f2cSRichard Henderson 
646f2224f2cSRichard Henderson     return ((data & mask) << d.bofs) >> 32;
647f2224f2cSRichard Henderson }
648f2224f2cSRichard Henderson 
649f2224f2cSRichard Henderson uint32_t HELPER(bfset_mem)(CPUM68KState *env, uint32_t addr,
650f2224f2cSRichard Henderson                            int32_t ofs, uint32_t len)
651f2224f2cSRichard Henderson {
652f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
653f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
654f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
655f2224f2cSRichard Henderson     uint64_t mask = -1ull << (64 - d.len) >> d.bofs;
656f2224f2cSRichard Henderson 
657f2224f2cSRichard Henderson     bf_store(env, d.addr, d.blen, data | mask, ra);
658f2224f2cSRichard Henderson 
659f2224f2cSRichard Henderson     return ((data & mask) << d.bofs) >> 32;
660f2224f2cSRichard Henderson }
661a45f1763SRichard Henderson 
662a45f1763SRichard Henderson uint32_t HELPER(bfffo_reg)(uint32_t n, uint32_t ofs, uint32_t len)
663a45f1763SRichard Henderson {
664a45f1763SRichard Henderson     return (n ? clz32(n) : len) + ofs;
665a45f1763SRichard Henderson }
666a45f1763SRichard Henderson 
667a45f1763SRichard Henderson uint64_t HELPER(bfffo_mem)(CPUM68KState *env, uint32_t addr,
668a45f1763SRichard Henderson                            int32_t ofs, uint32_t len)
669a45f1763SRichard Henderson {
670a45f1763SRichard Henderson     uintptr_t ra = GETPC();
671a45f1763SRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
672a45f1763SRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
673a45f1763SRichard Henderson     uint64_t mask = -1ull << (64 - d.len) >> d.bofs;
674a45f1763SRichard Henderson     uint64_t n = (data & mask) << d.bofs;
675a45f1763SRichard Henderson     uint32_t ffo = helper_bfffo_reg(n >> 32, ofs, d.len);
676a45f1763SRichard Henderson 
677a45f1763SRichard Henderson     /* Return FFO in the low word and N in the high word.
678a45f1763SRichard Henderson        Note that because of MASK and the shift, the low word
679a45f1763SRichard Henderson        is already zero.  */
680a45f1763SRichard Henderson     return n | ffo;
681a45f1763SRichard Henderson }
682