diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-12-08 16:05:16 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-12-08 16:05:16 +0100 |
| commit | 8d21a7fa245637b684ddb4c12f4bfa6295569fb6 (patch) | |
| tree | b1dc2549f9c9dc8e12a5c3679d584a1e5d8dfc10 /x86/TargetPrinter.ml | |
| parent | e5d132537bd2dbbf9c3d4b313c6b312b62ac133e (diff) | |
| download | compcert-8d21a7fa245637b684ddb4c12f4bfa6295569fb6.tar.gz compcert-8d21a7fa245637b684ddb4c12f4bfa6295569fb6.zip | |
Remove support for 32-bit Cygwin
Cygwin 32 bits has reached end of life, and Cygwin >= 3.4 will be 64-bit only.
(https://cygwin.com/pipermail/cygwin-announce/2022-November/010777.html)
Diffstat (limited to 'x86/TargetPrinter.ml')
| -rw-r--r-- | x86/TargetPrinter.ml | 21 |
1 files changed, 7 insertions, 14 deletions
diff --git a/x86/TargetPrinter.ml b/x86/TargetPrinter.ml index f529a89d..a289127a 100644 --- a/x86/TargetPrinter.ml +++ b/x86/TargetPrinter.ml @@ -254,8 +254,7 @@ module Cygwin_System : SYSTEM = (* The comment delimiter *) let comment = "#" - let symbol_prefix = - if Archi.ptr64 then "" else "_" + let symbol_prefix = "" let raw_symbol oc s = fprintf oc "%s%s" symbol_prefix s @@ -287,7 +286,6 @@ module Cygwin_System : SYSTEM = | Section_ais_annotation -> assert false (* Not supported for coff binaries *) let stack_alignment = 8 - (* minimum is 4 for 32 bits, 8 for 64 bits; 8 is better for perfs *) let print_align oc n = fprintf oc " .balign %d\n" n @@ -295,13 +293,10 @@ module Cygwin_System : SYSTEM = let indirect_symbols : StringSet.t ref = ref StringSet.empty let print_mov_rs oc rd id = - if Archi.ptr64 then begin - let s = extern_atom id in - indirect_symbols := StringSet.add s !indirect_symbols; - fprintf oc " movq .refptr.%s(%%rip), %a\n" s ireg rd - end else begin - fprintf oc " movl $%a, %a\n" symbol id ireg rd - end + assert Archi.ptr64; + let s = extern_atom id in + indirect_symbols := StringSet.add s !indirect_symbols; + fprintf oc " movq .refptr.%s(%%rip), %a\n" s ireg rd let print_fun_info _ _ = () @@ -315,10 +310,8 @@ module Cygwin_System : SYSTEM = fprintf oc " .quad %s\n" s let print_epilogue oc = - if Archi.ptr64 then begin - StringSet.iter (declare_indirect_symbol oc) !indirect_symbols; - indirect_symbols := StringSet.empty - end + StringSet.iter (declare_indirect_symbol oc) !indirect_symbols; + indirect_symbols := StringSet.empty let print_comm_decl oc name sz al = fprintf oc " .comm %a, %s, %d\n" |