diff options
Diffstat (limited to 'backend/PrintAsm.ml')
-rw-r--r-- | backend/PrintAsm.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 22df68ae..6d1fafd6 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -37,10 +37,15 @@ module Printer(Target:TARGET) = let print_location oc loc = if loc <> Cutil.no_loc then Target.print_file_line oc (fst loc) (snd loc) + let get_section_names name = + match C2C.atom_sections name with + | [t;l;j] -> (t, l, j) + | _ -> (Section_text, Section_literal 0, Section_jumptable) + let print_function oc name fn = Hashtbl.clear current_function_labels; Debug.symbol_printed (extern_atom name); - let (text, lit, jmptbl) = Target.get_section_names name in + let (text, lit, jmptbl) = get_section_names name in Target.section oc text; let alignment = match !Clflags.option_falignfunctions with Some n -> n | None -> Target.default_falignment in |