Merge pull request #478 from facebookresearch/pr/simplify

ftynse · web-flow · commit 4615c8262bcd · 2018-06-05T12:01:33.000+02:00
simplify overloaded operators
diff --git a/tc/external/detail/islpp-inl.h b/tc/external/detail/islpp-inl.h
@@ -30,18 +30,15 @@ inline isl::aff operator*(isl::aff A, int i) {
 }
 
 inline isl::aff operator*(isl::val V, isl::aff A) {
-  isl::aff AV(A.get_local_space().domain(), V);
-  return A.mul(AV);
+  return A.scale(V);
 }
 
 inline isl::aff operator*(isl::aff A, isl::val V) {
   return V * A;
 }
 
 inline isl::aff operator/(isl::aff A, int i) {
-  isl::ctx ctx = A.get_ctx();
-  isl::aff T(isl::local_space(A.get_space().domain()), isl::val(ctx, i));
-  return A.div(T);
+  return A.scale_down(isl::val(A.get_ctx(), i));
 }
 
 inline isl::aff operator+(int i, isl::aff A) {

Original file line number	Diff line number	Diff line change
`@@ -30,18 +30,15 @@ inline isl::aff operator*(isl::aff A, int i) {`
`30`	`30`	`}`
`31`	`31`
`32`	`32`	`inline isl::aff operator*(isl::val V, isl::aff A) {`
`33`		`- isl::aff AV(A.get_local_space().domain(), V);`
`34`		`- return A.mul(AV);`
	`33`	`+ return A.scale(V);`
`35`	`34`	`}`
`36`	`35`
`37`	`36`	`inline isl::aff operator*(isl::aff A, isl::val V) {`
`38`	`37`	`return V * A;`
`39`	`38`	`}`
`40`	`39`
`41`	`40`	`inline isl::aff operator/(isl::aff A, int i) {`
`42`		`- isl::ctx ctx = A.get_ctx();`
`43`		`- isl::aff T(isl::local_space(A.get_space().domain()), isl::val(ctx, i));`
`44`		`- return A.div(T);`
	`41`	`+ return A.scale_down(isl::val(A.get_ctx(), i));`
`45`	`42`	`}`
`46`	`43`
`47`	`44`	`inline isl::aff operator+(int i, isl::aff A) {`