gcc/testsuite/gcc.target/arm/fp16-compile-ieee-4.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-mfp16-format=ieee" } */
   3
   4 /* Encoding taken from:  http://en.wikipedia.org/wiki/Half_precision */
   5 /* 0x7bff = 31743 */
   6 __fp16 xx = 65504.0;
   7
   8 /* { dg-final { scan-assembler "\t.size\txx, 2" } } */
   9 /* { dg-final { scan-assembler "\t.short\t31743" } } */