[llvm] [IR] Add zext nneg flag (PR #67982)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 27 13:13:02 PDT 2023


================
@@ -37,6 +37,10 @@ bool Operator::hasPoisonGeneratingFlags() const {
     // Note: inrange exists on constexpr only
     return GEP->isInBounds() || GEP->getInRangeIndex() != std::nullopt;
   }
+  case Instruction::ZExt:
+    if (auto *NNI = dyn_cast<PossiblyNonNegInst>(this))
----------------
nikic wrote:

This is in case it's a constant expression. I haven't completely finished the zext expr removal yet.

https://github.com/llvm/llvm-project/pull/67982


More information about the llvm-commits mailing list