diff options
Diffstat (limited to 'ia32')
-rw-r--r-- | ia32/PrintAsm.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ia32/PrintAsm.ml b/ia32/PrintAsm.ml index ccc3c0f5..096e1e31 100644 --- a/ia32/PrintAsm.ml +++ b/ia32/PrintAsm.ml @@ -737,7 +737,9 @@ let print_function oc name code = | [t;l;j] -> (t, l, j) | _ -> (Section_text, Section_literal, Section_jumptable) in section oc text; - print_align oc 16; + let alignment = + match !Clflags.option_falignfunctions with Some n -> n | None -> 16 in + print_align oc alignment; if not (C2C.atom_is_static name) then fprintf oc " .globl %a\n" symbol name; fprintf oc "%a:\n" symbol name; |