Project

General

Profile

Revision 70be4acf src/machine_code_common.ml

View differences:

src/machine_code_common.ml
5 5
let print_statelocaltag = true
6 6

  
7 7
let is_memory m id =
8
  List.exists (fun o -> o.var_id = id.var_id) m.mmemory
8
  (List.exists (fun o -> o.var_id = id.var_id) m.mmemory) 
9 9

  
10 10
let rec pp_val m fmt v =
11 11
  let pp_val = pp_val m in
......
235 235
      | None -> if m.mname.node_id = name then Some m else None)
236 236
    None machines
237 237

  
238
    
239
let get_machine name machines =
240
  try
241
    Utils.desome (get_machine_opt name machines) 
242
  with Utils.DeSome -> raise Not_found
243
  
238 244
let get_const_assign m id =
239 245
  try
240 246
    match get_instr_desc (List.find

Also available in: Unified diff