Lines Matching refs:Const
376 if (ex->Iex.Const.con->tag == Ico_F64i) { in flatten_Expr()
379 IRExpr_Const(ex->Iex.Const.con))); in flatten_Expr()
1094 IRConst *c1 = e1->Iex.Const.con; in sameIRExprs_aux2()
1095 IRConst *c2 = e2->Iex.Const.con; in sameIRExprs_aux2()
1170 IRConst *c1 = e1->Iex.Const.con; in debug_only_hack_sameIRExprs_might_assert()
1171 IRConst *c2 = e2->Iex.Const.con; in debug_only_hack_sameIRExprs_might_assert()
1185 && e->Iex.Const.con->tag == Ico_U32 in isZeroU32()
1186 && e->Iex.Const.con->Ico.U32 == 0); in isZeroU32()
1195 && e->Iex.Const.con->tag == Ico_U64
1196 && e->Iex.Const.con->Ico.U64 == 0);
1204 && e->Iex.Const.con->tag == Ico_V128 in isZeroV128()
1205 && e->Iex.Const.con->Ico.V128 == 0x0000); in isZeroV128()
1212 && e->Iex.Const.con->tag == Ico_V256 in isZeroV256()
1213 && e->Iex.Const.con->Ico.V256 == 0x00000000); in isZeroV256()
1220 switch (e->Iex.Const.con->tag) { in isZeroU()
1221 case Ico_U1: return toBool( e->Iex.Const.con->Ico.U1 == 0); in isZeroU()
1222 case Ico_U8: return toBool( e->Iex.Const.con->Ico.U8 == 0); in isZeroU()
1223 case Ico_U16: return toBool( e->Iex.Const.con->Ico.U16 == 0); in isZeroU()
1224 case Ico_U32: return toBool( e->Iex.Const.con->Ico.U32 == 0); in isZeroU()
1225 case Ico_U64: return toBool( e->Iex.Const.con->Ico.U64 == 0); in isZeroU()
1234 switch (e->Iex.Const.con->tag) { in isOnesU()
1235 case Ico_U8: return toBool( e->Iex.Const.con->Ico.U8 == 0xFF); in isOnesU()
1236 case Ico_U16: return toBool( e->Iex.Const.con->Ico.U16 == 0xFFFF); in isOnesU()
1237 case Ico_U32: return toBool( e->Iex.Const.con->Ico.U32 in isOnesU()
1239 case Ico_U64: return toBool( e->Iex.Const.con->Ico.U64 in isOnesU()
1382 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1387 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1392 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1398 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1403 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1408 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1413 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1418 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U8; in fold_Expr()
1425 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16; in fold_Expr()
1433 0xFFULL & e->Iex.Unop.arg->Iex.Const.con->Ico.U8)); in fold_Expr()
1437 0xFFFFULL & e->Iex.Unop.arg->Iex.Const.con->Ico.U16)); in fold_Expr()
1441 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8)); in fold_Expr()
1444 UShort u16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U8; in fold_Expr()
1452 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8)); in fold_Expr()
1456 0xFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U16)); in fold_Expr()
1460 0xFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32))); in fold_Expr()
1464 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32))); in fold_Expr()
1468 1 == (1 & e->Iex.Unop.arg->Iex.Const.con->Ico.U32) in fold_Expr()
1473 1 == (1 & e->Iex.Unop.arg->Iex.Const.con->Ico.U64) in fold_Expr()
1479 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.V128))); in fold_Expr()
1483 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U64))); in fold_Expr()
1487 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U32))); in fold_Expr()
1491 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U16)))); in fold_Expr()
1495 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U8)))); in fold_Expr()
1500 notBool(e->Iex.Unop.arg->Iex.Const.con->Ico.U1))); in fold_Expr()
1504 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1510 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1516 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1522 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1530 & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)); in fold_Expr()
1533 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16; in fold_Expr()
1540 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32; in fold_Expr()
1548 UShort w16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16; in fold_Expr()
1554 UShort w16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16; in fold_Expr()
1564 (0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8) in fold_Expr()
1570 (0xFFFFFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32) in fold_Expr()
1575 0ULL != e->Iex.Unop.arg->Iex.Const.con->Ico.U64 in fold_Expr()
1580 UInt w32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32; in fold_Expr()
1588 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1597 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32; in fold_Expr()
1605 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1613 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32; in fold_Expr()
1619 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1630 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32; in fold_Expr()
1639 UShort v128 = e->Iex.Unop.arg->Iex.Const.con->Ico.V128; in fold_Expr()
1648 UShort v128 = e->Iex.Unop.arg->Iex.Const.con->Ico.V128; in fold_Expr()
1657 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1669 UInt v256 = e->Iex.Unop.arg->Iex.Const.con->Ico.V256; in fold_Expr()
1681 UShort v128 = e->Iex.Unop.arg->Iex.Const.con->Ico.V128; in fold_Expr()
1706 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 in fold_Expr()
1707 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))); in fold_Expr()
1711 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16 in fold_Expr()
1712 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U16)))); in fold_Expr()
1716 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1717 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1721 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1722 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1726 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128 in fold_Expr()
1727 | e->Iex.Binop.arg2->Iex.Const.con->Ico.V128))); in fold_Expr()
1733 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 in fold_Expr()
1734 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))); in fold_Expr()
1738 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16 in fold_Expr()
1739 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U16)))); in fold_Expr()
1743 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1744 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1748 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1749 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1753 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128 in fold_Expr()
1754 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.V128))); in fold_Expr()
1760 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 in fold_Expr()
1761 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))); in fold_Expr()
1765 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16 in fold_Expr()
1766 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U16)))); in fold_Expr()
1770 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1771 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1775 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1776 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1780 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128 in fold_Expr()
1781 & e->Iex.Binop.arg2->Iex.Const.con->Ico.V128))); in fold_Expr()
1787 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 in fold_Expr()
1788 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))); in fold_Expr()
1792 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1793 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1797 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1798 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1804 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 in fold_Expr()
1805 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))); in fold_Expr()
1809 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1810 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1814 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1815 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1820 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32; in fold_Expr()
1821 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32; in fold_Expr()
1830 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1831 * e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1835 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1836 * e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1841 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32; in fold_Expr()
1842 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32; in fold_Expr()
1855 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1856 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1859 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1863 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1864 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1867 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1875 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1876 s32 = (Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32); in fold_Expr()
1877 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1887 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1888 s64 = (Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64); in fold_Expr()
1889 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1901 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1902 u32 = (UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32); in fold_Expr()
1903 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1913 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1914 u64 = (ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64); in fold_Expr()
1915 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1926 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1927 == e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))); in fold_Expr()
1931 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1932 == e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))); in fold_Expr()
1940 ((0xFF & e->Iex.Binop.arg1->Iex.Const.con->Ico.U8) in fold_Expr()
1941 != (0xFF & e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))))); in fold_Expr()
1947 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1948 != e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))); in fold_Expr()
1954 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1955 != e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))); in fold_Expr()
1961 ((UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32) in fold_Expr()
1962 <= (UInt)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))))); in fold_Expr()
1966 ((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64) in fold_Expr()
1967 <= (ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))))); in fold_Expr()
1973 ((Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32) in fold_Expr()
1974 <= (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))))); in fold_Expr()
1978 ((Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64) in fold_Expr()
1979 <= (Long)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))))); in fold_Expr()
1985 ((Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32) in fold_Expr()
1986 < (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))))); in fold_Expr()
1990 ((Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64) in fold_Expr()
1991 < (Long)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))))); in fold_Expr()
1997 ((UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32) in fold_Expr()
1998 < (UInt)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))))); in fold_Expr()
2002 ((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64) in fold_Expr()
2003 < (ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))))); in fold_Expr()
2009 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32; in fold_Expr()
2010 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32; in fold_Expr()
2028 ->Iex.Const.con->Ico.U32)) << 32) in fold_Expr()
2029 | ((ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)) in fold_Expr()
2044 ULong argHi = e->Iex.Binop.arg1->Iex.Const.con->Ico.U64; in fold_Expr()
2045 ULong argLo = e->Iex.Binop.arg2->Iex.Const.con->Ico.U64; in fold_Expr()
2069 UShort arg1 = e->Iex.Binop.arg1->Iex.Const.con->Ico.V128; in fold_Expr()
2070 UShort arg2 = e->Iex.Binop.arg2->Iex.Const.con->Ico.V128; in fold_Expr()
2360 vassert(e->Iex.ITE.cond->Iex.Const.con->tag == Ico_U1); in fold_Expr()
2361 e2 = e->Iex.ITE.cond->Iex.Const.con->Ico.U1 in fold_Expr()
2440 && rhs->Iex.Const.con->tag != Ico_F64i) in subst_Expr()
2609 vassert(fguard->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2610 if (fguard->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()
2613 vassert(fguard->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2636 vassert(fguard->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2637 if (fguard->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()
2642 vassert(fguard->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2730 vassert(fcond->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2731 if (fcond->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()
2735 vassert(fcond->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2821 && st2->Ist.WrTmp.data->Iex.Const.con->tag != Ico_F64i) { in cprop_BB()
2835 vassert(guard->Iex.Const.con->tag == Ico_U1); in cprop_BB()
2836 vassert(guard->Iex.Const.con->Ico.U1 == True); in cprop_BB()
2884 vassert(guard->Iex.Const.con->tag == Ico_U1); in cprop_BB()
2885 vassert(guard->Iex.Const.con->Ico.U1 == True); in cprop_BB()
3070 && e->Iex.Const.con->tag == Ico_U1 in isZeroU1()
3071 && e->Iex.Const.con->Ico.U1 == False ); in isZeroU1()
3078 && e->Iex.Const.con->tag == Ico_U1 in isOneU1()
3079 && e->Iex.Const.con->Ico.U1 == True ); in isOneU1()
3383 tc->u.con = e->Iex.Const.con; in irExpr_to_TmpOrConst()
3753 ae->u.Btc.con2 = *(e->Iex.Binop.arg2->Iex.Const.con); in irExpr_to_AvailExpr()
3762 ae->u.Bct.con1 = *(e->Iex.Binop.arg1->Iex.Const.con); in irExpr_to_AvailExpr()
3768 if (e->Iex.Const.con->tag == Ico_F64i) { in irExpr_to_AvailExpr()
3771 ae->u.Cf64i.f64i = e->Iex.Const.con->Ico.F64i; in irExpr_to_AvailExpr()
3791 ae->u.Itct.con1 = *(e->Iex.ITE.iftrue->Iex.Const.con); in irExpr_to_AvailExpr()
3801 ae->u.Ittc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con); in irExpr_to_AvailExpr()
3808 ae->u.Itcc.con1 = *(e->Iex.ITE.iftrue->Iex.Const.con); in irExpr_to_AvailExpr()
3809 ae->u.Itcc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con); in irExpr_to_AvailExpr()
4053 *i32 = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32); in isAdd32OrSub32()
4771 && (udst->Iex.Const.con->tag == Ico_U32 in maybe_loop_unroll_BB()
4772 || udst->Iex.Const.con->tag == Ico_U64)) { in maybe_loop_unroll_BB()
4775 xxx_value = udst->Iex.Const.con->tag == Ico_U64 in maybe_loop_unroll_BB()
4776 ? udst->Iex.Const.con->Ico.U64 in maybe_loop_unroll_BB()
4777 : (Addr64)(udst->Iex.Const.con->Ico.U32); in maybe_loop_unroll_BB()
4824 vassert(con->tag == udst->Iex.Const.con->tag); in maybe_loop_unroll_BB()
4859 vassert(udst->Iex.Const.con->tag == Ico_U32 in maybe_loop_unroll_BB()
4860 || udst->Iex.Const.con->tag == Ico_U64); in maybe_loop_unroll_BB()
4861 vassert(con->tag == udst->Iex.Const.con->tag); in maybe_loop_unroll_BB()
4865 udst->Iex.Const.con->Ico.U64 = xxx_value; in maybe_loop_unroll_BB()
4868 udst->Iex.Const.con->Ico.U32 = (UInt)xxx_value; in maybe_loop_unroll_BB()