Home | History | Annotate | Download | only in priv

Lines Matching defs:dest2

7967    IRTemp dest2 = newTemp(ty);
7992       assign( dest2, IRExpr_Mux0X(mkexpr(cond8), mkexpr(dest), mkexpr(src)) );
7995       putIRegE(size, pfx, rm, mkexpr(dest2));
8009       assign( dest2, IRExpr_Mux0X(mkexpr(cond8), mkexpr(dest), mkexpr(src)) );
8012       storeLE( mkexpr(addr), mkexpr(dest2) );