Frameworks supporting the polyhedral model とは

コンパイラ内で多面体モデルを使用するには、このフレームワークのオブジェクト(様々な空間の領域内の整数値点の集合)を表現し、その上で演算を実行する必要があります(例えば、集合が空であるかどうかをテストする)。
このモデルのオブジェクトと操作の詳細と、モデルをコンパイルするプログラムに関連付ける例については、多面体モデルのページを参照してください。
多面体モデルをサポートする多くのフレームワークがあります。これらのフレームワークの中には、多面体演算を実行するために1つ以上のライブラリを使用するものがあります。他のもの、特にオメガは、すべてを1つのパッケージにまとめました。一般的に使用されるライブラリの中には、オメガライブラリ(および最近のフォーク)、piplib、PolyLib、PPL、isl、多面体コードジェネレータ、barvinokライブラリなどがあります。これらのライブラリのうち、PolyLibとPPLは主に有理値に重点を置いていますが、他のライブラリは整数値に重点を置いています。 gccの多面体の枠組みはGraphiteと呼ばれています。 PollyはLLVMに多面体の最適化を提供し、R-Streamはca. 2006。