gcc/testsuite/gcc.dg/fold-overflow-1.c

   1 /* { dg-do compile } */
   2 /* { dg-require-effective-target int32plus } */
   3 /* { dg-options "-O -ftrapping-math" } */
   4
   5 /* There should be exactly 2 +Inf in the assembly file.  */
   6
   7 float f1 =  __FLT_MAX__ + __FLT_MAX__;
   8
   9 float foo1(void)
  10 {
  11   return  __FLT_MAX__ + __FLT_MAX__;
  12 }
  13
  14 float f2 = 1.0f/0.0f;
  15
  16 float foo2(void)
  17 {
  18   return 1.0f/0.0f;
  19 }
  20
  21 /* { dg-final { scan-assembler-times "2139095040" 2 { target { ! mmix-*-* } } } } */
  22 /* { dg-final { scan-assembler-times "#7f800000" 2 { target mmix-*-* } } } */