Domain parsing fail - Githubissues

inducer / loopy

A code generator for array-based code on CPUs and GPUs

http://mathema.tician.de/software/loopy

MIT License

580 stars 70 forks source link

Domain parsing fail #744

Open inducer opened 1 year ago

inducer commented 1 year ago

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

kaushikcfd commented 1 year ago

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 }")