diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2020-06-21 08:50:29 -0400 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2020-06-21 09:07:59 -0400 |
| commit | 2ad42c2653ce31ca93dd2c9fdbd561d1d846d983 (patch) | |
| tree | d3a9cff4be225359f6c42ade96aa789976873da5 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 97c0232621a474b91d39a5882c5875be32f21640 (diff) | |
| download | llvm-2ad42c2653ce31ca93dd2c9fdbd561d1d846d983.zip llvm-2ad42c2653ce31ca93dd2c9fdbd561d1d846d983.tar.gz llvm-2ad42c2653ce31ca93dd2c9fdbd561d1d846d983.tar.bz2 | |
[ValueTracking] improve analysis for fdiv with same operands
(The 'nnan' variant of this pattern is already tested to produce '1.0'.)
https://alive2.llvm.org/ce/z/D4hPBy
define i1 @src(float %x, i32 %y) {
%0:
%d = fdiv float %x, %x
%uge = fcmp uge float %d, 0.000000
ret i1 %uge
}
=>
define i1 @tgt(float %x, i32 %y) {
%0:
ret i1 1
}
Transformation seems to be correct!
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions