[clang] [llvm] [ValueTracking] Extend computeConstantRange for add/sub, sext/zext/trunc (PR #181110)

Mikhail Gudim via cfe-commits cfe-commits at lists.llvm.org
Tue Feb 17 07:04:12 PST 2026


================
@@ -10041,6 +10045,34 @@ static void setLimitsForBinOp(const BinaryOperator &BO, APInt &Lower,
   default:
     break;
   }
+
+  ConstantRange CR = ConstantRange::getNonEmpty(Lower, Upper);
+  bool IsDisjointOr = BO.getOpcode() == Instruction::Or &&
----------------
mgudim wrote:

nit: separate line with `unsigned Opc = BO.getOpcode()` ?

https://github.com/llvm/llvm-project/pull/181110


More information about the cfe-commits mailing list