2017 LLVM Developers’ Meeting: A. Zaks “Vectorizing Loops with VPlan – Current State and Next Steps”

http://www.LLVM.org/devmtg/2017-10/
—
Vectorizing Loops with VPlan – Current State and Next Steps - Ayal Zaks and Gil Rapaport

Slides: http://llvm.org/devmtg/2017-10/slides...
—
The VPlan model was first introduced into LLVM’s Loop Vectorizer to record all vectorization decisions taken inside a candidate vectorized loop body, and to carry them out after selecting the best vectorization and unroll factors. This talk focuses on next steps in refactoring the Loop Vectorizer and extending the VPlan model. We describe how instruction-level aspects including def/use relations are added to VPlan, and demonstrate their use in modelling masking. In addition, we show how predication decisions can be taken based on an initial VPlan version, and how the resultant masking can be recorded in a transformed VPlan version. This is a first example of a VPlan-to-VPlan transformation, paving the way for better predication and for outer-loop vectorization.
We conclude the talk by reviewing several potential directions to further extend and leverage the VPlan model, including vectorizing remainder loops, versioning vectorized loops, and SLP vectorization.
Joint work of the Intel vectorization team.
[1] https://llvm.org/docs/Proposals/Vecto...
[2] Extending LoopVectorizer towards supporting OpenMP4.5 SIMD and outer loop auto-vectorization, 2016 LLVM Developers' Meeting,    • 2016 LLVM Developers’ Meeting: H. Sai...  
[3] Introducing VPlan to the Loop Vectorizer, 2017 European LLVM Developer’s Meeting,    • 2017 EuroLLVM Developers’ Meeting: G....  
—
Videos Filmed & Edited by Bash Films: http://www.BashFilms.com