missed optimization, fptrunc (x) >= C1 => x >= C2

[zhengyang92]

https://alive2.llvm.org/ce/z/n53up6 https://godbolt.org/z/q6vrbxTo3

define i1 @src(double %0) {
if.end155:
%1 = fptrunc double %0 to float
%2 = fcmp oge float %1, 1.000000e+02
ret i1 %2
}
define i1 @tgt(double %0) {
if.end155:
%oge = fcmp oge double %0, 0x4058FFFFF0000000
ret i1 %oge
}

Other variants may follow the same patterns.

[llvmbot]

Hi!

This issue may be a good introductory issue for people new to working on LLVM. If you would like to work on this issue, your first steps are:

1. In the comments of the issue, request for it to be assigned to you.
2. Fix the issue locally.
3. Run the test suite locally. Remember that the subdirectories under test/ create fine-grained testing targets, so you can e.g. use make check-clang-ast to only run Clang's AST tests.
4. Create a Git commit.
5. Run git clang-format HEAD~1 to format your changes.
6. Open a pull request to the upstream repository on GitHub. Detailed instructions can be found in GitHub's documentation.

If you have any further questions about this issue, don't hesitate to ask via a comment in the thread below.

[llvmbot]

@llvm/issue-subscribers-good-first-issue

Author: Zhengyang Liu (zhengyang92)

https://alive2.llvm.org/ce/z/n53up6 https://godbolt.org/z/q6vrbxTo3 ```llvm define i1 @src(double %0) { if.end155: %1 = fptrunc double %0 to float %2 = fcmp oge float %1, 1.000000e+02 ret i1 %2 } define i1 @tgt(double %0) { if.end155: %oge = fcmp oge double %0, 0x4058FFFFF0000000 ret i1 %oge } ``` Other variants may follow the same patterns.

[dtcxzyw]

Could you please provide proofs about FMF propagation for all your recent issues? Thank you :)

[miguelraz]

Hey all, I'd like to claim working on this issue if possible.

[dtcxzyw]

@miguelraz Ping.

[kissholic]

Hey, I'm interested in fixing this issue. Marks here, and please assign this issue to me when it available.