void test_vbics32 (void)
{
int32x2_t out_int32x2_t;
int32x2_t arg0_int32x2_t;
int32x2_t arg1_int32x2_t;
out_int32x2_t = vbic_s32 (arg0_int32x2_t, arg1_int32x2_t);
}
inline int32x2_t vbic(const int32x2_t & v0, const int32x2_t & v1) { return vbic_s32(v0, v1); }
int32x2_t test_vbic_s32(int32x2_t a, int32x2_t b) {
// CHECK-LABEL: test_vbic_s32
return vbic_s32(a, b);
// CHECK: bic {{v[0-9]+}}.8b, {{v[0-9]+}}.8b, {{v[0-9]+}}.8b
}