K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2013-10-20T15:13:32.733261Z
K 7
svn:log
V 377
Merge from projects/arm_eabi_vfp r255380:

Fix the VCVT instruction. It must round towards zero when converting from
a floating-point to an integer value. This was not the case causing issues
when printing certain values.

There is a VCVTR instruction that will round depending on the current
rounding mode. We don't yet support this instruction, or setting the
rounding mode.

END