google/souper — pull request #142 by regehr (2014-12-19 05:53:36+00:00)
Title: Simple (slow!) instruction synthesis + pass support

I think the interesting part of this patch is the getValue() function in the Pass