- User Since
- Oct 15 2012, 11:56 PM (340 w, 1 d)
Tue, Apr 16
CFG.cpp doesn't have many non-cleanup authors, Bruno once made a change all the way back in 2015 to improve the performance of isPotentiallyReachable. Alina, I've added you since you reviewed my previous change to isPotentiallyReachable when it affected LICM. This series of patches improves performance of isPotentiallyReachable, primary by taking advantage of dominator tree properties.
Mon, Apr 15
Sat, Apr 13
The two statements:
We could simply say that the store *is undefined*, and prune the path.
The motivating case for this involves a memmove to a buffer which is constant down a path which is dynamically dead.
conspire to make me think that pruning the whole path really is the right thing to do. This might be the only hint the compiler has that the path is dead code.
Thu, Apr 11
Wed, Apr 10
Sat, Apr 6
Fri, Apr 5
Thu, Apr 4
Wed, Apr 3
Tue, Apr 2
Fixed creation of invalid IR when the loop exit block we need to insert a free call in, is a catchswitch block.
Mon, Apr 1
I've only skimmed through the high level comments so far, so if if any of this is addressed inline, just say so.
I was wondering why you phrased this as a combination of hoisting and sinking as opposed to promotion. We have the scalar promotion path, and the basic transform you're doing feels a lot like promotion. I suspect that many of the legality aspects will be common.
Committed revision 357425.
Sun, Mar 31
Nov 8 2018
Oct 23 2018
Oct 16 2018
Oct 5 2018
I misspoke, I meant to say please wait for another reviewer. I've been away from LLVM long enough that I don't have enough context to OK patches to land, but I didn't mean that rnk must be the other reviewer. Sorry!
This looks good to me, but please wait for rnk.
Oct 4 2018
I don't understand the logical model behind byval, but I'll review the change to TRE under the assumption that the goal of the patch is correct.