summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/tree-ssa/pr33604.C
blob: 7e820d3ef16fba00ab646117db124bc6b25296c3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
/* { 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 a single virtual operand at abort () after optimization.  */

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