Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 1 | /* |
| 2 | * x86 memory access helpers |
| 3 | * |
| 4 | * Copyright (c) 2003 Fabrice Bellard |
| 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 | |
Peter Maydell | b6a0aa0 | 2016-01-26 18:17:03 +0000 | [diff] [blame] | 20 | #include "qemu/osdep.h" |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 21 | #include "cpu.h" |
Richard Henderson | 2ef6175 | 2014-04-07 22:31:41 -0700 | [diff] [blame] | 22 | #include "exec/helper-proto.h" |
Paolo Bonzini | 63c9155 | 2016-03-15 13:18:37 +0100 | [diff] [blame] | 23 | #include "exec/exec-all.h" |
Paolo Bonzini | f08b617 | 2014-03-28 19:42:10 +0100 | [diff] [blame] | 24 | #include "exec/cpu_ldst.h" |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 25 | |
| 26 | /* broken thread support */ |
| 27 | |
KONRAD Frederic | 677ef62 | 2015-08-10 17:27:02 +0200 | [diff] [blame] | 28 | #if defined(CONFIG_USER_ONLY) |
| 29 | QemuMutex global_cpu_lock; |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 30 | |
| 31 | void helper_lock(void) |
| 32 | { |
KONRAD Frederic | 677ef62 | 2015-08-10 17:27:02 +0200 | [diff] [blame] | 33 | qemu_mutex_lock(&global_cpu_lock); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 34 | } |
| 35 | |
| 36 | void helper_unlock(void) |
| 37 | { |
KONRAD Frederic | 677ef62 | 2015-08-10 17:27:02 +0200 | [diff] [blame] | 38 | qemu_mutex_unlock(&global_cpu_lock); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 39 | } |
| 40 | |
KONRAD Frederic | 677ef62 | 2015-08-10 17:27:02 +0200 | [diff] [blame] | 41 | void helper_lock_init(void) |
| 42 | { |
| 43 | qemu_mutex_init(&global_cpu_lock); |
| 44 | } |
| 45 | #else |
| 46 | void helper_lock(void) |
| 47 | { |
| 48 | } |
| 49 | |
| 50 | void helper_unlock(void) |
| 51 | { |
| 52 | } |
| 53 | |
| 54 | void helper_lock_init(void) |
| 55 | { |
| 56 | } |
| 57 | #endif |
| 58 | |
Blue Swirl | 92fc4b5 | 2012-04-29 20:35:48 +0000 | [diff] [blame] | 59 | void helper_cmpxchg8b(CPUX86State *env, target_ulong a0) |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 60 | { |
| 61 | uint64_t d; |
| 62 | int eflags; |
| 63 | |
Blue Swirl | f0967a1 | 2012-04-29 12:45:34 +0000 | [diff] [blame] | 64 | eflags = cpu_cc_compute_all(env, CC_OP); |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 65 | d = cpu_ldq_data_ra(env, a0, GETPC()); |
liguang | 00f5e6f | 2013-05-28 16:21:02 +0800 | [diff] [blame] | 66 | if (d == (((uint64_t)env->regs[R_EDX] << 32) | (uint32_t)env->regs[R_EAX])) { |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 67 | cpu_stq_data_ra(env, a0, ((uint64_t)env->regs[R_ECX] << 32) |
| 68 | | (uint32_t)env->regs[R_EBX], GETPC()); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 69 | eflags |= CC_Z; |
| 70 | } else { |
| 71 | /* always do the store */ |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 72 | cpu_stq_data_ra(env, a0, d, GETPC()); |
liguang | 00f5e6f | 2013-05-28 16:21:02 +0800 | [diff] [blame] | 73 | env->regs[R_EDX] = (uint32_t)(d >> 32); |
liguang | 4b34e3a | 2013-05-28 16:20:59 +0800 | [diff] [blame] | 74 | env->regs[R_EAX] = (uint32_t)d; |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 75 | eflags &= ~CC_Z; |
| 76 | } |
| 77 | CC_SRC = eflags; |
| 78 | } |
| 79 | |
| 80 | #ifdef TARGET_X86_64 |
Blue Swirl | 92fc4b5 | 2012-04-29 20:35:48 +0000 | [diff] [blame] | 81 | void helper_cmpxchg16b(CPUX86State *env, target_ulong a0) |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 82 | { |
| 83 | uint64_t d0, d1; |
| 84 | int eflags; |
| 85 | |
| 86 | if ((a0 & 0xf) != 0) { |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 87 | raise_exception_ra(env, EXCP0D_GPF, GETPC()); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 88 | } |
Blue Swirl | f0967a1 | 2012-04-29 12:45:34 +0000 | [diff] [blame] | 89 | eflags = cpu_cc_compute_all(env, CC_OP); |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 90 | d0 = cpu_ldq_data_ra(env, a0, GETPC()); |
| 91 | d1 = cpu_ldq_data_ra(env, a0 + 8, GETPC()); |
liguang | 00f5e6f | 2013-05-28 16:21:02 +0800 | [diff] [blame] | 92 | if (d0 == env->regs[R_EAX] && d1 == env->regs[R_EDX]) { |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 93 | cpu_stq_data_ra(env, a0, env->regs[R_EBX], GETPC()); |
| 94 | cpu_stq_data_ra(env, a0 + 8, env->regs[R_ECX], GETPC()); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 95 | eflags |= CC_Z; |
| 96 | } else { |
| 97 | /* always do the store */ |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 98 | cpu_stq_data_ra(env, a0, d0, GETPC()); |
| 99 | cpu_stq_data_ra(env, a0 + 8, d1, GETPC()); |
liguang | 00f5e6f | 2013-05-28 16:21:02 +0800 | [diff] [blame] | 100 | env->regs[R_EDX] = d1; |
liguang | 4b34e3a | 2013-05-28 16:20:59 +0800 | [diff] [blame] | 101 | env->regs[R_EAX] = d0; |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 102 | eflags &= ~CC_Z; |
| 103 | } |
| 104 | CC_SRC = eflags; |
| 105 | } |
| 106 | #endif |
| 107 | |
Blue Swirl | 92fc4b5 | 2012-04-29 20:35:48 +0000 | [diff] [blame] | 108 | void helper_boundw(CPUX86State *env, target_ulong a0, int v) |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 109 | { |
| 110 | int low, high; |
| 111 | |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 112 | low = cpu_ldsw_data_ra(env, a0, GETPC()); |
| 113 | high = cpu_ldsw_data_ra(env, a0 + 2, GETPC()); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 114 | v = (int16_t)v; |
| 115 | if (v < low || v > high) { |
Richard Henderson | 75d14ed | 2015-07-06 19:37:40 +0100 | [diff] [blame] | 116 | if (env->hflags & HF_MPX_EN_MASK) { |
| 117 | env->bndcs_regs.sts = 0; |
| 118 | } |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 119 | raise_exception_ra(env, EXCP05_BOUND, GETPC()); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 120 | } |
| 121 | } |
| 122 | |
Blue Swirl | 92fc4b5 | 2012-04-29 20:35:48 +0000 | [diff] [blame] | 123 | void helper_boundl(CPUX86State *env, target_ulong a0, int v) |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 124 | { |
| 125 | int low, high; |
| 126 | |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 127 | low = cpu_ldl_data_ra(env, a0, GETPC()); |
| 128 | high = cpu_ldl_data_ra(env, a0 + 4, GETPC()); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 129 | if (v < low || v > high) { |
Richard Henderson | 75d14ed | 2015-07-06 19:37:40 +0100 | [diff] [blame] | 130 | if (env->hflags & HF_MPX_EN_MASK) { |
| 131 | env->bndcs_regs.sts = 0; |
| 132 | } |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 133 | raise_exception_ra(env, EXCP05_BOUND, GETPC()); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 134 | } |
| 135 | } |
| 136 | |
| 137 | #if !defined(CONFIG_USER_ONLY) |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 138 | /* try to fill the TLB and return an exception if error. If retaddr is |
Andreas Färber | d5a11fe | 2013-08-27 00:28:06 +0200 | [diff] [blame] | 139 | * NULL, it means that the function was called in C code (i.e. not |
| 140 | * from generated code or from helper.c) |
| 141 | */ |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 142 | /* XXX: fix it to restore all registers */ |
Andreas Färber | d5a11fe | 2013-08-27 00:28:06 +0200 | [diff] [blame] | 143 | void tlb_fill(CPUState *cs, target_ulong addr, int is_write, int mmu_idx, |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 144 | uintptr_t retaddr) |
| 145 | { |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 146 | int ret; |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 147 | |
Andreas Färber | 2710342 | 2013-08-26 08:31:06 +0200 | [diff] [blame] | 148 | ret = x86_cpu_handle_mmu_fault(cs, addr, is_write, mmu_idx); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 149 | if (ret) { |
Andreas Färber | d5a11fe | 2013-08-27 00:28:06 +0200 | [diff] [blame] | 150 | X86CPU *cpu = X86_CPU(cs); |
| 151 | CPUX86State *env = &cpu->env; |
| 152 | |
Pavel Dovgalyuk | 2afbdf8 | 2015-07-10 12:57:30 +0300 | [diff] [blame] | 153 | raise_exception_err_ra(env, cs->exception_index, env->error_code, retaddr); |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 154 | } |
Blue Swirl | 1077499 | 2012-04-29 16:39:13 +0000 | [diff] [blame] | 155 | } |
| 156 | #endif |