Lines Matching refs:Const
369 if (ex->Iex.Const.con->tag == Ico_F64i) {
372 IRExpr_Const(ex->Iex.Const.con)));
1040 IRConst *c1 = e1->Iex.Const.con;
1041 IRConst *c2 = e2->Iex.Const.con;
1116 IRConst *c1 = e1->Iex.Const.con;
1117 IRConst *c2 = e2->Iex.Const.con;
1131 && e->Iex.Const.con->tag == Ico_U32
1132 && e->Iex.Const.con->Ico.U32 == 0);
1139 && e->Iex.Const.con->tag == Ico_U32
1140 && e->Iex.Const.con->Ico.U32 == 0xFFFFFFFF );
1147 && e->Iex.Const.con->tag == Ico_U64
1148 && e->Iex.Const.con->Ico.U64 == 0);
1155 switch (e->Iex.Const.con->tag) {
1156 case Ico_U1: return toBool( e->Iex.Const.con->Ico.U1 == 0);
1157 case Ico_U8: return toBool( e->Iex.Const.con->Ico.U8 == 0);
1158 case Ico_U16: return toBool( e->Iex.Const.con->Ico.U16 == 0);
1159 case Ico_U32: return toBool( e->Iex.Const.con->Ico.U32 == 0);
1160 case Ico_U64: return toBool( e->Iex.Const.con->Ico.U64 == 0);
1169 switch (e->Iex.Const.con->tag) {
1170 case Ico_U8: return toBool( e->Iex.Const.con->Ico.U8 == 0xFF);
1171 case Ico_U16: return toBool( e->Iex.Const.con->Ico.U16 == 0xFFFF);
1172 case Ico_U32: return toBool( e->Iex.Const.con->Ico.U32
1174 case Ico_U64: return toBool( e->Iex.Const.con->Ico.U64
1285 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1290 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1295 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1301 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1306 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1311 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1316 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1321 /* signed */ Int s32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U8;
1328 /* signed */ Int s32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1336 0xFFULL & e->Iex.Unop.arg->Iex.Const.con->Ico.U8));
1340 0xFFFFULL & e->Iex.Unop.arg->Iex.Const.con->Ico.U16));
1344 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8));
1347 /* signed */ Short s16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U8;
1355 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8));
1359 0xFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U16));
1363 0xFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)));
1367 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)));
1371 1 == (1 & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)
1376 1 == (1 & e->Iex.Unop.arg->Iex.Const.con->Ico.U64)
1382 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.V128)));
1386 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U64)));
1390 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U32)));
1394 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U16))));
1398 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U8))));
1403 notBool(e->Iex.Unop.arg->Iex.Const.con->Ico.U1)));
1407 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1413 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1419 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1425 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1433 & e->Iex.Unop.arg->Iex.Const.con->Ico.U32));
1436 /* signed */ Long s64 = e->Iex.Unop.arg->Iex.Const
1443 /* signed */ Long s64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1451 UShort w16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1457 UShort w16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1467 (0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8)
1473 (0xFFFFFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)
1478 0ULL != e->Iex.Unop.arg->Iex.Const.con->Ico.U64
1483 UInt w32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1491 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1500 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1508 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1516 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1522 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1533 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1542 UShort v128 = e->Iex.Unop.arg->Iex.Const.con->Ico.V128;
1551 UShort v128 = e->Iex.Unop.arg->Iex.Const.con->Ico.V128;
1560 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1572 UInt v256 = e->Iex.Unop.arg->Iex.Const.con->Ico.V256;
1597 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1598 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1602 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16
1603 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U16))));
1607 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1608 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1612 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1613 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1617 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128
1618 | e->Iex.Binop.arg2->Iex.Const.con->Ico.V128)));
1624 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1625 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1629 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16
1630 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U16))));
1634 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1635 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1639 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1640 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1644 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128
1645 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.V128)));
1651 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1652 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1656 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16
1657 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U16))));
1661 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1662 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1666 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1667 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1671 (e->Iex.Binop.arg1->Iex.Const.con->Ico.V128
1672 & e->Iex.Binop.arg2->Iex.Const.con->Ico.V128)));
1678 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1679 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1683 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1684 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1688 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1689 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1695 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1696 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1700 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1701 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1705 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1706 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1711 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32;
1712 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32;
1721 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1722 * e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1726 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1727 * e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1732 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32;
1733 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32;
1746 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1747 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1750 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1754 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1755 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1758 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1766 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1767 s32 = (Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32);
1768 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1778 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1779 s64 = (Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64);
1780 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1792 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1793 u32 = (UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32);
1794 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1804 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1805 u64 = (ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64);
1806 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1817 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1818 == e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))));
1822 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1823 == e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))));
1829 ((0xFF & e->Iex.Binop.arg1->Iex.Const.con->Ico.U8)
1830 != (0xFF & e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))));
1834 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1835 != e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))));
1839 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1840 != e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))));
1846 ((UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1847 <= (UInt)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1851 ((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1852 <= (ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1858 ((Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1859 <= (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1863 ((Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1864 <= (Long)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1870 ((Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1871 < (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1875 ((Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1876 < (Long)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1882 ((UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1883 < (UInt)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1887 ((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1888 < (ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1894 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32;
1895 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32;
1913 ->Iex.Const.con->Ico.U32)) << 32)
1914 | ((ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))
1929 ULong argHi = e->Iex.Binop.arg1->Iex.Const.con->Ico.U64;
1930 ULong argLo = e->Iex.Binop.arg2->Iex.Const.con->Ico.U64;
1943 UShort arg1 = e->Iex.Binop.arg1->Iex.Const.con->Ico.V128;
1944 UShort arg2 = e->Iex.Binop.arg2->Iex.Const.con->Ico.V128;
2153 vassert(e->Iex.Mux0X.cond->Iex.Const.con->tag == Ico_U8);
2155 ->Iex.Const.con->Ico.U8));
2213 vex_printf("vex iropt: fold_Expr: no const rule for: ");
2234 && rhs->Iex.Const.con->tag != Ico_F64i)
2465 vassert(fcond->Iex.Const.con->tag == Ico_U1);
2466 vassert(fcond->Iex.Const.con->Ico.U1 == False
2467 || fcond->Iex.Const.con->Ico.U1 == True);
2468 if (fcond->Iex.Const.con->Ico.U1 == False) {
2472 vassert(fcond->Iex.Const.con->Ico.U1 == True);
2541 /* 't = const' && 'const != F64i' -- don't add to BB
2542 Note, we choose not to propagate const when const is an
2546 && st2->Ist.WrTmp.data->Iex.Const.con->tag != Ico_F64i) continue;
2699 && e->Iex.Const.con->tag == Ico_U1
2700 && e->Iex.Const.con->Ico.U1 == False );
2707 && e->Iex.Const.con->tag == Ico_U1
2708 && e->Iex.Const.con->Ico.U1 == True );
3024 dst->u.con = arg->Iex.Const.con;
3049 /* binop(tmp,const) */
3055 /* binop(const,tmp) */
3061 /* F64i-style const */
3283 ae->u.Btc.con2 = *(e->Iex.Binop.arg2->Iex.Const.con);
3294 ae->u.Bct.con1 = *(e->Iex.Binop.arg1->Iex.Const.con);
3299 && e->Iex.Const.con->tag == Ico_F64i) {
3302 ae->u.Cf64i.f64i = e->Iex.Const.con->Ico.F64i;
3508 /* Is this expression "Add32(tmp,const)" or "Sub32(tmp,const)" ? If
3523 *i32 = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32);
3530 /* Figure out if tmp can be expressed as tmp2 +32 const, for some
4225 && (udst->Iex.Const.con->tag == Ico_U32
4226 || udst->Iex.Const.con->tag == Ico_U64)) {
4229 xxx_value = udst->Iex.Const.con->tag == Ico_U64
4230 ? udst->Iex.Const.con->Ico.U64
4231 : (Addr64)(udst->Iex.Const.con->Ico.U32);
4278 vassert(con->tag == udst->Iex.Const.con->tag);
4313 vassert(udst->Iex.Const.con->tag == Ico_U32
4314 || udst->Iex.Const.con->tag == Ico_U64);
4315 vassert(con->tag == udst->Iex.Const.con->tag);
4319 udst->Iex.Const.con->Ico.U64 = xxx_value;
4322 udst->Iex.Const.con->Ico.U32 = (UInt)xxx_value;
