Lines Matching defs:u64
290 && e->Iex.Const.con->Ico.U64 == 0ULL;
364 if (fitsIn32Bits(e->Iex.Const.con->Ico.U64)) {
367 AMD64RMI_Imm(toUInt(e->Iex.Const.con->Ico.U64)),
371 return AMD64Instr_Imm64(e->Iex.Const.con->Ico.U64, dst);
1690 addInstr(env, AMD64Instr_Imm64(e->Iex.Const.con->Ico.U64, r));
1816 && fitsIn32Bits(simm32->Iex.Const.con->Ico.U64)) {
1818 UInt offset = toUInt(simm32->Iex.Const.con->Ico.U64);
1846 && fitsIn32Bits(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)) {
1849 toUInt(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64),
1898 if (fitsIn32Bits(e->Iex.Const.con->Ico.U64)) {
1899 return AMD64RMI_Imm(toUInt(e->Iex.Const.con->Ico.U64));
1967 if (fitsIn32Bits(e->Iex.Const.con->Ico.U64)) {
1968 return AMD64RI_Imm(toUInt(e->Iex.Const.con->Ico.U64));
2211 addInstr(env, AMD64Instr_Imm64(con->Iex.Const.con->Ico.U64, tmp));
2516 union { ULong u64; Double f64; } u;
2520 vassert(sizeof(u.u64) == 8);
2527 u.u64 = e->Iex.Const.con->Ico.F64i;
2532 addInstr(env, AMD64Instr_Imm64(u.u64, tmp));
4043 = ((Addr64)stmt->Ist.Exit.dst->Ico.U64) > env->max_ga;
4045 addInstr(env, AMD64Instr_XDirect(stmt->Ist.Exit.dst->Ico.U64,
4117 = ((Addr64)cdst->Ico.U64) > env->max_ga;
4119 addInstr(env, AMD64Instr_XDirect(cdst->Ico.U64,