Autovectorization alignment

Question

從英特爾的Compiler Autovectorization Guide有一個與我不明白的對齊有關的例子。該代碼是

double a[N], b[N]; 
... 
for(i = 0; i < N; i++) 
    a[i+1] = b[i] * 3; 

它說

如果兩個陣列的第一個元素在一個16字節邊界對齊， 然後從b或不對齊的元件的任一個未對齊加載 將元素存儲到a，必須在矢量化之後使用。 然而，程序員可以執行如下所示的對準，這 將導致兩個對準的訪問模式矢量 （假設雙打一個8字節的大小）後

_declspec(align(16, 8)) double a[N]; 
_declspec(align(16, 0)) double b[N]; 

如何看到錯位配矢量化之後？對齊不會取決於數組的大小嗎？

Answer 1

漢斯帕桑特基本上涵蓋了所有正確的想法，但讓我解釋一點：

說a和b都對齊到16個字節。比如說，它們的地址是0x100和0x200，舉例來說。

現在，讓我們來看看代碼是如何看起來像i=3（奇）和i=6（偶數）...

a[i+1] = b[i] * 3;會做[0x120] = [0x318] * 3（I = 3的sizeof翻一番8）

或

a[i+1] = b[i] * 3;將盡[0x138] = [0x330] * 3

在兩種情況下，無論是左手側或右手側被對齊，而另一種是不對準（對齊ed訪問總是以十六進制0結尾，其他的則沒有對齊）。

現在...讓我們有意將a與8模16地址錯位（比如說保留我們的例子）。

讓我們來看看代碼是如何看起來像i=3（奇）和i=6（偶數）...

a[i+1] = b[i] * 3;會做[0x128] = [0x318] * 3（I = 3的sizeof翻一番8）

或

a[i+1] = b[i] * 3;會做[0x140] = [0x330] * 3

都會保持實際訪問同時對齊和未對齊。