[AVR] compiler optimiert strings nicht richtig

[Vlad T. (vlad_tepesch)]

Hi,
Ich hab ein Problem/Frage:

Ich hab  in meinem Code mehrere Stellen, wo ich Meldungen ausgebe.
es gibt merhere Meldungen, die den selben Text enthalten.

Die strings sind komplett identisch (selbes #define), jedoch legt der 
compiler die 2 mal an, anstatt sie einmal anzulegen und den pointer auf 
das selbe zeigen zu lassen.

Die zeichenketten selbst liegen im program memory, können also nicht 
verändert werden.

beispiel:

/**
 @brief macros for automatically storing string constant in program memory
*/
#define lcd_puts_P(__s)         lcd_puts_p(PSTR(__s))

#define ERROR_SD_READ "Error SD_read"





  if( 0 != getSDinfos(&sdInfo) ){
    lcd_init(LCD_DISP_ON);
    lcd_puts_P( ERROR_SD_READ );
    HALT;
  }


  if(0 != SD_readSingleBlock(sdInfo.rootDirSector, (uint8*)s_logBuf,8)) /* temporary use logging buffer */
  {
    lcd_init(LCD_DISP_ON);
    lcd_puts_P( ERROR_SD_READ );
    HALT;
  }

wenn ich jetzt ins list-file oder ins elf-file schaue, gibts den string 
"Error SD_read" mehrmals.

Was muss ich tun, damit der string nur einmal eingebunden wird?

[Lothar M. (Firma: Titel) (lkmiller) (Moderator)]

> Was muss ich tun, damit der string nur einmal eingebunden wird?
Mach eine globale Variable mit dem String:

 char ERROR_SD_READ[] = "Error SD_read";
  :
    lcd_puts_P( ERROR_SD_READ );
  :

[Gast (Gast)]

mach eine const Variable daraus und kein Define.

[Vlad T. (vlad_tepesch)]

das macht keinen Sinn.
dann brauch der string sowohl daten, als auch programmspeicher + die 
Pointervariable
ich suche eher einen Compilerswitch oder trick, der ihn zwingt doppelte 
strings nur einmal anzulegen.

[holger (Gast)]

PROGMEM char ERROR_SD_READ[] = "Error SD_read";
  :
    lcd_puts_p( ERROR_SD_READ );

[gast (Gast)]

>ich suche eher einen Compilerswitch oder trick, der ihn zwingt doppelte
>strings nur einmal anzulegen.

Ein 'guter' Compiler macht das von alleine. Zur Not auf 'size' 
optimieren lassen.

[Vlad T. (vlad_tepesch)]

>Ein 'guter' Compiler macht das von alleine. Zur Not auf 'size'
>optimieren lassen.

hätt ich ja auch gedacht

ist halt ein gcc
duck und weg

und auf size optimieren ist schon an.

aber holgers variante scheint zu funktionieren.

Trotzdem hätt ich lieber ne Variante, wo das der compiler automatisch 
macht.

[Stefan E. (sternst)]

Worin liegt das Problem, den String nur einmal zu definieren, ihn aber 
mehrmals zu verwenden?

char ERROR_SD_READ[] PROGMEM = "Error SD_read";
...
lcd_puts_P( ERROR_SD_READ );

Und ja, der String ist dann nur einmal im Speicher (Flash).
Und nein, das verbraucht keinen zusätzlichen Platz für irgendwelche 
Pointer.

[Stefan E. (sternst)]

Ach übrigens: das funktioniert wegen dem zusätzlichen Attribut nicht. 
"Normale" Strings (also in RAM) legt er automatisch zusammen.

[Johann L. (gjlayde)]

Jeder String ist ein eigenständiges Objekt. Ich wüsst nicht wie gcc das 
optimieren können sollte.

Das ist eine Aufgabe für ld. Er kann Strings mixen; dazu setzt man an 
der entsprechenden Section das S-Flag (mergeable strings).

Dazu muss jeder String in seine eigene Input-Section.

Johann

[Stefan E. (sternst)]

Johann L. schrieb:
> Jeder String ist ein eigenständiges Objekt. Ich wüsst nicht wie gcc das
> optimieren können sollte.

Es geht um Stringliterale gleichen Inhalts. Hier wird normalerweise der 
eigentliche String nur einmal angelegt. Das Section-Attribut hebelt das 
aber irgendwie aus, und der String wird mehrfach angelegt.

[Johann L. (gjlayde)]

Wenn ich

const char STR1[] = "Hallo";
const char STR2[] = "Hallo";

mit avr-gcc 4.3.2 übersetze gibt das

.global  STR1
  .data
  .type  STR1, @object
  .size  STR1, 6
STR1:
  .string  "Hallo"
.global  STR2
  .type  STR2, @object
  .size  STR2, 6
STR2:
  .string  "Hallo"
.global __do_copy_data

[Stefan E. (sternst)]

Was willst du mir damit sagen? Natürlich sind STR1 und STR2 zwei 
unterschiedliche Objekte. Es geht nicht um Variablen, sondern die 
Literale.

Func1("Hallo");
Func2("Hallo");

An beide Funktionen wird der selbe Pointer übergeben.

[Vlad T. (vlad_tepesch)]

genau nur scheint er acr-gcc das nicht hinzubekommen, wenn man die 
Strings in den Program-memory stecken will.
Dann legt er jeden extra an.

Aber Holgers lösung funktioniert.
Ist sowiso sauberer die messages an einer Stelle zu halten.

[Johann L. (gjlayde)]

Stefan Ernst schrieb:
> Was willst du mir damit sagen? Natürlich sind STR1 und STR2 zwei
> unterschiedliche Objekte. Es geht nicht um Variablen, sondern die
> Literale.
>
>

> Func1("Hallo");
> Func2("Hallo");
>

> An beide Funktionen wird der selbe Pointer übergeben.

Du hast aber keine Literale:

#include <avr/pgmspace.h>

extern void foo1 (const char*);
extern void foo2 (const char*);

void foo (void)
{
    foo1 (PSTR ("hallo"));
    foo2 (PSTR ("hallo"));
}

Wird expandiert zu

void foo (void)
{
    foo1 ((__extension__({static char __c[] __attribute__((__progmem__)) = ("hallo"); &__c[0];})));
    foo2 ((__extension__({static char __c[] __attribute__((__progmem__)) = ("hallo"); &__c[0];})));
}

und damit gibt es zwei __c-Objekte, eines für jedes "hallo".

Johann