Open
Description
CIR is how we go from index expressions in Exo to index expressions in C code. It performs various algebraic simplifications to reduce the bloat from Exo generated indices for both readability and performance reasons. However, it still has some shortcomings that we should think about improving upon.