Skip to content

Commit 46fdb5d

Browse files
committed
fixup! [ValueTracking] Handle range assume bundles in computeKnownBits
1 parent 9e63247 commit 46fdb5d

File tree

1 file changed

+5
-4
lines changed

1 file changed

+5
-4
lines changed

llvm/lib/Analysis/ValueTracking.cpp

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -834,12 +834,13 @@ void llvm::computeKnownBitsFromContext(const Value *V, KnownBits &Known,
834834
if (V->getType()->isPointerTy()) {
835835
if (RetainedKnowledge RK = getKnowledgeFromBundle(
836836
*I, I->bundle_op_info_begin()[Elem.Index])) {
837-
// Allow AllowEphemerals in isValidAssumeForContext, as the CxtI might
838-
// be the producer of the pointer in the bundle. At the moment, align
839-
// assumptions aren't optimized away.
837+
// Allow AllowEphemerals in isValidAssumeForContext, as the CxtI might
838+
// be the producer of the pointer in the bundle. At the moment, align
839+
// assumptions aren't optimized away.
840840
if (RK.WasOn == V && RK.AttrKind == Attribute::Alignment &&
841841
isPowerOf2_64(RK.ArgValue) &&
842-
isValidAssumeForContext(I, Q.CxtI, Q.DT, /*AllowEphemerals*/ true))
842+
isValidAssumeForContext(I, Q.CxtI, Q.DT,
843+
/*AllowEphemerals*/ true))
843844
Known.Zero.setLowBits(Log2_64(RK.ArgValue));
844845
}
845846
} else if (V->getType()->isIntOrIntVectorTy()) {

0 commit comments

Comments
 (0)