\input zb-basic
\input zb-ioport
\iteman{io-port 05682792}
\itemau{Benabderrahmane, Mohamed-Walid; Pouchet, Louis-No\"el; Cohen, Albert; Bastoul, C\'edric}
\itemti{The polyhedral model is more widely applicable than you think.}
\itemso{Gupta, Rajiv (ed.), Compiler construction. 19th international conference, CC 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20--28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11969-9/pbk). Lecture Notes in Computer Science 6011, 283-303 (2010).}
\itemab
Summary: The polyhedral model is a powerful framework for automatic optimization and parallelization. It is based on an algebraic representation of programs, allowing to construct and search for complex sequences of optimizations. This model is now mature and reaches production compilers. The main limitation of the polyhedral model is known to be its restriction to statically predictable, loop-based program parts. This paper removes this limitation, allowing to operate on general data-dependent control-flow. We embed control and exit predicates as first-class citizens of the algebraic representation, from program analysis to code generation. Complementing previous (partial) attempts in this direction, our work concentrates on extending the code generation step and does not compromise the expressiveness of the model. We present experimental evidence that our extension is relevant for program optimization and parallelization, showing performance improvements on benchmarks that were thought to be out of reach of the polyhedral model.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-11970-5\_16}
\end