Llvm_ir.AnalysisCopyright 2025-2026, Victoria Ostrovskaya & Danil Usoltsev
SPDX-License-Identifier: LGPL-3.0-or-later
type function_layout = {func_name : string;asm_name : string;params : Middleend.Anf.immediate list;body : Middleend.Anf.anf_expr;is_rec : bool;}type analysis_result = {functions : function_layout list;resolve : int -> string -> (string * int) option;}val analyze : Middleend.Anf.anf_program -> analysis_result