lipracer wrote: TODO: 1. add a test 2. `SimpleAffineExprFlattener` this class still has crashes I'm not sure if this is a reasonable solution. https://github.com/llvm/llvm-project/pull/68519