/* { dg-do compile } */ /* { dg-require-effective-target int32plus } */ /* { dg-skip-if "No Inf support" { spu-*-* } } */ /* { 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-*-* } } } */