merkwürdige Übersetzung durch AVR-GCC

[Andreas G (Gast)]

Wenn ich das beigefügte Programm übersetze, werden merkwürdige Befehle 
generiert. Es wird ein Register mit 0 geladen, anschließend wird es 
einmal arithmetisch nach rechts geschoben, und anschließend vergessen.

Wie kann ich erreichen, daß diese unnötigen Befehle nicht eingebaut 
werden?

(Compileraufruf: avr-gcc -g -mmcu=attiny2313 -Wall -Wstrict-prototypes 
-Os -Wa,-a,-ad,-ah -Os -c bcd2bin.c > bcd2bin.lst)

Compilerversion: avr-gcc (GCC) 5.4.0

[Oliver S. (oliverso)]

Wo ist das Problem?

Dein Hauptprogram macht nichts weiter, als 0 zurückzugeben. Der ganze 
Rest ist nur Dekoration und wird wegoptimiert.

gcc ist halt ein klassisches SiSo-System: Shit in - Shit out.

Oliver

[Schwarzseher (Gast)]

So besser?

uint8_t bcd2int(uint8_t input){
        uint8_t tempa = input & 0xF0;
        uint8_t tempo = (tempa >> 1);
        return tempo + (uint8_t)(tempo >> 2) + (uint8_t)(tempa);
}

[Jörg W. (dl8dtl) (Moderator)]

Andreas G schrieb:
> Wie kann ich erreichen, daß diese unnötigen Befehle nicht eingebaut
> werden?

Eine ältere Compilerversion benutzen. ;-)

Hier das Resultat für GCC 4.7.2:

bcd2int:
/* prologue: function */
/* frame size = 0 */
/* stack size = 0 */
.L__stack_usage = 0
        mov r25,r24
        andi r25,lo8(-16)
        lsr r25
        andi r24,lo8(15)
        add r24,r25
        lsr r25
        lsr r25
        add r24,r25
        ret

GCC 7.x habe ich gerade nicht zur Hand, vielleicht ist es dort ja
wieder besser geworden?  Mit bisschen Glück meldet sich Johann hier
zu Wort …

[Andreas G (Gast)]

Das Hauptprogramm ist auch nicht das Problem. Das steht nur da, damit 
das ganze übersetzt wird, ohne Fehlermeldung.

[Jörg W. (dl8dtl) (Moderator)]

Andreas G schrieb:
> Das steht nur da, damit das ganze übersetzt wird, ohne Fehlermeldung.

Da du nur mit -c compiliert hast (und ich gleich mit -S), wird das
auch übersetzt, ohne dass du ein main() angibst.  Man muss ja nicht
versuchen, das zu linken.

[Andreas G (Gast)]

@Schwarzseher: Danke, guter Tip, das Aufteilen in zwei Variablen hat 
genutzt. Hab noch das Ende angepaßt, da soll das Lownibble der Eingabe 
addiert werden.

@Jörg: ältere Version geht leider nicht, da gibt es Vorgaben. Ich bin 
eher ein Assembler-Programmierer der zu C gezwungen wurde ;-) ich wußte 
nicht, daß man ein Programm ohne "main" übersetzen kann.

@ Oliver S: Du solltest vor dem Posten erst einmal versuchen, das 
Problem zu erkennen, oder ging es nur darum, einen anderen zu 
beleidigen? Im Gegensatz zu den fundierten Antworten der anderen 
Beteiligten war Dein geistiger Erguß in keiner Weise hilfreich, da er 
das eigentliche Problem gar nicht angeschnitten hat.

[Jörg W. (dl8dtl) (Moderator)]

Andreas G schrieb:
> ältere Version geht leider nicht, da gibt es Vorgaben.

Und die paar Takte sind wirklich so wichtig, dass man sich darum
einen Kopf machen müsste?

Das Compilat von GCC 5.x ist ja nicht falsch, nur eben nicht optimal.

Wenn du ein völlig definiertes Zeitverhalten brauchst, solltest du
ohnehin die entsprechenden Codepassagen mit der Hand schreiben.
Andernfalls würde ich mir um einen solchen Artefakt keine zu großen
Gedanken machen.  Passiert halt immer wieder mal, dass ein Compiler
auch mal was Überflüssiges generiert.

[Johann L. (gjlayde)]

Ab v6 wird die Promotion zu int nicht mehr explizit ausgeführt.  Mit v5 
kann man zum Beispiel verwenden:

unsigned char bcd2int (unsigned char input)
{
  unsigned char tempu = input & 0xF0;
  unsigned char tempo = tempu >> 1;
  return tempo + (tempo >> 2) + (input & 0x0F);
}

bcd2int:
  mov r25,r24
  andi r25,lo8(-16)
  lsr r25
  andi r24,lo8(15)
  add r24,r25
  lsr r25
  lsr r25
  add r24,r25
  ret

Schwarzseher schrieb:
> So besser?

Fast, aber leider mit Zifferndreher.

[Yalu X. (yalu) (Moderator)]

So sieht's mit GCC 7.3.0 aus:

bcd2int:
  mov r25,r24
  lsr r25
  andi r25,lo8(120)
  andi r24,lo8(15)
  add r24,r25
  lsr r25
  lsr r25
  add r24,r25
  ret

Gegenüber dem Kompilat des GCC 4.7.2 in Jörgs Beitrag sind lediglich ein
LSR und ein ANDI vertauscht und der ANDI-Operand entsprechend angepasst
worden.