void test_vmov_ns64 (void) { int64x1_t out_int64x1_t; int64_t arg0_int64_t; out_int64x1_t = vmov_n_s64 (arg0_int64_t); }
int main (void) { int64x1_t out_int64x1_t = 0; int64_t arg0_int64_t = (int64_t) 0xdeadbeef; out_int64x1_t = vmov_n_s64 (arg0_int64_t); if ((int64_t)out_int64x1_t != arg0_int64_t) abort(); return 0; }
int64x1_t test_vmov_n_s64(int64_t v1) { // CHECK: test_vmov_n_s64 return vmov_n_s64(v1); // CHECK: fmov {{d[0-9]+}}, {{x[0-9]+}} }