From 470eff75df9184f3cc497fc8451f5ed558df3c30 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <japaricious@gmail.com>
Date: Mon, 3 Oct 2016 22:34:33 -0500
Subject: [PATCH] add a reference about the stated FP facts

---
 src/librustc_back/target/thumbv7em_none_eabihf.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/librustc_back/target/thumbv7em_none_eabihf.rs b/src/librustc_back/target/thumbv7em_none_eabihf.rs
index 74bb9915e68..b695674aada 100644
--- a/src/librustc_back/target/thumbv7em_none_eabihf.rs
+++ b/src/librustc_back/target/thumbv7em_none_eabihf.rs
@@ -38,6 +38,9 @@ pub fn target() -> TargetResult {
             // available
             // `+fp-only-sp` The Cortex-M4 only supports single precision floating point operations
             // whereas in the Cortex-M7 double precision is optional
+            //
+            // Reference:
+            // ARMv7-M Architecture Reference Manual - A2.5 The optional floating-point extension
             features: "+vfp4,+d16,+fp-only-sp".to_string(),
             max_atomic_width: 32,
             .. super::thumb_base::opts()