11b248f14SClaudio Fontana /*
21b248f14SClaudio Fontana * x86 MPX helpers
31b248f14SClaudio Fontana *
41b248f14SClaudio Fontana * Copyright (c) 2015 Red Hat, Inc.
51b248f14SClaudio Fontana *
61b248f14SClaudio Fontana * This library is free software; you can redistribute it and/or
71b248f14SClaudio Fontana * modify it under the terms of the GNU Lesser General Public
81b248f14SClaudio Fontana * License as published by the Free Software Foundation; either
91b248f14SClaudio Fontana * version 2.1 of the License, or (at your option) any later version.
101b248f14SClaudio Fontana *
111b248f14SClaudio Fontana * This library is distributed in the hope that it will be useful,
121b248f14SClaudio Fontana * but WITHOUT ANY WARRANTY; without even the implied warranty of
131b248f14SClaudio Fontana * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
141b248f14SClaudio Fontana * Lesser General Public License for more details.
151b248f14SClaudio Fontana *
161b248f14SClaudio Fontana * You should have received a copy of the GNU Lesser General Public
171b248f14SClaudio Fontana * License along with this library; if not, see <http://www.gnu.org/licenses/>.
181b248f14SClaudio Fontana */
191b248f14SClaudio Fontana
201b248f14SClaudio Fontana #include "qemu/osdep.h"
211b248f14SClaudio Fontana #include "cpu.h"
221b248f14SClaudio Fontana #include "exec/helper-proto.h"
231b248f14SClaudio Fontana #include "exec/cpu_ldst.h"
241b248f14SClaudio Fontana #include "exec/exec-all.h"
25*ed69e831SClaudio Fontana #include "helper-tcg.h"
261b248f14SClaudio Fontana
271b248f14SClaudio Fontana
helper_bndck(CPUX86State * env,uint32_t fail)281b248f14SClaudio Fontana void helper_bndck(CPUX86State *env, uint32_t fail)
291b248f14SClaudio Fontana {
301b248f14SClaudio Fontana if (unlikely(fail)) {
311b248f14SClaudio Fontana env->bndcs_regs.sts = 1;
321b248f14SClaudio Fontana raise_exception_ra(env, EXCP05_BOUND, GETPC());
331b248f14SClaudio Fontana }
341b248f14SClaudio Fontana }
351b248f14SClaudio Fontana
lookup_bte64(CPUX86State * env,uint64_t base,uintptr_t ra)361b248f14SClaudio Fontana static uint64_t lookup_bte64(CPUX86State *env, uint64_t base, uintptr_t ra)
371b248f14SClaudio Fontana {
381b248f14SClaudio Fontana uint64_t bndcsr, bde, bt;
391b248f14SClaudio Fontana
401b248f14SClaudio Fontana if ((env->hflags & HF_CPL_MASK) == 3) {
411b248f14SClaudio Fontana bndcsr = env->bndcs_regs.cfgu;
421b248f14SClaudio Fontana } else {
431b248f14SClaudio Fontana bndcsr = env->msr_bndcfgs;
441b248f14SClaudio Fontana }
451b248f14SClaudio Fontana
461b248f14SClaudio Fontana bde = (extract64(base, 20, 28) << 3) + (extract64(bndcsr, 20, 44) << 12);
471b248f14SClaudio Fontana bt = cpu_ldq_data_ra(env, bde, ra);
481b248f14SClaudio Fontana if ((bt & 1) == 0) {
491b248f14SClaudio Fontana env->bndcs_regs.sts = bde | 2;
501b248f14SClaudio Fontana raise_exception_ra(env, EXCP05_BOUND, ra);
511b248f14SClaudio Fontana }
521b248f14SClaudio Fontana
531b248f14SClaudio Fontana return (extract64(base, 3, 17) << 5) + (bt & ~7);
541b248f14SClaudio Fontana }
551b248f14SClaudio Fontana
lookup_bte32(CPUX86State * env,uint32_t base,uintptr_t ra)561b248f14SClaudio Fontana static uint32_t lookup_bte32(CPUX86State *env, uint32_t base, uintptr_t ra)
571b248f14SClaudio Fontana {
581b248f14SClaudio Fontana uint32_t bndcsr, bde, bt;
591b248f14SClaudio Fontana
601b248f14SClaudio Fontana if ((env->hflags & HF_CPL_MASK) == 3) {
611b248f14SClaudio Fontana bndcsr = env->bndcs_regs.cfgu;
621b248f14SClaudio Fontana } else {
631b248f14SClaudio Fontana bndcsr = env->msr_bndcfgs;
641b248f14SClaudio Fontana }
651b248f14SClaudio Fontana
661b248f14SClaudio Fontana bde = (extract32(base, 12, 20) << 2) + (bndcsr & TARGET_PAGE_MASK);
671b248f14SClaudio Fontana bt = cpu_ldl_data_ra(env, bde, ra);
681b248f14SClaudio Fontana if ((bt & 1) == 0) {
691b248f14SClaudio Fontana env->bndcs_regs.sts = bde | 2;
701b248f14SClaudio Fontana raise_exception_ra(env, EXCP05_BOUND, ra);
711b248f14SClaudio Fontana }
721b248f14SClaudio Fontana
731b248f14SClaudio Fontana return (extract32(base, 2, 10) << 4) + (bt & ~3);
741b248f14SClaudio Fontana }
751b248f14SClaudio Fontana
helper_bndldx64(CPUX86State * env,target_ulong base,target_ulong ptr)761b248f14SClaudio Fontana uint64_t helper_bndldx64(CPUX86State *env, target_ulong base, target_ulong ptr)
771b248f14SClaudio Fontana {
781b248f14SClaudio Fontana uintptr_t ra = GETPC();
791b248f14SClaudio Fontana uint64_t bte, lb, ub, pt;
801b248f14SClaudio Fontana
811b248f14SClaudio Fontana bte = lookup_bte64(env, base, ra);
821b248f14SClaudio Fontana lb = cpu_ldq_data_ra(env, bte, ra);
831b248f14SClaudio Fontana ub = cpu_ldq_data_ra(env, bte + 8, ra);
841b248f14SClaudio Fontana pt = cpu_ldq_data_ra(env, bte + 16, ra);
851b248f14SClaudio Fontana
861b248f14SClaudio Fontana if (pt != ptr) {
871b248f14SClaudio Fontana lb = ub = 0;
881b248f14SClaudio Fontana }
891b248f14SClaudio Fontana env->mmx_t0.MMX_Q(0) = ub;
901b248f14SClaudio Fontana return lb;
911b248f14SClaudio Fontana }
921b248f14SClaudio Fontana
helper_bndldx32(CPUX86State * env,target_ulong base,target_ulong ptr)931b248f14SClaudio Fontana uint64_t helper_bndldx32(CPUX86State *env, target_ulong base, target_ulong ptr)
941b248f14SClaudio Fontana {
951b248f14SClaudio Fontana uintptr_t ra = GETPC();
961b248f14SClaudio Fontana uint32_t bte, lb, ub, pt;
971b248f14SClaudio Fontana
981b248f14SClaudio Fontana bte = lookup_bte32(env, base, ra);
991b248f14SClaudio Fontana lb = cpu_ldl_data_ra(env, bte, ra);
1001b248f14SClaudio Fontana ub = cpu_ldl_data_ra(env, bte + 4, ra);
1011b248f14SClaudio Fontana pt = cpu_ldl_data_ra(env, bte + 8, ra);
1021b248f14SClaudio Fontana
1031b248f14SClaudio Fontana if (pt != ptr) {
1041b248f14SClaudio Fontana lb = ub = 0;
1051b248f14SClaudio Fontana }
1061b248f14SClaudio Fontana return ((uint64_t)ub << 32) | lb;
1071b248f14SClaudio Fontana }
1081b248f14SClaudio Fontana
helper_bndstx64(CPUX86State * env,target_ulong base,target_ulong ptr,uint64_t lb,uint64_t ub)1091b248f14SClaudio Fontana void helper_bndstx64(CPUX86State *env, target_ulong base, target_ulong ptr,
1101b248f14SClaudio Fontana uint64_t lb, uint64_t ub)
1111b248f14SClaudio Fontana {
1121b248f14SClaudio Fontana uintptr_t ra = GETPC();
1131b248f14SClaudio Fontana uint64_t bte;
1141b248f14SClaudio Fontana
1151b248f14SClaudio Fontana bte = lookup_bte64(env, base, ra);
1161b248f14SClaudio Fontana cpu_stq_data_ra(env, bte, lb, ra);
1171b248f14SClaudio Fontana cpu_stq_data_ra(env, bte + 8, ub, ra);
1181b248f14SClaudio Fontana cpu_stq_data_ra(env, bte + 16, ptr, ra);
1191b248f14SClaudio Fontana }
1201b248f14SClaudio Fontana
helper_bndstx32(CPUX86State * env,target_ulong base,target_ulong ptr,uint64_t lb,uint64_t ub)1211b248f14SClaudio Fontana void helper_bndstx32(CPUX86State *env, target_ulong base, target_ulong ptr,
1221b248f14SClaudio Fontana uint64_t lb, uint64_t ub)
1231b248f14SClaudio Fontana {
1241b248f14SClaudio Fontana uintptr_t ra = GETPC();
1251b248f14SClaudio Fontana uint32_t bte;
1261b248f14SClaudio Fontana
1271b248f14SClaudio Fontana bte = lookup_bte32(env, base, ra);
1281b248f14SClaudio Fontana cpu_stl_data_ra(env, bte, lb, ra);
1291b248f14SClaudio Fontana cpu_stl_data_ra(env, bte + 4, ub, ra);
1301b248f14SClaudio Fontana cpu_stl_data_ra(env, bte + 8, ptr, ra);
1311b248f14SClaudio Fontana }
1321b248f14SClaudio Fontana
helper_bnd_jmp(CPUX86State * env)1331b248f14SClaudio Fontana void helper_bnd_jmp(CPUX86State *env)
1341b248f14SClaudio Fontana {
1351b248f14SClaudio Fontana if (!(env->hflags2 & HF2_MPX_PR_MASK)) {
1361b248f14SClaudio Fontana memset(env->bnd_regs, 0, sizeof(env->bnd_regs));
1371b248f14SClaudio Fontana env->hflags &= ~HF_MPX_IU_MASK;
1381b248f14SClaudio Fontana }
1391b248f14SClaudio Fontana }
140