diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-19 10:12:16 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-19 10:12:16 +0100 |
| commit | cb1da9d8176ea397b833f56ee49af5c75338676f (patch) | |
| tree | 0a4437025f77dbc3197063fe242ccd25bcb481c0 /backend/PrintAsm.ml | |
| parent | fcd5ba10674f499d4e270bfb68fa40da8857fb47 (diff) | |
| download | compcert-kvx-cb1da9d8176ea397b833f56ee49af5c75338676f.tar.gz compcert-kvx-cb1da9d8176ea397b833f56ee49af5c75338676f.zip | |
Removed unused sel_target, changed cygwin symbol names and changed the default function aligment to be target dependent.
Diffstat (limited to 'backend/PrintAsm.ml')
| -rw-r--r-- | backend/PrintAsm.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index c356d7e5..a6883339 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -20,8 +20,6 @@ open Printf open Sections open TargetPrinter -module Target = (val (sel_target ()):TARGET) - module Printer(Target:TARGET) = struct @@ -34,7 +32,7 @@ module Printer(Target:TARGET) = let (text, lit, jmptbl) = Target.get_section_names name in Target.section oc text; let alignment = - match !Clflags.option_falignfunctions with Some n -> n | None -> 4 in + match !Clflags.option_falignfunctions with Some n -> n | None -> Target.default_falignment in Target.print_align oc alignment; if not (C2C.atom_is_static name) then fprintf oc " .globl %a\n" Target.symbol name; |