Module Predba

module Predba: sig .. end
First IL before producing DBA

type t = private 
| Assign of Dba.lhs * Dba.expr
| SJump of Dba.jump_target * Dba.tag option
| DJump of Dba.expr * Dba.tag option
| If of Dba.cond * Dba.jump_target
| Undef of Dba.lhs
| Nondet of Dba.lhs * Dba.region
| Stop of Dba.state
val assign : Dba.lhs -> Dba.expr -> t
val static_jump : ?tag:Dba.tag option -> Dba.jump_target -> t
val dynamic_jump : ?tag:Dba.tag option -> Dba.expr -> t
val jif : Dba.cond -> Dba.jump_target -> t
val undefined : Dba.lhs -> t
val non_deterministic : Dba.lhs -> Dba.region -> t
val stop : Dba.state -> t
val blockify : Dba.address -> t list -> Dba_types.Block.t
blockify next_addr predbas