[polly] r329825 - Revert r327216 'Add isl operator overloads for isl::pw_aff'

Tobias Grosser via llvm-commits llvm-commits at lists.llvm.org
Wed Apr 11 09:58:08 PDT 2018


Author: grosser
Date: Wed Apr 11 09:58:08 2018
New Revision: 329825

URL: http://llvm.org/viewvc/llvm-project?rev=329825&view=rev
Log:
Revert r327216 'Add isl operator overloads for isl::pw_aff'

This commit requires further discussions.

Removed:
    polly/trunk/include/polly/Support/ISLOperators.h
Modified:
    polly/trunk/lib/Support/SCEVAffinator.cpp
    polly/trunk/unittests/Isl/IslTest.cpp

Removed: polly/trunk/include/polly/Support/ISLOperators.h
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/include/polly/Support/ISLOperators.h?rev=329824&view=auto
==============================================================================
--- polly/trunk/include/polly/Support/ISLOperators.h (original)
+++ polly/trunk/include/polly/Support/ISLOperators.h (removed)
@@ -1,118 +0,0 @@
-//===------ IslOperators.h --------------------------------------*- C++ -*-===//
-//
-//                     The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// Operator overloads for isl C++ objects.
-//
-//===----------------------------------------------------------------------===//
-
-#include "isl/isl-noexceptions.h"
-namespace polly {
-
-inline isl::pw_aff operator+(isl::pw_aff A, isl::pw_aff B) { return A.add(B); }
-
-inline isl::pw_aff operator+(isl::val V, isl::pw_aff A) {
-  isl::pw_aff AV(A.domain(), V);
-  return A.add(AV);
-}
-
-inline isl::pw_aff operator+(isl::pw_aff A, isl::val V) { return V + A; }
-
-inline isl::pw_aff operator+(int i, isl::pw_aff A) {
-  isl::ctx ctx = A.get_ctx();
-  return A + isl::val(ctx, i);
-}
-
-inline isl::pw_aff operator+(isl::pw_aff A, int i) { return i + A; }
-
-inline isl::pw_aff operator*(isl::pw_aff A, isl::pw_aff B) { return A.mul(B); }
-
-inline isl::pw_aff operator*(isl::val V, isl::pw_aff A) {
-  isl::pw_aff AV(A.domain(), V);
-  return A.add(AV);
-}
-
-inline isl::pw_aff operator*(isl::pw_aff A, isl::val V) { return V * A; }
-
-inline isl::pw_aff operator*(int i, isl::pw_aff A) {
-  isl::ctx ctx = A.get_ctx();
-  return A * isl::val(ctx, i);
-}
-
-inline isl::pw_aff operator*(isl::pw_aff A, int i) { return i * A; }
-
-inline isl::pw_aff operator-(isl::pw_aff A, isl::pw_aff B) { return A.sub(B); }
-
-inline isl::pw_aff operator-(isl::val V, isl::pw_aff A) {
-  isl::pw_aff AV(A.domain(), V);
-  return AV - A;
-}
-
-inline isl::pw_aff operator-(isl::pw_aff A, isl::val V) {
-  isl::pw_aff AV(A.domain(), V);
-  return A - AV;
-}
-
-inline isl::pw_aff operator-(int i, isl::pw_aff A) {
-  isl::ctx ctx = A.get_ctx();
-  return isl::val(ctx, i) - A;
-}
-
-inline isl::pw_aff operator-(isl::pw_aff A, int i) {
-  isl::ctx ctx = A.get_ctx();
-  return A - isl::val(ctx, i);
-}
-
-inline isl::pw_aff operator/(isl::pw_aff A, isl::pw_aff B) {
-  return A.tdiv_q(B);
-}
-
-inline isl::pw_aff operator/(isl::val V, isl::pw_aff A) {
-  isl::pw_aff AV(A.domain(), V);
-  return AV / A;
-}
-
-inline isl::pw_aff operator/(isl::pw_aff A, isl::val V) {
-  isl::pw_aff AV(A.domain(), V);
-  return A / AV;
-}
-
-inline isl::pw_aff operator/(int i, isl::pw_aff A) {
-  isl::ctx ctx = A.get_ctx();
-  return isl::val(ctx, i) / A;
-}
-
-inline isl::pw_aff operator/(isl::pw_aff A, int i) {
-  isl::ctx ctx = A.get_ctx();
-  return A / isl::val(ctx, i);
-}
-
-inline isl::pw_aff operator%(isl::pw_aff A, isl::pw_aff B) {
-  return A.tdiv_r(B);
-}
-
-inline isl::pw_aff operator%(isl::val V, isl::pw_aff A) {
-  isl::pw_aff AV(A.domain(), V);
-  return AV % A;
-}
-
-inline isl::pw_aff operator%(isl::pw_aff A, isl::val V) {
-  isl::pw_aff AV(A.domain(), V);
-  return A % AV;
-}
-
-inline isl::pw_aff operator%(int i, isl::pw_aff A) {
-  isl::ctx ctx = A.get_ctx();
-  return isl::val(ctx, i) % A;
-}
-
-inline isl::pw_aff operator%(isl::pw_aff A, int i) {
-  isl::ctx ctx = A.get_ctx();
-  return A % isl::val(ctx, i);
-}
-} // namespace polly

