Lines Matching refs:mkUifU16
755 static IRAtom* mkUifU16 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
782 case Ity_I16: return mkUifU16(mce, a1, a2);
1796 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
1819 return mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
1831 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
1867 uifu = mkUifU16; difd = mkDifD16;
1883 uifu = mkUifU16; difd = mkDifD16;
1901 return mkUifU16(mce, vatom1, vatom2);