Lines Matching defs:w64
1504 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1505 w64 &= 0xFFULL;
1506 e2 = IRExpr_Const(IRConst_U8( (UChar)w64 ));
1510 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1511 w64 &= 0xFFFFULL;
1512 e2 = IRExpr_Const(IRConst_U16( (UShort)w64 ));
1516 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1517 w64 &= 0x00000000FFFFFFFFULL;
1518 e2 = IRExpr_Const(IRConst_U32( (UInt)w64 ));
1522 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1523 w64 >>= 32;
1524 e2 = IRExpr_Const(IRConst_U32( (UInt)w64 ));
1588 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1589 if (w64 == 0)
