void test_vbicu64 (void) { uint64x1_t out_uint64x1_t; uint64x1_t arg0_uint64x1_t; uint64x1_t arg1_uint64x1_t; out_uint64x1_t = vbic_u64 (arg0_uint64x1_t, arg1_uint64x1_t); }
inline uint64x1_t vbic(const uint64x1_t & v0, const uint64x1_t & v1) { return vbic_u64(v0, v1); }
uint64x1_t test_vbic_u64(uint64x1_t a, uint64x1_t b) { // CHECK-LABEL: test_vbic_u64 return vbic_u64(a, b); // CHECK: bic {{v[0-9]+}}.8b, {{v[0-9]+}}.8b, {{v[0-9]+}}.8b }