Searched defs:TE_I64 (Results 1 – 1 of 1) sorted by relevance
10714 IRTemp TE_I64 = newTemp( Ity_I64 ); in dis_dfp_quantize_sig_rrnd() local10808 IRTemp TE_I64 = newTemp( Ity_I64 ); in dis_dfp_quantize_sig_rrndq() local