Home | History | Annotate | Download | only in memcheck

Lines Matching refs:mkUifU64

554 static IRAtom* mkUifU64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
591       case Ity_I64:  return mkUifU64(mce, a1, a2);
1868                    ? mkUifU64(mce, here, curr)
2274    at = mkUifU64(mce, vatomX, vatomY);
2706    at = mkUifU64(mce, vatom1, vatom2);
2715    at = mkUifU64(mce, vatom1, vatom2);
2724    at = mkUifU64(mce, vatom1, vatom2);
2733    at = mkUifU64(mce, vatom1, vatom2);
3145          return mkUifU64(mce,
3154          return mkUifU64(mce,
3163          return mkUifU64(mce,
3199          return mkUifU64(
3588                                     mkUifU64(mce, vatom1, vatom2));
3594                                     mkUifU64(mce, vatom1, vatom2));
3600                                     mkUifU64(mce, vatom1, vatom2));
3918          IRAtom* vLo64 = mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
4000          return mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
4026          return mkPCastTo(mce, Ity_I1, mkUifU64(mce, vatom1,vatom2));
4080          uifu = mkUifU64; difd = mkDifD64; 
4099          uifu = mkUifU64; difd = mkDifD64; 
4127          return mkUifU64(mce, vatom1, vatom2);