11b248f14SClaudio Fontana /*
21b248f14SClaudio Fontana * x86 memory access helpers
31b248f14SClaudio Fontana *
41b248f14SClaudio Fontana * Copyright (c) 2003 Fabrice Bellard
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/exec-all.h"
241b248f14SClaudio Fontana #include "exec/cpu_ldst.h"
251b248f14SClaudio Fontana #include "qemu/int128.h"
261b248f14SClaudio Fontana #include "qemu/atomic128.h"
271b248f14SClaudio Fontana #include "tcg/tcg.h"
28*ed69e831SClaudio Fontana #include "helper-tcg.h"
291b248f14SClaudio Fontana
helper_boundw(CPUX86State * env,target_ulong a0,int v)301b248f14SClaudio Fontana void helper_boundw(CPUX86State *env, target_ulong a0, int v)
311b248f14SClaudio Fontana {
321b248f14SClaudio Fontana int low, high;
331b248f14SClaudio Fontana
341b248f14SClaudio Fontana low = cpu_ldsw_data_ra(env, a0, GETPC());
351b248f14SClaudio Fontana high = cpu_ldsw_data_ra(env, a0 + 2, GETPC());
361b248f14SClaudio Fontana v = (int16_t)v;
371b248f14SClaudio Fontana if (v < low || v > high) {
381b248f14SClaudio Fontana if (env->hflags & HF_MPX_EN_MASK) {
391b248f14SClaudio Fontana env->bndcs_regs.sts = 0;
401b248f14SClaudio Fontana }
411b248f14SClaudio Fontana raise_exception_ra(env, EXCP05_BOUND, GETPC());
421b248f14SClaudio Fontana }
431b248f14SClaudio Fontana }
441b248f14SClaudio Fontana
helper_boundl(CPUX86State * env,target_ulong a0,int v)451b248f14SClaudio Fontana void helper_boundl(CPUX86State *env, target_ulong a0, int v)
461b248f14SClaudio Fontana {
471b248f14SClaudio Fontana int low, high;
481b248f14SClaudio Fontana
491b248f14SClaudio Fontana low = cpu_ldl_data_ra(env, a0, GETPC());
501b248f14SClaudio Fontana high = cpu_ldl_data_ra(env, a0 + 4, GETPC());
511b248f14SClaudio Fontana if (v < low || v > high) {
521b248f14SClaudio Fontana if (env->hflags & HF_MPX_EN_MASK) {
531b248f14SClaudio Fontana env->bndcs_regs.sts = 0;
541b248f14SClaudio Fontana }
551b248f14SClaudio Fontana raise_exception_ra(env, EXCP05_BOUND, GETPC());
561b248f14SClaudio Fontana }
571b248f14SClaudio Fontana }
58