Exciting early results on using superoptimisation to discover missing simplifications in LLVM: http://t.co/jo2dc4KJ1f