simplify operator/(isl::aff A, int i)

Sven Verdoolaege · Sven Verdoolaege · commit b9e81e8d9d02 · 2018-06-05T10:44:44.000+02:00
There is no point in creating an isl::aff from an isl::val
only to have the constant value extracted again inside isl.
diff --git a/tc/external/detail/islpp-inl.h b/tc/external/detail/islpp-inl.h
@@ -38,9 +38,7 @@ inline isl::aff operator*(isl::aff A, isl::val V) {
 }
 
 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
`@@ -38,9 +38,7 @@ inline isl::aff operator*(isl::aff A, isl::val V) {`
`38`	`38`	`}`
`39`	`39`
`40`	`40`	`inline isl::aff operator/(isl::aff A, int i) {`
`41`		`- isl::ctx ctx = A.get_ctx();`
`42`		`- isl::aff T(isl::local_space(A.get_space().domain()), isl::val(ctx, i));`
`43`		`- return A.div(T);`
	`41`	`+ return A.scale_down(isl::val(A.get_ctx(), i));`
`44`	`42`	`}`
`45`	`43`
`46`	`44`	`inline isl::aff operator+(int i, isl::aff A) {`