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
>>