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-*-* } } } */