The following is valid, but in this order can't be directly made into a LoopTree. Can we support mappings like this?
Note: Reordering will not solve this issue, as there's not always a canonical ordering that works. For example, if Einsum B writes Y then we can't reorder B and C.
Einsum A: T-n in [0..4), [GLB stores X]
Einsum B: [GLB stores Y]
Einsum C: [GLB stores Y] T-n in [0..4), [GLB stores X]
The following is valid, but in this order can't be directly made into a LoopTree. Can we support mappings like this?
Note: Reordering will not solve this issue, as there's not always a canonical ordering that works. For example, if Einsum B writes Y then we can't reorder B and C.