let
rec
écrits_par_stm =
function
| Move_temp (t, _) -> [ t ]
| Move_mem (_, _) | Exp _ | Label _ -> []
| Seq _ | Cjump (_,_,_,_,_) | Jump _ ->
assert false
(* instruction canonique *)
;;