Konstanten Arithmetik in C

rmf schrieb:

> Gibt es eine Norm/Vorschrift wie ein C Compiler berechnungen mit
> Konstanten umsetzen soll?

Nach den C-Regeln zur Bewertung von Ausdrücken und der obersten 
Optimier-Direktive 'as if'.

D.h. der Compiler darf alles optimieren, solange es sich im Ergebnis 
nicht davon unterscheidet, wie ein Programm das zur Laufzeit berechnet 
hätte. Inklusive aller Datentypwandlungen, inklusive aller 
möglicherweise auftretenden Overflows.

Alles mit Floating Point war/ist insofern ein Problem, weil der 
Compiler, wenn er eine Floating Point Berechnung mittels Constant 
Folding wegoptimiert, Bit für Bit ein identisches Ergebnis rausbringen 
muss, wie es auch die Hardware produzieren würde, wenn sie dann die 
Berechnung durchführt. Und das war früher gar nicht so einfach, wenn da 
eine dezidierte FPU im Spiel war, die wieder abweichende Floating Point 
Formate benutzte, als zb die Software-Implementierung der entsprechenden 
Funktionalität.

Man beachte: Er darf!
Nicht: Er muss!

Um sicherzugehen, caste den konstanten Teil:

ucResult = ucWert3 + (uint8_t) (WERT1 * WERT2);
                        ^
                        |
                        -- oder einen anderen sinnvollen Typ

Dann werden auch keine float-libs herangezogen. Ich mache das im 
IRMP-Source viele dutzendmal. Ist dann überhaupt kein Problem.