aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2014-12-17 11:33:23 +0100
committerXavier Leroy <xavier.leroy@inria.fr>2014-12-17 11:33:23 +0100
commitc1daedb244d1f7586c12749642b0d78ae910e60a (patch)
treec2fbe8c758f15d01cdcf3fa8bf642ab8a47dc5c3 /powerpc
parent97257c59566d9506a2ff397ec35fff7b59506a8f (diff)
downloadcompcert-c1daedb244d1f7586c12749642b0d78ae910e60a.tar.gz
compcert-c1daedb244d1f7586c12749642b0d78ae910e60a.zip
Clean up support for common symbols. Uninitialized "const" symbols can be common.
Diffstat (limited to 'powerpc')
-rw-r--r--powerpc/PrintAsm.ml19
1 files changed, 10 insertions, 9 deletions
diff --git a/powerpc/PrintAsm.ml b/powerpc/PrintAsm.ml
index 587dfccf..760ed275 100644
--- a/powerpc/PrintAsm.ml
+++ b/powerpc/PrintAsm.ml
@@ -105,13 +105,14 @@ module Linux_System =
let name_of_section = function
| Section_text -> ".text"
- | Section_data i -> if i then ".data" else "COMM"
+ | Section_data i ->
+ if i then ".data" else "COMM"
| Section_small_data i ->
- if i
- then ".section .sdata,\"aw\",@progbits"
- else ".section .sbss,\"aw\",@progbits"
- | Section_const -> ".rodata"
- | Section_small_const -> ".section .sdata2,\"a\",@progbits"
+ if i then ".section .sdata,\"aw\",@progbits" else "COMM"
+ | Section_const i ->
+ if i then ".rodata" else "COMM"
+ | Section_small_const i ->
+ if i then ".section .sdata2,\"a\",@progbits" else "COMM"
| Section_string -> ".rodata"
| Section_literal -> ".section .rodata.cst8,\"aM\",@progbits,8"
| Section_jumptable -> ".text"
@@ -197,10 +198,10 @@ module Diab_System =
let name_of_section = function
| Section_text -> ".text"
- | Section_data i -> if i then ".data" else ".bss"
+ | Section_data i -> if i then ".data" else "COMM"
| Section_small_data i -> if i then ".sdata" else ".sbss"
- | Section_const -> ".text"
- | Section_small_const -> ".sdata2"
+ | Section_const _ -> ".text"
+ | Section_small_const _ -> ".sdata2"
| Section_string -> ".text"
| Section_literal -> ".text"
| Section_jumptable -> ".text"