ARM GCC Optimierung auf Variablen

qwertz schrieb:
> Kann die Optimierung von Variablen global verboten werden?

Nein.

qwertz schrieb:
> Welche Option(en) sind dafür zuständig?

-O0, aber ohne jegliche Garantie

qwertz schrieb:
> Der Sinn, Zweck und Einsatz von volatile ist mir bewusst.

Deine Frage lässt etwas anderes vermuten.

Und jetzt zur eigentlichen Frage: Was sind für dich Variablen, und was 
genau verstehst du unter deren Optimierung?
Oder: Was ist das eigentliche Problem, das du lösen musst?

Oliver

Probiers einfach mal aus, z.B:

1

// volatile

2

int x;

3

4

void test(){

5

    for (int i=0; i < 1000; ++i) {

6

        x++;

7

        // asm volatile("": : :"memory");

8

    }

9

}

mit dem Hintergedanken, dass eine ISR während dem Lauf von test() auf 
die Variable "x" zugreift.

Spoiler: Ohne volatile / ohne die Memory-Barrier compiliert der GCC das 
als "x+=1000". Die ISR wird also nie Zwischenwerte sehen können.

Ansonsten ist in diesem Beispiel egal, welche der Varianten man wählt.

Ich finde bei diesem Beispiel die Memory-Barrier eleganter, weil man 
exakt festlegen kann an welchen Stellen die Variable garantiert 
zurückgeschrieben sein muss, ohne gleich generell alle Optimierungen zu 
unterbinden.

Zum Spielen:

https://godbolt.org/z/zrKfvW8KE

Nop schrieb:
> Du hast aber keine verwendet, sondern nur eine compiler barrier.

hast Recht. Bei kleinen Single-Core ARMs macht das keinen relevanten 
Unterschied, aber ich hätte es trotzdem richtig bezeichnen sollen.

qwertz schrieb:
> Der Sinn, Zweck und Einsatz von volatile ist mir bewusst.
> Allerdings schwingt immer die Aussage mit
> "der Compiler kann eventuell eine Optimierung an Variablen vornehmen
> (z.B. caching)".

Diese beiden Sätze passen nicht recht zusammen, denn volatile ist gerade 
dazu da, dass der Compiler sowas nicht macht.

qwertz schrieb:
> Jetzt die Frage:
> Kann die Optimierung von Variablen global verboten werden?
> Welche Option(en) sind dafür zuständig?

Global auf Optimierung zu verzichten: -O0 (wurde schon oben gesagt).
Das wirst aber nicht wirklich wollen.

Und den Compiler zu zwingen, den Zugriff auf ein Objekt auszuführen, 
also genau nicht zu optimieren, dazu dient u.a. das Schlüsselwort 
volatile (das scheinst Du nicht verstanden zu haben).