Поддержка SIMD

Тип VecElement{T} предназначен для создания библиотек операций SIMD. Практическое использование требует применения llvmcall. Тип определён как:

struct VecElement{T}
    value::T
end

У него есть специальное правило компиляции: однородная кортеж VecElement{T} отображается на тип LLVM vector когда T является примитивным типом бит, а длина кортежа входит в множество {2-6,8-10,16}.

При -O3, компилятор может автоматически векторизовать операции над такими кортежами. Например, следующая программа, при компиляции с julia -O3 генерирует две инструкции SIMD сложения (addps) на системах x86:

const m128 = NTuple{4,VecElement{Float32}}

function add(a::m128, b::m128)
    (VecElement(a[1].value+b[1].value),
     VecElement(a[2].value+b[2].value),
     VecElement(a[3].value+b[3].value),
     VecElement(a[4].value+b[4].value))
end

triple(c::m128) = add(add(c,c),c)

code_native(triple,(m128,))

Однако, так как автоматическая векторизация не гарантирована, в будущем использование будет в основном через библиотеки, использующие llvmcall.