[JonChesterfield]

I think some of llvm's ones are manually created from exhaustive search. Related project is Alive for testing if the peephole transform is valid.