diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-03-12 14:25:30 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-03-12 14:25:30 +0100 |
| commit | c77d6412f132bf6c09189e5f2d3c8799440f1977 (patch) | |
| tree | 058f23e9b557cbcb333232c115ee4f9f207dd41e /backend/Duplicateaux.ml | |
| parent | 4fe7ec168a9ce2c8c6e04d7f56729fd7a5758ce1 (diff) | |
| download | compcert-kvx-c77d6412f132bf6c09189e5f2d3c8799440f1977.tar.gz compcert-kvx-c77d6412f132bf6c09189e5f2d3c8799440f1977.zip | |
Fixed typo in Duplicate: dfs
Diffstat (limited to 'backend/Duplicateaux.ml')
| -rw-r--r-- | backend/Duplicateaux.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index c379faf3..cabcf1fd 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -270,9 +270,12 @@ let dfs code entrypoint = | Some i -> [node] @ match i with | Icall(_, _, _, _, n) -> dfs_list code [n] | Ibuiltin(_, _, _, n) -> dfs_list code [n] + | Iop (_, _, _, n) -> dfs_list code [n] + | Iload (_, _, _, _, _, n) -> dfs_list code [n] + | Istore (_, _, _, _, n) -> dfs_list code [n] + | Inop n -> dfs_list code [n] | Ijumptable(_, ln) -> dfs_list code ln | Itailcall _ | Ireturn _ -> [] - | Inop _ | Iop _ | Iload _ | Istore _ -> [] | Icond (_, _, n1, n2, info) -> match info with | Some false -> dfs_list code [n2; n1] | _ -> dfs_list code [n1; n2] |