------- Comment #3 from rguenth at gcc dot gnu dot org 2009-06-16 13:42 ------- chrec_fold_multiply_poly_poly is exponential...
Why does {0, +, 1}_1 * {0, +, 1}_1 yield {0, +, {1, +, 2}_1}_1? Shouldn't we just punt if we generate exponential chrecs? Will we ever be able to do something reasonable with them? In this testcase the args to chrec_fold_multiply_poly_poly grow exponentially. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40460