diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp --- a/polly/lib/Analysis/ScopInfo.cpp +++ b/polly/lib/Analysis/ScopInfo.cpp @@ -195,7 +195,7 @@ isl::set SLB = S.lower_bound_val(type, dim, V); V = valFromAPInt(Ctx.get(), Range.getUpper(), true); - V = V.sub_ui(1); + V = V.sub(1); isl::set SUB = S.upper_bound_val(type, dim, V); S = SLB.unite(SUB); } diff --git a/polly/lib/External/isl/include/isl/isl-noexceptions.h b/polly/lib/External/isl/include/isl/isl-noexceptions.h --- a/polly/lib/External/isl/include/isl/isl-noexceptions.h +++ b/polly/lib/External/isl/include/isl/isl-noexceptions.h @@ -4801,7 +4801,6 @@ inline int sgn() const; inline isl::val sub(isl::val v2) const; inline isl::val sub(long v2) const; - inline isl::val sub_ui(unsigned long v2) const; inline isl::val_list to_list() const; inline isl::val trunc() const; static inline isl::val zero(isl::ctx ctx); @@ -22787,12 +22786,6 @@ return this->sub(isl::val(ctx(), v2)); } -isl::val val::sub_ui(unsigned long v2) const -{ - auto res = isl_val_sub_ui(copy(), v2); - return manage(res); -} - isl::val_list val::to_list() const { auto res = isl_val_to_list(copy()); diff --git a/polly/unittests/Isl/IslTest.cpp b/polly/unittests/Isl/IslTest.cpp --- a/polly/unittests/Isl/IslTest.cpp +++ b/polly/unittests/Isl/IslTest.cpp @@ -136,7 +136,7 @@ { APInt APNOne(32, (1ull << 32) - 1, false); auto IslNOne = valFromAPInt(IslCtx, APNOne, false); - auto IslRef = isl::val(IslCtx, 32).pow2().sub_ui(1); + auto IslRef = isl::val(IslCtx, 32).pow2().sub(1); EXPECT_EQ(IslNOne, IslRef); } @@ -223,7 +223,7 @@ } { - auto IslNOne = isl::val(IslCtx, 32).pow2().sub_ui(1); + auto IslNOne = isl::val(IslCtx, 32).pow2().sub(1); auto APNOne = APIntFromVal(IslNOne); EXPECT_EQ((1ull << 32) - 1, APNOne); EXPECT_EQ(33u, APNOne.getBitWidth()); @@ -232,7 +232,7 @@ { auto IslLargeNum = isl::val(IslCtx, 60); IslLargeNum = IslLargeNum.pow2(); - IslLargeNum = IslLargeNum.sub_ui(1); + IslLargeNum = IslLargeNum.sub(1); auto APLargeNum = APIntFromVal(IslLargeNum); EXPECT_EQ((1ull << 60) - 1, APLargeNum); EXPECT_EQ(61u, APLargeNum.getBitWidth());