Lines Matching defs:oldV
12200 IRTemp oldV = IRTemp_INVALID;
12261 oldV = newTemp(Ity_I32);
12262 assign( oldV, mk_armg_calculate_flag_v() );
12288 // oldV has been read just above
12290 res, shco, oldV, condT );
12319 oldV = newTemp(Ity_I32);
12320 assign( oldV, mk_armg_calculate_flag_v() );
12334 res, shco, oldV, condT );
12388 oldV = newTemp(Ity_I32);
12389 assign( oldV, mk_armg_calculate_flag_v() );
12392 res, shco, oldV, condT );
13124 IRTemp oldV = IRTemp_INVALID;
13131 oldV = newTemp(Ity_I32);
13132 assign(oldV, mk_armg_calculate_flag_v());
13140 mkexpr(oldV)) );
13172 IRTemp oldV = IRTemp_INVALID;
13183 oldV = newTemp(Ity_I32);
13184 assign(oldV, mk_armg_calculate_flag_v());
13192 mkexpr(oldV)) );
13221 IRTemp oldV = IRTemp_INVALID;
13231 oldV = newTemp(Ity_I32);
13232 assign(oldV, mk_armg_calculate_flag_v());
13241 mkexpr(oldV)) );
13271 IRTemp oldV = IRTemp_INVALID;
13284 oldV = newTemp(Ity_I32);
13285 assign(oldV, mk_armg_calculate_flag_v());
13294 mkexpr(oldV)) );
14667 IRTemp oldV = newTemp(Ity_I32);
14670 assign( oldV, mk_armg_calculate_flag_v() );
14673 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV, condT );
14699 IRTemp oldV = newTemp(Ity_I32);
14702 assign( oldV, mk_armg_calculate_flag_v() );
14707 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV,
14730 IRTemp oldV = newTemp(Ity_I32);
14732 assign( oldV, mk_armg_calculate_flag_v() );
14738 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV,
14750 IRTemp oldV = newTemp(Ity_I32);
14752 assign( oldV, mk_armg_calculate_flag_v() );
14759 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV,
14870 IRTemp oldV = newTemp(Ity_I32);
14878 assign(oldV, mk_armg_calculate_flag_v());
14910 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, resC, oldV,
15566 IRTemp oldV = newTemp(Ity_I32);
15569 assign( oldV, mk_armg_calculate_flag_v() );
15573 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV,
15815 IRTemp oldV = newTemp(Ity_I32);
15818 assign(oldV, mk_armg_calculate_flag_v());
15845 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, resC, oldV,
16181 IRTemp oldV = newTemp(Ity_I32);
16189 assign( oldV, mk_armg_calculate_flag_v() );
16193 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV, condT );
16352 IRTemp oldV = newTemp(Ity_I32);
16354 assign( oldV, mk_armg_calculate_flag_v() );
16358 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV,
16568 IRTemp oldV = newTemp(Ity_I32);
16569 assign( oldV, mk_armg_calculate_flag_v() );
16570 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV,
16598 IRTemp oldV = bS ? newTemp(Ity_I32) : IRTemp_INVALID;
16608 assign(oldV, mk_armg_calculate_flag_v());
16611 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV,
16647 IRTemp oldV = newTemp(Ity_I32);
16648 assign( oldV, mk_armg_calculate_flag_v() );
16649 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV, condT);
16684 IRTemp oldV = newTemp(Ity_I32);
16685 assign( oldV, mk_armg_calculate_flag_v() );
16691 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV,
16748 IRTemp oldV = newTemp(Ity_I32);
16750 assign( oldV, mk_armg_calculate_flag_v() );
16754 setFlags_D1_D2_ND( ARMG_CC_OP_LOGIC, res, oldC, oldV,
