diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2018-08-06 15:16:26 +0000 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2018-08-06 15:16:26 +0000 |
| commit | 56b31d8d753a55209f19f2cb5bf19138e14d6548 (patch) | |
| tree | dbe8f4548e3ab89bbede49ac04f9a92f975a4209 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | dbf77c5b418a523682506ea92ed8e683093a2d6c (diff) | |
| download | llvm-56b31d8d753a55209f19f2cb5bf19138e14d6548.zip llvm-56b31d8d753a55209f19f2cb5bf19138e14d6548.tar.gz llvm-56b31d8d753a55209f19f2cb5bf19138e14d6548.tar.bz2 | |
ValueTracking: Handle canonicalize in CannotBeNegativeZero
Also fix apparently missing test coverage for any of the
handling here.
llvm-svn: 339023
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index afaa800..2aac19a 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -2745,6 +2745,7 @@ bool llvm::CannotBeNegativeZero(const Value *V, const TargetLibraryInfo *TLI, break; // sqrt(-0.0) = -0.0, no other negative results are possible. case Intrinsic::sqrt: + case Intrinsic::canonicalize: return CannotBeNegativeZero(Call->getArgOperand(0), TLI, Depth + 1); // fabs(x) != -0.0 case Intrinsic::fabs: |