Является ли доступ к байтам переменной __m128 через union legal?

Question

Рассмотрим эту переменную декларацию:

union { 
     struct { 
      float x, y, z, padding; 
     } components; 
     __m128 sse; 
    } _data; 

Моя идея заключается в том, чтобы присвоить значение через x, y, z полей, выполнять SSE2 вычисления и прочитать результат через x, y, z. Однако у меня есть небольшие сомнения относительно того, является ли это законным. Моя проблема заключается в выравнивании: MSDN говорит, что переменные __m128 автоматически выравниваются до 16-байтовой границы, и мне интересно, может ли мой союз нарушить это поведение. Есть ли еще какие-нибудь подводные камни, чтобы рассмотреть здесь?

Answer 1

Выравнивание соединения должно быть точным, но в случае Windows вы можете напрямую обращаться к 32-битным компонентам. Из xmmintrin.h (DirectXMath):

typedef union __declspec(intrin_type) _CRT_ALIGN(16) __m128 { 
    float    m128_f32[4]; 
    unsigned __int64 m128_u64[2]; 
    __int8    m128_i8[16]; 
    __int16    m128_i16[8]; 
    __int32    m128_i32[4]; 
    __int64    m128_i64[2]; 
    unsigned __int8  m128_u8[16]; 
    unsigned __int16 m128_u16[8]; 
    unsigned __int32 m128_u32[4]; 
} __m128; 

Как вы можете видеть, что есть 4 поплавки там. Если вы хотите быть uber paranoid, вы, вероятно, можете определить все те же самые особенности выравнивания и такие, чтобы убедиться, что ничто не сломается. Однако, насколько я могу судить, и учитывая, что вы упомянули MSDN в своем ответе, вам должно быть все хорошо. И объединение, и доступ к нему напрямую должны работать, если вы знаете, что у вас SSE-совместимый материал. Вы также можете сослаться на заголовки DirectXMath, чтобы понять, как Windows выполняет определения и пререкания: они также определяют несколько макросов, в зависимости от того, какие объекты и возможности присутствуют во время компиляции.

РЕДАКТИРОВАТЬ: Как отмечает Р.МартиньоФернандес в комментариях, доступ к нему напрямую, скорее всего, является скорее головной болью, чем переопределением ее в союзе.