Frage zur Laufzeit von if else

Gast #1885911
Hallo,

besteht ein Unterschied zwischen dem Konstrukt_A:
1
if(x)
2
   y=1;;
3
else
4
   y=0;

und dem Konstrukt_B:
1
if(x)
2
   y=1;
3
if(!x)
4
   y=0;

?


x kann 0 oder 1 sein ...
Ich denke bei Konstrukt_B dauert die Ausführung immer gleich lang.
Wie ist es bei Konstrukt_A? Wird erst if(x) abgefragt und else nur 
abgefragt wenn bei der if-Abfrage FALSE rausgekommen ist? Ergeben sich 
bei Konstrukt_A also unterschiedliche Laufzeiten(Taktzyklen), je nach 
dem ob x 0 oder 1 ist?


Ich hoffe diese Frage ist nicht zu trivial ;)
Gruß
d007mi
Bei der zweiten Variante ist die Laufzeit immer etwas länger
als bei der ersten, wenn der Compiler nicht merkt, daß man
es optimieren kann.
Bei beiden Varianten ist die Zeit aber unabhängig von x.

Zudem ist die erste Variante alleine deshalb besser, weil sie
klarer ausdrückt, was los ist (für den menschlichen Leser).
Gast
Bei bestimmten uC sowie Compilern bringt das den 
schlankesten/schnellsten code:

 y = 0;
 if (x) y = 1; // oder auch y++ - als Speziealfall hier, geht teilweise 
noch schneller, bzw lässt weitere optimierungen des Compilers zu.
Gast
Die beiden Dinge sind semantisch nicht äquivalent. Was bringt da der 
Laufzeitvergleich?

Zu Ersterem gibt es allerdings noch die Alternativen einer Case oder 
einer bedingten Zuweisung ala y=x?0:1;
Gast
ok, hatte bei Peter kurz gespinnst statt im orginal.

x=y funktioniert nur, wenn sichergestellt ist, dass x=0/1 ist. Ist x 
anderswertig, so ist die Zuweisung ebenfalls wieder nicht aquivalent.

Deswegen bringt der Vergleich hier nichts. Ist z.B. x volatil Kann im OP 
Bsp 2 der Fall auftreten, dass y nie zugewiesen wird. Es kommt massiv 
auf die Rahmenbedingungen an. Und wenn die klar sind, sollte der 
flotteste Weg eigentlich bei einer solchen Problematik trivial sein.
Am schnellsten wäre auf dem AVR:
1
y = 0;
2
if(x)
3
   y=1;
weil dann teure Sprünge eingespart würden:
1
  ldi r25, 0
2
  cpse r24, r1  ; R1 = zero register
3
  ldi r25, 1


Leider ist der AVR-GCC aber sehr eigensinnig, er mach dies und Deine 
beiden Varianten immer zu if/else:
1
  cpse r24, r1  ; R1 = zero register
2
  rjmp m1
3
  ldi r25, 0
4
  rjmp m2
5
m1:
6
  ldi r25, 1
7
m2:


Peter

Antwort schreiben

Eine eigene Frage? Dieser Thread ist über 16 Jahre alt. Stell sie in einem eigenen Thread – dort lesen mehr Leute mit, und sie wird öfter und schneller beantwortet.

Neuen Thread starten

Eine Lösung, Ergänzung oder Rückmeldung zu diesem Thread? Dann antworte hier.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.