1 files changed, 0 insertions, 15 deletions
diff --git a/insns.pl b/insns.pl
index bf91469..c9d7b7f 100755
--- a/insns.pl
+++ b/insns.pl
@@ -433,10 +433,6 @@ sub format_insn($$$$$) {
     my $num, $nd = 0, $rawflags, $flagsindex;
     my @bytecode;
     my $op, @ops, $opp, @opx, @oppx, @decos, @opevex;
-    my @iflags = (  "FPU", "MMX", "3DNOW", "SSE", "SSE2",
-                    "SSE3", "VMX", "SSSE3", "SSE4A", "SSE41",
-                    "SSE42", "SSE5", "AVX", "AVX2", "AVX512",
-                    "FMA", "BMI1", "BMI2", "TBM", "RTM", "INVPCID");
 
     return (undef, undef) if $operands eq "ignore";
 
@@ -486,17 +482,6 @@ sub format_insn($$$$$) {
     }
     $decorators =~ tr/a-z/A-Z/;
 
-    # check if two different insn set types are set
-    $cnt = 0;
-    foreach $fla (split(/,/, $flags)) {
-        if (grep(/$fla/, @iflags)) {
-            $cnt++;
-            if ($cnt >= 2) {
-                die "Too many insn set flags in $flags\n";
-            }
-        }
-    }
-
     # format the flags
     $nd = 1 if $flags =~ /(^|\,)ND($|\,)/;
     $flags =~ s/(^|\,)ND($|\,)/\1/g;