Displaying 2 results from an estimated 2 matches for "provablytrue".
2017 Mar 03
4
Optionally using value numbering in Simplify*
...rrent 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
otherbb:
dead = something else
br mergeblock
merge block
a = phi(live, dead)
b = live2
result = icmp sge a, b
both GVN and NewGVN prove provablytrue to be true, and phi to be equivalent
to live.
GVN transforms this piece at time, and so by the time simplifycmpinst sees
the i...
2017 Mar 03
2
Optionally using value numbering in Simplify*
...rrent 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
otherbb:
dead = something else
br mergeblock
merge block
a = phi(live, dead)
b = live2
result = icmp sge a, b
both GVN and NewGVN prove provablytrue to be true, and phi to be equivalent
to live.
GVN transforms this piece at time, and so by the time simplifycmpinst sees
the i...