Module Simplification_dba_utils

module Simplification_dba_utils: sig .. end
Generic utility functions for DBA simplification

val statistics : (Dba.instruction * 'a) Dba_types.Caddress.Map.t -> int * int * int * int
val display_results : (Dba.instruction * 'a) Dba_types.Caddress.Map.t ->
Format.formatter -> float -> unit
val must_lhs_expr_equal : Dba.lhs -> Dba.expr -> bool
val lhs_mustkilled_by_lhs : Dba.lhs -> Dba.lhs -> bool
val lhs_mayused_in_expr : Dba.lhs -> Dba.expr -> bool
val lhs_mayused_in_lhs : Dba.lhs -> Dba.lhs -> bool
val lhs_mayused_in_bcond : Dba.lhs -> Dba.cond -> bool
val is_not_mayused : (Dba.instruction * 'a) Dba_types.Caddress.Map.t ->
Dba_types.Caddress.Map.key ->
int ->
Dba.lhs ->
bool Basic_types.String.Map.t Dba_types.Caddress.Map.t ->
bool Basic_types.String.Map.t Dba_types.Caddress.Map.t * bool