diff options
Diffstat (limited to 'arm/TargetPrinter.ml')
| -rw-r--r-- | arm/TargetPrinter.ml | 3 |
1 files changed, 3 insertions, 0 deletions
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 |