From c310fe9acf361dd6862d894523ff979806ac4536 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 26 Jul 2017 15:14:58 +0200
Subject: Integrated fixup code in estimated size.

12 was a too small overaproximation for call which require fixup
code for arguments and result. The new constant is 72, which
consists of 4 for the branch instruction, 16 * 4 for the arguments
and 4 for the result.
---
 arm/TargetPrinter.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'arm/TargetPrinter.ml')

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 0626a371..60f52efd 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -767,6 +767,9 @@ struct
         2 in
       (len + add) * 4
     | Pbuiltin (EF_inline_asm _,_,_) -> 1024 (* Better be safe than sorry  *)
+    | Pbreg _
+    | Pblsymb _
+    | Pblreg _ -> 72 (* 4 for branch, 4 for fixup result 4 * 16 for fixup args *)
     | _ -> 12
 
 
-- 
cgit