From d24fe812ecc149ee1897c73745ee09a3a26cf57c Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Wed, 16 Nov 2022 21:44:28 -0800 Subject: ValueTracking: Look through canonicalize in isKnownNeverInfinity --- llvm/lib/Analysis/ValueTracking.cpp | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'llvm/lib/Analysis/ValueTracking.cpp') diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 465678d..6f67509 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -3785,6 +3785,15 @@ bool llvm::isKnownNeverInfinity(const Value *V, const TargetLibraryInfo *TLI, default: break; } + + if (const auto *II = dyn_cast(V)) { + switch (II->getIntrinsicID()) { + case Intrinsic::canonicalize: + return isKnownNeverInfinity(Inst->getOperand(0), TLI, Depth + 1); + default: + break; + } + } } // try to handle fixed width vector constants -- cgit v1.1