From c6a28fcf5db2b6e81607e45cd5210e3e07834eed Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Fri, 2 Mar 2007 03:33:05 +0000 Subject: [PATCH] Implement unionWith. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@34833 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Support/ConstantRange.cpp | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/lib/Support/ConstantRange.cpp b/lib/Support/ConstantRange.cpp index ce4a25325a4..410c351890c 100644 --- a/lib/Support/ConstantRange.cpp +++ b/lib/Support/ConstantRange.cpp @@ -194,9 +194,18 @@ ConstantRange ConstantRange::unionWith(const ConstantRange &CR) const { assert(getBitWidth() == CR.getBitWidth() && "ConstantRange types don't agree!"); - assert(0 && "Range union not implemented yet!"); + if ( isFullSet() || CR.isEmptySet()) return *this; + if (CR.isFullSet() || isEmptySet()) return CR; - return *this; + APInt L = Lower, U = Upper; + + if (!contains(CR.Lower)) + L = APIntOps::umin(L, CR.Lower); + + if (!contains(CR.Upper - 1)) + U = APIntOps::umax(U, CR.Upper); + + return ConstantRange(L, U); } /// zeroExtend - Return a new range in the specified integer type, which must -- 2.34.1