Searched defs:ccPPC32 (Results 1 – 1 of 1) sorted by relevance
8932 IRTemp ccPPC32 = newTemp(Ity_I32); in dis_fp_cmp() local10990 IRTemp ccPPC32 = newTemp( Ity_I32 ); in dis_dfp_compare() local14985 IRTemp ccPPC32; in dis_vx_cmp() local15023 IRTemp ccPPC32 = newTemp(Ity_I32); in do_vvec_fp_cmp() local