Displaying 2 results from an estimated 2 matches for "vnimpl".
2017 Mar 03
4
Optionally using value numbering in Simplify*
...thing. It also couldn't know that dead is dead. So it doesn't
see that result is true.
The upshot is that it takes two passes of newgvn to get the same result as
gvn.
I'm trying to decide what to about this case. As i said, it happens a lot.
It would be pretty trivial to make a "VNImpl" interface that has a few
functions (that can be fulfilled by any value numbering that is an
analysis), have newgvn implement it, and use it in Simplify*.
(It would take work to make GVN work here because of how many places it
modifies the ir during value numbering. It also modifies as it goe...
2017 Mar 03
2
Optionally using value numbering in Simplify*
...t just do top level things. Some go
looking, so we need them to call back in in some cases.
The upshot is that it takes two passes of newgvn to get the same result as
gvn.
I'm trying to decide what to about this case. As i said, it happens a lot.
It would be pretty trivial to make a "VNImpl" interface that has a few
functions (that can be fulfilled by any value numbering that is an
analysis), have newgvn implement it, and use it in Simplify*.
(It would take work to make GVN work here because of how many places it
modifies the ir during value numbering. It also modifies as it goe...