Displaying 2 results from an estimated 2 matches for "pointerinvalidatedbyloopwithmssa".
2017 Dec 21
4
Hoisting in the presence of volatile loads.
...right now AliasSetTracker and
> MemorySSA have different behaviors and replacing one with the either
> will naturally lead to different outcomes.
> So, how can I make progress here?
>
>
> I think it's reasonable in D40375 <https://reviews.llvm.org/D40375> to
> have pointerInvalidatedByLoopWithMSSA only check if the defining
> access is within the current loop or liveOnEntry, and rely on
> MemorySSA to either consider a volatile load a clobbering access or
> not. So, right now the LICM/volatile-alias.ll testcase will behave
> differently with MemorySSA enabled.
>
> A sep...
2017 Dec 20
4
Hoisting in the presence of volatile loads.
On 12/20/2017 1:37 PM, Sanjoy Das wrote:>
> Fwiw, I was under the impression that regular loads could *not* be
> reordered with volatile loads since we could have e.g.:
>
> int *normal = &global_variable;
> volatile int* ptr = 0;
> int k = *ptr; // segfaults, and the signal handler writes to *normal
> int value = *normal;
>
> and that we'd have