keep asm directives argument

Author: spiessimon

backend/asm_targets/asm_directives_dwarf.ml

@@ -0,0 +1,18 @@
+(**************************************************************************)
+(*                                                                        *)
+(*                                 OCaml                                  *)
+(*                                                                        *)
+(*                    Simon Spies, Jane Street Europe                     *)
+(*                                                                        *)
+(*   Copyright 2025 Jane Street Group LLC                                 *)
+(*                                                                        *)
+(*   All rights reserved.  This file is distributed under the terms of    *)
+(*   the GNU Lesser General Public License version 2.1, with the          *)
+(*   special exception on linking described in the file LICENSE.          *)
+(*                                                                        *)
+(**************************************************************************)
+
+
+type t = unit
+
+let build_asm_directives () = ()

backend/asm_targets/asm_directives_dwarf.mli

@@ -0,0 +1,18 @@
+(**************************************************************************)
+(*                                                                        *)
+(*                                 OCaml                                  *)
+(*                                                                        *)
+(*                    Simon Spies, Jane Street Europe                     *)
+(*                                                                        *)
+(*   Copyright 2025 Jane Street Group LLC                                 *)
+(*                                                                        *)
+(*   All rights reserved.  This file is distributed under the terms of    *)
+(*   the GNU Lesser General Public License version 2.1, with the          *)
+(*   special exception on linking described in the file LICENSE.          *)
+(*                                                                        *)
+(**************************************************************************)
+
+
+type t
+
+val build_asm_directives : unit -> t

backend/debug/dwarf/dwarf_high/dwarf_world.mli

@@ -19,7 +19,7 @@ open Asm_targets
 open Dwarf_low
 
 val emit :
-  asm_directives:(module Asm_directives.S) ->
+  asm_directives:(Asm_directives_dwarf.t) ->
   compilation_unit_proto_die:Proto_die.t ->
   compilation_unit_header_label:Asm_label.t ->
   debug_loc_table:Debug_loc_table.t ->
@@ -31,7 +31,7 @@ val emit :
   unit
 
 val emit_delayed :
-  asm_directives:(module Asm_directives.S) ->
+  asm_directives:(Asm_directives_dwarf.t) ->
   basic_block_sections:bool ->
   binary_backend_available:bool ->
   unit

backend/debug/dwarf/dwarf_low/address_index.mli

@@ -29,6 +29,6 @@ include Identifiable.S with type t := t
 val size : t -> Dwarf_int.t
 
 val emit :
-  asm_directives:(module Asm_directives.S) -> ?comment:string -> t -> unit
+  asm_directives:(Asm_directives_dwarf.t) -> ?comment:string -> t -> unit
 
 module Pair : Identifiable.S with type t = t * t

backend/debug/dwarf/dwarf_low/dwarf_emittable.ml

@@ -24,7 +24,7 @@ module type S = sig
   val size : t -> Dwarf_int.t
 
   (** Emit assembler directives to describe the given entity. *)
-  val emit : asm_directives:(module Asm_directives.S) -> t -> unit
+  val emit : asm_directives:(Asm_directives_dwarf.t) -> t -> unit
 end
 
 module type S1_ignore = sig
@@ -34,5 +34,5 @@ module type S1_ignore = sig
   val size : _ t -> Dwarf_int.t
 
   (** Emit assembler directives to describe the given entity. *)
-  val emit : asm_directives:(module Asm_directives.S) -> _ t -> unit
+  val emit : asm_directives:(Asm_directives_dwarf.t) -> _ t -> unit
 end

backend/debug/dwarf/dwarf_low/dwarf_int.mli

@@ -68,4 +68,4 @@ val succ : t -> t
 val size : t -> t
 
 val emit :
-  asm_directives:(module Asm_directives.S) -> ?comment:string -> t -> unit
+  asm_directives:(Asm_directives_dwarf.t) -> ?comment:string -> t -> unit

backend/debug/dwarf/dwarf_low/dwarf_operator.ml

@@ -740,7 +740,7 @@ module Size = Make (struct
 end)
 
 module Emit = Make (struct
-  type param = (module Asm_directives.S)
+  type param = (Asm_directives_dwarf.t)
 
   type result = unit
 

backend/debug/dwarf/dwarf_ocaml/dwarf.ml

@@ -24,7 +24,7 @@ module L = Linear
 
 type t =
   { state : DS.t;
-    asm_directives : (module Asm_directives.S);
+    asm_directives : Asm_directives_dwarf.t;
     get_file_id : string -> int;
     mutable emitted : bool;
     mutable emitted_delayed : bool

backend/debug/dwarf/dwarf_ocaml/dwarf.mli

@@ -26,7 +26,7 @@ type t
 val create :
   sourcefile:string ->
   unit_name:Ident.t ->
-  asm_directives:(module Asm_directives.S) ->
+  asm_directives:(Asm_directives_dwarf.t) ->
   get_file_id:(string -> int) ->
   code_begin:Asm_symbol.t ->
   code_end:Asm_symbol.t ->

backend/emitaux.ml

@@ -557,11 +557,11 @@ module Dwarf_helpers = struct
 
   let sourcefile_for_dwarf = ref None
 
-  let begin_dwarf ~build_asm_directives ~code_begin ~code_end ~file_emitter =
+  let begin_dwarf ~code_begin ~code_end ~file_emitter =
     match !sourcefile_for_dwarf with
     | None -> ()
     | Some sourcefile ->
-      let asm_directives = build_asm_directives () in
+      let asm_directives = Asm_targets.Asm_directives_dwarf.build_asm_directives () in
       let get_file_num = (get_file_num ~file_emitter) in
       Asm_targets.Asm_directives_new.debug_header ~get_file_num;
       let unit_name =