mssimpso added a comment. Sanjin, What do you think about adding an isAffineRecursive() along side isAffine() in SCEVAddRecExpr? Would that work for you? But doesn't Polly's SCEVValidator already walk the entire expression to check this? http://reviews.llvm.org/D11725