linux-sparse.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
To: linux-sparse@vger.kernel.org
Cc: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Subject: [PATCH v2 0/5] unssa improvements
Date: Mon, 12 Dec 2016 16:28:56 +0100	[thread overview]
Message-ID: <20161212152901.24948-1-luc.vanoostenryck@gmail.com> (raw)

This serie improves the out-of-SSA step by:
* simplify the conversion of the phi-nodes & phi-sources into copies
* eliminate some copies which are trivially not needed.

The elimination step is significant since on a small corpus which
produced 267 copies, after the patch only 165 remain.


Changes since v1:
  * during unSSA, do not use kill_instruction() on OP_PHI
  * fix related to the fact that after unSSA, pseudos *can*
    again be defined by several instructions. If it's effectively the
    case, their ->def is set to NULL (and must, of course, not be used).

Note: this serie depends on the serie 'fix uses of killed instructions'
    and on the changes to the testsuite for checking after some patterns
    in the output.

This serie can also be found on github:
	https://github.com/lucvoo/sparse/tree/sent/unssa-simple

Luc Van Oostenryck (5):
  unssa: do not try to update liveness
  unssa: simplify rewrite of OP_PHISOURCE
  unssa: try to avoid some OP_PHI copies
  unssa: eliminate trivial phisrc copies
  unssa: update comment about the unneeded copies

 unssa.c | 142 ++++++++++++++++++++++++++++++++++------------------------------
 1 file changed, 75 insertions(+), 67 deletions(-)

-- 
2.10.2


             reply	other threads:[~2016-12-12 15:29 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-12-12 15:28 Luc Van Oostenryck [this message]
2016-12-12 15:28 ` [PATCH v2 1/5] unssa: do not try to update liveness Luc Van Oostenryck
2016-12-12 15:28 ` [PATCH v2 2/5] unssa: simplify rewrite of OP_PHISOURCE Luc Van Oostenryck
2016-12-12 15:28 ` [PATCH v2 3/5] unssa: try to avoid some OP_PHI copies Luc Van Oostenryck
2016-12-12 15:29 ` [PATCH v2 4/5] unssa: eliminate trivial phisrc copies Luc Van Oostenryck
2016-12-12 15:29 ` [PATCH v2 5/5] unssa: update comment about the unneeded copies Luc Van Oostenryck

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20161212152901.24948-1-luc.vanoostenryck@gmail.com \
    --to=luc.vanoostenryck@gmail.com \
    --cc=linux-sparse@vger.kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).