1 /* PR tree-optimization/67815 */
2 /* { dg-do compile } */
3 /* { dg-options "-Ofast -frounding-math -fdump-tree-reassoc1-details" } */
4
5 /* Test that the copysign reassoc optimization doesn't fire for
6 -frounding-math (i.e. HONOR_SIGN_DEPENDENT_ROUNDING) if the multiplication
7 is inexact. */
8
9 double
f1(double y)10 f1 (double y)
11 {
12 return (1.2 * __builtin_copysign (1.1, y));
13 }
14
15 double
f2(double y)16 f2 (double y)
17 {
18 return (-1.2 * __builtin_copysign (1.1, y));
19 }
20
21 /* { dg-final { scan-tree-dump-not "Optimizing copysign" "reassoc1" } } */
22