stride3 « old_test « examples « omega - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/omega/examples/old_test/stride3

blob: 859e9b8250a4a42b9e70196ca763e15e4344ce13 (plain)

symbolic n;
new_IS := {[t1,t2] : exists (alpha : t1 = 32alpha+3 && 
	                     t2 - 31,0 <= t1 <= t2 <= n)};
codegen new_IS;