fmt

Author: stedolan

backend/cfg/cfg.ml

@@ -364,8 +364,7 @@ let dump_terminator' ?(print_reg = Printmach.reg) ?(res = [||]) ?(args = [||])
     Format.fprintf ppf "%t%a" print_res dump_mach_op
       (match prim with
       | External { func_symbol = func; ty_res; ty_args; alloc } ->
-        Mach.Iextcall
-          { func = func; ty_res; ty_args; returns = true; alloc }
+        Mach.Iextcall { func; ty_res; ty_args; returns = true; alloc }
       | Alloc { bytes; dbginfo; mode } -> Mach.Ialloc { bytes; dbginfo; mode }
       | Checkbound { immediate = Some x } -> Mach.Iintop_imm (Icheckbound, x)
       | Checkbound { immediate = None } -> Mach.Iintop Icheckbound

backend/cfg/cfg_equivalence.ml

@@ -184,8 +184,7 @@ let check_external_call_operation :
     Cfg.external_call_operation ->
     unit =
  fun location expected result ->
-  if not
-       (String.equal expected.func_symbol result.func_symbol)
+  if not (String.equal expected.func_symbol result.func_symbol)
   then different location "function symbol";
   if not (Bool.equal expected.alloc result.alloc)
   then different location "allocating";

backend/cfg/cfg_to_linear.ml

@@ -146,18 +146,15 @@ let linearize_terminator cfg_with_layout (func : string) start
     | Tailcall_func (Direct func_symbol) ->
       [L.Lop (Itailcall_imm { func = func_symbol })], None
     | Tailcall_self { destination } ->
-      ( [L.Lop (Itailcall_imm { func = { sym_name = func; sym_global = Local } })],
+      ( [ L.Lop
+            (Itailcall_imm { func = { sym_name = func; sym_global = Local } })
+        ],
         Some destination )
     | Call_no_return { func_symbol; alloc; ty_args; ty_res } ->
       single
         (L.Lop
            (Iextcall
-              { func = func_symbol;
-                alloc;
-                ty_args;
-                ty_res;
-                returns = false
-              }))
+              { func = func_symbol; alloc; ty_args; ty_res; returns = false }))
     | Call { op; label_after } ->
       let op : Mach.operation =
         match op with
@@ -170,12 +167,7 @@ let linearize_terminator cfg_with_layout (func : string) start
         match op with
         | External { func_symbol; alloc; ty_args; ty_res } ->
           Iextcall
-            { func = func_symbol;
-              alloc;
-              ty_args;
-              ty_res;
-              returns = true
-            }
+            { func = func_symbol; alloc; ty_args; ty_res; returns = true }
         | Checkbound { immediate = None } -> Iintop Icheckbound
         | Checkbound { immediate = Some i } -> Iintop_imm (Icheckbound, i)
         | Alloc { bytes; dbginfo; mode } -> Ialloc { bytes; dbginfo; mode }

backend/cfg/cfgize.ml

@@ -155,13 +155,7 @@ let basic_or_terminator_of_operation :
       then Tailcall_self { destination = State.get_tailrec_label state }
       else Tailcall_func (Direct func))
   | Iextcall { func; ty_res; ty_args; alloc; returns } ->
-    let external_call =
-      { Cfg.func_symbol = func;
-        alloc;
-        ty_res;
-        ty_args
-      }
-    in
+    let external_call = { Cfg.func_symbol = func; alloc; ty_res; ty_args } in
     if returns
     then
       With_next_label

backend/cfg/linear_to_cfg.ml

@@ -540,22 +540,11 @@ let rec create_blocks (t : t) (i : L.instruction) (block : C.basic_block)
       terminator desc
     | Iextcall { func; alloc; ty_args; ty_res; returns = false } ->
       terminator
-        (C.Call_no_return
-           { func_symbol = func;
-             alloc;
-             ty_args;
-             ty_res
-           })
+        (C.Call_no_return { func_symbol = func; alloc; ty_args; ty_res })
     | Icall_ind -> terminator_call Indirect
     | Icall_imm { func } -> terminator_call (Direct func)
     | Iextcall { func; alloc; ty_args; ty_res; returns = true } ->
-      terminator_prim
-        (External
-           { func_symbol = func;
-             alloc;
-             ty_args;
-             ty_res
-           })
+      terminator_prim (External { func_symbol = func; alloc; ty_args; ty_res })
     | Iintop Icheckbound -> terminator_prim (Checkbound { immediate = None })
     | Iintop_imm (Icheckbound, i) ->
       terminator_prim (Checkbound { immediate = Some i })

backend/cmm_helpers.ml

@@ -3777,10 +3777,10 @@ let emit_constant_closure symb fundecls clos_vars cont =
     | arity ->
       Csymbol_address
         (global_symbol
-          (curry_function_sym arity.function_kind
-           (List.map machtype_of_layout_changing_tagged_int_to_val
-              arity.params_layout)
-           (machtype_of_layout_changing_tagged_int_to_val arity.return_layout)))
+           (curry_function_sym arity.function_kind
+              (List.map machtype_of_layout_changing_tagged_int_to_val
+                 arity.params_layout)
+              (machtype_of_layout_changing_tagged_int_to_val arity.return_layout)))
       :: Cint (closure_info ~arity ~startenv ~is_last)
       :: Csymbol_address { sym_name = f1.label; sym_global = symb.sym_global }
       :: emit_others 4 remainder)
@@ -4119,8 +4119,7 @@ let cfloat f = Cmm.Cdouble f
 
 let symbol_address s = Cmm.Csymbol_address s
 
-let define_symbol symbol =
-  [Cdefine_symbol symbol]
+let define_symbol symbol = [Cdefine_symbol symbol]
 
 (* Cmm phrases *)
 

middle_end/flambda2/to_cmm/to_cmm.ml

@@ -38,7 +38,7 @@ let flush_cmm_helpers_state () =
   let aux name cst acc =
     match (cst : Cmmgen_state.constant) with
     | Const_table (sym_global, l) ->
-      C.cdata (C.define_symbol {sym_name = name; sym_global} @ l) :: acc
+      C.cdata (C.define_symbol { sym_name = name; sym_global } @ l) :: acc
     | Const_closure _ ->
       Misc.fatal_errorf
         "There shouldn't be any closures in Cmmgen_state during Flambda 2 to \