Emit the Tag_ABI_VFP attribute appropriate to the calling conventions…

… used Fixes: #461
AbsInt · Nov 21, 2022 · 1d14f7a · 1d14f7a
1 parent 5b80eaa
commit 1d14f7a
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
@@ -579,7 +579,12 @@ struct
        | _ -> "armv7");
     fprintf oc "	.fpu	%s\n"
       (if Opt.vfpv3 then "vfpv3-d16" else "vfpv2");
-    fprintf oc "	.%s\n" (if !Clflags.option_mthumb then "thumb" else "arm");
+    fprintf oc "	.eabi_attribute Tag_ABI_VFP_args, %d\n"
+      (match Configuration.abi with
+       | "hardfloat" -> 1
+       | _ -> 0);
+    fprintf oc "	.%s\n"
+      (if !Clflags.option_mthumb then "thumb" else "arm");
     if !Clflags.option_g then begin
       section oc Section_text;
       cfi_section oc