From: Kai Tietz <ktietz70@googlemail.com>
To: Eric Botcazou <ebotcazou@adacore.com>
Cc: gcc-patches@gcc.gnu.org, Richard Guenther <richard.guenther@gmail.com>
Subject: Re: [patch gimplifier]: Boolify more strict conditional expressions and transform simple form to binary
Date: Wed, 11 May 2011 11:12:00 -0000 [thread overview]
Message-ID: <BANLkTimV-hvrvNPNetAkGr_aK_Y9AJXZeA@mail.gmail.com> (raw)
In-Reply-To: <201105111153.28024.ebotcazou@adacore.com>
2011/5/11 Eric Botcazou <ebotcazou@adacore.com>:
>> this patch converts TRUTH_AND_EXPR, TRUTH_OR_EXPR, and TRUTH_XOR_EXPR
>> expressions on gimplification to their binary form.
>
> What is it for? This will redirect the compilation stream from proven paths to
> others so there must be a good reason to do it. What's the effect on the code?
>
> --
> Eric Botcazou
Well, it would have some effects. First we don't need to handle TRUTH
and BINARY variants of AND, OR, XOR any longer special. Second cause
is that on BINARY trees the reassociation pass can operate, which
leads to better optimized boolean logic.
Regards,
Kai
next prev parent reply other threads:[~2011-05-11 10:03 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-05-10 14:25 Kai Tietz
2011-05-10 15:24 ` Richard Guenther
2011-05-10 15:34 ` Kai Tietz
2011-05-10 15:38 ` Richard Guenther
2011-05-10 15:45 ` Paolo Bonzini
2011-05-10 15:52 ` Richard Guenther
2011-05-10 17:28 ` Kai Tietz
2011-05-10 20:49 ` Kai Tietz
2011-05-11 9:35 ` Richard Guenther
2011-05-11 10:06 ` Kai Tietz
2011-05-11 10:51 ` Kai Tietz
2011-05-11 10:00 ` Kai Tietz
2011-05-11 10:03 ` Richard Guenther
2011-05-11 10:12 ` Kai Tietz
2011-05-11 10:31 ` Kai Tietz
2011-05-11 12:08 ` Richard Guenther
2011-05-11 10:46 ` Eric Botcazou
2011-05-11 11:12 ` Kai Tietz [this message]
2011-05-11 12:16 ` Richard Guenther
2011-05-11 19:39 ` Kai Tietz
2011-05-12 10:32 ` Richard Guenther
2011-05-12 14:57 ` Kai Tietz
2011-05-12 15:41 ` Richard Guenther
2011-05-12 21:33 ` Kai Tietz
2011-05-12 22:48 ` H.J. Lu
2011-05-13 10:07 ` Richard Guenther
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=BANLkTimV-hvrvNPNetAkGr_aK_Y9AJXZeA@mail.gmail.com \
--to=ktietz70@googlemail.com \
--cc=ebotcazou@adacore.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=richard.guenther@gmail.com \
/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 read-only IMAP folder(s) and NNTP newsgroup(s).