1  /* { dg-do compile } */
       2  /* { dg-options "-O -ffinite-math-only -fdump-tree-optimized" } */
       3  
       4  float foo(float x, float y, float z)
       5  {
       6    float a = __builtin_fmaf (x, y, z);
       7    float b = __builtin_fmaf (x, y, z);
       8    return a - b;
       9  }
      10  
      11  /* { dg-final { scan-tree-dump "return 0" "optimized" } } */