test_known_2.py « chill « test-cases « test-chill - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/test-chill/test-cases/chill/test_known_2.py

blob: 5b16325fc1912dc8c7fbe372e03fa9c398eb37fc (plain)

from chill import *

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

known(['ambn > 0', 'an > 0', 'bm > 0'])
print_code()