1*4db55319STobias Grosser# Check that no expressions of the form ((-n + 2147483648) % 32) are produced. 2*4db55319STobias Grosserdomain: "[n] -> { S_2[i] : i >= 0 and i <= -1 + n; S_1[i, j] : j >= 0 and j <= -1 + n and i >= 0 and i <= -1 + n }" 3*4db55319STobias Grosserchild: 4*4db55319STobias Grosser context: "[n] -> { [] : n <= 2147483647 and n >= 0 }" 5*4db55319STobias Grosser child: 6*4db55319STobias Grosser schedule: "[n] -> [{ S_1[i, j] -> [(32*floor((i)/32))]; S_2[i] -> [(32*floor((i)/32))] }, { S_1[i, j] -> [(32*floor((j)/32))]; S_2[i] -> [(32*floor((n)/32))] }]" 7*4db55319STobias Grosser permutable: 1 8*4db55319STobias Grosser options: "[n] -> { atomic[i0] : i0 >= 0 and i0 <= 1; isolate[[] -> [i0, i1]] : (exists (e0 = floor((i0)/32), e1 = floor((i1)/32): 32e0 = i0 and 32e1 = i1 and i0 >= 0 and i0 <= -32 + n and i1 >= 0 and i1 <= n)) or (exists (e0 = floor((i0)/32), e1 = floor((i1)/32): 32e0 = i0 and 32e1 = i1 and i0 >= 0 and i0 <= -32 + n and i1 >= -31 + n and i1 <= -31 + 2n)) }" 9*4db55319STobias Grosser child: 10*4db55319STobias Grosser schedule: "[n] -> [{ S_1[i, j] -> [(i - 32*floor((i)/32))]; S_2[i] -> [(i - 32*floor((i)/32))] }, { S_1[i, j] -> [(j - 32*floor((j)/32))]; S_2[i] -> [(n - 32*floor((n)/32))] }]" 11*4db55319STobias Grosser permutable: 1 12*4db55319STobias Grosser options: "{ separate[i0] : i0 >= 0 and i0 <= 1 }" 13*4db55319STobias Grosser child: 14*4db55319STobias Grosser sequence: 15*4db55319STobias Grosser - filter: "[n] -> { S_1[i, j] }" 16*4db55319STobias Grosser - filter: "[n] -> { S_2[i] }" 17