[RFC] Polly Status and Integration

Precisely! I think part of this email chain is conflating these two separate issues. As an example, for our LLVM-based DSL compiler we are directly using isl for various index set operations, without requiring Polly. So, future Polyhedral Analysis pass(es) can hopefully provide a native LLVM interface for such operations.