Displaying 2 results from an estimated 2 matches for "isfullyavailableinblock".
2018 Sep 14
2
Generalizing load/store promotion in LICM
...here’s only two things stopping GVN PRE from doing it:
* GVN::PerformLoadPRE doesn’t hoist loads that are conditional. Probably this can be overcome with some kind of
heuristic that allows it to happen in loops when the blocks where a load would have to be inserted are outside
the loop.
* IsFullyAvailableInBlock goes around the loop and double-counts the entry-edge into the loop as unavailable. I’m
pretty sure this can be easily fixed by marking the block that PerformLoadPRE calls IsFullyAvailableInBlock on as
FullyAvailable, so it stops there when following the back-edge.
I did a quick experimen...
2018 Sep 13
3
Generalizing load/store promotion in LICM
(minor inline additions)
On 09/13/2018 01:51 AM, Chandler Carruth wrote:
> Haven't had time to dig into this, but wanted to add +Alina Sbirlea
> <mailto:asbirlea at google.com> to the thread as she has been working on
> promotion and other aspects of LICM for a long time here.
Thanks!
> On Wed, Sep 12, 2018 at 11:41 PM Philip Reames
> <listmail at philipreames.com