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()
1086 IRConst *c1 = e1->Iex.Const.con; in sameIRExprs_aux2()
1087 IRConst *c2 = e2->Iex.Const.con; in sameIRExprs_aux2()
1162 IRConst *c1 = e1->Iex.Const.con; in debug_only_hack_sameIRExprs_might_assert()
1163 IRConst *c2 = e2->Iex.Const.con; in debug_only_hack_sameIRExprs_might_assert()
1177 && e->Iex.Const.con->tag == Ico_U32 in isZeroU32()
1178 && e->Iex.Const.con->Ico.U32 == 0); in isZeroU32()
1185 && e->Iex.Const.con->tag == Ico_U64 in isZeroU64()
1186 && e->Iex.Const.con->Ico.U64 == 0); in isZeroU64()
1193 && e->Iex.Const.con->tag == Ico_V128 in isZeroV128()
1194 && e->Iex.Const.con->Ico.V128 == 0x0000); in isZeroV128()
1201 && e->Iex.Const.con->tag == Ico_V256 in isZeroV256()
1202 && e->Iex.Const.con->Ico.V256 == 0x00000000); in isZeroV256()
1209 switch (e->Iex.Const.con->tag) { in isZeroU()
1210 case Ico_U1: return toBool( e->Iex.Const.con->Ico.U1 == 0); in isZeroU()
1211 case Ico_U8: return toBool( e->Iex.Const.con->Ico.U8 == 0); in isZeroU()
1212 case Ico_U16: return toBool( e->Iex.Const.con->Ico.U16 == 0); in isZeroU()
1213 case Ico_U32: return toBool( e->Iex.Const.con->Ico.U32 == 0); in isZeroU()
1214 case Ico_U64: return toBool( e->Iex.Const.con->Ico.U64 == 0); in isZeroU()
1223 switch (e->Iex.Const.con->tag) { in isOnesU()
1224 case Ico_U8: return toBool( e->Iex.Const.con->Ico.U8 == 0xFF); in isOnesU()
1225 case Ico_U16: return toBool( e->Iex.Const.con->Ico.U16 == 0xFFFF); in isOnesU()
1226 case Ico_U32: return toBool( e->Iex.Const.con->Ico.U32 in isOnesU()
1228 case Ico_U64: return toBool( e->Iex.Const.con->Ico.U64 in isOnesU()
1360 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1365 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1370 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1376 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1381 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1386 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1391 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1396 /* signed */ Int s32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U8; in fold_Expr()
1403 /* signed */ Int s32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16; in fold_Expr()
1411 0xFFULL & e->Iex.Unop.arg->Iex.Const.con->Ico.U8)); in fold_Expr()
1415 0xFFFFULL & e->Iex.Unop.arg->Iex.Const.con->Ico.U16)); in fold_Expr()
1419 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8)); in fold_Expr()
1422 /* signed */ Short s16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U8; in fold_Expr()
1430 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8)); in fold_Expr()
1434 0xFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U16)); in fold_Expr()
1438 0xFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32))); in fold_Expr()
1442 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32))); in fold_Expr()
1446 1 == (1 & e->Iex.Unop.arg->Iex.Const.con->Ico.U32) in fold_Expr()
1451 1 == (1 & e->Iex.Unop.arg->Iex.Const.con->Ico.U64) in fold_Expr()
1457 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.V128))); in fold_Expr()
1461 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U64))); in fold_Expr()
1465 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U32))); in fold_Expr()
1469 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U16)))); in fold_Expr()
1473 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U8)))); in fold_Expr()
1478 notBool(e->Iex.Unop.arg->Iex.Const.con->Ico.U1))); in fold_Expr()
1482 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1488 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1494 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1500 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1508 & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)); in fold_Expr()
1511 /* signed */ Long s64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16; in fold_Expr()
1518 /* signed */ Long s64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32; in fold_Expr()
1526 UShort w16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16; in fold_Expr()
1532 UShort w16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16; in fold_Expr()
1542 (0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8) in fold_Expr()
1548 (0xFFFFFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32) in fold_Expr()
1553 0ULL != e->Iex.Unop.arg->Iex.Const.con->Ico.U64 in fold_Expr()
1558 UInt w32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32; in fold_Expr()
1566 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1575 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32; in fold_Expr()
1583 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1591 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32; in fold_Expr()
1597 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1608 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32; in fold_Expr()
1617 UShort v128 = e->Iex.Unop.arg->Iex.Const.con->Ico.V128; in fold_Expr()
1626 UShort v128 = e->Iex.Unop.arg->Iex.Const.con->Ico.V128; in fold_Expr()
1635 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64; in fold_Expr()
1647 UInt v256 = e->Iex.Unop.arg->Iex.Const.con->Ico.V256; in fold_Expr()
1672 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 in fold_Expr()
1673 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))); in fold_Expr()
1677 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16 in fold_Expr()
1678 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U16)))); in fold_Expr()
1682 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1683 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1687 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1688 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1692 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128 in fold_Expr()
1693 | e->Iex.Binop.arg2->Iex.Const.con->Ico.V128))); in fold_Expr()
1699 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 in fold_Expr()
1700 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))); in fold_Expr()
1704 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16 in fold_Expr()
1705 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U16)))); in fold_Expr()
1709 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1710 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1714 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1715 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1719 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128 in fold_Expr()
1720 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.V128))); in fold_Expr()
1726 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 in fold_Expr()
1727 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))); in fold_Expr()
1731 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16 in fold_Expr()
1732 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U16)))); in fold_Expr()
1736 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1737 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1741 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1742 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1746 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128 in fold_Expr()
1747 & e->Iex.Binop.arg2->Iex.Const.con->Ico.V128))); in fold_Expr()
1753 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 in fold_Expr()
1754 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))); in fold_Expr()
1758 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1759 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1763 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1764 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1770 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 in fold_Expr()
1771 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))); in fold_Expr()
1775 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1776 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1780 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1781 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1786 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32; in fold_Expr()
1787 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32; in fold_Expr()
1796 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1797 * e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))); in fold_Expr()
1801 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1802 * e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))); in fold_Expr()
1807 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32; in fold_Expr()
1808 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32; in fold_Expr()
1821 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1822 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1825 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1829 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1830 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1833 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1841 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1842 s32 = (Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32); in fold_Expr()
1843 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1853 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1854 s64 = (Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64); in fold_Expr()
1855 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1867 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1868 u32 = (UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32); in fold_Expr()
1869 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1879 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in fold_Expr()
1880 u64 = (ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64); in fold_Expr()
1881 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8); in fold_Expr()
1892 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1893 == e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))); in fold_Expr()
1897 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1898 == e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))); in fold_Expr()
1906 ((0xFF & e->Iex.Binop.arg1->Iex.Const.con->Ico.U8) in fold_Expr()
1907 != (0xFF & e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))))); in fold_Expr()
1913 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 in fold_Expr()
1914 != e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))); in fold_Expr()
1920 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64 in fold_Expr()
1921 != e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))); in fold_Expr()
1927 ((UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32) in fold_Expr()
1928 <= (UInt)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))))); in fold_Expr()
1932 ((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64) in fold_Expr()
1933 <= (ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))))); in fold_Expr()
1939 ((Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32) in fold_Expr()
1940 <= (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))))); in fold_Expr()
1944 ((Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64) in fold_Expr()
1945 <= (Long)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))))); in fold_Expr()
1951 ((Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32) in fold_Expr()
1952 < (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))))); in fold_Expr()
1956 ((Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64) in fold_Expr()
1957 < (Long)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))))); in fold_Expr()
1963 ((UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32) in fold_Expr()
1964 < (UInt)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))))); in fold_Expr()
1968 ((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64) in fold_Expr()
1969 < (ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))))); in fold_Expr()
1975 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32; in fold_Expr()
1976 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32; in fold_Expr()
1994 ->Iex.Const.con->Ico.U32)) << 32) in fold_Expr()
1995 | ((ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)) in fold_Expr()
2010 ULong argHi = e->Iex.Binop.arg1->Iex.Const.con->Ico.U64; in fold_Expr()
2011 ULong argLo = e->Iex.Binop.arg2->Iex.Const.con->Ico.U64; in fold_Expr()
2035 UShort arg1 = e->Iex.Binop.arg1->Iex.Const.con->Ico.V128; in fold_Expr()
2036 UShort arg2 = e->Iex.Binop.arg2->Iex.Const.con->Ico.V128; in fold_Expr()
2295 vassert(e->Iex.ITE.cond->Iex.Const.con->tag == Ico_U1); in fold_Expr()
2296 e2 = e->Iex.ITE.cond->Iex.Const.con->Ico.U1 in fold_Expr()
2375 && rhs->Iex.Const.con->tag != Ico_F64i) in subst_Expr()
2544 vassert(fguard->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2545 if (fguard->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()
2548 vassert(fguard->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2571 vassert(fguard->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2572 if (fguard->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()
2577 vassert(fguard->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2665 vassert(fcond->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()
2666 if (fcond->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()
2670 vassert(fcond->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2756 && st2->Ist.WrTmp.data->Iex.Const.con->tag != Ico_F64i) { in cprop_BB()
2770 vassert(guard->Iex.Const.con->tag == Ico_U1); in cprop_BB()
2771 vassert(guard->Iex.Const.con->Ico.U1 == True); in cprop_BB()
2819 vassert(guard->Iex.Const.con->tag == Ico_U1); in cprop_BB()
2820 vassert(guard->Iex.Const.con->Ico.U1 == True); in cprop_BB()
3003 && e->Iex.Const.con->tag == Ico_U1 in isZeroU1()
3004 && e->Iex.Const.con->Ico.U1 == False ); in isZeroU1()
3011 && e->Iex.Const.con->tag == Ico_U1 in isOneU1()
3012 && e->Iex.Const.con->Ico.U1 == True ); in isOneU1()
3328 dst->u.con = arg->Iex.Const.con; in irExprVec_to_TmpOrConsts()
3650 ae->u.Btc.con2 = *(e->Iex.Binop.arg2->Iex.Const.con); in irExpr_to_AvailExpr()
3659 ae->u.Bct.con1 = *(e->Iex.Binop.arg1->Iex.Const.con); in irExpr_to_AvailExpr()
3665 if (e->Iex.Const.con->tag == Ico_F64i) { in irExpr_to_AvailExpr()
3668 ae->u.Cf64i.f64i = e->Iex.Const.con->Ico.F64i; in irExpr_to_AvailExpr()
3688 ae->u.Itct.con1 = *(e->Iex.ITE.iftrue->Iex.Const.con); in irExpr_to_AvailExpr()
3698 ae->u.Ittc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con); in irExpr_to_AvailExpr()
3705 ae->u.Itcc.con1 = *(e->Iex.ITE.iftrue->Iex.Const.con); in irExpr_to_AvailExpr()
3706 ae->u.Itcc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con); in irExpr_to_AvailExpr()
3923 *i32 = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32); in isAdd32OrSub32()
4641 && (udst->Iex.Const.con->tag == Ico_U32 in maybe_loop_unroll_BB()
4642 || udst->Iex.Const.con->tag == Ico_U64)) { in maybe_loop_unroll_BB()
4645 xxx_value = udst->Iex.Const.con->tag == Ico_U64 in maybe_loop_unroll_BB()
4646 ? udst->Iex.Const.con->Ico.U64 in maybe_loop_unroll_BB()
4647 : (Addr64)(udst->Iex.Const.con->Ico.U32); in maybe_loop_unroll_BB()
4694 vassert(con->tag == udst->Iex.Const.con->tag); in maybe_loop_unroll_BB()
4729 vassert(udst->Iex.Const.con->tag == Ico_U32 in maybe_loop_unroll_BB()
4730 || udst->Iex.Const.con->tag == Ico_U64); in maybe_loop_unroll_BB()
4731 vassert(con->tag == udst->Iex.Const.con->tag); in maybe_loop_unroll_BB()
4735 udst->Iex.Const.con->Ico.U64 = xxx_value; in maybe_loop_unroll_BB()
4738 udst->Iex.Const.con->Ico.U32 = (UInt)xxx_value; in maybe_loop_unroll_BB()