diff options
| author | c8ef <c8ef@outlook.com> | 2024-09-15 18:25:00 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-15 14:25:00 +0400 |
| commit | 86f0399c1fdec80c34e22821607696a485857421 (patch) | |
| tree | ac8c77eb3c2930846075499fad5a31be09e5e22b /lldb/source/Plugins/Process/gdb-remote/GDBRemoteCommunicationClient.cpp | |
| parent | 012dbec604c99a8f144c4d19357e61b65d2a7b78 (diff) | |
| download | llvm-86f0399c1fdec80c34e22821607696a485857421.zip llvm-86f0399c1fdec80c34e22821607696a485857421.tar.gz llvm-86f0399c1fdec80c34e22821607696a485857421.tar.bz2 | |
[InstCombine] Fold expression using basic properties of floor and ceiling function (#107107)
alive2: ~~https://alive2.llvm.org/ce/z/Ag3Ki7~~
https://alive2.llvm.org/ce/z/ywP5t2
related: #76438
This patch adds the following foldings: `floor(x) <= x --> true` and `x
<= ceil(x) --> true`. We leverage the properties of these math functions
and ensure there is no floating point input of `nan`.
---------
Co-authored-by: Yingwei Zheng <dtcxzyw@qq.com>
Diffstat (limited to 'lldb/source/Plugins/Process/gdb-remote/GDBRemoteCommunicationClient.cpp')
0 files changed, 0 insertions, 0 deletions