| Issue |
76438
|
| Summary |
basic properties of floor and ceiling function
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
k-arrows
|
There are other formulas that hold, but I'll list the basic ones.
https://alive2.llvm.org/ce/z/0BPgKF
If I understand correctly, these transformations require `nnan` flag.
Original functions:
```cpp
#include <cmath>
bool src1(float x)
{
return std::floor(x) <= x;
}
bool src2(float x)
{
return x <= std::ceil(x);
}
bool src3(float x)
{
return std::ceil(x) == -std::floor(-x);
}
bool src4(float x)
{
return std::floor(x) == -std::ceil(-x);
}
```
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
