Integer promotion - Ich raff's nicht

[Walter T. (nicolas)]

Hallo zusammen,
ich sitze hier mit dem K&R und wundere mich. Im folgenden Quelltext:

static inline __attribute__((always_inline)) void
ClearBit(GPIO_TypeDef * const GPIOx, const uint16_t bit) 
{
    GPIOx->BSRR = bit<<16U;
}

warnt mich der ARM-GCC zu der einzigen aktiven Zeile:
"30: warning: conversion to 'uint32_t' from 'int' may change the sign of 
the result [-Wsign-conversion]"

Das Feld "BSRR" ist übrigens als Zeiger auf uint32_t deklariert.

OK, was passiert hier? "bit" paßt in einen 32-Bit-Integer, wird also in 
einen solchen konvertiert. 16U passt nicht hinein und bleibt deshalb ein 
unsigned int. Um die Schiebeoperation durchführen zu können, wird 
anschließend "bit" vom Int -in das es vorher konvertiert wurde- in ein 
unsigned Int konvertiert - hier tritt der mögliche Datenverlust auf und 
der GCC warnt mich.

Mit der Änderung

GPIOx->BSRR = (uint32_t) bit<<16U;

wird "bit" direkt passend kovertiert und der Zwischenschritt über einen 
signed integer bleibt aus. Habe ich das richtig verstanden?

Viele Grüße
W.T.

[Ja (Gast)]

>Habe ich das richtig verstanden?

Ja

[asdfasd (Gast)]

> "bit" paßt in einen 32-Bit-Integer, wird also in  einen solchen konvertiert.

Nein.  Integer-Arithmetik findet immer in mindesten int-Größe statt (wie 
groß auch immer das ist).  bit (ein uint16_t) ist auf ARM kleiner als 
int (32 Bit), also wird es zu int erweitert.  Auf Systemen mit 
16-Bit-Ints bliebe es ein uint16_t.

> 16U passt nicht hinein und bleibt deshalb ein unsigned int.

Ist egal, ist ein (unsigned) int, bleibt auch einer.  Btw, das U ist 
unnötig.

> Um die Schiebeoperation durchführen zu können, wird anschließend "bit" vom
> Int -in das es vorher konvertiert wurde- in ein  unsigned Int konvertiert

Nein, der int-Wert wird 16-mal nach links geschoben, Resultat ist wieder 
ein int.  Vorsicht bei 16-Bit-Int-Systemen!

> - hier tritt der mögliche Datenverlust auf und der GCC warnt mich.

Nein, die Warnung kommt bei der Zuweisung eines (signed) int an ein 
uint32_t.

> Mit der Änderung

    GPIOx->BSRR = (uint32_t) bit<<16U;

> wird "bit" direkt passend kovertiert und der Zwischenschritt über einen
> signed integer bleibt aus. Habe ich das richtig verstanden?

Genau.  Und nur so auf Systemen mit 16-Bit-Ints korrekt.

Btw, der cast bezieht sich auf bit, nicht auf das Ergebnis des Shifts. 
Ich würde die Leerstellen deshalb anders setzen:

    GPIOx->BSRR = (uint32_t)bit << 16;

[(prx) A. K. (prx)]

Während bei Operatoren wie + und * das Vorzeichen der rechten Seite 
genau wie der linken Seite den Typ des Ergebnisses bestimmt, ist das bei 
den Shift-Operatoren nicht der Fall. Weshalb das U in 16U hier also 
nichts am Vorzeichentyp des Ergebnisses ändert. Folglich ist "bit << 
16U" bei 32-Bit ein "int", "bit + 16U" aber ein "unsigned".

[(prx) A. K. (prx)]

NB: Auf 32-Bit Maschinen wie diesem ARM ergibt es generell wenig Sinn, 
in Parametern und lokalen Variablen einen kleineren Typ als 32 Bits zu 
verwenden. Ausser es geht darum, den Wertebereich vorsätzlich darauf 
einzuschränken um keine anderen Werte zuzulassen. Dagegen kann die 
Verwendung kleinerer Typen bei ARMs zu umständlicherem Code führen, da 
es in Registern dafür keine Befehle gibt.

[Martin (Gast)]

Du musst 16UL schreiben, dann ist die Warning weg