/* PR tree-optimization/67815 */ | |
/* { dg-do compile } */ | |
/* { dg-options "-Ofast -frounding-math -fdump-tree-reassoc1-details" } */ | |
/* Test that the copysign reassoc optimization doesn't fire for | |
-frounding-math (i.e. HONOR_SIGN_DEPENDENT_ROUNDING) if the multiplication | |
is inexact. */ | |
double | |
f1 (double y) | |
{ | |
return (1.2 * __builtin_copysign (1.1, y)); | |
} | |
double | |
f2 (double y) | |
{ | |
return (-1.2 * __builtin_copysign (1.1, y)); | |
} | |
/* { dg-final { scan-tree-dump-not "Optimizing copysign" "reassoc1" } } */ |