Lines Matching defs:mkPCastTo
934 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits )
960 VG_(tool_panic)("mkPCastTo(1)");
981 VG_(tool_panic)("mkPCastTo(2)");
1038 cond = mkPCastTo( mce, Ity_I1, vatom );
1251 at = mkPCastTo(mce, Ity_I32, va1);
1252 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va2));
1253 at = mkPCastTo(mce, finalVty, at);
1282 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, exprvec[i]) );
1286 return mkPCastTo(mce, finalVtype, curr );
1440 at = mkPCastTo(mce, Ity_I32, at);
1451 at = mkPCastTo(mce, Ity_I32, at);
1486 at = mkPCastTo(mce, Ity_I64, at);
1497 at = mkPCastTo(mce, Ity_I64, at);
1790 IRAtom* vHi32 = mkPCastTo(mce, Ity_I32, vLo32);
1797 IRAtom* vHi16 = mkPCastTo(mce, Ity_I16, vLo16);
1804 IRAtom* vHi8 = mkPCastTo(mce, Ity_I8, vLo8);
1828 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
1831 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
1834 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2));
1952 return mkPCastTo(mce, Ity_I64, vatom);
1956 return mkPCastTo(mce, Ity_I32, vatom);
2111 mkPCastTo(mce, ty, vbitsC) );
2350 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, d->args[i]) );
2383 here = mkPCastTo( mce, Ity_I32, src );
2414 here = mkPCastTo(
2424 here = mkPCastTo(
2443 assign( mce->bb, dst, mkPCastTo( mce, tyDst, curr) );
2468 mkPCastTo( mce, tyDst, curr ) );
2482 mkPCastTo( mce, Ity_I32, curr ) );
2489 mkPCastTo( mce, Ity_I16, curr ) );