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. -- Regards, Konstantin
