Lines Matching defs:at
17 License, or (at your option) any later version.
176 type of each tmp. If you want to know the type, look at the
177 relevant entry in sb->tyenv. It follows that at all times
185 "typeOfIRExpr(mce->bb->tyenv, ...)" at various places in the
439 the type merely by inspecting 'e'. So at least use that fact to
1128 /* Get the origin info for the value we are about to check. At
1443 IRAtom* at;
1456 at = mkUifU(mce, Ity_I64, va1, va2);
1457 at = mkPCastTo(mce, Ity_I64, at);
1458 return at;
1464 at = mkUifU(mce, Ity_I64, va1, va2);
1465 at = mkPCastTo(mce, Ity_I32, at);
1466 return 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);
1483 return at;
1492 IRAtom* at;
1512 at = mkPCastTo(mce, Ity_I64, va1);
1514 at = mkUifU(mce, Ity_I64, at, va2);
1515 at = mkUifU(mce, Ity_I64, at, va3);
1517 at = mkPCastTo(mce, Ity_I64, at);
1518 return at;
1525 at = mkPCastTo(mce, Ity_I64, va1);
1526 at = mkUifU(mce, Ity_I64, at, va2);
1527 at = mkUifU(mce, Ity_I64, at, va3);
1528 at = mkPCastTo(mce, Ity_I32, at);
1529 return at;
1537 at = va1;
1538 at = mkUifU(mce, Ity_I32, at, va2);
1539 at = mkUifU(mce, Ity_I32, at, va3);
1540 at = mkPCastTo(mce, Ity_I32, at);
1541 return at;
1552 at = mkPCastTo(mce, Ity_I128, va1);
1554 at = mkUifU(mce, Ity_I128, at, va2);
1555 at = mkUifU(mce, Ity_I128, at, va3);
1557 at = mkPCastTo(mce, Ity_I128, at);
1558 return 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);
1579 return at;
1589 IRAtom* at;
1611 at = mkPCastTo(mce, Ity_I64, va1);
1613 at = mkUifU(mce, Ity_I64, at, va2);
1614 at = mkUifU(mce, Ity_I64, at, va3);
1615 at = mkUifU(mce, Ity_I64, at, va4);
1617 at = mkPCastTo(mce, Ity_I64, at);
1618 return at;
1625 at = va1;
1627 at = mkUifU(mce, Ity_I32, at, va2);
1628 at = mkUifU(mce, Ity_I32, at, va3);
1629 at = mkUifU(mce, Ity_I32, at, va4);
1630 at = mkPCastTo(mce, Ity_I32, at);
1631 return at;
1848 static IRAtom* mkPCast8x16 ( MCEnv* mce, IRAtom* at )
1850 return assignNew('V', mce, Ity_V128, unop(Iop_CmpNEZ8x16, at));
1853 static IRAtom* mkPCast16x8 ( MCEnv* mce, IRAtom* at )
1855 return assignNew('V', mce, Ity_V128, unop(Iop_CmpNEZ16x8, at));
1858 static IRAtom* mkPCast32x4 ( MCEnv* mce, IRAtom* at )
1860 return assignNew('V', mce, Ity_V128, unop(Iop_CmpNEZ32x4, at));
1863 static IRAtom* mkPCast64x2 ( MCEnv* mce, IRAtom* at )
1865 return assignNew('V', mce, Ity_V128, unop(Iop_CmpNEZ64x2, at));
1868 static IRAtom* mkPCast64x4 ( MCEnv* mce, IRAtom* at )
1870 return assignNew('V', mce, Ity_V256, unop(Iop_CmpNEZ64x4, at));
1873 static IRAtom* mkPCast32x8 ( MCEnv* mce, IRAtom* at )
1875 return assignNew('V', mce, Ity_V256, unop(Iop_CmpNEZ32x8, at));
1878 static IRAtom* mkPCast32x2 ( MCEnv* mce, IRAtom* at )
1880 return assignNew('V', mce, Ity_I64, unop(Iop_CmpNEZ32x2, at));
1883 static IRAtom* mkPCast16x4 ( MCEnv* mce, IRAtom* at )
1885 return assignNew('V', mce, Ity_I64, unop(Iop_CmpNEZ16x4, at));
1888 static IRAtom* mkPCast8x8 ( MCEnv* mce, IRAtom* at )
1890 return assignNew('V', mce, Ity_I64, unop(Iop_CmpNEZ8x8, at));
1893 static IRAtom* mkPCast16x2 ( MCEnv* mce, IRAtom* at )
1895 return assignNew('V', mce, Ity_I32, unop(Iop_CmpNEZ16x2, at));
1898 static IRAtom* mkPCast8x4 ( MCEnv* mce, IRAtom* at )
1900 return assignNew('V', mce, Ity_I32, unop(Iop_CmpNEZ8x4, at));
1943 IRAtom* at;
1946 at = mkUifUV128(mce, vatomX, vatomY);
1947 at = assignNew('V', mce, Ity_V128, mkPCast32x4(mce, at));
1948 return at;
1954 IRAtom* at;
1956 at = assignNew('V', mce, Ity_V128, mkPCast32x4(mce, vatomX));
1957 return at;
1963 IRAtom* at;
1966 at = mkUifUV128(mce, vatomX, vatomY);
1967 at = assignNew('V', mce, Ity_I32, unop(Iop_V128to32, at));
1968 at = mkPCastTo(mce, Ity_I32, at);
1969 at = assignNew('V', mce, Ity_V128, binop(Iop_SetV128lo32, vatomX, at));
1970 return at;
1976 IRAtom* at;
1978 at = assignNew('V', mce, Ity_I32, unop(Iop_V128to32, vatomX));
1979 at = mkPCastTo(mce, Ity_I32, at);
1980 at = assignNew('V', mce, Ity_V128, binop(Iop_SetV128lo32, vatomX, at));
1981 return at;
1989 IRAtom* at;
1992 at = mkUifUV128(mce, vatomX, vatomY);
1993 at = assignNew('V', mce, Ity_V128, mkPCast64x2(mce, at));
1994 return at;
2000 IRAtom* at;
2002 at = assignNew('V', mce, Ity_V128, mkPCast64x2(mce, vatomX));
2003 return at;
2009 IRAtom* at;
2012 at = mkUifUV128(mce, vatomX, vatomY);
2013 at = assignNew('V', mce, Ity_I64, unop(Iop_V128to64, at));
2014 at = mkPCastTo(mce, Ity_I64, at);
2015 at = assignNew('V', mce, Ity_V128, binop(Iop_SetV128lo64, vatomX, at));
2016 return at;
2022 IRAtom* at;
2024 at = assignNew('V', mce, Ity_I64, unop(Iop_V128to64, vatomX));
2025 at = mkPCastTo(mce, Ity_I64, at);
2026 at = assignNew('V', mce, Ity_V128, binop(Iop_SetV128lo64, vatomX, at));
2027 return at;
2035 IRAtom* at;
2038 at = mkUifU64(mce, vatomX, vatomY);
2039 at = assignNew('V', mce, Ity_I64, mkPCast32x2(mce, at));
2040 return at;
2046 IRAtom* at;
2048 at = assignNew('V', mce, Ity_I64, mkPCast32x2(mce, vatomX));
2049 return at;
2057 IRAtom* at;
2060 at = mkUifUV256(mce, vatomX, vatomY);
2061 at = assignNew('V', mce, Ity_V256, mkPCast64x4(mce, at));
2062 return at;
2068 IRAtom* at;
2070 at = assignNew('V', mce, Ity_V256, mkPCast64x4(mce, vatomX));
2071 return at;
2079 IRAtom* at;
2082 at = mkUifUV256(mce, vatomX, vatomY);
2083 at = assignNew('V', mce, Ity_V256, mkPCast32x8(mce, at));
2084 return at;
2090 IRAtom* at;
2092 at = assignNew('V', mce, Ity_V256, mkPCast32x8(mce, vatomX));
2093 return at;
2118 have a bit of redundancy, but are at least easy to read.
2297 IRAtom* at;
2298 at = mkUifUV128(mce, vatom1, vatom2);
2299 at = mkPCast8x16(mce, at);
2300 return at;
2306 IRAtom* at;
2307 at = mkUifUV128(mce, vatom1, vatom2);
2308 at = mkPCast16x8(mce, at);
2309 return at;
2315 IRAtom* at;
2316 at = mkUifUV128(mce, vatom1, vatom2);
2317 at = mkPCast32x4(mce, at);
2318 return at;
2324 IRAtom* at;
2325 at = mkUifUV128(mce, vatom1, vatom2);
2326 at = mkPCast64x2(mce, at);
2327 return at;
2335 IRAtom* at;
2336 at = mkUifU64(mce, vatom1, vatom2);
2337 at = mkPCast8x8(mce, at);
2338 return at;
2344 IRAtom* at;
2345 at = mkUifU64(mce, vatom1, vatom2);
2346 at = mkPCast16x4(mce, at);
2347 return at;
2353 IRAtom* at;
2354 at = mkUifU64(mce, vatom1, vatom2);
2355 at = mkPCast32x2(mce, at);
2356 return at;
2362 IRAtom* at;
2363 at = mkUifU64(mce, vatom1, vatom2);
2364 at = mkPCastTo(mce, Ity_I64, at);
2365 return at;
2373 IRAtom* at;
2374 at = mkUifU32(mce, vatom1, vatom2);
2375 at = mkPCast8x4(mce, at);
2376 return at;
2382 IRAtom* at;
2383 at = mkUifU32(mce, vatom1, vatom2);
2384 at = mkPCast16x2(mce, at);
2385 return at;
3147 IRAtom* at;
3148 at = binary16Ix8(mce,vatom1,vatom2);
3149 at = assignNew('V', mce, Ity_V128, binop(Iop_ShlN32x4, at, mkU8(16)));
3150 at = assignNew('V', mce, Ity_V128, binop(Iop_SarN32x4, at, mkU8(16)));
3151 return at;
3157 IRAtom* at;
3158 at = binary8Ix16(mce,vatom1,vatom2);
3159 at = assignNew('V', mce, Ity_V128, binop(Iop_ShlN16x8, at, mkU8(8)));
3160 at = assignNew('V', mce, Ity_V128, binop(Iop_SarN16x8, at, mkU8(8)));
3161 return at;
3959 behaves like expr2vbits_Load. If the guard is not true at runtime, an
3961 It is assumed that definedness of GUARD has already been checked at the call
4387 looking at the annotations on it. This is the most complex part of
4720 2. fetch expd#,expdB (what we expect to see at the address)
4738 * 7 is at least gated correctly, since the 'expected == old'
4742 (shadow) value at the address, and then we resume, hence
4749 At least as Valgrind stands, I don't think it's a problem, since
4752 -- context switches can only happen at superblock boundaries.
4819 different thread writes an undefined (and different) value at
4822 there was based on an undefined comparison. No matter; at least
4836 definedness test for "expected == old" was removed at r10432 of
4883 /* 2. fetch expected# (what we expect to see at the address) */
4996 /* 2. fetch expected# (what we expect to see at the address) */
5143 anyway, we're not being PowerPC-specific). At least we are
5164 static Bool isBogusAtom ( IRAtom* at )
5168 tl_assert(isIRAtom(at));
5169 if (at->tag == Iex_RdTmp)
5171 tl_assert(at->tag == Iex_Const);
5172 con = at->Iex.Const.con;
5183 default: ppIRExpr(at); tl_assert(0);
5600 memory references at different constant offsets from the same base
6345 /* For the rationale behind this, see comments at the
