1  /* { dg-do compile } */
       2  /* { dg-skip-if "-mpure-code supports M-profile only" { *-*-* } { "-mpure-code" } } */
       3  /* { dg-options "-march=armv7-a+fp -mfpu=auto -O1" } */
       4  /* Do not require arm_ok effective target to avoid skipping on arm-eabi with
       5     default configure options.  */
       6  /* { dg-add-options arm_fp } */
       7  
       8  
       9  #include <stdint.h>
      10  
      11  double
      12  f1 (uint16_t x)
      13  {
      14    return (double)(float)x;
      15  }
      16  
      17  float
      18  f2 (uint16_t x)
      19  {
      20    return (float)(double)x;
      21  }
      22  
      23  /* { dg-final { scan-assembler-not "vcvt.(f32.f64|f64.f32)" } } */