Skąd mam wiedzieć, czy mój kod jest wektoryzowany przez kompilator?

Jak zilustrowano w odpowiedzi Jeda Browna na Koszty wyszukiwania w porównaniu z obliczeniami , użycie wektoryzowanych vs niewektoryzowanych operacji zmiennoprzecinkowych skutkuje znacznie szybszym kodem. Wiele współczesnych kompilatorów twierdzi, że może wykonywać automatyczną wektoryzację. Jak mogę z powodzeniem wektoryzować, które części mojego kodu?

fortran c compiling vectorization Matthew Emmett
źródło

Odpowiedzi:

Z kompilatora Intel każdej nowoczesnej rocznika, -O3 -vec-report3. Trzeci poziom optymalizacji gwarantuje, że próbuje wektoryzować, a raport wektorowy powie ci, co robi.

Strona GNU na temat wektoryzacji mówi, że jest domyślnie włączona na poziomie optymalizacji 3, ale nie mogę znaleźć odpowiednika raportu vec.

Bill Barth
źródło

Dziękuję za szybką odpowiedź. Nie wiedziałem o -vec-report3. Czy masz preferencje kompilatora, jeśli chodzi o tego typu rzeczy (automatyczna wektoryzacja)?

Matthew Emmett

Kompilatory Intel są naprawdę dobre, ale tylko dla układów Intel. Musisz tylko dodać wszystkie właściwe pragmy (#pragma ivdep jest najłatwiejszy) GCC 4.7 jest znacznie lepszy, ale patrząc na jakiś kod z kolegą nadal ma błędy (jak brak wektoryzacji w pragmach openmp).

aterrel

Radziłbym dokładnie sprawdzić, jak kompilator Intel radzi sobie z wektoryzacją układów AMD. Nie jestem w 100% pewien, że stare problemy wciąż istnieją.

Bill Barth

@BillBarth Tak, nadal problem. Zobacz zawiadomienie o optymalizacji (w wielu miejscach, np. Software.intel.com/sites/products/collateral/hpc/compilers/… ). AMD wygrał bitwę sądową, wymagając od Intela ujawnienia, że są antykonkurencyjne, a nie do powstrzymania ich. en.wikipedia.org/wiki/Intel_C%2B%2B_Compiler#Criticism Agner Fog na obejściach: agner.org/optimize/blog/read.php?i=49

Jed Brown

@JedBrown, na pewno SSE jest nadal dziwne, ale jaka jest historia z AVX? Te linki wskazują, że wszystko powinno być w porządku (ponieważ obie firmy wdrażają AVX), ale nie przetestowałem tego na maszynie Bulldozer.

Bill Barth

W kolekcji kompilatorów GNU masz opcję -ftree-vectorizer-verbose=ngdzie njest liczba od 0 do 6, która wypisze informacje podobne do icc/ ifort.

Pedro
źródło

W kompilatorach GNU dodanie -Wa,-ahl=asm.szrzuci wygenerowany kod zestawu do asm.s.

W przypadku kompilatorów Intela dodanie -fcode-asm -Faasm.szrzuci wygenerowany kod do asm.s.

Następnie możesz sprawdzić kod zestawu i poszukać operacji wektorowych na liczbach zmiennoprzecinkowych.

Matthew Emmett
źródło

Całkowicie się zgadzam, że sprawdzanie danych wyjściowych zestawu jest jedynym niezawodnym sposobem ustalenia, czy kod jest wektoryzowany. Nic nie wymaga od kompilatorów uczciwości w zakresie roszczeń do wektoryzacji kodu.

Jeff