Please suggest the compatible Barvinok + ISL Versions for Loop Memory Access Volume Estimation

2 views
Skip to first unread message

Avinash M N

unread,
Jun 17, 2025, 12:15:28 PMJun 17
to isl Development

Hi all,

I'm currently working on estimating memory access volume (number of iterations per variable or statement) in loop programs as part of a project.

To compute the number of memory accesses per statement, I am trying to use barvinok and ISL to extract the iteration count and symbolic cardinality of access relations.

However, it seems that the Barvinok version I installed is using the bundled ISL, which might not support full cardinality computation, or at least I’m not able to access symbolic cardinality functions from it.

Could anyone please suggest:

  1. The correct version of Barvinok and ISL known to support symbolic volume (cardinality) estimation reliably?

  2. Any build flags or configuration steps I should ensure while compiling from source?

Any help or references would be greatly appreciated!

ISCC Version I used :
  isl-0.27-GMP
  barvinok-0.41.3
  clang version 9.0.1
  pet-0.11.8

Thanks in advance!

Best regards,

Avinash

Reply all
Reply to author
Forward
0 new messages