1  /* { dg-do run } */
       2  /* { dg-additional-options "-ffast-math" } */
       3  
       4  #include "tree-vect.h"
       5  
       6  double a[2];
       7  double x, y;
       8  
       9  void __attribute__((noipa)) foo ()
      10  {
      11    x = a[1] - a[0];
      12    y = a[0] + a[1];
      13  }
      14  
      15  int main()
      16  {
      17    check_vect ();
      18  
      19    a[0] = 0.;
      20    a[1] = 1.;
      21    foo ();
      22    if (x != 1. || y != 1.)
      23      __builtin_abort ();
      24    return 0;
      25  }