Home | History | Annotate | Download | only in priv

Lines Matching full:t_dep1

1393                          IRTemp t_dep1, IRTemp t_dep2, IRTemp t_ndep )
1395 vassert(typeOfIRTemp(irsb->tyenv, t_dep1 == Ity_I64));
1400 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(t_dep1) ));
1478 IRTemp t_dep1 = IRTemp_INVALID;
1488 t_dep1 = argL;
1491 t_dep1 = newTemp(Ity_I64);
1493 assign(t_dep1, unop(Iop_32Uto64, mkexpr(argL)));
1509 assign(dep1, IRExpr_ITE(mkexpr(cond), mkexpr(t_dep1), mkexpr(f_dep1)));
1551 //ZZ static void setFlags_D1_D2 ( UInt cc_op, IRTemp t_dep1,
1557 //ZZ setFlags_D1_D2_ND( cc_op, t_dep1, t_dep2, z32, guardT );
1563 //ZZ static void setFlags_D1_ND ( UInt cc_op, IRTemp t_dep1,
1569 //ZZ setFlags_D1_D2_ND( cc_op, t_dep1, z32, t_ndep, guardT );
1575 //ZZ static void setFlags_D1 ( UInt cc_op, IRTemp t_dep1,
1580 //ZZ setFlags_D1_D2_ND( cc_op, t_dep1, z32, z32, guardT );