simplify operator*(isl::val V, isl::aff A)

Sven Verdoolaege · Sven Verdoolaege · commit 95b854adf542 · 2018-06-05T10:44:40.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
@@ -30,8 +30,7 @@ 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) {

Original file line number	Diff line number	Diff line change
`@@ -30,8 +30,7 @@ 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) {`