Polyhedral compilation