tested with GCC v4.5/4.6/4.7 both with and without CLooG/PPL support; various other improvements/bugfixes along the way