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

summary refs log tree commit diff

path: root/omega/examples/old_test/stride2

blob: 37a355fa1c4e19736c510bcf57d6e15691e1cb2c (plain)

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