petit/demo/example1b.t

   1 real a(100),b(100),c(100)
   2 !
   3 ! We have added the assertion m <= n+10
   4 ! to the previous example.
   5 ! This allows us to kill te flow dependence
   6 !
   7 integer n, m
   8 assert(m<=n+10);
   9 a(m) = b(n)
  10 for L1 = n to n+10 do
  11   a(L1) = b(L1)
  12 endfor
  13 for L1 = n to n+20 do
  14   c(L1) = a(L1)
  15 endfor