diff options
-rw-r--r-- | mppa_k1c/lib/RTLpathLivegenaux.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/mppa_k1c/lib/RTLpathLivegenaux.ml b/mppa_k1c/lib/RTLpathLivegenaux.ml index f5a121ac..bfa32cdf 100644 --- a/mppa_k1c/lib/RTLpathLivegenaux.ml +++ b/mppa_k1c/lib/RTLpathLivegenaux.ml @@ -25,7 +25,8 @@ let successors_inst = function | Itailcall _ | Ireturn _ -> [] let predicted_successor = function -| Inop n | Iop (_,_,_,n) | Iload (_,_,_,_,_,n) | Istore (_,_,_,_,n) | Icall (_,_,_,_,n) | Ibuiltin (_,_,_,n) -> Some n +| Inop n | Iop (_,_,_,n) | Iload (_,_,_,_,_,n) | Istore (_,_,_,_,n) -> Some n +| Icall (_,_,_,_,n) | Ibuiltin (_,_,_,n) -> None | Icond (_,_,n1,n2,p) -> ( match p with | Some true -> Some n1 @@ -238,6 +239,8 @@ let set_pathmap_liveness f pm = let liveness = analyze f in let new_pm = ref PTree.empty in begin + debug_flag := true; + dprintf "Liveness: "; print_ptree_regset liveness; dprintf "\n"; List.iter (fun (n, pi) -> let rs = get_some @@ PTree.get n liveness in new_pm := PTree.set n {psize=pi.psize; input_regs=rs} !new_pm |