Home | History | Annotate | Download | only in memcheck

Lines Matching refs:mkUifU64

539 static IRAtom* mkUifU64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
576       case Ity_I64:  return mkUifU64(mce, a1, a2);
1696                    ? mkUifU64(mce, here, curr)
2038    at = mkUifU64(mce, vatomX, vatomY);
2336    at = mkUifU64(mce, vatom1, vatom2);
2345    at = mkUifU64(mce, vatom1, vatom2);
2354    at = mkUifU64(mce, vatom1, vatom2);
2363    at = mkUifU64(mce, vatom1, vatom2);
2741          return mkUifU64(mce,
2750          return mkUifU64(mce,
2759          return mkUifU64(mce,
2795          return mkUifU64(
3054                                     mkUifU64(mce, vatom1, vatom2));
3060                                     mkUifU64(mce, vatom1, vatom2));
3066                                     mkUifU64(mce, vatom1, vatom2));
3325          IRAtom* vLo64 = mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
3407          return mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
3427          return mkPCastTo(mce, Ity_I1, mkUifU64(mce, vatom1,vatom2));
3473          uifu = mkUifU64; difd = mkDifD64; 
3492          uifu = mkUifU64; difd = mkDifD64; 
3520          return mkUifU64(mce, vatom1, vatom2);