[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