[cfe-commits] RFC: Half floating point support

[Jonathan Sauer]

>> Is there a standard we should be following here?
> I think the only "standard" is ARM docs.

FWIW, the IEEE 754-2008 standard specifies 16 bit floating point numbers (referred to as "binary16").
According to <http://en.wikipedia.org/wiki/Half_precision>:

| It is intended for storage (of many floating point values where higher precision need not be stored),
| not for performing arithmetic computations.


Jonathan