Como sei se meu código está sendo vetorizado pelo compilador?

Como exemplificado pela resposta de Jed Brown a Custos de pesquisas versus cálculos , o uso de operações de ponto flutuante vetorizado versus não vetorizado resulta em código muito mais rápido. Muitos compiladores modernos afirmam que podem executar a vetorização automática. Como faço para que partes do meu código estão sendo vetorizadas com êxito?

fortran c compiling vectorization Matthew Emmett
fonte

Respostas:

Com o compilador Intel de qualquer vintage moderno -O3 -vec-report3,. O nível de otimização três garante que ele está tentando vetorizar, e o relatório de vetor informará o que está fazendo.

A página GNU sobre vetorização diz que está ativada por padrão no nível de otimização 3, mas não consigo encontrar o equivalente a vec-report.

Bill Barth
fonte

Obrigado pela resposta rápida. Eu não sabia sobre -vec-report3. Você tem uma preferência do compilador quando se trata desse tipo de coisa (vetorização automática)?

Matthew Emmett

Os compiladores Intel são realmente bons, mas apenas para chips intel. Você só precisa adicionar todos os pragmas corretos (o #pragma ivdep é mais fácil). O GCC 4.7 ficou muito melhor, mas olhando para algum código com um colega que ainda possui bugs (como nenhuma vetorização dentro dos pragmas do openmp).

aterrel

Eu recomendaria verificar novamente como o compilador Intel se sai com a vetorização nos chips AMD. Não tenho 100% de certeza de que os problemas do passado ainda existam.

Bill Barth

@ BillBarth Sim, ainda é um problema. Consulte o Aviso de otimização (em muitos lugares, por exemplo, software.intel.com/sites/products/collateral/hpc/compilers/… ). A AMD venceu a batalha judicial exigindo que a Intel divulgue que são anticoncorrenciais, e não para fazê-las deixar de ser. en.wikipedia.org/wiki/Intel_C%2B%2B_Compiler#Criticism Agner Fog nas soluções alternativas: agner.org/optimize/blog/read.php?i=49

Jed Brown

@JedBrown, com certeza o SSE ainda é estranho, mas qual é a história do AVX? Esses links indicam que tudo deve ficar bem (já que as duas empresas implementam o AVX), mas eu não testei em uma máquina Bulldozer.

Bill Barth

Dentro da coleção do compilador GNU, você tem a opção -ftree-vectorizer-verbose=nonde nhá um número entre 0 e 6 que imprimirá informações semelhantes a icc/ ifort.

Pedro
fonte

Com os compiladores GNU, adicionar adicionará -Wa,-ahl=asm.so código de montagem gerado a asm.s.

Com os compiladores Intel, adicionar adicionará -fcode-asm -Faasm.so código gerado a asm.s.

Você pode inspecionar o código da montagem e procurar operações de ponto flutuante do vetor.

Matthew Emmett
fonte

Concordo plenamente que inspecionar a saída do assembly é a única maneira confiável de determinar se o código é realmente vetorizado. Não há nada que exija que os compiladores sejam honestos sobre suas reivindicações para vetorizar código.

11133 Jeff