Statement instance order and lex order map
requested to merge jdsteve2/loopy:statement-instance-order-and-lex-order-map into new-dependency-and-nest-constraint-semantics-development
MOVED TO GITHUB PULL REQUEST HERE
This creates an isl map representing a lexicographic ordering, and creates a statement instance ordering for a pair of statements (given the schedules representing the ordering of their statement instances). A statement instance ordering maps each statement instance to all statement instances that occur later.
Edited by James Stevens