Datentypen und Berechnungen

bal schrieb:
> Aber wieso kann der Compiler dann aus "a + b" einen einfachen
> "add"-Befehl machen, der ja nur 8 Bit werte addiert?

Er muss sich so verhalten, als ob entsprechend der Definition 
gearbeitet wird. Weiss er jedoch, dass in optimierter Form das gleiche 
Ergebnis raus kommt, dann darf er abkürzen. Also vereinfacht:
   uint8_t  a, b;
   uint16_t c = a + b; // 16bit Rechnung nötig
   uint8_t  d = a + b; // 8bit Rechnung zulässig

bal schrieb:
> Macht Sinn. Ich ging bisher davon aus dass nur die an der Berechnung
> beteiligten Datentypen eine Rolle spielen.

Formal gesehen liegst du richtig. Formal muss er so tun, als ob er in 
"int" rechnet. Aber wenn er am Kontext erkennt, dass das ausser Aufwand 
nix einbringt, dann gehts auch eine Nummer kleiner.

So darf er bei
  uint8_t e = (a + b) / 2;
nicht in 8 Bits rechnen, weil das Ergebnis nicht durchweg identisch ist.

bal schrieb:

> Weil er mir

nicht nur dir ;-)

> uint8_t test2 (uint8_t a, uint8_t b)
> {
>   return a + b;
> }
>
> in
>
>   92:  86 0f         add  r24, r22
>   94:  08 95         ret
>
> übersetzt.

a + b ist ein 16-bit Wert, jedoch wird von test2 nur ein 8-Bit Wert 
returniert.  Dies ist so sein das ABI geändert wurde, irdendwo zwischen 
GCC Version 4.2 und 4.3 wenn ich mich recht entsinne: Es gibt keine 
Promotion von 8-Bit Werten zu 16-Bit Werten mehr.

...und es gibt sogar eine AVR-LibC Anforderung die ABI-Doku dahingehend 
anzupassen:

http://savannah.nongnu.org/bugs/?37026

bal schrieb:
> Ich ging bisher davon aus dass nur die an der Berechnung beteiligten
> Datentypen eine Rolle spielen.

Das ist auch so. Teil der C-Norm ist aber auch die sogenannte 
"as-if"-Regel. Diese besagt, daß der Compiler von deinem Code beliebig 
abweichen darf, solange das beobachtbare Verhalten ("observable 
behavior") gleich bleibt. Der Optimizer erkennt, daß eine Rechnung in 8 
Bit gegenüber der in 16 Bit am Ergebnis nichts ändert, also darf er die 
Vereinfachung laut as-if-Regel machen.

Johann L. schrieb:
> a + b ist ein 16-bit Wert, jedoch wird von test2 nur ein 8-Bit Wert
> returniert.  Dies ist so sein das ABI geändert wurde, irdendwo zwischen
> GCC Version 4.2 und 4.3 wenn ich mich recht entsinne: Es gibt keine
> Promotion von 8-Bit Werten zu 16-Bit Werten mehr.

Mal für einen Noob wie mich, weil es mich interessiert:
Was ist das ABI
und
was versteht man unter Promotion bei den Datentypen?

Vielen Dank
Fabian

Fabian Hoemcke schrieb:
> Johann L. schrieb:
>> a + b ist ein 16-bit Wert, jedoch wird von test2 nur ein 8-Bit Wert
>> returniert.  Dies ist so sein das ABI geändert wurde, irdendwo zwischen
>> GCC Version 4.2 und 4.3 wenn ich mich recht entsinne: Es gibt keine
>> Promotion von 8-Bit Werten zu 16-Bit Werten mehr.
>
> Mal für einen Noob wie mich, weil es mich interessiert:
> Was ist das ABI

http://de.wikipedia.org/wiki/Binärschnittstelle

> und was versteht man unter Promotion bei den Datentypen?

http://de.wikipedia.org/wiki/Promotion_(Typumwandlung)

troll schrieb:
> doch vollkommen in Ordnung?!

Ja.