[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [avr-gcc-list] compilation results with avr-gcc 4.8.3
From: |
Joern Rennecke |
Subject: |
Re: [avr-gcc-list] compilation results with avr-gcc 4.8.3 |
Date: |
Fri, 26 Sep 2014 03:00:39 +0100 |
On 25 September 2014 21:11, Joerg Wunsch <address@hidden> wrote:
> As Christian Schmidt wrote:
>
>> Is it fair to conclude that the ~
>> operator, applied to an unsigned char, does produce an int as output
>> instead of the input type?
>
> Yes, this is exactly what the C standard promotion rules require.
>
> Well, to be exact, they *require* it behaves "as if" it were promoted
> to "int", so if the sign extension has no net effect to the result, it
> might be left out as well. So in that sense, it might be considered a
> "missed optimization" bug in GCC here, but it's probably always hard
> to catch all those situations well were the integer promotion could be
> bypassed.
The first principle is to split all the multi-word operations into single
operations to expose them to the late rtl optimizers, but the branches
need some more specific peepholes.
avr-opt-promotion
Description: Binary data