https://github.com/nikic commented: Does this make the results optimal in some cases? If so, please adjust the exhaustive test. If not, please add some unit tests to cover some cases that are expected to work. https://github.com/llvm/llvm-project/pull/101800