LGTM, assuming that the conclusion of http://reviews.llvm.org/D9383 is that stripAndAccumulateInBoundsConstantOffsets takes a LookThroughNoAlias argument and that it doesn't default to true. http://reviews.llvm.org/D9385 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/