软件包：libpolly-16-dev（1:16.0.6-4） [debports]
High-level loop and data-locality optimizer
Uses an abstract mathematical representation based on integer polyhedra to analyze and optimize the memory access pattern of a program
Uses an abstract mathematical representation based on integer polyhedra to analyze and optimize the memory access pattern of a program