text: /* { dg-do compile } */
  /* { dg-require-effective-target c99_runtime } */
  /* { dg-options "-O2 -ffast-math -fdump-tree-forwprop-details" } */
  
  #include <math.h>
  
  float f1(float x)
  {
    float t1 = fabsf (x);
    float t2 = t1 / x; 
    return t2;
  }
   
  /* { dg-final { scan-tree-dump "__builtin_copysignf" "forwprop1" } } */
  