From c4653db6279185a338e8b0d59a02fb7ff7ccc554 Mon Sep 17 00:00:00 2001 From: Michalis Pardalos Date: Fri, 30 Apr 2021 12:12:30 +0100 Subject: Delete unused get_main_clk function from HTLgen --- src/hls/HTLgen.v | 11 ----------- 1 file changed, 11 deletions(-) (limited to 'src/hls/HTLgen.v') diff --git a/src/hls/HTLgen.v b/src/hls/HTLgen.v index c443ae0..aa1064b 100644 --- a/src/hls/HTLgen.v +++ b/src/hls/HTLgen.v @@ -858,17 +858,6 @@ Section RENUMBER. End TRANSF_PROGRAM_STATEFUL. - Definition get_main_clk (p : HTL.program) : Errors.res reg := - let ge := Globalenvs.Genv.globalenv p in - match Globalenvs.Genv.find_symbol ge p.(AST.prog_main) with - | Some b => - match Globalenvs.Genv.find_funct_ptr ge b with - | Some (AST.Internal m) => Errors.OK (HTL.mod_clk m) - | _ => Errors.Error (Errors.msg "Cannot find internal main for renumbering") - end - | _ => Errors.Error (Errors.msg "Cannot find internal main for renumbering") - end. - Definition renumber_program (p : HTL.program) : Errors.res HTL.program := transform_stateful_program _ _ _ (fun _ f => renumber_fundef f) -- cgit