Warum benötigen Bibliotheken hart codierte vektorizion anstelle von Compiler-Auto-Vektorisierung

Question

C++ Eigen-Bibliothek tut Vektorisierung für andere Architektur, wie SSE, NEON usw. In ihrer Dokumentation erwähnten sie, dass Eigen-Vektorisierung nicht compilerabhängig ist. Aber die meisten modernen Compiler wie gcc tun die Vektorisierung automatisch, wenn das Vektorisierungsflag mit dem -O3-Flag aktiviert ist.

Also meine Frage ist, warum Eigen oder andere Bibliotheken hartcodierte Vektorisierung macht, wenn Compiler dies automatisch für uns tut?

Answer 1

Es ist wahr, dass Compiler bei Auto-Vektorisierung immer besser werden, und für grundlegende Koeffizienten-Operationen wie 2 * A-4 * B kann eine Bibliothek wie Eigen nicht viel besser als die letzten Compiler. Für etwas kompliziertere Ausdrücke wie Matrixprodukte, Reduktionen, Transposition, Potenzen usw. kann der Compiler jedoch nicht viel tun. Auf der anderen Seite kann Eigen die höhere Kenntnis der Ausdruckssemantik nutzen, um sie explizit zu vektorisieren. Außerdem werden komplexe Skalartypen von Compilern nicht vektorisiert. Sie können dies selbst überprüfen, indem Sie die explizite Vektorisierung von Eigen deaktivieren (-DEIGEN_DONT_VECTORIZE).