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