operator+(int i, isl::aff A): call isl::aff:add_constant_si

Sven Verdoolaege · Sven Verdoolaege · commit 5e425accd730 · 2018-07-24T17:51:55.000+02:00
There is no need to create an extra isl::val object here.
diff --git a/tc/external/detail/islpp-inl.h b/tc/external/detail/islpp-inl.h
@@ -42,8 +42,7 @@ inline isl::aff operator/(isl::aff A, int i) {
 }
 
 inline isl::aff operator+(int i, isl::aff A) {
-  isl::ctx ctx = A.get_ctx();
-  return A + isl::val(ctx, i);
+  return A.add_constant_si(i);
 }
 
 inline isl::aff operator+(isl::aff A, isl::val v) {

Original file line number	Diff line number	Diff line change
`@@ -42,8 +42,7 @@ inline isl::aff operator/(isl::aff A, int i) {`
`42`	`42`	`}`
`43`	`43`
`44`	`44`	`inline isl::aff operator+(int i, isl::aff A) {`
`45`		`- isl::ctx ctx = A.get_ctx();`
`46`		`- return A + isl::val(ctx, i);`
	`45`	`+ return A.add_constant_si(i);`
`47`	`46`	`}`
`48`	`47`
`49`	`48`	`inline isl::aff operator+(isl::aff A, isl::val v) {`