Displaying 2 results from an estimated 2 matches for "proofcheck".
2014 Jan 28
3
[LLVMdev] MergeFunctions: reduce complexity to O(log(N))
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
2014 Jan 30
3
[LLVMdev] MergeFunctions: reduce complexity to O(log(N))
...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.01 65097 0 0.01 65097
PropVariantConversions.ll 4 45669 0 0.01 45641 0 0.01 45641
PropVariant.ll 23 90547 2 0.01 84417 2 0.01 82355
pseudo.ll 11 132106 0 0.02 132076 0 0.01 132076
psqrt.ll 1 7056 0 0.01 7029 0 0.00 7029
psub.ll 1...