void test_vornu64 (void)
{
uint64x1_t out_uint64x1_t;
uint64x1_t arg0_uint64x1_t;
uint64x1_t arg1_uint64x1_t;
out_uint64x1_t = vorn_u64 (arg0_uint64x1_t, arg1_uint64x1_t);
}
uint64x1_t test_vorn_u64(uint64x1_t a, uint64x1_t b) {
// CHECK-LABEL: test_vorn_u64
return vorn_u64(a, b);
// CHECK: orn {{v[0-9]+}}.8b, {{v[0-9]+}}.8b, {{v[0-9]+}}.8b
}