Lines Matching full:curr
1292 IRAtom* curr = definedOfType(Ity_I32);
1306 curr = mkUifU32(mce, here, curr);
1309 return mkPCastTo(mce, finalVtype, curr );
2358 IRAtom *src, *here, *curr;
2366 curr = definedOfType(Ity_I32);
2374 curr = mkUifU32(mce, here, curr);
2401 /* update 'curr' with UifU of the state slice
2407 curr = mkUifU32(mce, here, curr);
2442 curr = mkUifU32(mce, here, curr);
2452 curr = mkUifU32(mce, here, curr);
2458 /* Whew! So curr is a 32-bit V-value summarising pessimistically
2466 assign( mce->bb, dst, mkPCastTo( mce, tyDst, curr) );
2486 /* Write suitably-casted 'curr' to the state slice
2491 mkPCastTo( mce, tyDst, curr ) );
2505 mkPCastTo( mce, Ity_I32, curr ) );
2512 curr ) );
