Lines Matching refs:curr
1269 IRAtom* curr = definedOfType(Ity_I32);
1283 curr = mkUifU32(mce, here, curr);
1286 return mkPCastTo(mce, finalVtype, curr );
2335 IRAtom *src, *here, *curr;
2343 curr = definedOfType(Ity_I32);
2351 curr = mkUifU32(mce, here, curr);
2378 /* update 'curr' with UifU of the state slice
2384 curr = mkUifU32(mce, here, curr);
2419 curr = mkUifU32(mce, here, curr);
2429 curr = mkUifU32(mce, here, curr);
2435 /* Whew! So curr is a 32-bit V-value summarising pessimistically
2443 assign( mce->bb, dst, mkPCastTo( mce, tyDst, curr) );
2463 /* Write suitably-casted 'curr' to the state slice
2468 mkPCastTo( mce, tyDst, curr ) );
2482 mkPCastTo( mce, Ity_I32, curr ) );
2489 mkPCastTo( mce, Ity_I16, curr ) );
