<div dir="ltr"><div>OK, I've uploaded a revised diff to <a href="http://reviews.llvm.org/D5866">http://reviews.llvm.org/D5866</a> . It now skips the expensive ComputeSignBit logic when AllPositive is false. It still has to evaluate isValueEqualInPotentialCycles for every GEPVariable regardless of AllPositive as the modulo analysis is only safe (i.e. correct) if all the variables don't change across cycles. Thanks -<br><br></div>Nick<br></div>