c avr ((1+2)*4 < -3)

Simon schrieb:
> Kann mir bitte jemand erklären was hier passiert?

Du verrechnest Äpfel mit Birnen und verlässt dich dabei auf implizite 
Typumwandlungen.

Schaut dir einfach mal die Binärcodierung von -3 an und wie der 
maschinenbefehl CMP funktioniert.

Zu erinnerung CPU-Register kennen keine Unterschied zwischen signed und 
unsigned, die vergleichen stur die Bits.

my2ct schrieb:
> Du verrechnest Äpfel mit Birnen und verlässt dich dabei auf implizite
> Typumwandlungen.

Richtig, darauf hatte ich mich verlassen.
Ich dachte ein Vorzeichen auf jeder Seite sollte reichen.

würde sagen da wird es erklärt:
https://stackoverflow.com/questions/17832815/c-implicit-conversion-signed-unsigned

Bestätige:

Sehe die Warnung auch auf AVR und es kommt -1 raus.
Die Warnung ist also mehr als berechtigt.

Bei RP2040 und STM32 zeigt sich 1 ohne Warnung.

Vielen Dank, bei der Aktivierung -Wextra gibt es bei mir auch eine 
Warnung.
Nun habei ich noch ein anderes Problem, vielleicht könnt ihr mir da auch 
helfen:
Folgender Code liefert die Warnung:
signed and unsigned type in conditional expression
Kann ich das Problem besser lösen?

1

#define BV(bit) (1 << (bit))

2

#define bit_is_high(reg,bit)  (((reg)&BV(bit))!=0)

3

#define vorzeichen_erweitern(x) (bit_is_high(x, 9) ? x | 0xFC00 : x)

4

int16 tmp = ADC;

5

tmp = vorzeichen_erweitern(tmp);

ps.: Ganz vergessen.
Der ADC liefert einen vorzeichenbehafteten 12Bit-Wert.

Simon schrieb:
> signed and unsigned type in conditional expression
> Kann ich das Problem besser lösen?

Naja, entweder signed oder unsigned rechnen oder casten.

Ein ganz brauner "Trick": linksshiften um 6 und danach rechtsschiften 
genauso viel. Dann brauchst Du kein If und keine defineorgien.

int16 tmp = ADC<<6;
tmp>>=6;

Bzw 3 bei typischen 12 Bit + Vorzeichen

Simon schrieb:

> Kann mir bitte jemand erklären was hier passiert?

Eselsbrücke: unsigned ist ansteckend.

Frank M. schrieb:
> Adam P. schrieb:
>
>> Jedoch gibt es eine Warning:
>> "warning: comparison between signed and unsigned integer expressions
>> [-Wsign-compare]"
>
> Ich habs eben unter Linux getestet. Bei mir gibt es weder diese Warnung
> noch den Fehler: Es wird "1" ausgegeben.
> $ cc -O2 -Wall -Wextra a.c
> $ ./a.out
> 1
> $ cc -v
> ...
> gcc version 8.3.0 (Debian 8.3.0-6)
>
> Wenn, dann muss es etwas avr-gcc-spezifisches sein - eventuell in einer
> speziellen Compilerversion.

Ich würde es auf die integer Promotion schieben: bei arithmetischen 
Operationen werden die Operanten implizit auf int gecastet, sofern ihr 
Typ schmaler ist als int.
Auf den 32bit MCUs und dem PC ist das gegeben, auf dem AVR nicht.
Warum unsigned signed auf dem AVR „Vorrang“ gegeben wird, weiß ich 
nicht, vielleicht ist es UB/IDB und deswegen die Warnung?

Kleine Ergänzung: dass unsigned der Vorrang gewährt wird, ist hier 
dokumentiert: 
https://en.cppreference.com/w/cpp/language/operator_arithmetic
Advent also Teil des Standards zu sein.

Simon schrieb:
> Der ADC liefert einen vorzeichenbehafteten 12Bit-Wert.

Welcher ADC?
Bei einigen ADC's kann man konfigurieren was man braucht:
-binary
-binary offset
-2 complement
-gray
-1 complement

eine 'Vorzeichenbehaftete Codierung (signed) gibt es genau genommen bei 
ADC's nicht, das heisst höchstens 'polar encoding', weil dem ADC ist es 
wurscht wo du den 0-Punkt in das Analogintervall Min-Max  setzt. Dem 
C-Compiler dagegen nicht.

Yalu X. schrieb:
> Das gibt keine Warnung, weil alles in signed gerechnet wird, und
> funktioniert auch, wenn x bzw. tmp mehr als 16 Bit breit ist.
>
> Simon schrieb:
>> ps.: Ganz vergessen.
>> Der ADC liefert einen vorzeichenbehafteten 12Bit-Wert.
>
> Sicher? bit_is_high(x, 9) und 0xFC00 sehen für mich eher nach 10 Bit
> aus. Für 12 Bit wäre die Ersatzschreibweise

Herzlichen Dank!
Du hast natürlich Recht; es ist ein 10 Biit ADC.

Gruß
Simon