https://123dok.net/document/7q0r983q-optimal-loop-parallelization-under-register-constraints.html