I <3 [AT]BM and BMI[12], and functional-equivalency matching with cost minimization optimization compiler passes.
I wish GCC and LLVM had compiler passes to semi/automagically "vectorize" hot sections using SIMD, i.e., magic transformation of UTF-8 conversion, regex matching, and string functions.