llvm/polly/lib/External/isl/test_inputs/codegen/pldi2012/README

These examples are taken from the "Polyhedra Scanning Revisited" paper
by Chun Chen.