Searched refs:fpc_bits (Results 1 – 1 of 1) sorted by relevance
1533 IRTemp fpc_bits = newTemp(Ity_I32); in get_bfp_rounding_mode_from_fpc() local1539 assign(fpc_bits, binop(Iop_And32, get_fpc_w0(), mkU32(7))); in get_bfp_rounding_mode_from_fpc()1551 IRExpr *rm_s390 = mkite(binop(Iop_CmpLE32S, mkexpr(fpc_bits), mkU32(3)), in get_bfp_rounding_mode_from_fpc()1552 mkexpr(fpc_bits), in get_bfp_rounding_mode_from_fpc()1605 IRTemp fpc_bits = newTemp(Ity_I32); in get_dfp_rounding_mode_from_fpc() local1609 assign(fpc_bits, binop(Iop_Shr32, in get_dfp_rounding_mode_from_fpc()1613 IRExpr *rm_s390 = mkexpr(fpc_bits); in get_dfp_rounding_mode_from_fpc()