chsigg wrote: > rounding can differ when removing the intermediate value Good point, it probably can differ. `sitofp` always uses default rounding mode, so I added a check for that. https://github.com/llvm/llvm-project/pull/139925