Sign in
cobalt
/
cobalt
/
61a8495e1e0485bd40f613004bf29f8a925ab37c
/
.
/
src
/
third_party
/
llvm-project
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
mod.in
blob: 7a04c5a4158b053bf853e1d05c17c6b12072a841 [
file
] [
log
] [
blame
]
# check that modulo constraint is generated correctly
[
n
,
m
]
->
{
A
[]
->
[]
:
2
*
(
n
%
100
)
=
3
*
(
m
%
200
)
}
[
n
,
m
]
->
{
:
m
,
n
>=
0
}
{}
