On 07/14/2015 05:37 AM, Richard Biener wrote:
On Tue, 14 Jul 2015, Richard Biener wrote:
On Mon, 13 Jul 2015, Jeff Law wrote:
2015-07-13 Richard Biener <rguent...@suse.de>
* tree-ssa-dom.c (record_temporary_equivalences): Merge
wideing type conversion case from
record_equivalences_from_incoming_edge
and use record_equality to record equivalences.
(record_equivalences_from_incoming_edge): Call
record_temporary_equivalences.
Yea, if testing is clean, that's OK. Ought to be easier to then add code to
handle looking at the uses of X to see if they create an equivalence for the
destination of those use statements.
Applied. The following patch adds the equivalences for the destination
of use stmts if they simplify.
Actually I can't use FOR_EACH_IMM_USE_STMT any longer because
record_equivalence ends up calling has_single_use which doens't
handle the special marker FOR_EACH_IMM_USE_STMT inserts.
Thus the following - bootstrapped and tested on x86_64-unknown-linux-gnu.
Ok?
Thanks,
Richard.
2015-07-14 Richard Biener <rguent...@suse.de>
* tree-ssa-dom.c (dom_valueize): New function.
(record_temporary_equivalences): Also record equivalences
for dominating stmts that have uses of equivalences we are
about to record.
OK.
jeff
