================ @@ -3124,6 +3124,19 @@ inline auto m_c_LogicalOp(const LHS &L, const RHS &R) { return m_LogicalOp<LHS, RHS, /*Commutable=*/true>(L, R); } +struct GuaranteedNotToBeUndefOrPoison_match { + template <typename ITy> bool match(ITy *V) { + if (auto *AsValue = dyn_cast<Value>(V)) + return isGuaranteedNotToBeUndefOrPoison(AsValue); ---------------- jmciver wrote:
I'll fix the helper to take caller context. https://github.com/llvm/llvm-project/pull/129776 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits