Searched refs:random_upto (Results 1 – 3 of 3) sorted by relevance
1143 out[1] = random_upto(0xFFFFFFFF); in cases_biased()1152 out[1] = random_upto(0xFFFFFFFF); in cases_biased_positive()1190 out[2] = random_upto(2048)-1024; in cases_ldexp()1196 out[2] = random_upto(256)-128; in cases_ldexp_float()1203 out[1] = random_upto(0xFFFFFFFF); in cases_uniform()1220 out[1] = random_upto(0xFFFFFFFF); in cases_uniform_positive()1235 out[0] = random_upto(0x7FEFFFFF); in log_cases()1236 out[1] = random_upto(0xFFFFFFFF); in log_cases()1431 if (random_upto(1)) { in pow_cases()1438 out[3] = random_upto(0xFFFFFFFF); in pow_cases()[all …]
12 uint32 random_upto(uint32 limit);
78 uint32 random_upto(uint32 limit) { in random_upto() function