Efficient and retargetable SIMD translation in a dynamic binary translator. (27th February 2018)