xref
: /
external
/
llvm-project
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
neg.pwqp
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
[n] -> { [i0] -> i0^2 : i0 >= -20 - n and i0 <= n and i0 <= -1 and n >= 0 }
2