There are two sources of decoding information in the ARM XML spec: the individual xml files for each instruction family and two "encodings" files: one for each instruction set.
Currently the xml backend for dismantle reads both of these to build a decoding table, and throws warnings when inconsistencies are found between them (deferring to the mask specification in the instruction set file in this case).
Each of these warnings indicates an issue with the spec, however, and should be reported as such.
There are two sources of decoding information in the ARM XML spec: the individual xml files for each instruction family and two "encodings" files: one for each instruction set.
Currently the xml backend for dismantle reads both of these to build a decoding table, and throws warnings when inconsistencies are found between them (deferring to the mask specification in the instruction set file in this case).
Each of these warnings indicates an issue with the spec, however, and should be reported as such.