The problem is that often the compiler can&#x27;t automatically vectorize because some preconditions are not met. The knowledge about those preconditions is mostly limited to compiler people and so far, by what I know, there&#x27;s no static analysis tool that tells you why the compiler couldn&#x27;t vectorize a loop.