module LazyCodeBackend:sig..end
Backend specific functions for the LCT algorithm
val is_constant_op : 'a -> bool
val get_const_from_reg : 'a -> 'b
val match_injuring_op : 'a -> 'b -> 'c -> 'd -> 'e option
val is_sr_candidate_op : 'a -> 'b -> 'c -> 'd -> 'e option
val is_immediate_sr_op : 'a -> bool
val extract_ckey_const : 'a -> 'b
val mk_sr_update_op : 'a -> 'b
val is_sr_update_op : 'a -> bool
val is_affine_op : 'a -> bool