Lines Matching refs:mkUifU64
554 static IRAtom* mkUifU64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifU64() function
591 case Ity_I64: return mkUifU64(mce, a1, a2); in mkUifU()
1868 ? mkUifU64(mce, here, curr) in mkLazyN()
2274 at = mkUifU64(mce, vatomX, vatomY); in binary32Fx2()
2706 at = mkUifU64(mce, vatom1, vatom2); in binary8Ix8()
2715 at = mkUifU64(mce, vatom1, vatom2); in binary16Ix4()
2724 at = mkUifU64(mce, vatom1, vatom2); in binary32Ix2()
2733 at = mkUifU64(mce, vatom1, vatom2); in binary64Ix1()
3145 return mkUifU64(mce, in expr2vbits_Binop()
3154 return mkUifU64(mce, in expr2vbits_Binop()
3163 return mkUifU64(mce, in expr2vbits_Binop()
3199 return mkUifU64( in expr2vbits_Binop()
3588 mkUifU64(mce, vatom1, vatom2)); in expr2vbits_Binop()
3594 mkUifU64(mce, vatom1, vatom2)); in expr2vbits_Binop()
3600 mkUifU64(mce, vatom1, vatom2)); in expr2vbits_Binop()
3922 IRAtom* vLo64 = mkLeft64(mce, mkUifU64(mce, vatom1,vatom2)); in expr2vbits_Binop()
4004 return mkLeft64(mce, mkUifU64(mce, vatom1,vatom2)); in expr2vbits_Binop()
4030 return mkPCastTo(mce, Ity_I1, mkUifU64(mce, vatom1,vatom2)); in expr2vbits_Binop()
4084 uifu = mkUifU64; difd = mkDifD64; in expr2vbits_Binop()
4103 uifu = mkUifU64; difd = mkDifD64; in expr2vbits_Binop()
4131 return mkUifU64(mce, vatom1, vatom2); in expr2vbits_Binop()