2018/11/01 by Michael Kruse, Kruse, Michael, Hal Finkel +1
Computer Science · #Parallel Computing and Optimization Techniques #Embedded Systems Design Techniques #Formal Methods in Verification
paper · pdf · doi:10.48550/arxiv.1811.00632
The LLVM compiler framework supports a selection of loop transformations such as vectorization, distribution and unrolling. Each transformation is carried-out by specialized passes that have been developed independently. In this paper we propose an integrated approach to loop optimizations: A single dedicated pass that mutates a Loop Structure DAG. Each transformation can make use of a common infrastructure such as dependency analysis, transformation preconditions, etc.