#include #include int main(int argc, char* argv[]) { uint32x4_t x; x=veorq_u32(x,x); return 0; }