[llvm-branch-commits] [llvm] [InstCombine] Fold fpto[su]i of llvm.trunc (PR #231414)

[Nikita Popov via llvm-branch-commits]

https://github.com/nikic commented:

Looks reasonable to me, but I'll leave it to the FP experts... Is it possible to add an alive proof (maybe using half to avoid timeouts?)

I'd also suggest adding some tests with value FMF to make it clear that their preservation was considered.

https://github.com/llvm/llvm-project/pull/231414