Lines Matching defs:w64
1407 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1408 w64 &= 0xFFULL;
1409 e2 = IRExpr_Const(IRConst_U8( (UChar)w64 ));
1413 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1414 w64 &= 0xFFFFULL;
1415 e2 = IRExpr_Const(IRConst_U16( (UShort)w64 ));
1419 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1420 w64 &= 0x00000000FFFFFFFFULL;
1421 e2 = IRExpr_Const(IRConst_U32( (UInt)w64 ));
1425 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1426 w64 >>= 32;
1427 e2 = IRExpr_Const(IRConst_U32( (UInt)w64 ));
1491 ULong w64 = e->Iex.Unop.arg->Iex.Const.con->Ico.U64;
1492 if (w64 == 0)
