[LLVMbugs] Bugpoint patch for pruning global initializers

[Domagoj Babic]

Currently, bugpoint prunes either all global initializers or none.
That's a serious problem if the bug is related to global initializers
and you have almost 50000 initializers (like in my case).

The patch does binary splitting on the set of initializers, and reduces
those 50000 initializers to 1 in a couple of minutes.

Unfortunately, I haven't been able to figure out how to reuse
ListReducer for globals, but the idea is pretty much the same.

Note that the probability of "restarts" (BackjumpProbability) has
to decrease, otherwise there's an exceptionally small probability
of infinite looping.

Domagoj Babic
-------------- next part --------------
A non-text attachment was scrubbed...
Name: CrashDebuggerPatch.bz2
Type: application/x-bzip2
Size: 2084 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20061011/69a86c2d/attachment.bin>