diff options
author | Philip Reames <listmail@philipreames.com> | 2021-04-06 13:17:35 -0700 |
---|---|---|
committer | Philip Reames <listmail@philipreames.com> | 2021-04-06 13:18:53 -0700 |
commit | 908215b34636f579533ecd6671bb6213b8327dbc (patch) | |
tree | 44e7890700588401ab652686a4231604bc0195fd /llvm/lib/IR/Value.cpp | |
parent | 69190f95b1698cec8366ad657000b275c2039c1b (diff) | |
download | llvm-908215b34636f579533ecd6671bb6213b8327dbc.zip llvm-908215b34636f579533ecd6671bb6213b8327dbc.tar.gz llvm-908215b34636f579533ecd6671bb6213b8327dbc.tar.bz2 |
Use AssumeInst in a few more places [nfc]
Follow up to a6d2a8d6f5. These were found by simply grepping for "::assume", and are the subset of that result which looked cleaner to me using the isa/dyn_cast patterns.
Diffstat (limited to 'llvm/lib/IR/Value.cpp')
-rw-r--r-- | llvm/lib/IR/Value.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/llvm/lib/IR/Value.cpp b/llvm/lib/IR/Value.cpp index d54a95c..544f4d6 100644 --- a/llvm/lib/IR/Value.cpp +++ b/llvm/lib/IR/Value.cpp @@ -205,8 +205,7 @@ void Value::dropDroppableUsesIn(User &Usr) { void Value::dropDroppableUse(Use &U) { U.removeFromList(); - if (auto *Assume = dyn_cast<IntrinsicInst>(U.getUser())) { - assert(Assume->getIntrinsicID() == Intrinsic::assume); + if (auto *Assume = dyn_cast<AssumeInst>(U.getUser())) { unsigned OpNo = U.getOperandNo(); if (OpNo == 0) U.set(ConstantInt::getTrue(Assume->getContext())); |