--- Comment #10 from pinskia at gcc dot gnu dot org 2006-04-30 18:21
---
Here is the reduced testcase:
int f(unsigned number_of_digits_to_use)
{
if (number_of_digits_to_use >1294)
return 0;
return (number_of_digits_to_use * 3321928 / 100 + 1) /16;
}
int main(void)
{
if (f
--- Comment #9 from pinskia at gcc dot gnu dot org 2006-04-30 18:17 ---
VRP is doing it:
D.2691_73 = number_of_digits_to_use_32 * 3321928;
D.2692_74 = D.2691_73 / 100;
more_than_enough_bits_for_digits_75 = D.2692_74 + 1;
D.2693_76 = more_than_enough_bits_for_digits_75 / 16;