Subversion Repositories openrisc

/* { dg-do run } */

/* { dg-options "-O -fdump-tree-optimized-vops" } */

struct Value

{

  double value;

  Value(double value_) : value (value_) {}

  operator double() const { return value; }

  Value& operator=(double other) { value = other; }

};

struct Ref

{

  const Value& m;

  Ref(const Value& m_) : m(m_) {}

  operator double() const { return m; }

};

struct Diff

{

  const Ref lhs, rhs;

  Diff(const Value& lhs_, const Value& rhs_) : lhs(lhs_), rhs(rhs_) {}

  operator double() const { return lhs - rhs; }

};

extern "C" void abort (void);

int main(int argc, char *argv[])

{

  Value I(1), m(4);

  for(int a = 0; a < 1000; a++)

    m = Diff (I, m);

  if (!(m / 4 == I))

    abort ();

  return 0;

}

/* Check that we propagate

     D.2182_13 = (struct Ref *) &D.2137.lhs;

   to

     D.2182_13->lhs.m ={v} &I;

   yielding

     D.2137.lhs.m ={v} &I;

   so that SRA can promote all locals to registers and we end up

   referencing two virtual operands at abort () and the return

   after optimization.  */

/* { dg-final { scan-tree-dump-times ".MEM_\[0-9\]*\\\(D\\\)" 2 "optimized" } } */

/* { dg-final { cleanup-tree-dump "optimized" } } */