diff --git a/insns.dat b/insns.dat
index fa4fbd2d..8176f153 100644
--- a/insns.dat
+++ b/insns.dat
@@ -2023,10 +2023,22 @@ PFRCP		mmxreg,mmxrm		\323\2\x0F\x0F\110\1\x86	PENT,3DNOW,SQ,CYRIX
 PFRSQRT		mmxreg,mmxrm		\323\2\x0F\x0F\110\1\x87	PENT,3DNOW,SQ,CYRIX
 
 ;# Intel AVX instructions
-VPERMIL2PS	xmmreg,xmmreg,xmmrm,xmmreg,imm \261\03\01\1\x48\120\172\34 AVX,SANDYBRIDGE
-VPERMIL2PS	xmmreg,xmmreg,xmmreg,xmmrm,imm \261\03\11\1\x48\130\172\24 AVX,SANDYBRIDGE
-VPERMIL2PS	ymmreg,ymmreg,ymmrm,ymmreg,imm \261\03\05\1\x48\120\172\34 AVX,SANDYBRIDGE
-VPERMIL2PS	ymmreg,ymmreg,ymmreg,ymmrm,imm \261\03\15\1\x48\130\172\24 AVX,SANDYBRIDGE
+VPERMILTD2PS	xmmreg,xmmreg,xmmrm,xmmreg	[rvms: vex.nds.128.66.0f3a.w0 48 /r /is4=0]	AVX,SANDYBRIDGE
+VPERMILTD2PS	xmmreg,xmmreg,xmmreg,xmmrm	[rvsm: vex.nds.128.66.0f3a.w1 48 /r /is4=0]	AVX,SANDYBRIDGE
+VPERMILTD2PS	ymmreg,ymmreg,ymmrm,ymmreg	[rvms: vex.nds.256.66.0f3a.w0 48 /r /is4=0]	AVX,SANDYBRIDGE
+VPERMILTD2PS	ymmreg,ymmreg,ymmreg,ymmrm	[rvsm: vex.nds.256.66.0f3a.w1 48 /r /is4=0]	AVX,SANDYBRIDGE
+VPERMILMO2PS	xmmreg,xmmreg,xmmrm,xmmreg	[rvms: vex.nds.128.66.0f3a.w0 48 /r /is4=2]	AVX,SANDYBRIDGE
+VPERMILMO2PS	xmmreg,xmmreg,xmmreg,xmmrm	[rvsm: vex.nds.128.66.0f3a.w1 48 /r /is4=2]	AVX,SANDYBRIDGE
+VPERMILMO2PS	ymmreg,ymmreg,ymmrm,ymmreg	[rvms: vex.nds.256.66.0f3a.w0 48 /r /is4=2]	AVX,SANDYBRIDGE
+VPERMILMO2PS	ymmreg,ymmreg,ymmreg,ymmrm	[rvsm: vex.nds.256.66.0f3a.w1 48 /r /is4=2]	AVX,SANDYBRIDGE
+VPERMILMZ2PS	xmmreg,xmmreg,xmmrm,xmmreg	[rvms: vex.nds.128.66.0f3a.w0 48 /r /is4=3]	AVX,SANDYBRIDGE
+VPERMILMZ2PS	xmmreg,xmmreg,xmmreg,xmmrm	[rvsm: vex.nds.128.66.0f3a.w1 48 /r /is4=3]	AVX,SANDYBRIDGE
+VPERMILMZ2PS	ymmreg,ymmreg,ymmrm,ymmreg	[rvms: vex.nds.256.66.0f3a.w0 48 /r /is4=3]	AVX,SANDYBRIDGE
+VPERMILMZ2PS	ymmreg,ymmreg,ymmreg,ymmrm	[rvsm: vex.nds.256.66.0f3a.w1 48 /r /is4=3]	AVX,SANDYBRIDGE
+VPERMIL2PS	xmmreg,xmmreg,xmmrm,xmmreg,imm	[rvmsi: vex.nds.128.66.0f3a.w0 48 /r /is4]	AVX,SANDYBRIDGE
+VPERMIL2PS	xmmreg,xmmreg,xmmreg,xmmrm,imm	[rvsmi: vex.nds.128.66.0f3a.w1 48 /r /is4]	AVX,SANDYBRIDGE
+VPERMIL2PS	ymmreg,ymmreg,ymmrm,ymmreg,imm	[rvmsi: vex.nds.256.66.0f3a.w0 48 /r /is4]	AVX,SANDYBRIDGE
+VPERMIL2PS	ymmreg,ymmreg,ymmreg,ymmrm,imm	[rvsmi: vex.nds.256.66.0f3a.w1 48 /r /is4]	AVX,SANDYBRIDGE
 
 ;# VIA (Centaur) security instructions
 XSTORE		void			\360\3\x0F\xA7\xC0		PENT,CYRIX