Searched defs:fpc_bits (Results 1 – 1 of 1) sorted by relevance
1533 IRTemp fpc_bits = newTemp(Ity_I32); in get_bfp_rounding_mode_from_fpc() local1605 IRTemp fpc_bits = newTemp(Ity_I32); in get_dfp_rounding_mode_from_fpc() local