Lines Matching refs:mkUifU32
533 static IRAtom* mkUifU32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
575 case Ity_I32: return mkUifU32(mce, a1, a2);
1697 : mkUifU32(mce, here, curr);
2374 at = mkUifU32(mce, vatom1, vatom2);
2383 at = mkUifU32(mce, vatom1, vatom2);
3333 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
3384 return mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
3438 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
3476 uifu = mkUifU32; difd = mkDifD32;
3495 uifu = mkUifU32; difd = mkDifD32;
3518 return mkUifU32(mce, vatom1, vatom2);
4432 curr = mkUifU32(mce, here, curr);
4477 curr = mkUifU32(mce, here, curr);
4514 curr = mkUifU32(mce, here, curr);
4524 curr = mkUifU32(mce, here, curr);
4534 curr = mkUifU32(mce, here, curr);