test/infinite.omega

   1 # CLooG -> OMEGA
   2 # This is an automatic dump of an input file from a CloogProgram data
   3 # structure. It can be correct ONLY if dumped before loop generation.
   4
   5 # Context (2 parameter(s)).
   6 Symbolic M, N ;
   7
   8 # Iteration domains:
   9 IS10:={[i]: 1>=0} ;
  10 IS20:={[i,j]: i-1>=0 && -i+N>=0 && j-1>=0 && -j+M>=0 && 1>=0} ;
  11
  12 # CodeGen call:
  13 codegen 2 IS10, IS20 ;