CLooG-PPL is a branch of CLooG that contains a backend for the Parma Polyhedra Library. GCC 4.4 release depends on the code of the CLooG-PPL and is available for download from the GCC infrastructure site. The plan is to merge the code of the CLooG-PPL branch back to CLooG trunk.