1046 {
1047
1048 uint32_t test_values[] = {0x80000000, 0xFFFFFFFF, 0x00000000, 0xAAAAAAAA, 0x55555555, 0x01010101};
1049 for (
int t = 0;
t < 6;
t++) {
1050 uint32_t val = test_values[
t];
1051 uint32_t output[4];
1052 store_u32_4(output, set1_u32_4(val));
1053 for (int i = 0; i < 4; i++) {
1054 if (output[i] != val) return false;
1055 }
1056 }
1057 return true;
1058}