diff options
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 0e4ca6a..bc63368 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -5182,7 +5182,24 @@ static bool canCreateUndefOrPoison(const Operator *Op, bool PoisonOnly, if (auto *II = dyn_cast<IntrinsicInst>(Op)) { switch (II->getIntrinsicID()) { // TODO: Add more intrinsics. + case Intrinsic::ctlz: + case Intrinsic::cttz: + case Intrinsic::abs: + if (cast<ConstantInt>(II->getArgOperand(1))->isNullValue()) + return false; + break; case Intrinsic::ctpop: + case Intrinsic::bswap: + case Intrinsic::bitreverse: + case Intrinsic::fshl: + case Intrinsic::fshr: + case Intrinsic::smax: + case Intrinsic::smin: + case Intrinsic::umax: + case Intrinsic::umin: + case Intrinsic::ptrmask: + case Intrinsic::fptoui_sat: + case Intrinsic::fptosi_sat: case Intrinsic::sadd_with_overflow: case Intrinsic::ssub_with_overflow: case Intrinsic::smul_with_overflow: |