From d4002956b3fbe9085e685e0c596f776ecfcdafd7 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Wed, 18 Mar 2020 15:29:09 +0100 Subject: Correcting inefficiency in Duplicateaux::bfs --- backend/Duplicateaux.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'backend/Duplicateaux.ml') diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index 99a2d9e3..3ffe9aed 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -21,7 +21,7 @@ let bfs code entrypoint = begin match PTree.get !node code with | None -> failwith "No such node" | Some i -> - bfs_list := !bfs_list @ [!node]; + bfs_list := !node :: !bfs_list; match i with | Icall(_, _, _, _, n) -> Queue.add n to_visit | Ibuiltin(_, _, _, n) -> Queue.add n to_visit @@ -31,7 +31,7 @@ let bfs code entrypoint = begin | Inop n | Iop (_, _, _, n) | Iload (_, _, _, _, _, n) | Istore (_, _, _, _, n) -> Queue.add n to_visit end done; - !bfs_list + List.rev !bfs_list end end -- cgit