Lines Matching refs:mkUifU16
542 static IRAtom* mkUifU16 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
589 case Ity_I16: return mkUifU16(mce, a1, a2);
3934 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
4005 return mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
4045 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
4086 uifu = mkUifU16; difd = mkDifD16;
4105 uifu = mkUifU16; difd = mkDifD16;
4123 return mkUifU16(mce, vatom1, vatom2);