Home
last modified time | relevance | path

Searched refs:abs_divisor (Results 1 – 11 of 11) sorted by relevance

/dports/emulators/qemu-utils/qemu-4.2.1/target/tricore/
H A Dop_helper.c2026 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_b_13() local
2035 abs_divisor = abs((int32_t)r2); in helper_dvinit_b_13()
2038 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_b_13()
2066 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_h_13() local
2075 abs_divisor = abs((int32_t)r2); in helper_dvinit_h_13()
2078 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_h_13()
/dports/emulators/qemu5/qemu-5.2.0/target/tricore/
H A Dop_helper.c2026 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_b_13() local
2035 abs_divisor = abs((int32_t)r2); in helper_dvinit_b_13()
2038 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_b_13()
2066 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_h_13() local
2075 abs_divisor = abs((int32_t)r2); in helper_dvinit_h_13()
2078 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_h_13()
/dports/emulators/qemu-guest-agent/qemu-5.0.1/target/tricore/
H A Dop_helper.c2026 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_b_13() local
2035 abs_divisor = abs((int32_t)r2); in helper_dvinit_b_13()
2038 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_b_13()
2066 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_h_13() local
2075 abs_divisor = abs((int32_t)r2); in helper_dvinit_h_13()
2078 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_h_13()
/dports/emulators/qemu-powernv/qemu-powernv-3.0.50/target/tricore/
H A Dop_helper.c2019 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_b_13() local
2028 abs_divisor = abs((int32_t)r2); in helper_dvinit_b_13()
2031 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_b_13()
2059 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_h_13() local
2068 abs_divisor = abs((int32_t)r2); in helper_dvinit_h_13()
2071 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_h_13()
/dports/emulators/qemu42/qemu-4.2.1/target/tricore/
H A Dop_helper.c2026 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_b_13() local
2035 abs_divisor = abs((int32_t)r2); in helper_dvinit_b_13()
2038 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_b_13()
2066 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_h_13() local
2075 abs_divisor = abs((int32_t)r2); in helper_dvinit_h_13()
2078 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_h_13()
/dports/emulators/qemu-cheri/qemu-0a323821042c36e21ea80e58b9545dfc3b0cb8ef/target/tricore/
H A Dop_helper.c2026 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_b_13() local
2035 abs_divisor = abs((int32_t)r2); in helper_dvinit_b_13()
2038 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_b_13()
2066 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_h_13() local
2075 abs_divisor = abs((int32_t)r2); in helper_dvinit_h_13()
2078 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_h_13()
/dports/emulators/qemu-devel/qemu-de8ed1055c2ce18c95f597eb10df360dcb534f99/target/tricore/
H A Dop_helper.c2026 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_b_13() local
2035 abs_divisor = abs((int32_t)r2); in helper_dvinit_b_13()
2038 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_b_13()
2066 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_h_13() local
2075 abs_divisor = abs((int32_t)r2); in helper_dvinit_h_13()
2078 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_h_13()
/dports/emulators/qemu/qemu-6.2.0/target/tricore/
H A Dop_helper.c2019 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_b_13() local
2028 abs_divisor = abs((int32_t)r2); in helper_dvinit_b_13()
2031 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_b_13()
2059 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_h_13() local
2068 abs_divisor = abs((int32_t)r2); in helper_dvinit_h_13()
2071 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_h_13()
/dports/emulators/qemu60/qemu-6.0.0/target/tricore/
H A Dop_helper.c2026 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_b_13() local
2035 abs_divisor = abs((int32_t)r2); in helper_dvinit_b_13()
2038 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_b_13()
2066 int32_t abs_sig_dividend, abs_divisor; in helper_dvinit_h_13() local
2075 abs_divisor = abs((int32_t)r2); in helper_dvinit_h_13()
2078 env->PSW_USB_V = (abs_sig_dividend >= abs_divisor) << 31; in helper_dvinit_h_13()
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dtheory_arith_core.h534 expr_ref div(m), mod(m), zero(m), abs_divisor(m), one(m); in mk_idiv_mod_axioms()
540 …abs_divisor = m_util.mk_sub(m.mk_ite(m_util.mk_lt(divisor, zero), m_util.mk_sub(zero, divisor), di… in mk_idiv_mod_axioms()
541 s(abs_divisor); in mk_idiv_mod_axioms()
545 upper = m_util.mk_le(mod, abs_divisor); in mk_idiv_mod_axioms()
553 mk_axiom(eqz, upper, !m_util.is_numeral(abs_divisor)); in mk_idiv_mod_axioms()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dtheory_arith_core.h534 expr_ref div(m), mod(m), zero(m), abs_divisor(m), one(m); in mk_idiv_mod_axioms()
540 …abs_divisor = m_util.mk_sub(m.mk_ite(m_util.mk_lt(divisor, zero), m_util.mk_sub(zero, divisor), di… in mk_idiv_mod_axioms()
541 s(abs_divisor); in mk_idiv_mod_axioms()
545 upper = m_util.mk_le(mod, abs_divisor); in mk_idiv_mod_axioms()
553 mk_axiom(eqz, upper, !m_util.is_numeral(abs_divisor)); in mk_idiv_mod_axioms()