loopy icon indicating copy to clipboard operation
loopy copied to clipboard

Domain parsing fail

Open inducer opened this issue 2 years ago • 1 comments

knl = lp.make_kernel(
        [
            "{[i,j]: 0<=i,j<n}"
            "{[k,l]: 0<=i,j<n}"
            ],
        """
        a[i,j] = 2*a[i,j]
        a[k,l] = 2*a[k,l]
        """)

Note the missing comma. Something (isl?) just ignores the second part.

cc @a-alveyblanc

inducer avatar Jan 20 '23 18:01 inducer

Yep, that's an ISL bug:

>>> import islpy as isl
>>> isl.BasicSet("{[i]: 0<=i<10}{[j]: 0<=j<10}")
BasicSet("{ [i] : 0 <= i <= 9 }")

kaushikcfd avatar Jan 20 '23 20:01 kaushikcfd