Displaying 2 results from an estimated 2 matches for "vmatch".
Did you mean:
match
2017 Mar 03
2
Optionally using value numbering in Simplify*
...it tries to
match() on a Value (or otherwise examine it)?
It depends on how many places go walking.
As I said, we get the top level calls right, and that's enough for a *lot*
of cases.
Just not a few that want to do some sort of collection or matching of
operands of operands. We could make a vmatch that understands value
equivalency if we need to.
That seems extremely invasive in the sense that there would be a lot of
places to change, and no good way to make sure we actually caught all the
places which need to be changed.
First, all are just missed optimization if you miss them, not corre...
2017 Mar 03
4
Optionally using value numbering in Simplify*
So i have a testcase (see PR31792, and cond_br2.llin GVN) that current GVN
can simplify because it replaces instructions as it goes. It's an example
of a larger issue that pops up quite a lot
I would appreciate thoughts on what to do about it
it amounts to something like this (but again, it happens a lot):
live = gep thing, 0
live2 = gep thing, 1
branch i1 provablytrue,, mergeblock, otherbb