x64 inline simd12-tag