Lines Matching refs:mkUifU32
761 static IRAtom* mkUifU32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
783 case Ity_I32: return mkUifU32(mce, a1, a2);
1283 curr = mkUifU32(mce, here, curr);
1789 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
1814 return mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
1828 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
1864 uifu = mkUifU32; difd = mkDifD32;
1880 uifu = mkUifU32; difd = mkDifD32;
1903 return mkUifU32(mce, vatom1, vatom2);
2351 curr = mkUifU32(mce, here, curr);
2384 curr = mkUifU32(mce, here, curr);
2419 curr = mkUifU32(mce, here, curr);
2429 curr = mkUifU32(mce, here, curr);