Lines Matching refs:Const
353 if (ex->Iex.Const.con->tag == Ico_F64i) {
356 IRExpr_Const(ex->Iex.Const.con)));
900 && e1->Iex.Const.con->tag == Ico_U32
901 && e2->Iex.Const.con->tag == Ico_U32
902 && e1->Iex.Const.con->Ico.U32
903 == e2->Iex.Const.con->Ico.U32 );
924 && e->Iex.Const.con->tag == Ico_U32
925 && e->Iex.Const.con->Ico.U32 == 0);
932 && e->Iex.Const.con->tag == Ico_U64
933 && e->Iex.Const.con->Ico.U64 == 0);
1012 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1017 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1022 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1028 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1033 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1038 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1043 e->Iex.Unop.arg->Iex.Const.con->Ico.U1
1048 /* signed */ Int s32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U8;
1055 /* signed */ Int s32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1063 0xFFULL & e->Iex.Unop.arg->Iex.Const.con->Ico.U8));
1067 0xFFFFULL & e->Iex.Unop.arg->Iex.Const.con->Ico.U16));
1071 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8));
1074 /* signed */ Short s16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U8;
1082 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8));
1086 0xFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U16));
1090 0xFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)));
1094 0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)));
1098 1 == (1 & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)
1103 1 == (1 & e->Iex.Unop.arg->Iex.Const.con->Ico.U64)
1109 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U64)));
1113 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U32)));
1117 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U16))));
1121 ~ (e->Iex.Unop.arg->Iex.Const.con->Ico.U8))));
1126 notBool(e->Iex.Unop.arg->Iex.Const.con->Ico.U1)));
1130 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1136 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1142 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1148 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1156 & e->Iex.Unop.arg->Iex.Const.con->Ico.U32));
1159 /* signed */ Long s64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1166 /* signed */ Long s64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1174 UShort w16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1180 UShort w16 = e->Iex.Unop.arg->Iex.Const.con->Ico.U16;
1190 (0xFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U8)
1196 (0xFFFFFFFF & e->Iex.Unop.arg->Iex.Const.con->Ico.U32)
1201 0ULL != e->Iex.Unop.arg->Iex.Const.con->Ico.U64
1206 UInt w32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1214 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1223 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1231 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1239 UInt u32 = e->Iex.Unop.arg->Iex.Const.con->Ico.U32;
1245 ULong u64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1266 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1267 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1271 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16
1272 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U16))));
1276 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1277 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1281 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1282 | e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1288 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1289 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1293 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16
1294 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U16))));
1298 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1299 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1303 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1304 ^ e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1310 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1311 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1315 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U16
1316 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U16))));
1320 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1321 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1325 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1326 & e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1332 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1333 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1337 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1338 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1342 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1343 + e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1349 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U8
1350 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U8))));
1354 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1355 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1359 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1360 - e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1365 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32;
1366 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32;
1375 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1376 * e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
1380 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1381 * e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
1386 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32;
1387 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32;
1400 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1401 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1404 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1408 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1409 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1412 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1420 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1421 s32 = (Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32);
1422 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1432 Const.con->tag == Ico_U8);
1433 s64 = (Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64);
1434 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1446 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1447 u32 = (UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32);
1448 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1458 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
1459 u64 = (ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64);
1460 shift = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U8);
1471 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1472 == e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))));
1476 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1477 == e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))));
1483 ((0xFF & e->Iex.Binop.arg1->Iex.Const.con->Ico.U8)
1484 != (0xFF & e->Iex.Binop.arg2->Iex.Const.con->Ico.U8)))));
1488 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
1489 != e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))));
1493 (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
1494 != e->Iex.Binop.arg2->Iex.Const.con->Ico.U64))));
1500 ((UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1501 <= (UInt)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1505 ((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1506 <= (ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1512 ((Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1513 <= (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1517 ((Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1518 <= (Long)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1524 ((Int)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1525 < (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1529 ((Long)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1530 < (Long)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1536 ((UInt)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)
1537 < (UInt)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)))));
1541 ((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U64)
1542 < (ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)))));
1548 UInt u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32;
1549 UInt u32b = e->Iex.Binop.arg2->Iex.Const.con->Ico.U32;
1566 (((ULong)(e->Iex.Binop.arg1->Iex.Const.con->Ico.U32)) << 32)
1567 | ((ULong)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32))
1588 && e->Iex.Binop.arg2->Iex.Const.con->Ico.U8 == 0) {
1595 && e->Iex.Binop.arg2->Iex.Const.con->Ico.U8 == 0) {
1602 && e->Iex.Binop.arg2->Iex.Const.con->Ico.U8 == 0) {
1609 && e->Iex.Binop.arg2->Iex.Const.con->Ico.U16 == 0) {
1677 && e->Iex.Binop.arg2->Iex.Const.con->Ico.U32 == 0xFFFFFFFF) {
1684 && e->Iex.Binop.arg2->Iex.Const.con->Ico.U32 == 0) {
1691 && e->Iex.Binop.arg1->Iex.Const.con->Ico.U32 == 0) {
1698 && e->Iex.Binop.arg1->Iex.Const.con->Ico.U8 == 0) {
1752 vassert(e->Iex.Mux0X.cond->Iex.Const.con->tag == Ico_U8);
1754 ->Iex.Const.con->Ico.U8));
2028 vassert(fcond->Iex.Const.con->tag == Ico_U1);
2029 vassert(fcond->Iex.Const.con->Ico.U1 == False
2030 || fcond->Iex.Const.con->Ico.U1 == True);
2031 if (fcond->Iex.Const.con->Ico.U1 == False) {
2035 vassert(fcond->Iex.Const.con->Ico.U1 == True);
2095 't = const' or 't1 = t2', add it to the running environment
2097 BB. Note, we choose not to propagate const when const is an
2103 && st2->Ist.WrTmp.data->Iex.Const.con->tag != Ico_F64i) {
2104 /* 't = const' -- add to env.
2259 && e->Iex.Const.con->tag == Ico_U1
2260 && e->Iex.Const.con->Ico.U1 == False );
2267 && e->Iex.Const.con->tag == Ico_U1
2268 && e->Iex.Const.con->Ico.U1 == True );
2542 /* binop(tmp,const) */
2548 /* binop(const,tmp) */
2554 /* F64i-style const */
2723 ae->u.Btc.con2 = *(e->Iex.Binop.arg2->Iex.Const.con);
2734 ae->u.Bct.con1 = *(e->Iex.Binop.arg1->Iex.Const.con);
2739 && e->Iex.Const.con->tag == Ico_F64i) {
2742 ae->u.Cf64i.f64i = e->Iex.Const.con->Ico.F64i;
2931 /* Is this expression "Add32(tmp,const)" or "Sub32(tmp,const)" ? If
2946 *i32 = (Int)(e->Iex.Binop.arg2->Iex.Const.con->Ico.U32);
2953 /* Figure out if tmp can be expressed as tmp2 +32 const, for some
3635 && (udst->Iex.Const.con->tag == Ico_U32
3636 || udst->Iex.Const.con->tag == Ico_U64)) {
3639 xxx_value = udst->Iex.Const.con->tag == Ico_U64
3640 ? udst->Iex.Const.con->Ico.U64
3641 : (Addr64)(udst->Iex.Const.con->Ico.U32);
3688 vassert(con->tag == udst->Iex.Const.con->tag);
3723 vassert(udst->Iex.Const.con->tag == Ico_U32
3724 || udst->Iex.Const.con->tag == Ico_U64);
3725 vassert(con->tag == udst->Iex.Const.con->tag);
3729 udst->Iex.Const.con->Ico.U64 = xxx_value;
3732 udst->Iex.Const.con->Ico.U32 = (UInt)xxx_value;
