diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-08-19 15:48:45 -0700 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-08-19 15:48:45 -0700 |
| commit | 42ce62800dd24760ab6e400a3d5f898f11fe818a (patch) | |
| tree | 6aa8b0c6b9dbb475c6b51aa74dd3089f85112d50 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 5fcd05967aaa0447d8da01b3f19139f2136863b4 (diff) | |
| download | llvm-42ce62800dd24760ab6e400a3d5f898f11fe818a.zip llvm-42ce62800dd24760ab6e400a3d5f898f11fe818a.tar.gz llvm-42ce62800dd24760ab6e400a3d5f898f11fe818a.tar.bz2 | |
[ValueTracking] Handle incompatible types instead of asserting in `isKnownNonEqual`; NFC
Downstream hit this assert, since it doesn't really make any
difference, just change code to return false.
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 9bd61f2..173faa3 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -310,8 +310,9 @@ bool llvm::isKnownNonEqual(const Value *V1, const Value *V2, const DataLayout &DL, AssumptionCache *AC, const Instruction *CxtI, const DominatorTree *DT, bool UseInstrInfo) { - assert(V1->getType() == V2->getType() && - "Testing equality of non-equal types!"); + // We don't support looking through casts. + if (V1 == V2 || V1->getType() != V2->getType()) + return false; auto *FVTy = dyn_cast<FixedVectorType>(V1->getType()); APInt DemandedElts = FVTy ? APInt::getAllOnes(FVTy->getNumElements()) : APInt(1, 1); |