https://github.com/nikic requested changes to this pull request. Actually, I just realized that this is part of code imported from isl. I don't think we should touch it. https://github.com/llvm/llvm-project/pull/94042