test_inputs/schedule/max_coincidence.sc

   1 # Check that nodes are not fused when maximizing coincidence.
   2 # This option is only effective for the incremental scheduler.
   3 # OPTIONS: --no-schedule-whole-component --schedule-maximize-coincidence
   4 domain: [n] -> { A[i,j,k] : 0 <= i,j,k < n; B[i,j,k] : 0 <= i,j,k < n }
   5 validity: { A[i,j,k] -> B[i,k,j] }
   6 proximity: { A[i,j,k] -> B[i,k,j] }
   7 coincidence: { A[i,j,k] -> A[i,j,k+1]; B[i,j,k] -> B[i,j,k+1] }