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 :)
- Yang
