search for: pr15205

...rewritten in terms of %b, you probably wouldn't need the invariant any more). http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20121210/158601.html But really, the only thing likely to make it onto trunk for this bug is the SCEV fix mentioned above. More details can be discussed in PR15205. -Andy

> Thanks for the details. Please add them to a bug report. I will do this. > InstCombine is certainly interfering with our ability to analyze the loop. I think the problem is that ScalarEvolution cannot reason about signed division. This is a general problem independent of your target. At the moment I'm not sure if we can teach ScalarEvolution to reason about this, or if we can defer

...have a reasonably-large group of contributors in favor of an invariant intrinsic and we should move forward on that basis? Thanks again, Hal > > But really, the only thing likely to make it onto trunk for this bug > is the SCEV fix mentioned above. More details can be discussed in > PR15205. > > -Andy > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >