diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2021-12-20 16:13:55 -0500 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2021-12-20 17:16:47 -0500 |
| commit | a56803b8f8df4f8d866f91d354b82ee9b62e9a60 (patch) | |
| tree | 0a7e09084a15b434160cc13ec50ed59e5c5d93f9 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 8cb785cad12b2d0fb7de2e13f208dab73f27111a (diff) | |
| download | llvm-a56803b8f8df4f8d866f91d354b82ee9b62e9a60.zip llvm-a56803b8f8df4f8d866f91d354b82ee9b62e9a60.tar.gz llvm-a56803b8f8df4f8d866f91d354b82ee9b62e9a60.tar.bz2 | |
[Analysis] fix cast in ValueTracking to allow constant expression
The test would crash because a non-instruction negate op made it in here.
Fixes #51506
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 2585961..fc378f9 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -1154,7 +1154,7 @@ static void computeKnownBitsFromOperator(const Operator *I, // If the negate has an NSW flag we can assume the sign bit of the result // will be 0 because that makes abs(INT_MIN) undefined. if (match(RHS, m_Neg(m_Specific(LHS))) && - Q.IIQ.hasNoSignedWrap(cast<Instruction>(RHS))) + Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(RHS))) Known.Zero.setSignBit(); } |