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