Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/tree-ssa/pr33604.C @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children | 84e7813d76e9 |
line wrap: on
line source
/* { 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" } } */