{"push_id":708291279,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e11d1d2c31a2290b80a1df231db27372c87eadfd","before":"cb2dc5bc1c9225a95d71a001e1ea26b7aeec1aca","commits":[{"sha":"e11d1d2c31a2290b80a1df231db27372c87eadfd","author":{"email":"2df88d93b29f556204c4c4bee7e5b886dbefddeb@apple.com","name":"Adam Nemet"},"message":"[LAA] Try to prove non-wrapping of pointers if SCEV cannot\n\nSummary:\nScalar evolution does not propagate the non-wrapping flags to values\nthat are derived from a non-wrapping induction variable because\nthe non-wrapping property could be flow-sensitive.\n\nThis change is a first attempt to establish the non-wrapping property in\nsome simple cases.  The main idea is to look through the operations\ndefining the pointer.  As long as we arrive to a non-wrapping AddRec via\na small chain of non-wrapping instruction, the pointer should not wrap\neither.\n\nI believe that this essentially is what Andy described in\nhttp://article.gmane.org/gmane.comp.compilers.llvm.cvs/220731 as the way\nforward.\n\nReviewers: aschwaighofer, nadav, sanjoy, atrick\n\nReviewed By: atrick\n\nSubscribers: llvm-commits\n\nDifferential Revision: http://reviews.llvm.org/D10472\n\ngit-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@240798 91177308-0d34-0410-b5e6-96231b3b80d8","distinct":true,"url":"https://api.github.com/repos/llvm-project/llvm/commits/e11d1d2c31a2290b80a1df231db27372c87eadfd"}]}