Searched refs:irt_regD (Results 1 – 1 of 1) sorted by relevance
10654 IRTemp irt_regD = newTemp(Ity_I64); in decode_V6MEDIA_instruction() local10673 assign( irt_regD, binop(Iop_32HLto64, in decode_V6MEDIA_instruction()10676 assign( irt_res, binop(Iop_Add64, mkexpr(irt_regD), mkexpr(irt_prod)) ); in decode_V6MEDIA_instruction()