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

   1 /* { dg-do compile } */
   2 /* { dg-options "-mfp16-format=ieee" } */
   3
   4 /* Encoding taken from:  http://en.wikipedia.org/wiki/Half_precision */
   5 /* This number is too big and is represented as infinity.  */
   6 /* 0x7c00 = 31744 */
   7 __fp16 xx = 131008.0;
   8
   9 /* { dg-final { scan-assembler "\t.size\txx, 2" } } */
  10 /* { dg-final { scan-assembler "\t.short\t31744" } } */