/* { dg-do compile } */
/* { dg-require-effective-target int32plus } */
/* { dg-options "-O -ftrapping-math" } */

/* There should be exactly 2 +Inf in the assembly file.  */

float f1 =  __FLT_MAX__ + __FLT_MAX__;

float foo1(void)
{
  return  __FLT_MAX__ + __FLT_MAX__;
}

float f2 = 1.0f/0.0f;

float foo2(void)
{
  return 1.0f/0.0f;
}

/* { dg-final { scan-assembler-times "2139095040" 2 { target { ! mmix-*-* } } } } */
/* { dg-final { scan-assembler-times "#7f800000" 2 { target mmix-*-* } } } */