grosser added a comment. We probably need to also add code that ensures that the arrays that result from delinearization remain within bounds. Without this code, the resulting checks are likely incorrect. https://reviews.llvm.org/D45872