套件：libpolly-19-dev（1:19.1.2-1） [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