diff options
| author | Michael Schmidt <github@mschmidt.me> | 2015-10-14 15:07:48 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2015-10-14 15:07:48 +0200 |
| commit | 60ab550a952c3d9719b2a91ec90c9b58769f6717 (patch) | |
| tree | 523cf4eb5a35594b16a297b4bd7e29157f42b0fc /backend/PrintAsm.ml | |
| parent | a479c280441b91007c379b0b63b907926d54f930 (diff) | |
| download | compcert-kvx-60ab550a952c3d9719b2a91ec90c9b58769f6717.tar.gz compcert-kvx-60ab550a952c3d9719b2a91ec90c9b58769f6717.zip | |
bug 17392: remove trailing whitespace in source files
Diffstat (limited to 'backend/PrintAsm.ml')
| -rw-r--r-- | backend/PrintAsm.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 594b43b7..e7c945e3 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -38,7 +38,7 @@ 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 print_function oc name fn = Hashtbl.clear current_function_labels; Target.reset_constants (); @@ -66,7 +66,7 @@ module Printer(Target:TARGET) = Target.print_jumptable oc jmptbl; if !Clflags.option_g then Hashtbl.iter (fun p i -> Debug.add_label name p i) current_function_labels - + let print_init_data oc name id = if Str.string_match PrintCsyntax.re_string_literal (extern_atom name) 0 && List.for_all (function Init_int8 _ -> true | _ -> false) id @@ -74,7 +74,7 @@ module Printer(Target:TARGET) = fprintf oc " .ascii \"%s\"\n" (PrintCsyntax.string_of_init id) else List.iter (Target.print_init oc) id - + let print_var oc name v = match v.gvar_init with | [] -> () @@ -101,7 +101,7 @@ module Printer(Target:TARGET) = let sz = match v.gvar_init with [Init_space sz] -> sz | _ -> assert false in Target.print_comm_symb oc sz name align - + let print_globdef oc (name,gdef) = match gdef with | Gfun (Internal code) -> print_function oc name code @@ -116,7 +116,7 @@ module Printer(Target:TARGET) = let symbol = Target.symbol end - module DebugPrinter = DwarfPrinter (DwarfTarget) + module DebugPrinter = DwarfPrinter (DwarfTarget) end let print_program oc p db = |