Home | History | Annotate | Download | only in priv

Lines Matching defs:dep1

1751       checking.  We're only interested in DEP1 and DEP2. */
1790       interested in DEP1 and DEP2. */
1814 //ZZ       interested in DEP1 and DEP2. */
1837       interested in DEP1 and DEP2. */
1959    IRTemp dep1 = newTemp(Ity_I64);
1964    assign(dep1, IRExpr_ITE(mkexpr(cond), mkexpr(t_dep1), mkexpr(f_dep1)));
1969    stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(dep1) ));