path: root/test-chill/test_unroll_extra.py

from chill import *

source('mm.c')
procedure('mm')
#format: rose
loop(0)

known('ambn > 0')
known('an > 0')
known('bm > 0')
unroll_extra(1, 2, 4)
print_code()