60b44d31af
Whenever `symbolicDivide` returns nullptr when called from inside `simplifySemiAffine` we substitute the result with the original expression (`expr`). nullptr simply indicates that the floordiv expression cannot be simplified further. Fixes: https://github.com/llvm/llvm-project/issues/122231
Multi-Level Intermediate Representation
See https://mlir.llvm.org/ for more information.