The loop contains FMA instructions (so vectorization could be beneficial), but is not vectorized. To fix, review:

• Corresponding compiler diagnostic to check if vectorization enforcement is possible and profitable
• The Dependencies analysis to distinguish between compiler-assumed dependencies and real dependencies