void test_vbslp64 (void) { poly64x1_t out_poly64x1_t; uint64x1_t arg0_uint64x1_t; poly64x1_t arg1_poly64x1_t; poly64x1_t arg2_poly64x1_t; out_poly64x1_t = vbsl_p64 (arg0_uint64x1_t, arg1_poly64x1_t, arg2_poly64x1_t); }
poly64x1_t test_vbsl_p64(poly64x1_t a, poly64x1_t b, poly64x1_t c) { // CHECK-LABEL: test_vbsl_p64 return vbsl_p64(a, b, c); // CHECK: bsl {{v[0-9]+}}.8b, {{v[0-9]+}}.8b, {{v[0-9]+}}.8b }