1  /* { dg-do compile } */
       2  /* { dg-options "-march=armv8-a+nosimd" } */
       3  
       4  #include <stdint.h>
       5  
       6  uint64_t test_double_to_uint64(double x) {
       7    return (uint64_t)x;
       8  }
       9  
      10  int64_t test_double_to_int64(double x) {
      11    return (int64_t)x;
      12  }
      13  
      14  uint32_t test_float_to_uint32(float x) {
      15    return (uint32_t)x;
      16  }
      17  
      18  int32_t test_float_to_int32(float x) {
      19    return (int32_t)x;
      20  }
      21  
      22  /* { dg-final { scan-assembler-not {\tfcvtz[su]\td[0-9]*, d[0-9]*} } } */
      23  /* { dg-final { scan-assembler-not {\tfcvtz[su]\ts[0-9]*, s[0-9]*} } } */