Home | History | Annotate | Download | only in priv

Lines Matching defs:dest2

8358    IRTemp dest2 = newTemp(ty);
8400       assign( dest2, IRExpr_ITE(mkexpr(cond), mkexpr(src), mkexpr(dest)) );
8403       putIRegE(size, pfx, rm, mkexpr(dest2));
8417       assign( dest2, IRExpr_ITE(mkexpr(cond), mkexpr(src), mkexpr(dest)) );
8420       storeLE( mkexpr(addr), mkexpr(dest2) );