Modified: polly/trunk/lib/Support/SCEVAffinator.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Support/SCEVAffinator.cpp?rev=329825&r1=329824&r2=329825&view=diff
==============================================================================
--- polly/trunk/lib/Support/SCEVAffinator.cpp (original)
+++ polly/trunk/lib/Support/SCEVAffinator.cpp Wed Apr 11 09:58:08 2018
@@ -15,7 +15,6 @@
 #include "polly/Options.h"
 #include "polly/ScopInfo.h"
 #include "polly/Support/GICHelper.h"
-#include "polly/Support/ISLOperators.h"
 #include "polly/Support/SCEVValidator.h"
 #include "polly/Support/ScopHelper.h"
 #include "isl/aff.h"

Modified: polly/trunk/unittests/Isl/IslTest.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/unittests/Isl/IslTest.cpp?rev=329825&r1=329824&r2=329825&view=diff
==============================================================================
--- polly/trunk/unittests/Isl/IslTest.cpp (original)
+++ polly/trunk/unittests/Isl/IslTest.cpp Wed Apr 11 09:58:08 2018
@@ -8,7 +8,6 @@
 //===----------------------------------------------------------------------===//
 
 #include "polly/Support/GICHelper.h"
-#include "polly/Support/ISLOperators.h"
 #include "polly/Support/ISLTools.h"
 #include "gtest/gtest.h"
 #include "isl/stream.h"
@@ -76,9 +75,6 @@ static bool operator==(const isl::val &L
   return bool(LHS.eq(RHS));
 }
 
-static bool operator==(const isl::pw_aff &LHS, const isl::pw_aff &RHS) {
-  return bool(LHS.is_equal(RHS));
-}
 } // namespace noexceptions
 } // namespace isl
 
@@ -284,70 +280,6 @@ TEST(Isl, IslValToAPInt) {
   }
 
   isl_ctx_free(IslCtx);
-}
-
-TEST(Isl, Operators) {
-  isl_ctx *IslCtx = isl_ctx_alloc();
-
-  isl::val ValOne = isl::val(IslCtx, 1);
-  isl::val ValTwo = isl::val(IslCtx, 2);
-  isl::val ValThree = isl::val(IslCtx, 3);
-  isl::val ValFour = isl::val(IslCtx, 4);
-
-  isl::space Space = isl::space(IslCtx, 0, 0);
-  isl::local_space LS = isl::local_space(Space);
-
-  isl::pw_aff AffOne = isl::aff(LS, ValOne);
-  isl::pw_aff AffTwo = isl::aff(LS, ValTwo);
-  isl::pw_aff AffThree = isl::aff(LS, ValThree);
-  isl::pw_aff AffFour = isl::aff(LS, ValFour);
-
-  // Addition
-  {
-    EXPECT_EQ(AffOne + AffOne, AffTwo);
-    EXPECT_EQ(AffOne + 1, AffTwo);
-    EXPECT_EQ(1 + AffOne, AffTwo);
-    EXPECT_EQ(AffOne + ValOne, AffTwo);
-    EXPECT_EQ(ValOne + AffOne, AffTwo);
-  }
-
-  // Multiplication
-  {
-    EXPECT_EQ(AffTwo * AffTwo, AffFour);
-    EXPECT_EQ(AffTwo * 2, AffFour);
-    EXPECT_EQ(2 * AffTwo, AffFour);
-    EXPECT_EQ(AffTwo * ValTwo, AffFour);
-    EXPECT_EQ(ValTwo * AffTwo, AffFour);
-  }
-
-  // Subtraction
-  {
-    EXPECT_EQ(AffTwo - AffOne, AffOne);
-    EXPECT_EQ(AffTwo - 1, AffOne);
-    EXPECT_EQ(2 - AffOne, AffOne);
-    EXPECT_EQ(AffTwo - ValOne, AffOne);
-    EXPECT_EQ(ValTwo - AffOne, AffOne);
-  }
-
-  // Division
-  {
-    EXPECT_EQ(AffFour - AffTwo, AffTwo);
-    EXPECT_EQ(AffFour - 2, AffTwo);
-    EXPECT_EQ(4 - AffTwo, AffTwo);
-    EXPECT_EQ(AffFour / ValTwo, AffTwo);
-    EXPECT_EQ(AffFour / 2, AffTwo);
-  }
-
-  // Remainder
-  {
-    EXPECT_EQ(AffThree % AffTwo, AffOne);
-    EXPECT_EQ(AffThree % 2, AffOne);
-    EXPECT_EQ(3 % AffTwo, AffOne);
-    EXPECT_EQ(AffThree % ValTwo, AffOne);
-    EXPECT_EQ(ValThree % AffTwo, AffOne);
-  }
-
-  isl_ctx_free(IslCtx);
 }
 
 TEST(Isl, Foreach) {




More information about the llvm-commits mailing list