Searched defs:ccPPC32 (Results 1 – 1 of 1) sorted by relevance
11162 IRTemp ccPPC32 = newTemp(Ity_I32); in dis_fp_cmp() local13499 IRTemp ccPPC32 = newTemp( Ity_I32 ); in dis_dfp_compare() local18307 IRTemp ccPPC32; in dis_vx_cmp() local18346 IRTemp ccPPC32 = newTemp(Ity_I32); in do_vvec_fp_cmp() local