import chill
chill.source("src/applyR.c")
chill.destination("src/applyR_modified.c")
chill.procedure("applyR")
chill.loop(1)
chill.known("len >= 0")
chill.permute([2, 1])
chill.loop(2)
chill.permute([2, 1])
chill.tile(0, 1, 16)
# Loop fusion etc here
chill.loop(3)
chill.tile(0, 1, 16)
import chill
chill.source('src/mm.c')
chill.destination('src/mm_modified.c')
chill.procedure('mm')
chill.loop(0)
chill.known('ambn > 0')
chill.known('an > 0')
chill.known('bm > 0')
chill.peel( 0, 2, -4 ) # statement 0, loop 2 (middle, for j), 4 statements from END