diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-10 14:57:37 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-10 14:57:37 +0200 |
commit | 76f48469c4b4ca49159dc736830cd806f8dbbf07 (patch) | |
tree | 3dfc97b33d3b5074652a998112c86ec3b68204d2 /backend/PrintAsmaux.ml | |
parent | 3d0204fddb71ca377fa65952ede872583c8a7242 (diff) | |
download | compcert-kvx-76f48469c4b4ca49159dc736830cd806f8dbbf07.tar.gz compcert-kvx-76f48469c4b4ca49159dc736830cd806f8dbbf07.zip |
fix write table
Diffstat (limited to 'backend/PrintAsmaux.ml')
-rw-r--r-- | backend/PrintAsmaux.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml index 153b9412..5a074867 100644 --- a/backend/PrintAsmaux.ml +++ b/backend/PrintAsmaux.ml @@ -365,7 +365,6 @@ let print_profiling finalizer_section print_profiling_stub oc = fprintf oc " .type %s, @function\n" profiling_write_table; fprintf oc " .size %s, . - %s\n" profiling_write_table profiling_write_table; fprintf oc " .section %s\n" finalizer_section; - fprintf oc " .align 8\n"; (if Archi.ptr64 then fprintf oc " .8byte %s\n" profiling_write_table else fprintf oc " .4byte %s\n" profiling_write_table) |