[ValueTracking] Fix a bug for signed min-max clamping

adam-bzowski · adam-bzowski · commit e35c4026163e · 2024-12-27T06:55:44.000-08:00
This is the fix of the bug present in PR 120576.
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
@@ -1119,7 +1119,8 @@ static void unionWithMinMaxIntrinsicClamp(const IntrinsicInst *II,
                                           KnownBits &Known) {
   const APInt *CLow, *CHigh;
   if (isSignedMinMaxIntrinsicClamp(II, CLow, CHigh))
-    Known = Known.unionWith(ConstantRange::getNonEmpty(*CLow, *CHigh + 1).toKnownBits());
+    Known = Known.unionWith(
+        ConstantRange::getNonEmpty(*CLow, *CHigh + 1).toKnownBits());
 }
 
 static void computeKnownBitsFromOperator(const Operator *I,

Original file line number	Diff line number	Diff line change
`@@ -1119,7 +1119,8 @@ static void unionWithMinMaxIntrinsicClamp(const IntrinsicInst *II,`
`1119`	`1119`	`KnownBits &Known) {`
`1120`	`1120`	`const APInt CLow, CHigh;`
`1121`	`1121`	`if (isSignedMinMaxIntrinsicClamp(II, CLow, CHigh))`
`1122`		`- Known = Known.unionWith(ConstantRange::getNonEmpty(CLow, CHigh + 1).toKnownBits());`
	`1122`	`+ Known = Known.unionWith(`
	`1123`	`+ ConstantRange::getNonEmpty(CLow, CHigh + 1).toKnownBits());`
`1123`	`1124`	`}`
`1124`	`1125`
`1125`	`1126`	`static void computeKnownBitsFromOperator(const Operator *I,`