2014-02-11  Renlin Li  <Renlin.Li@arm.com>

	gcc/
	* doc/sourcebuild.texi: Document check_effective_target_arm_vfp3_ok and
	add_options_for_arm_vfp3.

	gcc/testsuite/
	* gcc.target/arm/fixed_float_conversion.c: Add arm_vfp3 option.
	* lib/target-supports.exp (check_effective_target_arm_vfp3_ok): New.
	(add_options_for_arm_vfp3): New.

From-SVN: r207691