s-falke/llvm2kittel — pull request #14 by jeroenk (2014-04-22 16:03:55+00:00)
Title: Generic solution for selects

Keep the special cases (and add a new one), as they generate smaller constraints.