diff options
Diffstat (limited to 'kvx/TargetPrinter.ml')
| -rw-r--r-- | kvx/TargetPrinter.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/kvx/TargetPrinter.ml b/kvx/TargetPrinter.ml index 5b6230ca..9e2e3776 100644 --- a/kvx/TargetPrinter.ml +++ b/kvx/TargetPrinter.ml @@ -201,14 +201,16 @@ module Target (*: TARGET*) = let name_of_section = function | Section_text -> ".text" - | Section_data(true, true) -> + | Section_data(Init, true) -> ".section .tdata,\"awT\",@progbits" - | Section_data(false, true) -> + | Section_data(Uninit, true) -> ".section .tbss,\"awT\",@nobits" + | Section_data(Init_reloc, true) -> + failwith "Sylvain does not how to fix this" | Section_data(i, false) | Section_small_data(i) -> - (if i then ".data" else "COMM") + variable_section ~sec:".data" ~bss:".bss" i | Section_const i | Section_small_const i -> - if i then ".section .rodata" else "COMM" + variable_section ~sec:".section .rodata" i | Section_string -> ".section .rodata" | Section_literal -> ".section .rodata" | Section_jumptable -> ".section .rodata" |