Как определить «строгий псевдоним» во время компиляции?

Question

'Strict aliasing' Оптимизация требует особого ухода от исходного кода, s.a. используя объединение вместо указателей. Есть ли способ обнаружить с помощью препроцессорных директив (# if/else), пытается ли компилятор сделать такую ​​оптимизацию?

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

Редактировать: GCC predefined macros, похоже, ничего не имеет о псевдониме. Другими словами, меня больше всего интересует gcc 4.x, но и в общем решении (которое, похоже, не существует).

Answer 1

Полностью зависит от реализации - вам необходимо проверить документы для вашего конкретного компилятора (ов). И когда вы задаете такие вопросы, рекомендуется указать, какой компилятор (ы) вы используете.

Полупансионный способ сделать это из вашего файла Makefile - определить разные цели для псевдонимов & unaliased версий и определить собственный символ препроцессора STRICT_ALIASING (или любой другой) для псевдонимов.

Answer 2

For GCC, see the "may_alias" attribute

Answer 3

Там нет общего решения. Ближайшим является #ifdef __cplusplus, поскольку стандарт C++ позволяет компилятору предполагать, что указатели на разные типы не сглажены (если только они не являются char *). Это происходит даже в простых сценариях:

void (int *foo, float *bar) { 
    *foo++; 
    *bar = 0; // Can safely be scheduled between the load and store of foo. 
} 

Поэтому «строгое наложение псевдонимов» на самом деле не является оптимальным; «терпимость к неопределенному поведению» - это пессимизация.

Answer 4

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

Если вы используете «-Wall» gcc, тогда компилятор предупредит вас о коде, который может нарушить правило строгого сглаживания.

-Wstrict-aliasing --- Эта опция активна только когда «-fstrict ступенчатость» является активными. Он предупреждает о коде, который может нарушить строгие правила псевдонимов , которые компилятор использует для оптимизации . Предупреждение не уловить все случаи, но делает попытку поймать более распространенные ловушки. Это включено в '-Wall'. Это эквивалентно к «-Wstrict сглаживанием = 3»

Если код вы работаете на очень важно, то вы можете отключить -fstring-aliasing в НКУ. Или, если вы не хотите отключать строгий псевдоним, я предлагаю посмотреть выход asm, чтобы убедиться, что компилятор не делает опасных оптимизаций, которые вам не нужны.

---

Как и в стороне, akauppi сказал в комментариях:

'ограничение' включает строгий Aliasing оптимизированные для конкретных указателей.

Ключевое слово ограничения не включает ...Оптимизации»напрямую, а это дает компилятору больше информации и что дополнительная информация косвенно помогает компилятору определить, если он может применить определенные методы оптимизации

хорошее объяснение Ограничить ключевое слово из TI's DSP compiler documentation:.

Чтобы помочь компилятору определить зависимости от памяти, вы можете квалифицировать указатель, ссылку или массив с ключевым словом ограничения. Ключевое слово ограничения - это тип классификатора, который может применяться к указателям, ссылкам и массивам. Его использование представляет собой гарантию программиста, которая в рамках указателя декларация, на которую указывает объект, может быть это только указатель. Любое Нарушение этой гарантии делает программу неопределенной. Эта практика помогает компилятор оптимизирует определенные разделы кода, потому что информация о сглаживании может быть более легко определена.