diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-05 18:34:47 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-05 18:34:47 +0200 |
commit | 10fc3a0544cce0dcc345b2d14d2c00a33d9bbe92 (patch) | |
tree | 91872d9f6ff60e2e15a146c7d704dd646ef7beaf /backend/Duplicateaux.ml | |
parent | 9cc45ec4201247d08ac47d5b668ee2ddd0ff9984 (diff) | |
download | compcert-kvx-10fc3a0544cce0dcc345b2d14d2c00a33d9bbe92.tar.gz compcert-kvx-10fc3a0544cce0dcc345b2d14d2c00a33d9bbe92.zip |
Duplicate: big progress on step_simulation, only Ijumptbl left
Diffstat (limited to 'backend/Duplicateaux.ml')
-rw-r--r-- | backend/Duplicateaux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index 621a2dbe..a272ac85 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -1,4 +1,4 @@ open RTL open Maps -let duplicate_aux f = ((fn_code f), PTree.empty) +let duplicate_aux f = (((fn_code f), (fn_entrypoint f)), PTree.empty) |