Home | History | Annotate | Download | only in memcheck

Lines Matching refs:mkUifU64

546 static IRAtom* mkUifU64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
583       case Ity_I64:  return mkUifU64(mce, a1, a2);
1799                    ? mkUifU64(mce, here, curr)
2205    at = mkUifU64(mce, vatomX, vatomY);
2608    at = mkUifU64(mce, vatom1, vatom2);
2617    at = mkUifU64(mce, vatom1, vatom2);
2626    at = mkUifU64(mce, vatom1, vatom2);
2635    at = mkUifU64(mce, vatom1, vatom2);
3045          return mkUifU64(mce,
3054          return mkUifU64(mce,
3063          return mkUifU64(mce,
3099          return mkUifU64(
3366                                     mkUifU64(mce, vatom1, vatom2));
3372                                     mkUifU64(mce, vatom1, vatom2));
3378                                     mkUifU64(mce, vatom1, vatom2));
3689          IRAtom* vLo64 = mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
3771          return mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
3797          return mkPCastTo(mce, Ity_I1, mkUifU64(mce, vatom1,vatom2));
3851          uifu = mkUifU64; difd = mkDifD64; 
3870          uifu = mkUifU64; difd = mkDifD64; 
3898          return mkUifU64(mce, vatom1, vatom2);