Lnt shows that sometimes it is very costly to compute the loop bounds. So I figure we cannot compute it for every loop but only on demand. However, we need a fast way to compute hasAtLeastOneIteration(isl_ast_node *For). Any thoughts? http://reviews.llvm.org/D4988