void test_vqshls64 (void) { int64x1_t out_int64x1_t; int64x1_t arg0_int64x1_t; int64x1_t arg1_int64x1_t; out_int64x1_t = vqshl_s64 (arg0_int64x1_t, arg1_int64x1_t); }
int64x1_t test_vqshl_s64 (int64x1_t a, int64x1_t b) { return vqshl_s64 (a, b); }
void test_vqshls64 (void) { int64x1_t out_int64x1_t; int64x1_t arg0_int64x1_t; int64x1_t arg1_int64x1_t; out_int64x1_t = vqshl_s64 (arg0_int64x1_t, arg1_int64x1_t); }
int64x1_t test_vqshl_s64 (int64x1_t a, int64x1_t b) { return vqshl_s64 (a, b); }