search for: l2240

...king indvars behave better here (i.e. not "break" loop trip counts like this). I don't think the IV is the most relevant bit here though -- it looks like (only a guess) indvars is faltering here: https://github.com/llvm-mirror/llvm/blob/master/lib/Transforms/Scalar/IndVarSimplify.cpp#L2240 and that logic needs to be made smarter to account for how much the RHS of the LFTR'ed exit condition is simplified after extension. > Moving it to a different location can be done separately. > > Do you agree? Sounds good! -- Sanjoy

Hi Sanjoy, I have attached the IR I got by compiling with -O2. This is just before we widen the IV. To get the backedge taken count info I ran indvars on it and then replaced zext with sext. I think regardless of where we decide to add this transformation in the pipeline, it should try to preserve as much information as it can. This means that we should generate sext for signed IVs and