Verständnisfrage zu shift Operatoren in vorzeichenbehafteten Rechnungen in c (Festkommarechnung)

#1704704
Lesenswert?

Hallo,

ich habe folgende Beispielformel zusammengefrickelt um meine Frage zu 
verdeutlichen...
int8_t Beispielrechnung (....)
{
    //Formel mul*0.3-50+r1

    uint8_t mul=133; //0-255
    uint16_t r1=30;  //0-99
    uint16_t c1=(uint16_t)(0.3*(1<<9));

    return 
(int8_t)(((((int16_t)(c1*(uint16_t)mul))-(50*1<<9))>>9)+(int16_t)r1);
}
Diese Geschichte rechnet richtig. Bitte vernachlässigt den Sinn und 
teilweise auch die Wahl der Zahlen. Ich möchte folgende Frage 
hervorheben:

Mit dem ersten Typecast (int16_t) an der Multiplikation möchte ich 
sicherstellen das die weitere Rechnung (Subtraktion) auf basis int16_t 
stattfindet, das geht auch.

Nun die Frage:
An der Stelle >>9 schifte ich eine vorzeichenbehaftete int16_t um 9 Bit 
nach rechts, warum geht das mit dem Vorzeichen nicht in die Grütze?

Müsste ich nicht viel eher schreiben /(int16_t)(1<<9)  ?

Gruß,
Thorsten
#1704714
Lesenswert?

Thorsten S. schrieb:

> An der Stelle >>9 schifte ich eine vorzeichenbehaftete int16_t um 9 Bit
> nach rechts, warum geht das mit dem Vorzeichen nicht in die Grütze?

Ohne deinen Klammernsalat aufgedröselt zu haben: >> bewahrt das 
Vorzeichen, mindestens üblicherweise. Es muss wohl vor Jahrzehnten 
Maschinen gegeben haben, die damit Probleme hatten, daher ist (war?) C 
laxer definiert, aber das ist Vergangenheit.

Wobei >> und / nur dann äquivalent sind, wenn kein negatives Vorzeichen 
mitmischt. Bei negativem Zähler kommen verschiedene Ergebnisse raus.
Moderator #1704720
Lesenswert?

A. K. schrieb:
> Es muss wohl vor Jahrzehnten Maschinen gegeben haben, die damit
> Probleme hatten, daher ist (war?) C laxer definiert, aber das ist
> Vergangenheit.

Es ist an der Stelle immer noch "lax" definiert:

  "The result of E1 >> E2 is E1 right-shifted E2 bit positions. If E1
  has an unsigned type or if E1 has a signed type and a nonnegative
  value, the value of the result is the integral part of the quotient of
  E1 / 2E2 . If E1 has a signed type and a negative value, the resulting
  value is implementation-defined." (Quelle:  ISO/IEC 9899:TC3)

Hat der Prozessor, wie fast jeder, einen ASR-Befehl (arithmetic shift
right), werden beim Rechtsshift von vorzeichenbehafteten Zahlen die frei
werdenden Bits üblicherweise mit dem höchstwertigen Bit von E1
aufgefüllt, das Vorzeichen bleibt dadurch erhalten.
#1704732
Lesenswert?

Hallo,

vielen Dank für die schnelle Antwort.

.. so das klingt logisch,

1)also kann ich es bedenkenlos so lassen?

Mir ist beim Rumpobieren mit dem Atmega168 noch aufgefallen das mir die 
Formel mit >>9, 19 als Ergebnis und die Variante /(int16_t)(1<<9), 20 
als Ergebnis liefert.

Ergebnis ist eigentlich 0.3*133-50+30=19,9

2)Habe ich in der Shift Geschichte noch einen Denkfehler, oder wie kann 
ich mir das erklären?

Gruß,
Thorsten
#1704733
Lesenswert?

Wobei >> und / nur dann äquivalent sind, wenn kein negatives Vorzeichen
mitmischt. Bei negativem Zähler kommen verschiedene Ergebnisse raus.


ist das nicht genau das was hier eben doch funktioniert? oder verstehe 
ich das falsch?

Gruß,
Thorsten

@AK, ich habe mich gestern dran gestetzt, die Formel ist lauffähig, und 
liefert für den SHT bereits passende Werte (ca. 30 verglichen mit float 
Rechnung)...
Persönliche Seite #1704800
Lesenswert?

Thorsten S. schrieb:
> An der Stelle >>9 schifte ich eine vorzeichenbehaftete int16_t um 9 Bit
> nach rechts, warum geht das mit dem Vorzeichen nicht in die Grütze?
>
> Müsste ich nicht viel eher schreiben /(int16_t)(1<<9)  ?

Eigentlich ganz einfach:

Wenn du schieben willst, dann schiebe.
Wenn du dividieren willst, dann dividiere.

Offenbar willst du hier eine Division ausführen, also...?

Je nach Compiler und Hardware wird er eine signed Division y = x/(1<<n) 
so umsetzen:
1
x1 = x;
2
if (x < 0)
3
  x1 += (1<<n)-1
4
y = x1 >> n // signed

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

oder

Mit Google-Account einloggen

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren