Displaying 2 results from an estimated 2 matches for "getloadreorderability".
2017 Dec 21
4
Hoisting in the presence of volatile loads.
...ess 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 separate decision, is whether to update getLoadReorderability in
> MemorySSA to remove the restriction that loads should not alias. That
> would give the same behavior as the AliasSetTracker.
> George's recollection is that the reason MemorySSA didn't reorder
> aggressively is because it was untested at the time. Now that
> MemorySS...
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