diff options
Diffstat (limited to 'kvx/lib/RTLpathScheduleraux.ml')
| -rw-r--r-- | kvx/lib/RTLpathScheduleraux.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/kvx/lib/RTLpathScheduleraux.ml b/kvx/lib/RTLpathScheduleraux.ml new file mode 100644 index 00000000..1017cf63 --- /dev/null +++ b/kvx/lib/RTLpathScheduleraux.ml @@ -0,0 +1,8 @@ +open RTLpath +open RTL +open Maps + +let scheduler f = + let code = f.fn_RTL.fn_code in + let id_ptree = PTree.map (fun n i -> n) code in + (code, id_ptree) |