test-chill/test-cases/chill/test_unroll.py


1
2
3
4
5
6
7
8
9
10
11
12
13

from chill import *

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

known('ambn > 0')
known('an > 0')
known('bm > 0')
distribute([0,1], 1)
unroll(1, 3, 4)
print_code()