set -ex
file=$1
sed -i 's/i32x2::new/_mm_setr_pi32/g' $file
sed -i 's/u32x2::new/_mm_setr_pi32/g' $file
sed -i 's/i16x4::new/_mm_setr_pi16/g' $file
sed -i 's/u16x4::new/_mm_setr_pi16/g' $file
sed -i 's/i8x8::new/_mm_setr_pi8/g' $file
sed -i 's/u8x8::new/_mm_setr_pi8/g' $file
sed -i 's/i32x2::splat/_mm_set1_pi32/g' $file
sed -i 's/u32x2::splat/_mm_set1_pi32/g' $file
sed -i 's/i16x4::splat/_mm_set1_pi16/g' $file
sed -i 's/u16x4::splat/_mm_set1_pi16/g' $file
sed -i 's/i8x8::splat/_mm_set1_pi8/g' $file
sed -i 's/u8x8::splat/_mm_set1_pi8/g' $file
sed -i 's/i64x2::new/_mm_setr_epi64x/g' $file
sed -i 's/i8x16::splat/_mm_set1_epi8/g' $file
sed -i 's/f64x2::new/_mm_setr_pd/g' $file