714 #define random_sign ( random_upto(1) ? 0x80000000 : 0 )
1142         out[1] = random_upto(0xFFFFFFFF);  in cases_biased()
1151         out[1] = random_upto(0xFFFFFFFF);  in cases_biased_positive()
1189     out[2] = random_upto(2048)-1024;  in cases_ldexp()
1195     out[2] = random_upto(256)-128;  in cases_ldexp_float()
1201         out[0] = highbound - random_upto(highbound-lowbound);  in cases_uniform()
1202         out[1] = random_upto(0xFFFFFFFF);  in cases_uniform()
1209         out[0] = highbound - random_upto(highbound-lowbound);  in cases_uniform_float()
1218         out[0] = highbound - random_upto(highbound-lowbound);  in cases_uniform_positive()
1219         out[1] = random_upto(0xFFFFFFFF);  in cases_uniform_positive()
1225         out[0] = highbound - random_upto(highbound-lowbound);  in cases_uniform_float_positive()
1234         out[0] = random_upto(0x7FEFFFFF);  in log_cases()
1235         out[1] = random_upto(0xFFFFFFFF);  in log_cases()
1242         out[0] = random_upto(0x7F7FFFFF);  in log_cases_float()
1272         out[0] = random_upto(0x7FEFFFFF);  in minmax_cases()
1273         out[1] = random_upto(0xFFFFFFFF);  in minmax_cases()
1275         out[2] = random_upto(0x7FEFFFFF);  in minmax_cases()
1276         out[3] = random_upto(0xFFFFFFFF);  in minmax_cases()
1284         out[0] = random_upto(0x7F7FFFFF);  in minmax_cases_float()
1287         out[2] = random_upto(0x7F7FFFFF);  in minmax_cases_float()
1296         out[0] = ((0x3fc00000 + random_upto(0x036fffff)) |  in rred_cases()
1297                   (random_upto(1) << 31));  in rred_cases()
1298         out[1] = random_upto(0xFFFFFFFF);  in rred_cases()
1305         out[0] = ((0x3e000000 + random_upto(0x0cffffff)) |  in rred_cases_float()
1306                   (random_upto(1) << 31));  in rred_cases_float()
1314         int expdiff = random_upto(101)-51;  in atan2_cases()
1321         out[swap ^ 0] = random_upto(0x7FEFFFFF-((expdiff+1)<<20));  in atan2_cases()
1322         out[swap ^ 2] = random_upto(((expdiff+1)<<20)-1) + out[swap ^ 0];  in atan2_cases()
1323         out[1] = random_upto(0xFFFFFFFF);  in atan2_cases()
1324         out[3] = random_upto(0xFFFFFFFF);  in atan2_cases()
1333         int expdiff = random_upto(44)-22;  in atan2_cases_float()
1340         out[swap ^ 0] = random_upto(0x7F7FFFFF-((expdiff+1)<<23));  in atan2_cases_float()
1341         out[swap ^ 2] = random_upto(((expdiff+1)<<23)-1) + out[swap ^ 0];  in atan2_cases_float()
1381     e = (random_upto(1) ?              /* is exponent small or big? */  in pow_cases()
1412         out[1] = random_upto((1 << (n-1)) - 1) + (1 << (n-1));  in pow_cases()
1415         out[1] = random_upto(0xFFFFFFFF);  in pow_cases()
1417         out[0] = random_upto((1 << (n-33)) - 1) + (1 << (n-33));  in pow_cases()
1418         out[1] = random_upto(0xFFFFFFFF);  in pow_cases()
1430     if (random_upto(1)) {  in pow_cases()
1437     out[3] = random_upto(0xFFFFFFFF);  in pow_cases()
1471     e = (random_upto(1) ?              /* is exponent small or big? */  in pow_cases_float()
1500     out[0] = random_upto((1 << (n-1)) - 1) + (1 << (n-1));  in pow_cases_float()
1510     if (random_upto(1)) {  in pow_cases_float()