void test_vdup_lanes64 (void) { int64x1_t out_int64x1_t; int64x1_t arg0_int64x1_t; out_int64x1_t = vdup_lane_s64 (arg0_int64x1_t, 0); }
int64x1_t test_vdup_lane_s64(int64x1_t v1) { // CHECK: test_vdup_lane_s64 return vdup_lane_s64(v1, 0); // CHECK: ret }
wrap_vdup_lane_s64_1 (int64x1_t a) { return vdup_lane_s64 (a, 1); }
wrap_vdup_lane_s64_0 (int64x1_t a) { return vdup_lane_s64 (a, 0); }