xref: /qemu/target/m68k/op_helper.c (revision f2224f2c9a9ed63edaed77ae21ffb1e501d7f247)
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         if (retaddr) {
500633879fSpbrook             /* now we have a real cpu fault */
513f38f309SAndreas Färber             cpu_restore_state(cs, retaddr);
520633879fSpbrook         }
535638d180SAndreas Färber         cpu_loop_exit(cs);
540633879fSpbrook     }
550633879fSpbrook }
560633879fSpbrook 
5731871141SBlue Swirl static void do_rte(CPUM68KState *env)
580633879fSpbrook {
590633879fSpbrook     uint32_t sp;
600633879fSpbrook     uint32_t fmt;
610633879fSpbrook 
620633879fSpbrook     sp = env->aregs[7];
6331871141SBlue Swirl     fmt = cpu_ldl_kernel(env, sp);
6431871141SBlue Swirl     env->pc = cpu_ldl_kernel(env, sp + 4);
650633879fSpbrook     sp |= (fmt >> 28) & 3;
660633879fSpbrook     env->aregs[7] = sp + 8;
6799c51448SRichard Henderson 
6899c51448SRichard Henderson     helper_set_sr(env, fmt);
690633879fSpbrook }
700633879fSpbrook 
7131871141SBlue Swirl static void do_interrupt_all(CPUM68KState *env, int is_hw)
720633879fSpbrook {
7327103424SAndreas Färber     CPUState *cs = CPU(m68k_env_get_cpu(env));
740633879fSpbrook     uint32_t sp;
750633879fSpbrook     uint32_t fmt;
760633879fSpbrook     uint32_t retaddr;
770633879fSpbrook     uint32_t vector;
780633879fSpbrook 
790633879fSpbrook     fmt = 0;
800633879fSpbrook     retaddr = env->pc;
810633879fSpbrook 
820633879fSpbrook     if (!is_hw) {
8327103424SAndreas Färber         switch (cs->exception_index) {
840633879fSpbrook         case EXCP_RTE:
850633879fSpbrook             /* Return from an exception.  */
8631871141SBlue Swirl             do_rte(env);
870633879fSpbrook             return;
88a87295e8Spbrook         case EXCP_HALT_INSN:
89cfe67cefSLeon Alrae             if (semihosting_enabled()
90a87295e8Spbrook                     && (env->sr & SR_S) != 0
91a87295e8Spbrook                     && (env->pc & 3) == 0
9231871141SBlue Swirl                     && cpu_lduw_code(env, env->pc - 4) == 0x4e71
9331871141SBlue Swirl                     && cpu_ldl_code(env, env->pc) == 0x4e7bf000) {
94a87295e8Spbrook                 env->pc += 4;
95a87295e8Spbrook                 do_m68k_semihosting(env, env->dregs[0]);
96a87295e8Spbrook                 return;
97a87295e8Spbrook             }
98259186a7SAndreas Färber             cs->halted = 1;
9927103424SAndreas Färber             cs->exception_index = EXCP_HLT;
1005638d180SAndreas Färber             cpu_loop_exit(cs);
101a87295e8Spbrook             return;
1020633879fSpbrook         }
10327103424SAndreas Färber         if (cs->exception_index >= EXCP_TRAP0
10427103424SAndreas Färber             && cs->exception_index <= EXCP_TRAP15) {
1050633879fSpbrook             /* Move the PC after the trap instruction.  */
1060633879fSpbrook             retaddr += 2;
1070633879fSpbrook         }
1080633879fSpbrook     }
1090633879fSpbrook 
11027103424SAndreas Färber     vector = cs->exception_index << 2;
1110633879fSpbrook 
1120633879fSpbrook     fmt |= 0x40000000;
1130633879fSpbrook     fmt |= vector << 16;
1140633879fSpbrook     fmt |= env->sr;
11599c51448SRichard Henderson     fmt |= cpu_m68k_get_ccr(env);
1160633879fSpbrook 
11720dcee94Spbrook     env->sr |= SR_S;
11820dcee94Spbrook     if (is_hw) {
11920dcee94Spbrook         env->sr = (env->sr & ~SR_I) | (env->pending_level << SR_I_SHIFT);
12020dcee94Spbrook         env->sr &= ~SR_M;
12120dcee94Spbrook     }
12220dcee94Spbrook     m68k_switch_sp(env);
1230c8ff723SGreg Ungerer     sp = env->aregs[7];
1240c8ff723SGreg Ungerer     fmt |= (sp & 3) << 28;
12520dcee94Spbrook 
1260633879fSpbrook     /* ??? This could cause MMU faults.  */
1270633879fSpbrook     sp &= ~3;
1280633879fSpbrook     sp -= 4;
12931871141SBlue Swirl     cpu_stl_kernel(env, sp, retaddr);
1300633879fSpbrook     sp -= 4;
13131871141SBlue Swirl     cpu_stl_kernel(env, sp, fmt);
1320633879fSpbrook     env->aregs[7] = sp;
1330633879fSpbrook     /* Jump to vector.  */
13431871141SBlue Swirl     env->pc = cpu_ldl_kernel(env, env->vbr + vector);
1350633879fSpbrook }
1360633879fSpbrook 
13797a8ea5aSAndreas Färber void m68k_cpu_do_interrupt(CPUState *cs)
1383c688828SBlue Swirl {
13997a8ea5aSAndreas Färber     M68kCPU *cpu = M68K_CPU(cs);
14097a8ea5aSAndreas Färber     CPUM68KState *env = &cpu->env;
14197a8ea5aSAndreas Färber 
14231871141SBlue Swirl     do_interrupt_all(env, 0);
1433c688828SBlue Swirl }
1443c688828SBlue Swirl 
145ab409bb3SRichard Henderson static inline void do_interrupt_m68k_hardirq(CPUM68KState *env)
1463c688828SBlue Swirl {
14731871141SBlue Swirl     do_interrupt_all(env, 1);
1483c688828SBlue Swirl }
1490633879fSpbrook #endif
150e1f3808eSpbrook 
151ab409bb3SRichard Henderson bool m68k_cpu_exec_interrupt(CPUState *cs, int interrupt_request)
152ab409bb3SRichard Henderson {
153ab409bb3SRichard Henderson     M68kCPU *cpu = M68K_CPU(cs);
154ab409bb3SRichard Henderson     CPUM68KState *env = &cpu->env;
155ab409bb3SRichard Henderson 
156ab409bb3SRichard Henderson     if (interrupt_request & CPU_INTERRUPT_HARD
157ab409bb3SRichard Henderson         && ((env->sr & SR_I) >> SR_I_SHIFT) < env->pending_level) {
158ab409bb3SRichard Henderson         /* Real hardware gets the interrupt vector via an IACK cycle
159ab409bb3SRichard Henderson            at this point.  Current emulated hardware doesn't rely on
160ab409bb3SRichard Henderson            this, so we provide/save the vector when the interrupt is
161ab409bb3SRichard Henderson            first signalled.  */
162ab409bb3SRichard Henderson         cs->exception_index = env->pending_vector;
163ab409bb3SRichard Henderson         do_interrupt_m68k_hardirq(env);
164ab409bb3SRichard Henderson         return true;
165ab409bb3SRichard Henderson     }
166ab409bb3SRichard Henderson     return false;
167ab409bb3SRichard Henderson }
168ab409bb3SRichard Henderson 
1690ccb9c1dSLaurent Vivier static void raise_exception_ra(CPUM68KState *env, int tt, uintptr_t raddr)
170e1f3808eSpbrook {
17127103424SAndreas Färber     CPUState *cs = CPU(m68k_env_get_cpu(env));
17227103424SAndreas Färber 
17327103424SAndreas Färber     cs->exception_index = tt;
1740ccb9c1dSLaurent Vivier     cpu_loop_exit_restore(cs, raddr);
1750ccb9c1dSLaurent Vivier }
1760ccb9c1dSLaurent Vivier 
1770ccb9c1dSLaurent Vivier static void raise_exception(CPUM68KState *env, int tt)
1780ccb9c1dSLaurent Vivier {
1790ccb9c1dSLaurent Vivier     raise_exception_ra(env, tt, 0);
180e1f3808eSpbrook }
181e1f3808eSpbrook 
18231871141SBlue Swirl void HELPER(raise_exception)(CPUM68KState *env, uint32_t tt)
183e1f3808eSpbrook {
18431871141SBlue Swirl     raise_exception(env, tt);
185e1f3808eSpbrook }
186e1f3808eSpbrook 
1870ccb9c1dSLaurent Vivier void HELPER(divuw)(CPUM68KState *env, int destr, uint32_t den)
188e1f3808eSpbrook {
1890ccb9c1dSLaurent Vivier     uint32_t num = env->dregs[destr];
1900ccb9c1dSLaurent Vivier     uint32_t quot, rem;
1910ccb9c1dSLaurent Vivier 
1920ccb9c1dSLaurent Vivier     if (den == 0) {
1930ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
1940ccb9c1dSLaurent Vivier     }
1950ccb9c1dSLaurent Vivier     quot = num / den;
1960ccb9c1dSLaurent Vivier     rem = num % den;
1970ccb9c1dSLaurent Vivier 
1980ccb9c1dSLaurent Vivier     env->cc_c = 0; /* always cleared, even if overflow */
1990ccb9c1dSLaurent Vivier     if (quot > 0xffff) {
2000ccb9c1dSLaurent Vivier         env->cc_v = -1;
2010ccb9c1dSLaurent Vivier         /* real 68040 keeps N and unset Z on overflow,
2020ccb9c1dSLaurent Vivier          * whereas documentation says "undefined"
2030ccb9c1dSLaurent Vivier          */
2040ccb9c1dSLaurent Vivier         env->cc_z = 1;
2050ccb9c1dSLaurent Vivier         return;
2060ccb9c1dSLaurent Vivier     }
2070ccb9c1dSLaurent Vivier     env->dregs[destr] = deposit32(quot, 16, 16, rem);
2080ccb9c1dSLaurent Vivier     env->cc_z = (int16_t)quot;
2090ccb9c1dSLaurent Vivier     env->cc_n = (int16_t)quot;
2100ccb9c1dSLaurent Vivier     env->cc_v = 0;
2110ccb9c1dSLaurent Vivier }
2120ccb9c1dSLaurent Vivier 
2130ccb9c1dSLaurent Vivier void HELPER(divsw)(CPUM68KState *env, int destr, int32_t den)
2140ccb9c1dSLaurent Vivier {
2150ccb9c1dSLaurent Vivier     int32_t num = env->dregs[destr];
2160ccb9c1dSLaurent Vivier     uint32_t quot, rem;
2170ccb9c1dSLaurent Vivier 
2180ccb9c1dSLaurent Vivier     if (den == 0) {
2190ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
2200ccb9c1dSLaurent Vivier     }
2210ccb9c1dSLaurent Vivier     quot = num / den;
2220ccb9c1dSLaurent Vivier     rem = num % den;
2230ccb9c1dSLaurent Vivier 
2240ccb9c1dSLaurent Vivier     env->cc_c = 0; /* always cleared, even if overflow */
2250ccb9c1dSLaurent Vivier     if (quot != (int16_t)quot) {
2260ccb9c1dSLaurent Vivier         env->cc_v = -1;
2270ccb9c1dSLaurent Vivier         /* nothing else is modified */
2280ccb9c1dSLaurent Vivier         /* real 68040 keeps N and unset Z on overflow,
2290ccb9c1dSLaurent Vivier          * whereas documentation says "undefined"
2300ccb9c1dSLaurent Vivier          */
2310ccb9c1dSLaurent Vivier         env->cc_z = 1;
2320ccb9c1dSLaurent Vivier         return;
2330ccb9c1dSLaurent Vivier     }
2340ccb9c1dSLaurent Vivier     env->dregs[destr] = deposit32(quot, 16, 16, rem);
2350ccb9c1dSLaurent Vivier     env->cc_z = (int16_t)quot;
2360ccb9c1dSLaurent Vivier     env->cc_n = (int16_t)quot;
2370ccb9c1dSLaurent Vivier     env->cc_v = 0;
2380ccb9c1dSLaurent Vivier }
2390ccb9c1dSLaurent Vivier 
2400ccb9c1dSLaurent Vivier void HELPER(divul)(CPUM68KState *env, int numr, int regr, uint32_t den)
2410ccb9c1dSLaurent Vivier {
2420ccb9c1dSLaurent Vivier     uint32_t num = env->dregs[numr];
2430ccb9c1dSLaurent Vivier     uint32_t quot, rem;
2440ccb9c1dSLaurent Vivier 
2450ccb9c1dSLaurent Vivier     if (den == 0) {
2460ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
2470ccb9c1dSLaurent Vivier     }
2480ccb9c1dSLaurent Vivier     quot = num / den;
2490ccb9c1dSLaurent Vivier     rem = num % den;
2500ccb9c1dSLaurent Vivier 
2510ccb9c1dSLaurent Vivier     env->cc_c = 0;
2520ccb9c1dSLaurent Vivier     env->cc_z = quot;
2530ccb9c1dSLaurent Vivier     env->cc_n = quot;
2540ccb9c1dSLaurent Vivier     env->cc_v = 0;
2550ccb9c1dSLaurent Vivier 
2560ccb9c1dSLaurent Vivier     if (m68k_feature(env, M68K_FEATURE_CF_ISA_A)) {
2570ccb9c1dSLaurent Vivier         if (numr == regr) {
2580ccb9c1dSLaurent Vivier             env->dregs[numr] = quot;
2590ccb9c1dSLaurent Vivier         } else {
2600ccb9c1dSLaurent Vivier             env->dregs[regr] = rem;
2610ccb9c1dSLaurent Vivier         }
2620ccb9c1dSLaurent Vivier     } else {
2630ccb9c1dSLaurent Vivier         env->dregs[regr] = rem;
2640ccb9c1dSLaurent Vivier         env->dregs[numr] = quot;
2650ccb9c1dSLaurent Vivier     }
2660ccb9c1dSLaurent Vivier }
2670ccb9c1dSLaurent Vivier 
2680ccb9c1dSLaurent Vivier void HELPER(divsl)(CPUM68KState *env, int numr, int regr, int32_t den)
2690ccb9c1dSLaurent Vivier {
2700ccb9c1dSLaurent Vivier     int32_t num = env->dregs[numr];
2710ccb9c1dSLaurent Vivier     int32_t quot, rem;
2720ccb9c1dSLaurent Vivier 
2730ccb9c1dSLaurent Vivier     if (den == 0) {
2740ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
2750ccb9c1dSLaurent Vivier     }
2760ccb9c1dSLaurent Vivier     quot = num / den;
2770ccb9c1dSLaurent Vivier     rem = num % den;
2780ccb9c1dSLaurent Vivier 
2790ccb9c1dSLaurent Vivier     env->cc_c = 0;
2800ccb9c1dSLaurent Vivier     env->cc_z = quot;
2810ccb9c1dSLaurent Vivier     env->cc_n = quot;
2820ccb9c1dSLaurent Vivier     env->cc_v = 0;
2830ccb9c1dSLaurent Vivier 
2840ccb9c1dSLaurent Vivier     if (m68k_feature(env, M68K_FEATURE_CF_ISA_A)) {
2850ccb9c1dSLaurent Vivier         if (numr == regr) {
2860ccb9c1dSLaurent Vivier             env->dregs[numr] = quot;
2870ccb9c1dSLaurent Vivier         } else {
2880ccb9c1dSLaurent Vivier             env->dregs[regr] = rem;
2890ccb9c1dSLaurent Vivier         }
2900ccb9c1dSLaurent Vivier     } else {
2910ccb9c1dSLaurent Vivier         env->dregs[regr] = rem;
2920ccb9c1dSLaurent Vivier         env->dregs[numr] = quot;
2930ccb9c1dSLaurent Vivier     }
2940ccb9c1dSLaurent Vivier }
2950ccb9c1dSLaurent Vivier 
2960ccb9c1dSLaurent Vivier void HELPER(divull)(CPUM68KState *env, int numr, int regr, uint32_t den)
2970ccb9c1dSLaurent Vivier {
2980ccb9c1dSLaurent Vivier     uint64_t num = deposit64(env->dregs[numr], 32, 32, env->dregs[regr]);
2990ccb9c1dSLaurent Vivier     uint64_t quot;
300e1f3808eSpbrook     uint32_t rem;
301e1f3808eSpbrook 
30231871141SBlue Swirl     if (den == 0) {
3030ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
30431871141SBlue Swirl     }
305e1f3808eSpbrook     quot = num / den;
306e1f3808eSpbrook     rem = num % den;
307620c6cf6SRichard Henderson 
3080ccb9c1dSLaurent Vivier     env->cc_c = 0; /* always cleared, even if overflow */
3090ccb9c1dSLaurent Vivier     if (quot > 0xffffffffULL) {
3100ccb9c1dSLaurent Vivier         env->cc_v = -1;
3110ccb9c1dSLaurent Vivier         /* real 68040 keeps N and unset Z on overflow,
3120ccb9c1dSLaurent Vivier          * whereas documentation says "undefined"
3130ccb9c1dSLaurent Vivier          */
3140ccb9c1dSLaurent Vivier         env->cc_z = 1;
3150ccb9c1dSLaurent Vivier         return;
3160ccb9c1dSLaurent Vivier     }
317620c6cf6SRichard Henderson     env->cc_z = quot;
318620c6cf6SRichard Henderson     env->cc_n = quot;
3190ccb9c1dSLaurent Vivier     env->cc_v = 0;
320620c6cf6SRichard Henderson 
3210ccb9c1dSLaurent Vivier     /*
3220ccb9c1dSLaurent Vivier      * If Dq and Dr are the same, the quotient is returned.
3230ccb9c1dSLaurent Vivier      * therefore we set Dq last.
3240ccb9c1dSLaurent Vivier      */
3250ccb9c1dSLaurent Vivier 
3260ccb9c1dSLaurent Vivier     env->dregs[regr] = rem;
3270ccb9c1dSLaurent Vivier     env->dregs[numr] = quot;
328e1f3808eSpbrook }
329e1f3808eSpbrook 
3300ccb9c1dSLaurent Vivier void HELPER(divsll)(CPUM68KState *env, int numr, int regr, int32_t den)
331e1f3808eSpbrook {
3320ccb9c1dSLaurent Vivier     int64_t num = deposit64(env->dregs[numr], 32, 32, env->dregs[regr]);
3330ccb9c1dSLaurent Vivier     int64_t quot;
334e1f3808eSpbrook     int32_t rem;
335e1f3808eSpbrook 
33631871141SBlue Swirl     if (den == 0) {
3370ccb9c1dSLaurent Vivier         raise_exception_ra(env, EXCP_DIV0, GETPC());
33831871141SBlue Swirl     }
339e1f3808eSpbrook     quot = num / den;
340e1f3808eSpbrook     rem = num % den;
341620c6cf6SRichard Henderson 
3420ccb9c1dSLaurent Vivier     env->cc_c = 0; /* always cleared, even if overflow */
3430ccb9c1dSLaurent Vivier     if (quot != (int32_t)quot) {
3440ccb9c1dSLaurent Vivier         env->cc_v = -1;
3450ccb9c1dSLaurent Vivier         /* real 68040 keeps N and unset Z on overflow,
3460ccb9c1dSLaurent Vivier          * whereas documentation says "undefined"
3470ccb9c1dSLaurent Vivier          */
3480ccb9c1dSLaurent Vivier         env->cc_z = 1;
3490ccb9c1dSLaurent Vivier         return;
3500ccb9c1dSLaurent Vivier     }
351620c6cf6SRichard Henderson     env->cc_z = quot;
352620c6cf6SRichard Henderson     env->cc_n = quot;
3530ccb9c1dSLaurent Vivier     env->cc_v = 0;
354620c6cf6SRichard Henderson 
3550ccb9c1dSLaurent Vivier     /*
3560ccb9c1dSLaurent Vivier      * If Dq and Dr are the same, the quotient is returned.
3570ccb9c1dSLaurent Vivier      * therefore we set Dq last.
3580ccb9c1dSLaurent Vivier      */
3590ccb9c1dSLaurent Vivier 
3600ccb9c1dSLaurent Vivier     env->dregs[regr] = rem;
3610ccb9c1dSLaurent Vivier     env->dregs[numr] = quot;
362e1f3808eSpbrook }
36314f94406SLaurent Vivier 
36414f94406SLaurent Vivier void HELPER(cas2w)(CPUM68KState *env, uint32_t regs, uint32_t a1, uint32_t a2)
36514f94406SLaurent Vivier {
36614f94406SLaurent Vivier     uint32_t Dc1 = extract32(regs, 9, 3);
36714f94406SLaurent Vivier     uint32_t Dc2 = extract32(regs, 6, 3);
36814f94406SLaurent Vivier     uint32_t Du1 = extract32(regs, 3, 3);
36914f94406SLaurent Vivier     uint32_t Du2 = extract32(regs, 0, 3);
37014f94406SLaurent Vivier     int16_t c1 = env->dregs[Dc1];
37114f94406SLaurent Vivier     int16_t c2 = env->dregs[Dc2];
37214f94406SLaurent Vivier     int16_t u1 = env->dregs[Du1];
37314f94406SLaurent Vivier     int16_t u2 = env->dregs[Du2];
37414f94406SLaurent Vivier     int16_t l1, l2;
37514f94406SLaurent Vivier     uintptr_t ra = GETPC();
37614f94406SLaurent Vivier 
37714f94406SLaurent Vivier     if (parallel_cpus) {
37814f94406SLaurent Vivier         /* Tell the main loop we need to serialize this insn.  */
37914f94406SLaurent Vivier         cpu_loop_exit_atomic(ENV_GET_CPU(env), ra);
38014f94406SLaurent Vivier     } else {
38114f94406SLaurent Vivier         /* We're executing in a serial context -- no need to be atomic.  */
38214f94406SLaurent Vivier         l1 = cpu_lduw_data_ra(env, a1, ra);
38314f94406SLaurent Vivier         l2 = cpu_lduw_data_ra(env, a2, ra);
38414f94406SLaurent Vivier         if (l1 == c1 && l2 == c2) {
38514f94406SLaurent Vivier             cpu_stw_data_ra(env, a1, u1, ra);
38614f94406SLaurent Vivier             cpu_stw_data_ra(env, a2, u2, ra);
38714f94406SLaurent Vivier         }
38814f94406SLaurent Vivier     }
38914f94406SLaurent Vivier 
39014f94406SLaurent Vivier     if (c1 != l1) {
39114f94406SLaurent Vivier         env->cc_n = l1;
39214f94406SLaurent Vivier         env->cc_v = c1;
39314f94406SLaurent Vivier     } else {
39414f94406SLaurent Vivier         env->cc_n = l2;
39514f94406SLaurent Vivier         env->cc_v = c2;
39614f94406SLaurent Vivier     }
39714f94406SLaurent Vivier     env->cc_op = CC_OP_CMPW;
39814f94406SLaurent Vivier     env->dregs[Dc1] = deposit32(env->dregs[Dc1], 0, 16, l1);
39914f94406SLaurent Vivier     env->dregs[Dc2] = deposit32(env->dregs[Dc2], 0, 16, l2);
40014f94406SLaurent Vivier }
40114f94406SLaurent Vivier 
40214f94406SLaurent Vivier void HELPER(cas2l)(CPUM68KState *env, uint32_t regs, uint32_t a1, uint32_t a2)
40314f94406SLaurent Vivier {
40414f94406SLaurent Vivier     uint32_t Dc1 = extract32(regs, 9, 3);
40514f94406SLaurent Vivier     uint32_t Dc2 = extract32(regs, 6, 3);
40614f94406SLaurent Vivier     uint32_t Du1 = extract32(regs, 3, 3);
40714f94406SLaurent Vivier     uint32_t Du2 = extract32(regs, 0, 3);
40814f94406SLaurent Vivier     uint32_t c1 = env->dregs[Dc1];
40914f94406SLaurent Vivier     uint32_t c2 = env->dregs[Dc2];
41014f94406SLaurent Vivier     uint32_t u1 = env->dregs[Du1];
41114f94406SLaurent Vivier     uint32_t u2 = env->dregs[Du2];
41214f94406SLaurent Vivier     uint32_t l1, l2;
41314f94406SLaurent Vivier     uintptr_t ra = GETPC();
41414f94406SLaurent Vivier #if defined(CONFIG_ATOMIC64) && !defined(CONFIG_USER_ONLY)
41514f94406SLaurent Vivier     int mmu_idx = cpu_mmu_index(env, 0);
41614f94406SLaurent Vivier     TCGMemOpIdx oi;
41714f94406SLaurent Vivier #endif
41814f94406SLaurent Vivier 
41914f94406SLaurent Vivier     if (parallel_cpus) {
42014f94406SLaurent Vivier         /* We're executing in a parallel context -- must be atomic.  */
42114f94406SLaurent Vivier #ifdef CONFIG_ATOMIC64
42214f94406SLaurent Vivier         uint64_t c, u, l;
42314f94406SLaurent Vivier         if ((a1 & 7) == 0 && a2 == a1 + 4) {
42414f94406SLaurent Vivier             c = deposit64(c2, 32, 32, c1);
42514f94406SLaurent Vivier             u = deposit64(u2, 32, 32, u1);
42614f94406SLaurent Vivier #ifdef CONFIG_USER_ONLY
42714f94406SLaurent Vivier             l = helper_atomic_cmpxchgq_be(env, a1, c, u);
42814f94406SLaurent Vivier #else
42914f94406SLaurent Vivier             oi = make_memop_idx(MO_BEQ, mmu_idx);
43014f94406SLaurent Vivier             l = helper_atomic_cmpxchgq_be_mmu(env, a1, c, u, oi, ra);
43114f94406SLaurent Vivier #endif
43214f94406SLaurent Vivier             l1 = l >> 32;
43314f94406SLaurent Vivier             l2 = l;
43414f94406SLaurent Vivier         } else if ((a2 & 7) == 0 && a1 == a2 + 4) {
43514f94406SLaurent Vivier             c = deposit64(c1, 32, 32, c2);
43614f94406SLaurent Vivier             u = deposit64(u1, 32, 32, u2);
43714f94406SLaurent Vivier #ifdef CONFIG_USER_ONLY
43814f94406SLaurent Vivier             l = helper_atomic_cmpxchgq_be(env, a2, c, u);
43914f94406SLaurent Vivier #else
44014f94406SLaurent Vivier             oi = make_memop_idx(MO_BEQ, mmu_idx);
44114f94406SLaurent Vivier             l = helper_atomic_cmpxchgq_be_mmu(env, a2, c, u, oi, ra);
44214f94406SLaurent Vivier #endif
44314f94406SLaurent Vivier             l2 = l >> 32;
44414f94406SLaurent Vivier             l1 = l;
44514f94406SLaurent Vivier         } else
44614f94406SLaurent Vivier #endif
44714f94406SLaurent Vivier         {
44814f94406SLaurent Vivier             /* Tell the main loop we need to serialize this insn.  */
44914f94406SLaurent Vivier             cpu_loop_exit_atomic(ENV_GET_CPU(env), ra);
45014f94406SLaurent Vivier         }
45114f94406SLaurent Vivier     } else {
45214f94406SLaurent Vivier         /* We're executing in a serial context -- no need to be atomic.  */
45314f94406SLaurent Vivier         l1 = cpu_ldl_data_ra(env, a1, ra);
45414f94406SLaurent Vivier         l2 = cpu_ldl_data_ra(env, a2, ra);
45514f94406SLaurent Vivier         if (l1 == c1 && l2 == c2) {
45614f94406SLaurent Vivier             cpu_stl_data_ra(env, a1, u1, ra);
45714f94406SLaurent Vivier             cpu_stl_data_ra(env, a2, u2, ra);
45814f94406SLaurent Vivier         }
45914f94406SLaurent Vivier     }
46014f94406SLaurent Vivier 
46114f94406SLaurent Vivier     if (c1 != l1) {
46214f94406SLaurent Vivier         env->cc_n = l1;
46314f94406SLaurent Vivier         env->cc_v = c1;
46414f94406SLaurent Vivier     } else {
46514f94406SLaurent Vivier         env->cc_n = l2;
46614f94406SLaurent Vivier         env->cc_v = c2;
46714f94406SLaurent Vivier     }
46814f94406SLaurent Vivier     env->cc_op = CC_OP_CMPL;
46914f94406SLaurent Vivier     env->dregs[Dc1] = l1;
47014f94406SLaurent Vivier     env->dregs[Dc2] = l2;
47114f94406SLaurent Vivier }
472*f2224f2cSRichard Henderson 
473*f2224f2cSRichard Henderson struct bf_data {
474*f2224f2cSRichard Henderson     uint32_t addr;
475*f2224f2cSRichard Henderson     uint32_t bofs;
476*f2224f2cSRichard Henderson     uint32_t blen;
477*f2224f2cSRichard Henderson     uint32_t len;
478*f2224f2cSRichard Henderson };
479*f2224f2cSRichard Henderson 
480*f2224f2cSRichard Henderson static struct bf_data bf_prep(uint32_t addr, int32_t ofs, uint32_t len)
481*f2224f2cSRichard Henderson {
482*f2224f2cSRichard Henderson     int bofs, blen;
483*f2224f2cSRichard Henderson 
484*f2224f2cSRichard Henderson     /* Bound length; map 0 to 32.  */
485*f2224f2cSRichard Henderson     len = ((len - 1) & 31) + 1;
486*f2224f2cSRichard Henderson 
487*f2224f2cSRichard Henderson     /* Note that ofs is signed.  */
488*f2224f2cSRichard Henderson     addr += ofs / 8;
489*f2224f2cSRichard Henderson     bofs = ofs % 8;
490*f2224f2cSRichard Henderson     if (bofs < 0) {
491*f2224f2cSRichard Henderson         bofs += 8;
492*f2224f2cSRichard Henderson         addr -= 1;
493*f2224f2cSRichard Henderson     }
494*f2224f2cSRichard Henderson 
495*f2224f2cSRichard Henderson     /* Compute the number of bytes required (minus one) to
496*f2224f2cSRichard Henderson        satisfy the bitfield.  */
497*f2224f2cSRichard Henderson     blen = (bofs + len - 1) / 8;
498*f2224f2cSRichard Henderson 
499*f2224f2cSRichard Henderson     /* Canonicalize the bit offset for data loaded into a 64-bit big-endian
500*f2224f2cSRichard Henderson        word.  For the cases where BLEN is not a power of 2, adjust ADDR so
501*f2224f2cSRichard Henderson        that we can use the next power of two sized load without crossing a
502*f2224f2cSRichard Henderson        page boundary, unless the field itself crosses the boundary.  */
503*f2224f2cSRichard Henderson     switch (blen) {
504*f2224f2cSRichard Henderson     case 0:
505*f2224f2cSRichard Henderson         bofs += 56;
506*f2224f2cSRichard Henderson         break;
507*f2224f2cSRichard Henderson     case 1:
508*f2224f2cSRichard Henderson         bofs += 48;
509*f2224f2cSRichard Henderson         break;
510*f2224f2cSRichard Henderson     case 2:
511*f2224f2cSRichard Henderson         if (addr & 1) {
512*f2224f2cSRichard Henderson             bofs += 8;
513*f2224f2cSRichard Henderson             addr -= 1;
514*f2224f2cSRichard Henderson         }
515*f2224f2cSRichard Henderson         /* fallthru */
516*f2224f2cSRichard Henderson     case 3:
517*f2224f2cSRichard Henderson         bofs += 32;
518*f2224f2cSRichard Henderson         break;
519*f2224f2cSRichard Henderson     case 4:
520*f2224f2cSRichard Henderson         if (addr & 3) {
521*f2224f2cSRichard Henderson             bofs += 8 * (addr & 3);
522*f2224f2cSRichard Henderson             addr &= -4;
523*f2224f2cSRichard Henderson         }
524*f2224f2cSRichard Henderson         break;
525*f2224f2cSRichard Henderson     default:
526*f2224f2cSRichard Henderson         g_assert_not_reached();
527*f2224f2cSRichard Henderson     }
528*f2224f2cSRichard Henderson 
529*f2224f2cSRichard Henderson     return (struct bf_data){
530*f2224f2cSRichard Henderson         .addr = addr,
531*f2224f2cSRichard Henderson         .bofs = bofs,
532*f2224f2cSRichard Henderson         .blen = blen,
533*f2224f2cSRichard Henderson         .len = len,
534*f2224f2cSRichard Henderson     };
535*f2224f2cSRichard Henderson }
536*f2224f2cSRichard Henderson 
537*f2224f2cSRichard Henderson static uint64_t bf_load(CPUM68KState *env, uint32_t addr, int blen,
538*f2224f2cSRichard Henderson                         uintptr_t ra)
539*f2224f2cSRichard Henderson {
540*f2224f2cSRichard Henderson     switch (blen) {
541*f2224f2cSRichard Henderson     case 0:
542*f2224f2cSRichard Henderson         return cpu_ldub_data_ra(env, addr, ra);
543*f2224f2cSRichard Henderson     case 1:
544*f2224f2cSRichard Henderson         return cpu_lduw_data_ra(env, addr, ra);
545*f2224f2cSRichard Henderson     case 2:
546*f2224f2cSRichard Henderson     case 3:
547*f2224f2cSRichard Henderson         return cpu_ldl_data_ra(env, addr, ra);
548*f2224f2cSRichard Henderson     case 4:
549*f2224f2cSRichard Henderson         return cpu_ldq_data_ra(env, addr, ra);
550*f2224f2cSRichard Henderson     default:
551*f2224f2cSRichard Henderson         g_assert_not_reached();
552*f2224f2cSRichard Henderson     }
553*f2224f2cSRichard Henderson }
554*f2224f2cSRichard Henderson 
555*f2224f2cSRichard Henderson static void bf_store(CPUM68KState *env, uint32_t addr, int blen,
556*f2224f2cSRichard Henderson                      uint64_t data, uintptr_t ra)
557*f2224f2cSRichard Henderson {
558*f2224f2cSRichard Henderson     switch (blen) {
559*f2224f2cSRichard Henderson     case 0:
560*f2224f2cSRichard Henderson         cpu_stb_data_ra(env, addr, data, ra);
561*f2224f2cSRichard Henderson         break;
562*f2224f2cSRichard Henderson     case 1:
563*f2224f2cSRichard Henderson         cpu_stw_data_ra(env, addr, data, ra);
564*f2224f2cSRichard Henderson         break;
565*f2224f2cSRichard Henderson     case 2:
566*f2224f2cSRichard Henderson     case 3:
567*f2224f2cSRichard Henderson         cpu_stl_data_ra(env, addr, data, ra);
568*f2224f2cSRichard Henderson         break;
569*f2224f2cSRichard Henderson     case 4:
570*f2224f2cSRichard Henderson         cpu_stq_data_ra(env, addr, data, ra);
571*f2224f2cSRichard Henderson         break;
572*f2224f2cSRichard Henderson     default:
573*f2224f2cSRichard Henderson         g_assert_not_reached();
574*f2224f2cSRichard Henderson     }
575*f2224f2cSRichard Henderson }
576*f2224f2cSRichard Henderson 
577*f2224f2cSRichard Henderson uint32_t HELPER(bfexts_mem)(CPUM68KState *env, uint32_t addr,
578*f2224f2cSRichard Henderson                             int32_t ofs, uint32_t len)
579*f2224f2cSRichard Henderson {
580*f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
581*f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
582*f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
583*f2224f2cSRichard Henderson 
584*f2224f2cSRichard Henderson     return (int64_t)(data << d.bofs) >> (64 - d.len);
585*f2224f2cSRichard Henderson }
586*f2224f2cSRichard Henderson 
587*f2224f2cSRichard Henderson uint64_t HELPER(bfextu_mem)(CPUM68KState *env, uint32_t addr,
588*f2224f2cSRichard Henderson                             int32_t ofs, uint32_t len)
589*f2224f2cSRichard Henderson {
590*f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
591*f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
592*f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
593*f2224f2cSRichard Henderson 
594*f2224f2cSRichard Henderson     /* Put CC_N at the top of the high word; put the zero-extended value
595*f2224f2cSRichard Henderson        at the bottom of the low word.  */
596*f2224f2cSRichard Henderson     data <<= d.bofs;
597*f2224f2cSRichard Henderson     data >>= 64 - d.len;
598*f2224f2cSRichard Henderson     data |= data << (64 - d.len);
599*f2224f2cSRichard Henderson 
600*f2224f2cSRichard Henderson     return data;
601*f2224f2cSRichard Henderson }
602*f2224f2cSRichard Henderson 
603*f2224f2cSRichard Henderson uint32_t HELPER(bfins_mem)(CPUM68KState *env, uint32_t addr, uint32_t val,
604*f2224f2cSRichard Henderson                            int32_t ofs, uint32_t len)
605*f2224f2cSRichard Henderson {
606*f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
607*f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
608*f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
609*f2224f2cSRichard Henderson     uint64_t mask = -1ull << (64 - d.len) >> d.bofs;
610*f2224f2cSRichard Henderson 
611*f2224f2cSRichard Henderson     data = (data & ~mask) | (((uint64_t)val << (64 - d.len)) >> d.bofs);
612*f2224f2cSRichard Henderson 
613*f2224f2cSRichard Henderson     bf_store(env, d.addr, d.blen, data, ra);
614*f2224f2cSRichard Henderson 
615*f2224f2cSRichard Henderson     /* The field at the top of the word is also CC_N for CC_OP_LOGIC.  */
616*f2224f2cSRichard Henderson     return val << (32 - d.len);
617*f2224f2cSRichard Henderson }
618*f2224f2cSRichard Henderson 
619*f2224f2cSRichard Henderson uint32_t HELPER(bfchg_mem)(CPUM68KState *env, uint32_t addr,
620*f2224f2cSRichard Henderson                            int32_t ofs, uint32_t len)
621*f2224f2cSRichard Henderson {
622*f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
623*f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
624*f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
625*f2224f2cSRichard Henderson     uint64_t mask = -1ull << (64 - d.len) >> d.bofs;
626*f2224f2cSRichard Henderson 
627*f2224f2cSRichard Henderson     bf_store(env, d.addr, d.blen, data ^ mask, ra);
628*f2224f2cSRichard Henderson 
629*f2224f2cSRichard Henderson     return ((data & mask) << d.bofs) >> 32;
630*f2224f2cSRichard Henderson }
631*f2224f2cSRichard Henderson 
632*f2224f2cSRichard Henderson uint32_t HELPER(bfclr_mem)(CPUM68KState *env, uint32_t addr,
633*f2224f2cSRichard Henderson                            int32_t ofs, uint32_t len)
634*f2224f2cSRichard Henderson {
635*f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
636*f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
637*f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
638*f2224f2cSRichard Henderson     uint64_t mask = -1ull << (64 - d.len) >> d.bofs;
639*f2224f2cSRichard Henderson 
640*f2224f2cSRichard Henderson     bf_store(env, d.addr, d.blen, data & ~mask, ra);
641*f2224f2cSRichard Henderson 
642*f2224f2cSRichard Henderson     return ((data & mask) << d.bofs) >> 32;
643*f2224f2cSRichard Henderson }
644*f2224f2cSRichard Henderson 
645*f2224f2cSRichard Henderson uint32_t HELPER(bfset_mem)(CPUM68KState *env, uint32_t addr,
646*f2224f2cSRichard Henderson                            int32_t ofs, uint32_t len)
647*f2224f2cSRichard Henderson {
648*f2224f2cSRichard Henderson     uintptr_t ra = GETPC();
649*f2224f2cSRichard Henderson     struct bf_data d = bf_prep(addr, ofs, len);
650*f2224f2cSRichard Henderson     uint64_t data = bf_load(env, d.addr, d.blen, ra);
651*f2224f2cSRichard Henderson     uint64_t mask = -1ull << (64 - d.len) >> d.bofs;
652*f2224f2cSRichard Henderson 
653*f2224f2cSRichard Henderson     bf_store(env, d.addr, d.blen, data | mask, ra);
654*f2224f2cSRichard Henderson 
655*f2224f2cSRichard Henderson     return ((data & mask) << d.bofs) >> 32;
656*f2224f2cSRichard Henderson }
657