inline int32x4_t vbicq(const int32x4_t & v0, const int32x4_t & v1) { return vbicq_s32(v0, v1); }
void test_vbicQs32 (void) { out_int32x4_t = vbicq_s32 (arg0_int32x4_t, arg1_int32x4_t); }
int32x4_t test_vbicq_s32(int32x4_t a, int32x4_t b) { // CHECK-LABEL: test_vbicq_s32 return vbicq_s32(a, b); // CHECK: bic {{v[0-9]+}}.16b, {{v[0-9]+}}.16b, {{v[0-9]+}}.16b }