1 #include <stdint.h> 2 typedef int32_t __attribute__((vector_size(8))) v2si; 3 int64_t s64; 4 5 static inline int64_t __ev_convert_s64(v2si a)6__ev_convert_s64 (v2si a) 7 { 8 return (int64_t) a; 9 } 10 main()11int main() 12 { 13 union { int64_t ll; int32_t i[2]; } endianness_test; 14 endianness_test.ll = 1; 15 int32_t little_endian = endianness_test.i[0]; 16 s64 = __ev_convert_s64 ((v2si){1,0xffffffff}); 17 if (s64 != (little_endian ? 0xffffffff00000001LL : 0x1ffffffffLL)) 18 abort (); 19 return 0; 20 } 21