1*6ea64d8bSTobias Grosser# Earlier versions of isl would fail to produce an AST for this input 2*6ea64d8bSTobias Grosser# due to a simplification bug. 3*6ea64d8bSTobias Grosserdomain: "{ S_3[i, j, k] : 0 <= i <= 12 and 0 <= j < i and 0 <= k < j }" 4*6ea64d8bSTobias Grosserchild: 5*6ea64d8bSTobias Grosser schedule: "[{ S_3[i, j, k] -> [(3993j + 1997k)] }]" 6*6ea64d8bSTobias Grosser child: 7*6ea64d8bSTobias Grosser schedule: "[{ S_3[i, j, k] -> [(32*floor((2j + k)/32))] }, { S_3[i, j, k] -> [(32*floor((i)/32))] }]" 8*6ea64d8bSTobias Grosser child: 9*6ea64d8bSTobias Grosser schedule: "[{ S_3[i, j, k] -> [(2j + k - 32*floor((2j + k)/32))] }, { S_3[i, j, k] -> [(i)] }]" 10