On Wed, Jul 13, 2011 at 2:15 PM, Kai Tietz wrote:
> 2011/7/13 Richard Guenther :
>> On Wed, Jul 13, 2011 at 1:08 PM, Kai Tietz wrote:
>>> 2011/7/13 Richard Guenther :
On Wed, Jul 13, 2011 at 11:04 AM, Kai Tietz
wrote:
> Sorrty, the TRUTH_NOT_EXPR isn't here the point at all. The u
2011/7/13 Richard Guenther :
> On Wed, Jul 13, 2011 at 1:08 PM, Kai Tietz wrote:
>> 2011/7/13 Richard Guenther :
>>> On Wed, Jul 13, 2011 at 11:04 AM, Kai Tietz wrote:
Sorrty, the TRUTH_NOT_EXPR isn't here the point at all. The underlying
issue is that fold-const re-inttroduces TRUTH_AN
On Wed, Jul 13, 2011 at 1:08 PM, Kai Tietz wrote:
> 2011/7/13 Richard Guenther :
>> On Wed, Jul 13, 2011 at 11:04 AM, Kai Tietz wrote:
>>> Sorrty, the TRUTH_NOT_EXPR isn't here the point at all. The underlying
>>> issue is that fold-const re-inttroduces TRUTH_AND/OR and co.
>>
>> I'm very sure it
2011/7/13 Richard Guenther :
> On Wed, Jul 13, 2011 at 11:04 AM, Kai Tietz wrote:
>> Sorrty, the TRUTH_NOT_EXPR isn't here the point at all. The underlying
>> issue is that fold-const re-inttroduces TRUTH_AND/OR and co.
>
> I'm very sure it doesn't re-constrct TRUTH_ variants out of thin air
> whe
On Wed, Jul 13, 2011 at 11:04 AM, Kai Tietz wrote:
> Sorrty, the TRUTH_NOT_EXPR isn't here the point at all. The underlying
> issue is that fold-const re-inttroduces TRUTH_AND/OR and co.
I'm very sure it doesn't re-constrct TRUTH_ variants out of thin air
when you present it with BIT_ variants as
Sorrty, the TRUTH_NOT_EXPR isn't here the point at all. The underlying
issue is that fold-const re-inttroduces TRUTH_AND/OR and co. To avoid
it, it needs to learn to handle 1-bit precision folding for those
bitwise-operation on 1-bit integer types special.
As gimple replies on this FE fold for now
On Wed, Jul 13, 2011 at 9:32 AM, Kai Tietz wrote:
> Hello,
>
> I split my old patch into 8 speparate pieces for easier review. These patches
> are a prerequist for enabling boolification of comparisons in gimplifier and
> the necessary type-cast preserving in gimple from/to boolean-type.
>
> This
Hello,
I split my old patch into 8 speparate pieces for easier review. These patches
are a prerequist for enabling boolification of comparisons in gimplifier and
the necessary type-cast preserving in gimple from/to boolean-type.
This patch adds support to fold_truth_not_expr for one-bit precisio
