Skip to content
This repository was archived by the owner on Apr 28, 2023. It is now read-only.

Commit 693d85a

Browse files
committed
add overloaded operator/ (isl::multi_aff, isl::multi_val)
This operator divides i-th element of the given multi_aff by the i-th element of the given multi_val. It will be used in the following commits.
1 parent ed413cc commit 693d85a

File tree

2 files changed

+12
-0
lines changed

2 files changed

+12
-0
lines changed

tc/external/detail/islpp-inl.h

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -185,6 +185,13 @@ inline isl::map operator<=(isl::aff_map A, isl::aff B) {
185185
return A < B + 1;
186186
}
187187

188+
///////////////////////////////////////////////////////////////////////////////
189+
// Operations on isl::multi_aff
190+
///////////////////////////////////////////////////////////////////////////////
191+
inline isl::multi_aff operator/(isl::multi_aff left, isl::multi_val right) {
192+
return left.scale_down(right);
193+
}
194+
188195
///////////////////////////////////////////////////////////////////////////////
189196
// Operations on isl::set and isl::union_set
190197
///////////////////////////////////////////////////////////////////////////////

tc/external/detail/islpp.h

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -176,6 +176,11 @@ isl::map operator<=(isl::aff_map A, isl::aff B);
176176
isl::map operator>(isl::aff_map A, isl::aff B);
177177
isl::map operator<(isl::aff_map A, isl::aff B);
178178

179+
///////////////////////////////////////////////////////////////////////////////
180+
// Operations on isl::multi_aff
181+
///////////////////////////////////////////////////////////////////////////////
182+
isl::multi_aff operator/(isl::multi_aff left, isl::multi_val right);
183+
179184
///////////////////////////////////////////////////////////////////////////////
180185
// Operations on isl::set and isl::union_set
181186
///////////////////////////////////////////////////////////////////////////////

0 commit comments

Comments
 (0)