search for: 102636

Hi Stepan, Sorry for the delay. It's great that you are working on MergeFunctions as well and I agree, we should definitely try to combine our efforts to improve MergeFunctions. Just to give you some context, the pass (with the similar function merging patch) is already being used in a production setting. From my point of view, it would be better if we focus on improving its capability

...0 0.01 12451 prestrict.ll 1 16735 0 0.01 16702 0 0.01 16702 primes.ll 9 14036 0 0.01 14005 0 0.01 14005 printargs.ll 1 2837 0 0.01 2828 0 0.01 2828 printgph.ll 1 12861 0 0.01 12828 0 0.01 12828 print.ll 4 23223 0 0.01 23193 0 0.01 23193 printnets.ll 1 17393 0 0.01 17360 0 0.01 17360 procesnet.ll 3 102636 0 0.02 102603 0 0.02 102603 procquery.ll 2 37292 0 0.01 37258 0 0.01 37258 ProgressMt.ll 9 27557 0 0.01 27525 0 0.01 27525 ProgressUtils.ll 10 28959 0 0.01 28927 0 0.01 28927 project.ll 3 13384 0 0.01 13355 0 0.01 13355 proofcheck.ll 122 207733 8 0.02 206375 0 0.03 207716 PropIDUtils.ll 2 65132 0 0...