Komisches Verhalten des Optimierers

[Martin (Gast)]

Hallo, ich habe mir ein Board mit einem Cortex M3 gebaut, auch externes 
RAM angeschlossen.

Jetzt habe ich zwei Funktionen geschrieben, welche den Speicher 
beschreiben und auslesen.
In der Hauptschleife rufe ich diese nun auf.

i = 0;

  /* Infinite loop */
  while (1)
  {
    ExtRam_SetByte(i, 0x13);
    check = ExtRam_GetByte(i);
    
    i++;
  
    if(i >= 0x80000)
      i = 0x00000;

  }
}

Der Optimierer macht allerdings voll den Kack daraus, hier mal ein 
Assemblerlisting:

/* Infinite loop */
  while (1)
  {
    ExtRam_SetByte(i, 0x13);
     2113       movs r1, #0x13
     2000       movs r0, #0x00
     F7FFFFB2   bl 0x08000684 <ExtRam_SetByte>
    check = ExtRam_GetByte(i);
     2000       movs r0, #0x00
     F7FFFF87   bl 0x08000634 <ExtRam_GetByte>
    ExtRam_SetByte(i, 0x13);
     2113       movs r1, #0x13
     2001       movs r0, #0x01
     F7FFFFAB   bl 0x08000684 <ExtRam_SetByte>
    check = ExtRam_GetByte(i);
     2001       movs r0, #0x01
     F7FFFF80   bl 0x08000634 <ExtRam_GetByte>
    ExtRam_SetByte(i, 0x13);
     2002       movs r0, #0x02
     2113       movs r1, #0x13
     F7FFFFA4   bl 0x08000684 <ExtRam_SetByte>
    check = ExtRam_GetByte(i);
     2002       movs r0, #0x02
     F7FFFF79   bl 0x08000634 <ExtRam_GetByte>
    
    i++;
     2303       movs r3, #0x03
     E00B       b 0x0800075E
    ExtRam_SetByte(i, 0x13);
     4620       mov r0, r4
     2113       movs r1, #0x13
     F7FFFF9B   bl 0x08000684 <ExtRam_SetByte>
    check = ExtRam_GetByte(i);
     4620       mov r0, r4
     F7FFFF70   bl 0x08000634 <ExtRam_GetByte>
    
    i++;
     1C63       adds r3, r4, #0x1
     2400       movs r4, #0x00
  
    if(i >= 0x80000)
     F5B32F00   cmp.w r3, #0x00080000
     D2F3       bcs 0x08000746
     461C       mov r4, r3
     E7F1       b 0x08000746

er ruft erst dreimal die Funktionen direkt auf und setzt dann 'i' auf 3. 
Irgenwie blöd, oda?

Ich arbeite mit Rowley Crossworks und die Optimierung ist auf Size 
gestellt.

Kann ich da was ändern?

Gruß, Martin

[Johann L. (gjlayde)]

Martin wrote:
>
> er ruft erst dreimal die Funktionen direkt auf und setzt dann 'i' auf 3.
> Irgenwie blöd, oda?

Zumindest korrekt... schon mal nicht unwichtig :o)

> Ich arbeite mit Rowley Crossworks und die Optimierung ist auf Size
> gestellt.

Rowley basiert wohl auf GCC? Ich hatte ähnlichen Ärger mit neuen gcc 
4.3.x für AVR: Schleifen wurden aufgerollt trotz -Os, -fno-unroll-loops 
et. al. blieben erfolglos. Sind wohl noch Zicken der neuesten GCC 
Versionen. Die Mainline ist hauptsächlich auf SPeed getrimmt, nicht auf 
Schlankheit.

> Kann ich da was ändern?
Ja. Du hast ja die Quellen :o)
Evtl. ist's für die Mainline (i386) nachvollziehbar daß aufgerollt wird 
trotz -Os. Dann ist die Wahrscheinlichkeit größer, daß das Problem bald 
gefixt wird. Hier wäre dann

   http://gcc.gnu.org/ml/gcc-help

die richtige Anlaufstelle. Das Anrollen der Schleife passiert 
wahrscheinlich im Target-unabhängigen Teil. Wo genau, siehst du mit 
Ausgaben per -fdump-tree-all. Falls der böse Pass verschaltert ist, kann 
angetestet werden, ob dessen Deaktivierung Abhilfe schafft.

Johann

[Martin (Gast)]

Danke erstmal.

Bin vorrübergehend auf IAR umgestiegen, hab da zwar nut 32k Code, aber 
das wird schon erstmal reichen.
Das tolle ist auch, dass bei Crossworks beim Speicherlesen und 
-schreiben Fehler kommen und bei IAR nicht. (kann auch mein Fehler sein, 
aber ist gleicher Code)

Gruß, Martin