[llvm-commits] [llvm] r73866 - in /llvm/trunk: include/llvm/Analysis/ScalarEvolution.h lib/Analysis/ScalarEvolution.cpp test/Analysis/ScalarEvolution/trip-count5.ll

Duncan Sands baldrick at free.fr
Mon Jun 22 00:54:01 PDT 2009


Hi Dan,

> Teach ScalarEvolution how to analyze loops with multiple exit
> blocks, and also exit blocks with multiple conditions (combined
> with (bitwise) ands and ors). It's often infeasible to compute an
> exact trip count in such cases, but a useful upper bound can often
> be found.

thanks for doing this.  Does the loop unroller make any use of it?
The loop in PR2624 is still not unrolled for example.

> +      // We couldn't compute an exact value for this exit, so
> +      // we don't be able to compute an exact value for the loop.

we don't -> we won't

This occurs again later.

Ciao,

Duncan.



More information about the llvm-commits mailing list