[llvm] Optimize fptrunc(x)>=C1 --> x>=C2 (PR #99475)

[Matt Arsenault via llvm-commits]

https://github.com/arsenm commented:

Can you add the alive2 link proof to the description 

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