Lines Matching refs:shifted_rnd
617 uint64_t shifted_rnd = rnd >> (prng_mod_power - 26);
618 CHECK_GE(shifted_rnd, 0);
619 CHECK_LT(shifted_rnd, (1<<26));
620 LOG(INFO) << shifted_rnd;
621 LOG(INFO) << static_cast<double>(shifted_rnd);
622 CHECK_GE(static_cast<double>(static_cast<uint32_t>(shifted_rnd)), 0);
623 // << " rnd=" << rnd << " srnd=" << shifted_rnd;
624 CHECK_GE(static_cast<double>(shifted_rnd), 0);
625 // << " rnd=" << rnd << " srnd=" << shifted_rnd;
626 double q = static_cast<double>(shifted_rnd) + 1.0;
634 // shifted_rnd=54229173