Lines Matching refs:mkUifU32
548 static IRAtom* mkUifU32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
590 case Ity_I32: return mkUifU32(mce, a1, a2);
1869 : mkUifU32(mce, here, curr);
2744 at = mkUifU32(mce, vatom1, vatom2);
2753 at = mkUifU32(mce, vatom1, vatom2);
3926 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
3977 return mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
4042 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
4083 uifu = mkUifU32; difd = mkDifD32;
4102 uifu = mkUifU32; difd = mkDifD32;
4125 return mkUifU32(mce, vatom1, vatom2);
5312 curr = mkUifU32(mce, here, curr);
5357 curr = mkUifU32(mce, here, curr);
5394 curr = mkUifU32(mce, here, curr);
5404 curr = mkUifU32(mce, here, curr);
5414 curr = mkUifU32(mce, here, curr);