xref: /openbmc/qemu/target/i386/tcg/mpx_helper.c (revision 75ee62ac606bfc9eb59310b9446df3434bf6e8c2)
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