gcc/testsuite/gcc.dg/tree-ssa/reassoc-41.c

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