jon.recoil.org

Module Compiler_hooks

type _ pass =
  1. | Parse_tree_intf : Parsetree.signature pass
  2. | Parse_tree_impl : Parsetree.structure pass
  3. | Typed_tree_intf : Typedtree.signature pass
  4. | Typed_tree_impl : Typedtree.implementation pass
  5. | Raw_lambda : Lambda.program pass
  6. | Lambda : Lambda.program pass
  7. | Raw_flambda2 : Flambda2_terms.Flambda_unit.t pass
  8. | Flambda2 : Flambda2_terms.Flambda_unit.t pass
  9. | Reaped_flambda2 : Flambda2_terms.Flambda_unit.t pass
  10. | Linear : Linear.fundecl pass
  11. | Cfg_combine : Cfg_with_layout.t pass
  12. | Cfg_cse : Cfg_with_layout.t pass
  13. | Cfg : Cfg_with_layout.t pass
  14. | Cmm : Cmm.phrase list pass
  15. | Inlining_tree : Flambda2_simplify_shared.Inlining_report.Inlining_tree.t pass
  16. | Check_allocations : Zero_alloc_checker.iter_witnesses pass
val register : 'a pass -> ('a -> unit) -> unit
val execute : 'a pass -> 'a -> unit
val execute_and_pipe : 'a pass -> 'a -> 'a
val clear : 'a pass -> unit