Project

General

Profile

Revision 1174cdd9 src/machine_code.ml

View differences:

src/machine_code.ml
128 128
let get_stateless_status m =
129 129
 (m.mname.node_dec_stateless, Utils.desome m.mname.node_stateless)
130 130

  
131
let is_input m id =
132
  List.exists (fun o -> o.var_id = id.var_id) m.mstep.step_inputs
133

  
131 134
let is_output m id =
132 135
  List.exists (fun o -> o.var_id = id.var_id) m.mstep.step_outputs
133 136

  
137
let is_memory m id =
138
  List.exists (fun o -> o.var_id = id.var_id) m.mmemory
139

  
134 140
let conditional c t e =
135 141
  MBranch(c, [ (tag_true, t); (tag_false, e) ])
136 142

  

Also available in: Unified diff