@@ -2051,21 +2051,21 @@ Value *llvm::addDiffRuntimeChecks(
20512051 for (const auto &[SrcStart, SinkStart, AccessSize, NeedsFreeze] : Checks) {
20522052 Type *Ty = SinkStart->getType ();
20532053 // Compute VF * IC * AccessSize.
2054- auto *VFTimesUFTimesSize =
2054+ auto *VFTimesICTimesSize =
20552055 ChkBuilder.CreateMul (GetVF (ChkBuilder, Ty->getScalarSizeInBits ()),
20562056 ConstantInt::get (Ty, IC * AccessSize));
20572057 Value *Diff =
20582058 Expander.expandCodeFor (SE.getMinusSCEV (SinkStart, SrcStart), Ty, Loc);
20592059
20602060 // Check if the same compare has already been created earlier. In that case,
20612061 // there is no need to check it again.
2062- Value *IsConflict = SeenCompares.lookup ({Diff, VFTimesUFTimesSize });
2062+ Value *IsConflict = SeenCompares.lookup ({Diff, VFTimesICTimesSize });
20632063 if (IsConflict)
20642064 continue ;
20652065
20662066 IsConflict =
2067- ChkBuilder.CreateICmpULT (Diff, VFTimesUFTimesSize , " diff.check" );
2068- SeenCompares.insert ({{Diff, VFTimesUFTimesSize }, IsConflict});
2067+ ChkBuilder.CreateICmpULT (Diff, VFTimesICTimesSize , " diff.check" );
2068+ SeenCompares.insert ({{Diff, VFTimesICTimesSize }, IsConflict});
20692069 if (NeedsFreeze)
20702070 IsConflict =
20712071 ChkBuilder.CreateFreeze (IsConflict, IsConflict->getName () + " .fr" );
0 commit comments