test/yosr.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 (1 parameter(s)).
   6 Symbolic n ;
   7
   8 # Iteration domains:
   9 IS10:={[i,j]: i-1>=0 && -i+j-1>=0 && -j+n>=0 && 1>=0} ;
  10 IS20:={[i,j,k]: i-1>=0 && -i+j-1>=0 && -j+n>=0 && -i+k-1>=0 && -k+n>=0 && 1>=0} ;
  11
  12 # Schedules:
  13 T10:={[i,j] -> [i,i,j,0]} ;
  14 T20:={[i,j,k] -> [k,i,j,k]} ;
  15
  16 # CodeGen call:
  17 codegen 4 T10:IS10, T20:IS20 ;