diff --git a/modules/arch/x86/gen_x86_insn.py b/modules/arch/x86/gen_x86_insn.py index d9ddb7c4..7af53a8b 100755 --- a/modules/arch/x86/gen_x86_insn.py +++ b/modules/arch/x86/gen_x86_insn.py @@ -494,9 +494,11 @@ def add_prefix(name, groupname, value, parser=None, **kwargs): nasm_insns[name] = prefix def finalize_insns(): + unused_groups = set(groups.keys()) for name, opts in insns.iteritems(): for insn in opts: group = groups[insn.groupname] + unused_groups.discard(insn.groupname) parsers = set() for form in group: @@ -539,6 +541,11 @@ def finalize_insns(): newinsn.auto_misc_flags("nasm") nasm_insns[keyword] = newinsn + unused_groups.discard("empty") + unused_groups.discard("not64") + if unused_groups: + print "warning: unused groups: %s" % ", ".join(unused_groups) + def output_insns(f, parser, insns): print >>f, "/* Generated by %s r%s, do not edit */" % \ (scriptname, scriptrev)