Searched refs:B_inf_true (Results 1 – 1 of 1) sorted by relevance
10931 IRTemp B_inf_true = newTemp( Ity_I32 ); in dis_dfp_exponent_test() local11019 assign( B_inf_true, in dis_dfp_exponent_test()11033 mkexpr( B_inf_true ) ) ) ) ); in dis_dfp_exponent_test()11049 mkexpr( B_inf_true ) ), in dis_dfp_exponent_test()11085 mkexpr ( B_inf_true ) ), in dis_dfp_exponent_test()