search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Optimize dump #116

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago

When calculating fixpoint with latest optimizations on wc, according to callgrind it takes 60% of time to calculate fixpoint and 40% of time to do the dump.

karelklic commented 11 years ago

Dump is slow because it is badly designed (strings are copied and merged, copying memory again and again). However, the performance is not an issue now.