Merge #143

143: `b UserHardFault` r=adamgreig a=japaric

this commit replaces the `bl UserHardFault` instruction in HardFault with `b
UserHardFault`. This lets us drop the prologue (`push {r0,lr}`) while preserving
the ability to unwind the stack using GDB.

To prevent linker errors about relocations when UserHardFault and HardFault end
up far away from each other and the target is ARMv6-M (where the `b` instruction
only supports offsets of +/- 2KB) we use two *input* sections: .HardFault and
.UserHardFault. HardFault is placed in the .HardFault section and UserHardFault
is placed in the .UserHardFault section. The .HardFault input section is placed
in the output .text section after all the input .text sections, and the
.UserHardFault input section is placed after the .HardFault section. This
causes the two symbols to always appear next to each other in the output binary,
furthermore UserHardFault *always* appears after HardFault so the branch offset
of `b UserHardFault` is always a few bytes.

It should be noted that neither .HardFault or .UserHardFault will appear in the
output of the `size -A` command as they are input sections that get merged into
the output .text section. IOW, the sizes of HardFault and UserHardFault will
continue to be reported under the .text section.

cc @adamgreen

Co-authored-by: Jorge Aparicio <[email protected]>

Author: bors[bot]

cortex-m-rt/asm.s

@@ -1,7 +1,10 @@
-  .section .text.HardFault
+  # LLD requires that the section flags are explicitly set here
+  .section .HardFault, "ax"
   .global HardFault
+  # .type and .thumb_func are both required; otherwise its Thumb bit does not
+  # get set and an invalid vector table is generated
+  .type HardFault,%function
   .thumb_func
 HardFault:
-  push {r0, lr}
   mrs r0, MSP
-  bl UserHardFault
+  b UserHardFault

cortex-m-rt/bin/thumbv6m-none-eabi.a

@@ -86,6 +86,8 @@ SECTIONS
   .text _stext :
   {
     *(.text .text.*);
+    *(.HardFault);
+    *(.UserHardFault);
   } > FLASH
 
   /* ### .rodata */

cortex-m-rt/bin/thumbv7em-none-eabi.a

@@ -394,6 +394,7 @@ pub fn exception(args: TokenStream, input: TokenStream) -> TokenStream {
 
             quote!(
                 #[export_name = "UserHardFault"]
+                #[link_section = ".UserHardFault"]
                 #(#attrs)*
                 pub #unsafety extern "C" fn #hash(#arg) -> ! {
                     extern crate cortex_m_rt;

cortex-m-rt/bin/thumbv7em-none-eabihf.a

@@ -532,6 +532,7 @@ pub unsafe extern "C" fn Reset() -> ! {
 
 #[allow(unused_variables)]
 #[doc(hidden)]
+#[link_section = ".UserHardFault"]
 #[no_mangle]
 pub unsafe extern "C" fn UserHardFault_(ef: &ExceptionFrame) -> ! {
     loop {