diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-05-27 16:17:04 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-05-27 16:17:04 +0200 |
commit | b15ddf756d6edad5a6bbe55722dcb2356e3a9a85 (patch) | |
tree | c9a1b4a1755c7d86b79171a657120579302524d7 | |
parent | 822dffca97430dadb4933d1cca1cb09672387769 (diff) | |
download | compcert-kvx-b15ddf756d6edad5a6bbe55722dcb2356e3a9a85.tar.gz compcert-kvx-b15ddf756d6edad5a6bbe55722dcb2356e3a9a85.zip |
FIX: was making too big paths (including call and builtins in paths)
-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 |