Page MenuHomePhabricator

[LoopSimplify] Preserve Post Dom Trees across Loop Simplify
Needs ReviewPublic

Authored by dmgreen on Dec 15 2017, 10:08 AM.
This revision needs review, but there are no reviewers specified.



This extends DeferredDominance to hold an optional PostDomTree, and apply the same set of updated to both dom trees. Loop Simplify is then switched over to use DeferredDominance, and applies the correct set of edge updates to preserve the two trees at once.

Diff Detail

Event Timeline

dmgreen created this revision.Dec 15 2017, 10:08 AM

I will try to rebase this on top of d40146 once it goes in. Providing I can get the applyUpdates to work.

fhahn added a subscriber: fhahn.Dec 15 2017, 10:58 AM

I assume this depends on D41299?

375 ↗(On Diff #127155)

Why do we try to preserve the DominatorTree here, but not the PostDominatorTree? Here and in other files below


Maybe add a comment here like for updating the dominator tree?


Update comment to include PostDominator


Update comment to include postdominator


Update postdominator comment? PDT is optional here but DT is not. I assume that has to do with some instances passing nullptr as above. Is there any reason we cannot make PDT required?`I am not saying we need to do all this in a single commit, but we should keep that in mind.


unrelated whitespace change.

Hello. Thanks for taking a look.

After starting at D40146 I think a lot of this will end up changing. I will have to look into what that will end up looking like once it is in and I have some time to update things.

I've tried the answer the questions that are relevant to that. I have another patch for the same thing in LICM, which is mostly trivial on top of this.

375 ↗(On Diff #127155)

I think the only place we currently use PostDominatorTrees in the default pipeline is in ADCE. Theres also places like GVNHoist, but it's off at the moment. We will likely have to add post doms to DSE, which has LICM (and hence LoopSimplify) in between it and ADCE. So if we can at least get these two passes to preserve the tree, we will get the post dom tree for free (ish) :)

So most places currently don't know about PostDomTrees. DomTrees and much more common. In the long run it would be good to get them to preserve, where it makes sense, but it can be a bit fiddly to make sure its correct. This interface will likely change to not take a PostDomTree, taking an updater object instead.


Will do. I'll update them when I have a new version.


This may turn into a DeferredDominance object holding a DT and PDT that applies the same updates to each. The PDT will be rarer and probably still optional, but hopefully a lot of the interface will simplify.

brzycki added a subscriber: brzycki.Jan 3 2018, 9:08 AM
dmgreen updated this revision to Diff 131283.Jan 24 2018, 9:29 AM
dmgreen edited the summary of this revision. (Show Details)
dmgreen added subscribers: davide, dberlin, kuhar.

I don't know what people will think of the interfaces for SplitBlockPredecessors and simplifyLoop. Let me know if theres a better way I should be doing that. I also removed the old splitBlock from Dominator trees, replacing it with a series of deferred updates. And I made DeferredDominator flush in it's deconstructor. And I may need to move DeferredDominance into Analysis to use PostDomTrees - I'll check this.

Looks nice, I think that using DeferredDominance as a single DomTree updated object is the right direction.
I just quickly went though the patch and left some comments, but I think this approach is good enough for the first step. Ideally, DDT should update DT first and use the reachability information to update PDT faster. I will comment more on this later when I find some more time.




We can reserve Updates here. 1 + 2 * Preds.size()?


Do we always have to flush DDT when we get to this condition here? I think that it's possible to tell that Pred is not reachable if it's enqueued for deletion.


Just eyeballing the function, this seems to be the only use od DT in the rest of this function. I'm not sure if always flushing it above is not too conservative/costly.


SplitBlockPredecessors(BB, Preds, Suffix, DT ? DDT(*DT) : nullptr, LI, PreserveLCSSA);?


Like above.


Nit: we can reserve here as well.


I would appreciate an extra line here, the continue blends in and it's easy to miss it.




Can you rewrite it as a series of if's? It's difficult to parse for me.


Same as above.




Is PDT required? Maybe we should test both with and without it?

Hello. Sorry for not getting back to this. You gave a good review, but I haven't had the chance to do anything with this (its been "second" on todo list for the longest time). Essentially I dislike the duplicated functions here enough that I don't think it's workable as-is.


I think, because this is already working in loop simplify, the number of updates will not be big. It already works fine with an non-deferred updater, so the cost of doing DT updates will likely not be massive.

Could a block be already unreachable, but not queued for deletion?


DDT is currently passed as a pointer and takes a reference to a DT. So we dont want to create one if DT is nullptr, and I dont think using SplitBlockPredecessors(.., DT ? &DeferredDominance(DT) : nullptr, ..) is valid use of a rvalue.

I also dont think having these multiple function definitions is sensible/scalable.

My current best guess for how to do this properly and incrementally would be to have something like a "DominatorTreeUpdater" class that both DT and DDT inherrit from. It would have an interface similar to DDT here (insertEdge, deleteEdge, applyUpdate, getDT, getPDT), and would allow a DT and a DDT (holding a DT/PDT) to be used identically. Functions such as this one could then be switched over to use the new class type without changing any external code.

There may be better ideas out there.


I agree :)

kuhar added inline comments.Feb 18 2018, 8:36 AM


Could a block be already unreachable, but not queued for deletion?

I'm not sure if it makes sense in this API, but in general yes. And a previously unreachable block can also be (non-trivially) enqueued for insertion


I missed the pointer/reference difference here. I'm fine with how it is right now, but I really think we have to consider better design in the future.

nhaehnle removed a subscriber: nhaehnle.Feb 21 2018, 9:19 AM