set -ex
file=$1
sed -i 's/i32x2/__m64/g' $file
sed -i 's/u32x2/__m64/g' $file
sed -i 's/i16x4/__m64/g' $file
sed -i 's/u16x4/__m64/g' $file
sed -i 's/f64x2/__m128d/g' $file
sed -i 's/f32x4/__m128/g' $file
sed -i 's/i32x4/__m128i/g' $file
sed -i 's/u32x4/__m128i/g' $file
sed -i 's/i64x2/__m128i/g' $file
sed -i 's/u64x2/__m128i/g' $file