/* PR tree-optimization/67815 */
/* { dg-do compile } */
/* { dg-options "-Ofast -fno-rounding-math -fdump-tree-reassoc1-details" } */

/* Test that the copysign reassoc optimization does fire for
   -fno-rounding-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-times "Optimizing copysign" 2 "reassoc1"} }*/