| Issue |
75786
|
| Summary |
missed optimization around std::signbit(x)
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
k-arrows
|
Test case:
https://godbolt.org/z/d75s1EYWd
```cpp
#include <cmath>
bool foo(float x) {
if (std::signbit(x))
return (x > 0.0);
return false;
}
```
Alive2 proof:
https://alive2.llvm.org/ce/z/bRufWD
Original test case (from gcc testsuite):
https://github.com/gcc-mirror/gcc/blob/master/gcc/testsuite/gcc.dg/tree-ssa/vrp-float-signbit-3.c
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
