polly/Support/ISLOperators.h

22 inline isl::pw_aff operator+(isl::pw_aff Left, isl::pw_aff Right) {
23   return Left.add(Right);
26 inline isl::pw_aff operator+(isl::val ValLeft, isl::pw_aff Right) {
27   isl::pw_aff Left(Right.domain(), ValLeft);
28   return Left.add(Right);
32   isl::pw_aff Right(Left.domain(), ValRight);
33   return Left.add(Right);
36 inline isl::pw_aff operator+(long IntLeft, isl::pw_aff Right) {
37   isl::ctx Ctx = Right.get_ctx();
39   isl::pw_aff Left(Right.domain(), ValLeft);
40   return Left.add(Right);
46   isl::pw_aff Right(Left.domain(), ValRight);
47   return Left.add(Right);
53 inline isl::pw_aff operator*(isl::pw_aff Left, isl::pw_aff Right) {
54   return Left.mul(Right);
57 inline isl::pw_aff operator*(isl::val ValLeft, isl::pw_aff Right) {
58   isl::pw_aff Left(Right.domain(), ValLeft);
59   return Left.mul(Right);
63   isl::pw_aff Right(Left.domain(), ValRight);
64   return Left.mul(Right);
67 inline isl::pw_aff operator*(long IntLeft, isl::pw_aff Right) {
68   isl::ctx Ctx = Right.get_ctx();
70   isl::pw_aff Left(Right.domain(), ValLeft);
71   return Left.mul(Right);
77   isl::pw_aff Right(Left.domain(), ValRight);
78   return Left.mul(Right);
84 inline isl::pw_aff operator-(isl::pw_aff Left, isl::pw_aff Right) {
85   return Left.sub(Right);
88 inline isl::pw_aff operator-(isl::val ValLeft, isl::pw_aff Right) {
89   isl::pw_aff Left(Right.domain(), ValLeft);
90   return Left.sub(Right);
94   isl::pw_aff Right(Left.domain(), ValRight);
95   return Left.sub(Right);
98 inline isl::pw_aff operator-(long IntLeft, isl::pw_aff Right) {
99   isl::ctx Ctx = Right.get_ctx();
101   isl::pw_aff Left(Right.domain(), ValLeft);
102   return Left.sub(Right);
108   isl::pw_aff Right(Left.domain(), ValRight);
109   return Left.sub(Right);
118 inline isl::pw_aff operator/(isl::pw_aff Left, isl::pw_aff Right) {
119   return Left.tdiv_q(Right);
122 inline isl::pw_aff operator/(isl::val ValLeft, isl::pw_aff Right) {
123   isl::pw_aff Left(Right.domain(), ValLeft);
124   return Left.tdiv_q(Right);
128   isl::pw_aff Right(Left.domain(), ValRight);
129   return Left.tdiv_q(Right);
132 inline isl::pw_aff operator/(long IntLeft, isl::pw_aff Right) {
133   isl::ctx Ctx = Right.get_ctx();
135   isl::pw_aff Left(Right.domain(), ValLeft);
136   return Left.tdiv_q(Right);
142   isl::pw_aff Right(Left.domain(), ValRight);
143   return Left.tdiv_q(Right);
153 inline isl::pw_aff operator%(isl::pw_aff Left, isl::pw_aff Right) {
154   return Left.tdiv_r(Right);
157 inline isl::pw_aff operator%(isl::val ValLeft, isl::pw_aff Right) {
158   isl::pw_aff Left(Right.domain(), ValLeft);
159   return Left.tdiv_r(Right);
163   isl::pw_aff Right(Left.domain(), ValRight);
164   return Left.tdiv_r(Right);
167 inline isl::pw_aff operator%(long IntLeft, isl::pw_aff Right) {
168   isl::ctx Ctx = Right.get_ctx();
170   isl::pw_aff Left(Right.domain(), ValLeft);
171   return Left.tdiv_r(Right);
177   isl::pw_aff Right(Left.domain(), ValRight);
178   return Left.tdiv_r(Right);