Überprüfung der C-Array-Ausrichtung zur Kompilierzeit

Question

Ich versuche eine Array-Ausrichtung von 8 zur Kompilierzeit zu überprüfen. Dies ist der Code:

// File scope 
uint32_t pool[1024]; 
bool aligned = (((uintptr_t) pool) % 8) == 0; 

Ich bekomme diesen Fehler: Initialisierungselement ist nicht berechenbar bei Ladezeit. Wenn ich jedoch die Array-Ausrichtung von 4 überprüfe, erhalte ich den Fehler nicht. Der folgende Code:

// File scope 
uint32_t pool[1024]; 
bool aligned = (((uintptr_t) pool) % 4) == 0; 

Sprache: C

Toolchain: arm-none-EABI-gcc

Compiler-Optionen: -mcpu = Cortex-M3 -mthumb

Warum ist das passiert ?

Answer 1

Die Adresse einer statischen Variablen nicht bekannt ist bei kompilieren Zeit, es wird erst später vom Linker entschieden. Es gibt keine geeignete Verschiebung für "Adresse eines Symbols Modulo irgendeine willkürliche Zahl", die der Compiler als Initialisierungswert für den Linker ausgeben kann, um es zu reparieren, so dass es aufgibt. Wie Tom in den Kommentaren sagt, kann es mindestens davon ausgehen, dass der Linker nicht die minimal erforderliche Ausrichtung für den Typ zu verletzen, ist also in der Lage, den Ausdruck in diesem Fall zu optimieren.

Die einzige Möglichkeit, wie Sie dies erreichen könnten, wäre, es einfach als extern bool aligned zu deklarieren, dann verwenden Sie etwas Linker-Skript schwarze Magie, um es mit dem entsprechenden Wert bei Link-Zeit zu definieren.

Answer 2

Wenn Sie eine bestimmte Ausrichtung erzwingen müssen, wird dies berichtet für die „Arm-none-EABI-gcc“ Toolchain arbeiten:

uint32_t pool[1024] __attribute__((aligned(8)));