Lines Matching defs:con
376 if (ex->Iex.Const.con->tag == Ico_F64i) {
379 IRExpr_Const(ex->Iex.Const.con)));
1094 IRConst *c1 = e1->Iex.Const.con;
1095 IRConst *c2 = e2->Iex.Const.con;
1170 IRConst *c1 = e1->Iex.Const.con;
1171 IRConst *c2 = e2->Iex.Const.con;
1185 && e->Iex.Const.con->tag == Ico_U32
1186 && e->Iex.Const.con->Ico.U32 == 0);
1195 && e->Iex.Const.con->tag == Ico_U64
1196 && e->Iex.Const.con->Ico.U64 == 0);
1204 && e->Iex.Const.con->tag == Ico_V128
1205 && e->Iex.Const.con->Ico.V128 == 0x0000);
1212 && e->Iex.Const.con->tag == Ico_V256
1213 && e->Iex.Const.con->Ico.V256 == 0x00000000);
1220 switch (e->Iex.Const.con->tag) {
1221 case Ico_U1: return toBool( e->Iex.Const.con->Ico.U1 == 0);
1222 case Ico_U8: return toBool( e->Iex.Const.con->Ico.U8 == 0);
1223 case Ico_U16: return toBool( e->Iex.Const.con->Ico.U16 == 0);
1224 case Ico_U32: return toBool( e->Iex.Const.con->Ico.U32 == 0);
1225 case Ico_U64: return toBool( e->Iex.Const.con->Ico.U64 == 0);
1226 case Ico_V256: return toBool( e->Iex.Const.con->Ico.V256 == 0x00000000);
1235 switch (e->Iex.Const.con->tag) {
1236 case Ico_U8: return toBool( e->Iex.Const.con->Ico.U8 == 0xFF);
1237 case Ico_U16: return toBool( e->Iex.Const.con->Ico.U16 == 0xFFFF);
1238 case Ico_U32: return toBool( e->Iex.Const.con->Ico.U32
1240 case Ico_U64: return toBool( e->Iex.Const.con->Ico.U64
1383 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1388 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1393 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1399 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1404 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1409 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1414 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1419 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U8;
1426 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1434 0xFFULL & e->Iex.Unop.arg->Iex.Const.con->Ico.U8));
1438 con->Ico.U16));
1442 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8));
1445 UShort u16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U8;
1453 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8));
1457 0xFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U16));
1461 0xFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)));
1465 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)));
1469 1 == (1 & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)
1474 1 == (1 & e->Iex.Unop.arg->Iex.Const.con->Ico.U64)
1480 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.V128)));
1484 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U64)));
1488 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U32)));
1492 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U16))));
1496 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U8))));
1501 notBool(e->Iex.Unop.arg->Iex.Const.con->Ico.U1)));
1505 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1511 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1517 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1523 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1531 & e->Iex.Unop.arg->Iex.Const.con->Ico.U32));
1534 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1541 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1549 UShort w16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1555 UShort w16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1565 (0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8)
1571 (0xFFFFFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)
1576 0ULL != e->Iex.Unop.arg->Iex.Const.con->Ico.U64
1581 UInt w32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1589 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1598 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1606 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1614 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1620 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1631 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1640 UShort v128 = e->Iex.Unop.arg->Iex.Const.con->Ico.V128;
1649 UShort v128 = e->Iex.Unop.arg->Iex.Const.con->Ico.V128;
1658 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1670 UInt v256 = e->Iex.Unop.arg->Iex.Const.con->Ico.V256;
1682 UShort v128 = e->Iex.Unop.arg->Iex.Const.con->Ico.V128;
1707 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1708 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1712 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16
1713 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U16))));
1717 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1718 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1722 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1723 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1727 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128
1728 | e->Iex.Binop.arg2->Iex.Const.con->Ico.V128)));
1734 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1735 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1739 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16
1740 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U16))));
1744 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1745 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1749 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1750 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1754 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128
1755 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.V128)));
1761 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1762 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1766 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16
1767 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U16))));
1771 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1772 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1776 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1777 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1781 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128
1782 & e->Iex.Binop.arg2->Iex.Const.con->Ico.V128)));
1788 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1789 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1793 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1794 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1798 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1799 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1805 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1806 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1810 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1811 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1815 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1816 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1821 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32;
1822 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32;
1831 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1832 * e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1836 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1837 * e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1842 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32;
1843 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32;
1856 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1857 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1860 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1864 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1865 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1868 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1876 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1877 s32 = (Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32);
1878 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1888 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1889 s64 = (Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64);
1890 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1902 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1903 u32 = (UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32);
1904 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1914 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1915 u64 = (ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64);
1916 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1927 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1928 == e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))));
1932 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1933 == e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))));
1941 ((0xFF & e->Iex.Binop.arg1->Iex.Const.con->Ico.U8)
1942 != (0xFF & e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))));
1948 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1949 != e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))));
1955 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1956 != e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))));
1962 ((UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1963 <= (UInt)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1967 ((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1968 <= (ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1974 ((Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1975 <= (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1979 ((Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1980 <= (Long)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1986 ((Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1987 < (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1991 ((Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1992 < (Long)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1998 ((UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1999 < (UInt)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
2003 ((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
2004 < (ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
2010 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32;
2011 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32;
2029 ->Iex.Const.con->Ico.U32)) << 32)
2030 | ((ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))
2045 ULong argHi = e->Iex.Binop.arg1->Iex.Const.con->Ico.U64;
2046 ULong argLo = e->Iex.Binop.arg2->Iex.Const.con->Ico.U64;
2070 UShort arg1 = e->Iex.Binop.arg1->Iex.Const.con->Ico.V128;
2071 UShort arg2 = e->Iex.Binop.arg2->Iex.Const.con->Ico.V128;
2361 vassert(e->Iex.ITE.cond->Iex.Const.con->tag == Ico_U1);
2362 e2 = e->Iex.ITE.cond->Iex.Const.con->Ico.U1
2441 && rhs->Iex.Const.con->tag != Ico_F64i)
2610 vassert(fguard->Iex.Const.con->tag == Ico_U1);
2611 if (fguard->Iex.Const.con->Ico.U1 == False) {
2614 vassert(fguard->Iex.Const.con->Ico.U1 == True);
2637 vassert(fguard->Iex.Const.con->tag == Ico_U1);
2638 if (fguard->Iex.Const.con->Ico.U1 == False) {
2643 vassert(fguard->Iex.Const.con->Ico.U1 == True);
2731 vassert(fcond->Iex.Const.con->tag == Ico_U1);
2732 if (fcond->Iex.Const.con->Ico.U1 == False) {
2736 vassert(fcond->Iex.Const.con->Ico.U1 == True);
2822 && st2->Ist.WrTmp.data->Iex.Const.con->tag != Ico_F64i) {
2836 vassert(guard->Iex.Const.con->tag == Ico_U1);
2837 vassert(guard->Iex.Const.con->Ico.U1 == True);
2885 vassert(guard->Iex.Const.con->tag == Ico_U1);
2886 vassert(guard->Iex.Const.con->Ico.U1 == True);
3071 && e->Iex.Const.con->tag == Ico_U1
3072 && e->Iex.Const.con->Ico.U1 == False );
3079 && e->Iex.Const.con->tag == Ico_U1
3080 && e->Iex.Const.con->Ico.U1 == True );
3344 union { IRTemp tmp; IRConst* con; } u;
3354 return eqIRConst(tc1->u.con, tc2->u.con);
3384 tc->u.con = e->Iex.Const.con;
3397 case TCc: return IRExpr_Const(tc->u.con);
3579 IRConst *con, *con0, *con1;
3588 con = LibVEX_Alloc_inline(sizeof(IRConst));
3589 *con = ae->u.Btc.con2;
3592 IRExpr_Const(con) );
3594 con = LibVEX_Alloc_inline(sizeof(IRConst));
3595 *con = ae->u.Bct.con1;
3597 IRExpr_Const(con),
3754 ae->u.Btc.con2 = *(e->Iex.Binop.arg2->Iex.Const.con);
3763 ae->u.Bct.con1 = *(e->Iex.Binop.arg1->Iex.Const.con);
3769 if (e->Iex.Const.con->tag == Ico_F64i) {
3772 ae->u.Cf64i.f64i = e->Iex.Const.con->Ico.F64i;
3792 ae->u.Itct.con1 = *(e->Iex.ITE.iftrue->Iex.Const.con);
3802 ae->u.Ittc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con);
3809 ae->u.Itcc.con1 = *(e->Iex.ITE.iftrue->Iex.Const.con);
3810 ae->u.Itcc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con);
4054 *i32 = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32);
4074 /* the (var, con) pair contain the current 'representation' for
4077 Int con = 0;
4091 con += ii;
4102 *i32 = con;
4113 Int i, con, con2;
4120 /* Try to collapse 't1 = Add32/Sub32(t2, con)'. */
4123 && isAdd32OrSub32(st->Ist.WrTmp.data, &var, &con)) {
4125 /* So e1 is of the form Add32(var,con) or Sub32(var,-con).
4133 con2 += con;
4154 /* Try to collapse 't1 = GetI[t2, con]'. */
4180 /* Perhaps st is PutI[t, con] ? */
4751 IRConst* con;
4772 && (udst->Iex.Const.con->tag == Ico_U32
4773 con->tag == Ico_U64)) {
4776 xxx_value = udst->Iex.Const.con->tag == Ico_U64
4777 ? udst->Iex.Const.con->Ico.U64
4778 : (Addr64)(udst->Iex.Const.con->Ico.U32);
4817 con = st->Ist.Exit.dst;
4818 vassert(con->tag == Ico_U32 || con->tag == Ico_U64);
4820 xxx_value = con->tag == Ico_U64
4825 vassert(con->tag == udst->Iex.Const.con->tag);
4855 con = st->Ist.Exit.dst;
4856 vassert(con->tag == Ico_U32 || con->tag == Ico_U64);
4860 vassert(udst->Iex.Const.con->tag == Ico_U32
4861 || udst->Iex.Const.con->tag == Ico_U64);
4862 vassert(con->tag == udst->Iex.Const.con->tag);
4865 if (con->tag == Ico_U64) {
4866 udst->Iex.Const.con->Ico.U64 = xxx_value;
4867 con->Ico.U64 = yyy_value;
4869 udst->Iex.Const.con->Ico.U32 = (UInt)xxx_value;
4870 con->Ico.U32 = (UInt)yyy_value;
