Commit Graph

4 Commits

Author SHA1 Message Date
Christopher Rogers
dff1d8983d Fix typos/grammar in comments & docs 2018-07-03 14:31:36 +09:00
Michael Gottesman
15afaa96a8 [sil-bug-reducer] Update docs now that we can reduce SIL. 2016-12-15 01:49:14 -08:00
Michael Gottesman
535e293a5b [sil-bug-reducer] Add a full example to the README.md. 2016-12-13 10:20:56 -08:00
Michael Gottesman
b7a79756db [sil-bug-reducer] Initial version of bug_reducer.
Currently it supports random bug finding and opt pipeline reduction. At some
point in the future it will support:

1. Reducing of optimizer crasher test cases.
2. Reducing optimizer miscompile test cases.

But those are for another time, this is just a first step. Patches welcome = ).
Check out llvm's bugpoint for inspiration.

It also has a basic test of pass pipeline reduction that is triggered via the
validation testing in lit. One thing to note here is that the tool right now
assumes darwin. This can be fixed in the future.
2016-12-12 23:30:51 -08:00