флаги оптимизации clang для векторных вычислений матрицы

Question

Я посмотрел на разобранный код, созданный clang из операций glm (матричная векторная библиотека для 3d вычислений).

Я заметил, что clang выполняет некоторую «вектологию» для операций двойной точности, например. принуждение двух умножений в одной инструкции SIMD.

Однако для расчетов с одиночной точностью код кажется мне плохой. Инструкции используются из наборов инструкций SSE и регистров MMX, но каждая mulitplication выполняется для одного поплавка за раз, и даже группы присвоений (например, назначение матрицы) выполняются большой связью операторов movss , Эти плохие присваивания даже сохраняются для кода с двойной точностью.

Почему это, есть ли какие-либо аргументы командной строки, которые мотивировали бы clang делать лучше? Я знаю, что компиляторы не делают магии, но линейный список из 16 смежных по памяти назначений должен быть оптимизирован многими способами, я думаю?

Answer 1

В вашей сборке считывание хмм-регистра не является доказательством векторизации, так как каждая двойная операция выполняется в регистре SIMD (хотя бы один).

векторизации не является тривиальным для компилятора, лязг дает вариант, как

clang -fslp-vectorize-aggressive file.c 

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