Blame isl-0.16.1/test_inputs/codegen/dwt.in
|
Packit |
fb9d21 |
[Ncl] -> { S[j, 28] -> [j] : j <= -2 + Ncl and Ncl <= 256 and Ncl >= 40 and j >= 1; S[0, 26] -> [0] : Ncl <= 256 and Ncl >= 40; S[-1 + Ncl, 27] -> [-1 + Ncl] : Ncl <= 256 and Ncl >= 40 }
|
|
Packit |
fb9d21 |
[Ncl] -> { : Ncl >= 40 and Ncl <= 256 }
|
|
Packit |
fb9d21 |
{ }
|