search for: r366419

Displaying 2 results from an estimated 2 matches for "r366419".

2019 Sep 29
3
ScalarEvolution invariants around wrapping flags
...xit(0)". -- Sanjoy On Thu, Sep 26, 2019 at 6:19 AM Tim Northover <t.p.northover at gmail.com> wrote: > > Thanks for the information everyone, it's clarified my thinking > significantly. With that better understanding I've tracked the problem > I'm seeing down to r366419 (https://reviews.llvm.org/D64868), which > got committed in July. > > To me it looks like the patch is invalid because isAddRecNeverPoison > is a loop-relative computation. To add the flags to the increment we'd > need to know that the loop is guaranteed to execute at least once,...
2019 Sep 19
2
ScalarEvolution invariants around wrapping flags
On 9/19/2019 9:41 AM, Andrew Trick via llvm-dev wrote: > >> On Sep 18, 2019, at 8:17 PM, Sanjoy Das <sanjoy at playingwithpointers.com> wrote: >> >>> 1. Callers are expected to not engage in speculation. ScalarEvolution >>> itself must only create expressions it knows hold in all cases. >> This is correct. There is some more relevant text in >>