goldsteinn wrote: > Can this patch improve the optimization? Could you please add some tests for demonstration? Have a unittest that shows when `exact` can help, but ill change to a codegen test. https://github.com/llvm/llvm-project/pull/84254