Lines Matching refs:mkPCastTo
741 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits )
801 VG_(tool_panic)("mkPCastTo(1)");
826 VG_(tool_panic)("mkPCastTo(2)");
913 mkPCastTo(mce,ty,
927 = mkPCastTo( mce,ty,
934 = mkPCastTo( mce, Ity_I1, improved );
1030 mkPCastTo(mce,ty, xxhash),
1049 mkPCastTo( mce,ty,
1125 cond = mkPCastTo( mce, Ity_I1, vatom );
1457 at = mkPCastTo(mce, Ity_I64, at);
1465 at = mkPCastTo(mce, Ity_I32, at);
1480 at = mkPCastTo(mce, Ity_I32, va1);
1481 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va2));
1482 at = mkPCastTo(mce, finalVty, at);
1512 at = mkPCastTo(mce, Ity_I64, va1);
1517 at = mkPCastTo(mce, Ity_I64, at);
1525 at = mkPCastTo(mce, Ity_I64, va1);
1528 at = mkPCastTo(mce, Ity_I32, at);
1540 at = mkPCastTo(mce, Ity_I32, at);
1552 at = mkPCastTo(mce, Ity_I128, va1);
1557 at = mkPCastTo(mce, Ity_I128, at);
1575 at = mkPCastTo(mce, Ity_I32, va1);
1576 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va2));
1577 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va3));
1578 at = mkPCastTo(mce, finalVty, at);
1611 at = mkPCastTo(mce, Ity_I64, va1);
1617 at = mkPCastTo(mce, Ity_I64, at);
1630 at = mkPCastTo(mce, Ity_I32, at);
1694 here = mkPCastTo( mce, mergeTy, expr2vbits(mce, exprvec[i]) );
1700 return mkPCastTo(mce, finalVtype, curr );
1836 mkPCastTo(mce, ty, qbb)
1968 at = mkPCastTo(mce, Ity_I32, at);
1979 at = mkPCastTo(mce, Ity_I32, at);
2014 at = mkPCastTo(mce, Ity_I64, at);
2025 at = mkPCastTo(mce, Ity_I64, at);
2364 at = mkPCastTo(mce, Ity_I64, at);
3326 IRAtom* vHi64 = mkPCastTo(mce, Ity_I64, vLo64);
3334 IRAtom* vHi32 = mkPCastTo(mce, Ity_I32, vLo32);
3342 IRAtom* vHi16 = mkPCastTo(mce, Ity_I16, vLo16);
3350 IRAtom* vHi8 = mkPCastTo(mce, Ity_I8, vLo8);
3427 return mkPCastTo(mce, Ity_I1, mkUifU64(mce, vatom1,vatom2));
3438 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
3441 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
3444 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2));
3608 return mkPCastTo(mce, Ity_I128, vatom);
3615 return mkPCastTo(mce, Ity_I128, vatom);
3634 return mkPCastTo(mce, Ity_I64, vatom);
3637 return mkPCastTo(mce, Ity_I128, vatom);
3644 return mkPCastTo(mce, Ity_I32, vatom);
3762 return mkPCastTo(mce, Ity_I64, vatom);
3791 return mkPCastTo(mce, Ity_I64,
4007 mkPCastTo(mce, ty, vbitsC) );
4431 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, d->args[i]) );
4476 here = mkPCastTo( mce, Ity_I32, src );
4509 here = mkPCastTo(
4519 here = mkPCastTo(
4529 here = mkPCastTo(
4548 assign( 'V', mce, dst, mkPCastTo( mce, tyDst, curr) );
4578 mkPCastTo( mce, tyDst, curr ), d->guard );
4593 mkPCastTo( mce, Ity_I32, curr ),
4601 mkPCastTo( mce, Ity_I16, curr ),
4609 mkPCastTo( mce, Ity_I8, curr ),
