On 8/24/13 1:53 PM, Konstantin Tokarev wrote:
24.08.2013, 23:50, "Yang Chen"<[email protected]>:
On 8/24/13 1:48 PM, Konstantin Tokarev wrote:
12.08.2013, 23:31, "John Regehr"<[email protected]>:
Yang has added a pass that removes function bodies and C-Reduce is now
up to 5x faster than 2.1.0 when reducing large C++ codes. For these
experiments he compiled against LLVM 185996, which seems to be a good
version to use for now. We'd be happy to hear if others' experience
matches or doesn't match ours.
Works like a charm on large test case from boost.
I think great addition to it would be binary search version of
remove-unused-function.
Exactly :)
It may also be useful to run a few iterations of pass_lines::0 before it to
remove largest chunks of unused code first.
Yeah, I will play with it.
- Yang
