Может ли компилятор C переставлять переменные стека? - PullRequest
Новая
       54

Может ли компилятор C переставлять переменные стека?

15 голосов
/ 26 октября 2008

В прошлом я работал над проектами для встроенных систем, где мы изменили порядок объявления переменных стека, чтобы уменьшить размер получаемого исполняемого файла. Например, если бы мы имели: 

void func()
{
    char c;
    int i;
    short s;
    ...
}

Мы бы изменили порядок так: 

void func()
{
    int i;
    short s;
    char c;
    ...
}

Из-за проблем с выравниванием первый из них позволил использовать 12 байт стекового пространства, а второй - только 8 байт.

Это стандартное поведение для компиляторов C или просто недостаток компилятора, который мы использовали?

Мне кажется, что компилятор должен иметь возможность переупорядочивать переменные стека, чтобы иметь меньший размер исполняемого файла, если он этого хочет. Мне было предложено, что некоторый аспект стандарта C предотвращает это, но я так и не смог найти надежный источник.

В качестве дополнительного вопроса, это также относится к компиляторам C ++?

Редактировать

Если ответ да, компиляторы C / C ++ могут переставлять переменные стека, можете ли вы привести пример компилятора, который определенно делает это? Я хотел бы видеть документацию компилятора или что-то подобное, что подтверждает это.

Редактировать снова

Спасибо всем за помощь. Что касается документации, лучшее, что мне удалось найти, - это документ Оптимальное назначение слотов стека в GCC (pdf), написанный Навином Шармой и Сандживом Кумаром Гуптой, который был представлен на материалах саммита GCC в 2003 году. .

Рассматриваемый проект использовал компилятор ADS для разработки ARM. В документации для этого компилятора упоминается, что объявления порядка, как я показал, могут улучшить производительность, а также размер стека, из-за того, что архитектура ARM-Thumb вычисляет адреса в фрейме локального стека. Этот компилятор не переставил локальные переменные, чтобы воспользоваться этим. В этой статье говорится, что с 2003 года GCC также не переставлял фрейм стека для улучшения местоположения эталона для процессоров ARM-Thumb, но это подразумевает, что вы могли бы.

Я не могу найти ничего, что определенно говорит о том, что это когда-либо было реализовано в GCC, но я думаю, что этот документ считается доказательством того, что вы все правы. Еще раз спасибо.

Ответы [ 11 ]

0 голосов
/ 26 октября 2008

это специфика компилятора, можно создать свой собственный компилятор, который сделал бы обратное, если бы он этого хотел.

Страница:
...