Lines Matching refs:mkPCastTo
694 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits )
745 VG_(tool_panic)("mkPCastTo(1)");
770 VG_(tool_panic)("mkPCastTo(2)");
857 = mkPCastTo(mce,ty,
871 = mkPCastTo( mce,ty,
878 = mkPCastTo( mce, Ity_I1, improved );
974 mkPCastTo(mce,ty, xxhash),
993 mkPCastTo( mce,ty,
1065 cond = mkPCastTo( mce, Ity_I1, vatom );
1373 at = mkPCastTo(mce, Ity_I64, at);
1381 at = mkPCastTo(mce, Ity_I32, at);
1396 at = mkPCastTo(mce, Ity_I32, va1);
1397 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va2));
1398 at = mkPCastTo(mce, finalVty, at);
1428 at = mkPCastTo(mce, Ity_I64, va1);
1433 at = mkPCastTo(mce, Ity_I64, at);
1441 at = mkPCastTo(mce, Ity_I64, va1);
1444 at = mkPCastTo(mce, Ity_I32, at);
1456 at = mkPCastTo(mce, Ity_I32, at);
1468 at = mkPCastTo(mce, Ity_I128, va1);
1473 at = mkPCastTo(mce, Ity_I128, at);
1491 at = mkPCastTo(mce, Ity_I32, va1);
1492 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va2));
1493 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va3));
1494 at = mkPCastTo(mce, finalVty, at);
1527 at = mkPCastTo(mce, Ity_I64, va1);
1533 at = mkPCastTo(mce, Ity_I64, at);
1546 at = mkPCastTo(mce, Ity_I32, at);
1610 here = mkPCastTo( mce, mergeTy, expr2vbits(mce, exprvec[i]) );
1616 return mkPCastTo(mce, finalVtype, curr );
1752 mkPCastTo(mce, ty, qbb)
1874 at = mkPCastTo(mce, Ity_I32, at);
1885 at = mkPCastTo(mce, Ity_I32, at);
1920 at = mkPCastTo(mce, Ity_I64, at);
1931 at = mkPCastTo(mce, Ity_I64, at);
2226 at = mkPCastTo(mce, Ity_I64, at);
3093 IRAtom* vHi64 = mkPCastTo(mce, Ity_I64, vLo64);
3100 IRAtom* vHi32 = mkPCastTo(mce, Ity_I32, vLo32);
3107 IRAtom* vHi16 = mkPCastTo(mce, Ity_I16, vLo16);
3114 IRAtom* vHi8 = mkPCastTo(mce, Ity_I8, vLo8);
3189 return mkPCastTo(mce, Ity_I1, mkUifU64(mce, vatom1,vatom2));
3200 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
3203 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
3206 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2));
3351 return mkPCastTo(mce, Ity_I128, vatom);
3357 return mkPCastTo(mce, Ity_I128, vatom);
3371 return mkPCastTo(mce, Ity_I64, vatom);
3378 return mkPCastTo(mce, Ity_I32, vatom);
3491 return mkPCastTo(mce, Ity_I64, vatom);
3520 return mkPCastTo(mce, Ity_I64,
3695 mkPCastTo(mce, ty, vbitsC) );
4044 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, d->args[i]) );
4077 here = mkPCastTo( mce, Ity_I32, src );
4110 here = mkPCastTo(
4120 here = mkPCastTo(
4139 assign( 'V', mce, dst, mkPCastTo( mce, tyDst, curr) );
4164 mkPCastTo( mce, tyDst, curr ) );
4178 mkPCastTo( mce, Ity_I32, curr ),
4186 mkPCastTo( mce, Ity_I16, curr ),
