diff options
| -rw-r--r-- | docs/Vectorizers.rst | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/docs/Vectorizers.rst b/docs/Vectorizers.rst index 07486347e3..0894b1eb3f 100644 --- a/docs/Vectorizers.rst +++ b/docs/Vectorizers.rst @@ -206,6 +206,25 @@ vectorization is profitable. A[i] += 4 * B[i]; } +Global Structures Alias Analysis +^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +Access to global structures can also be vectorized, with alias analysis being +used to make sure accesses don't alias. Run-time checks can also be added on +pointer access to structure members. + +Many variations are supported, but some that rely on undefined behaviour being +ignored (as other compilers do) are still being left un-vectorized. + +.. code-block:: c++ + + struct { int A[100], K, B[100]; } Foo; + + int foo() { + for (int i = 0; i < 100; ++i) + Foo.A[i] = Foo.B[i] + 100; + } + Vectorization of function calls ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |