使用 SIMD 将代码向量化

Welcome to the final lesson on SIMD! We've learned about SSE/AVX registers and instructions. Now, let's put it all together to vectorize code.

Vectorization is a compiler optimization or manual coding technique that transforms loops to perform operations on multiple data elements simultaneously, rather than one at a time.

Imagine adding two lists of numbers. A traditional (scalar) approach adds one pair at a time. Vectorization, using SIMD, lets you add multiple pairs in a single instruction.

• Scalar: A[0]+B[0], then A[1]+B[1], etc.
• SIMD: (A[0], A[1], A[2], A[3]) + (B[0], B[1], B[2], B[3]) all at once!

This parallel processing dramatically speeds up repetitive tasks on large datasets.

For optimal SIMD performance, your data should be aligned in memory. This means the starting address of your data block should be a multiple of the vector size (e.g., 16 bytes for SSE, 32 bytes for AVX).

• Aligned Access: Faster, uses instructions like MOVAPS.
• Unaligned Access: Slower, uses instructions like MOVUPS, as the CPU needs extra work to fetch data.

Proper alignment helps the CPU fetch data more efficiently, avoiding performance penalties.

To work with data in SIMD registers, you first need to load it from memory. Here are common instructions for single-precision floats (PS):

• MOVAPS XMM0, [mem]: Moves 4 aligned single-precision floats from memory to XMM0.
• MOVUPS XMM0, [mem]: Moves 4 unaligned single-precision floats from memory to XMM0.

Always try to use MOVAPS if your data is guaranteed to be aligned for better performance.

Once data is in SIMD registers, you can perform operations on all elements simultaneously. For example, to add two vectors of single-precision floats:

• ADDPS XMM0, XMM1: Adds corresponding packed single-precision floats in XMM1 to XMM0. The result is stored in XMM0.

This single instruction performs four separate additions in parallel!

After processing data in SIMD registers, you'll want to store the results back to memory. Similar to loading, there are aligned and unaligned store instructions:

• MOVAPS [mem], XMM0: Stores 4 aligned single-precision floats from XMM0 to memory.
• MOVUPS [mem], XMM0: Stores 4 unaligned single-precision floats from XMM0 to memory.

Again, prioritize MOVAPS for storing if your destination memory is aligned.

Let's see a simple example of adding two arrays of single-precision floats using SSE instructions. This program adds array1 and array2 and stores the result in result.

We process 4 floats at a time in a loop-like fashion, moving 16 bytes (4 floats) per step.

Besides ADDPS, SSE/AVX provide a wide range of instructions for various packed operations:

• SUBPS: Subtract packed single-precision floats.
• MULPS: Multiply packed single-precision floats.
• DIVPS: Divide packed single-precision floats.
• ANDPS, ORPS, XORPS: Bitwise logical operations on packed floats.
• Comparison instructions (e.g., CMPPS): Compare packed floats.

The key is that they all operate on multiple data items simultaneously.

Vectorization is a powerful optimization, but it's not always necessary or beneficial. Consider these points:

• Large Datasets: Most effective for loops processing many elements.
• Repetitive Operations: Ideal for identical operations applied to many data items.
• Data Layout: Works best with contiguous, aligned data.
• Overhead: Small loops might incur more overhead from setting up vector registers than the speedup provides.

Compilers can often auto-vectorize, but manual vectorization gives you fine-grained control.

Which of the following are key benefits of vectorizing code using SIMD instructions?

Great job! You've now learned how to apply SSE/AVX instructions to vectorize your code.

• Vectorization performs operations on multiple data items simultaneously.
• Proper data alignment is crucial for optimal performance.
• Instructions like MOVAPS, ADDPS, and MOVAPS are used to load, process, and store packed data.
• Vectorization is highly effective for repetitive operations on large, contiguous datasets.

This powerful technique allows you to unlock significant performance gains in your x86 assembly programs. Keep practicing!