int64x2_t test_vshll_high_n_s32_max(int32x4_t in) { // CHECK: shll2.2d return vshll_high_n_s32(in, 32); }
int64x2_t test_vshll_high_n_s32_2 (int32x4_t __a) { return vshll_high_n_s32 (__a, 32); }