15 open Hints_declaration
128 (PreIdentifiers.identifier Set_adt.set, I8051.register Set_adt.set)
129 Types.prod -> (PreIdentifiers.identifier Set_adt.set, I8051.register
130 Set_adt.set) Types.prod -> Bool.bool
132 val register_lattice : Fixpoints.property_lattice
136 val rl_psingleton : Registers.register -> __
138 val rl_hsingleton : I8051.register -> __
141 ('a1 -> 'a1 -> 'a1) -> ('a2 -> 'a2 -> 'a2) -> ('a1, 'a2) Types.prod ->
142 ('a1, 'a2) Types.prod -> ('a1, 'a2) Types.prod
144 val rl_join : __ -> __ -> __
146 val rl_diff : __ -> __ -> __
148 val defined : AST.ident List.list -> Joint.joint_statement -> __
150 val ret_regs : I8051.register Set_adt.set
152 val rl_arg : Joint.psd_argument -> __
155 AST.ident List.list -> Joint.joint_statement -> (Registers.register
156 Set_adt.set, I8051.register Set_adt.set) Types.prod
158 val eliminable_step :
159 AST.ident List.list -> __ -> Joint.joint_step -> Bool.bool
162 AST.ident List.list -> __ -> Joint.joint_statement -> Bool.bool
164 val statement_semantics :
165 AST.ident List.list -> Joint.joint_statement -> __ -> __
168 AST.ident List.list -> Joint.joint_internal_function -> Fixpoints.valuation
169 -> Fixpoints.valuation
172 AST.ident List.list -> Joint.joint_internal_function ->
173 PreIdentifiers.identifier -> Fixpoints.valuation -> __
175 val analyse_liveness :
176 Fixpoints.fixpoint_computer -> AST.ident List.list ->
177 Joint.joint_internal_function -> Fixpoints.fixpoint
179 type vertex = (Registers.register, I8051.register) Types.sum
181 val plives : Registers.register -> __ -> Bool.bool
183 val hlives : I8051.register -> __ -> Bool.bool
185 val lives : vertex -> __ -> Bool.bool