[llvm] [ConstraintElim] Add facts implied by llvm.abs (PR #73189)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 4 12:23:47 PST 2023
================
@@ -984,32 +984,38 @@ void State::addInfoFor(BasicBlock &BB) {
continue;
}
- if (match(&I, m_Intrinsic<Intrinsic::ssub_with_overflow>())) {
+ auto *II = dyn_cast<IntrinsicInst>(&I);
+ Intrinsic::ID ID = II ? II->getIntrinsicID() : Intrinsic::not_intrinsic;
+ switch (ID) {
+ case Intrinsic::assume:
+ Value *A, *B;
+ CmpInst::Predicate Pred;
+ if (I.getNumOperands() >= 1 &&
----------------
fhahn wrote:
Is this needed? `assume` calls should only have a single argument?
https://github.com/llvm/llvm-project/pull/73189
More information about the llvm-commits
mailing list