diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/tree-ssa/pr33604.C')
-rw-r--r-- | gcc/testsuite/g++.dg/tree-ssa/pr33604.C | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr33604.C b/gcc/testsuite/g++.dg/tree-ssa/pr33604.C new file mode 100644 index 000000000..7e820d3ef --- /dev/null +++ b/gcc/testsuite/g++.dg/tree-ssa/pr33604.C @@ -0,0 +1,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" } } */ |