]> git.proxmox.com Git - mirror_edk2.git/commitdiff
ArmPkg/ArmDisassemblerLib: fix check for MSR instruction
authorMichael Zimmermann <sigmaepsilon92@gmail.com>
Thu, 7 Jun 2018 07:09:07 +0000 (09:09 +0200)
committerArd Biesheuvel <ard.biesheuvel@linaro.org>
Thu, 7 Jun 2018 07:09:07 +0000 (09:09 +0200)
GCC8 reported it with the following warning:
ArmPkg/Library/ArmDisassemblerLib/ArmDisassembler.c: In function 'DisassembleArmInstruction':
ArmPkg/Library/ArmDisassemblerLib/ArmDisassembler.c:397:30: error: bitwise
comparison always evaluates to false [-Werror=tautological-compare]
if ((OpCode  & 0x0db00000) == 0x03200000) {

This condition tries to be true for both the immediate and the register
version of the MSR instruction. They get identified inside the if-block
using the variable I, which contains the value of bit 25.

The problem with the comparison reported by GCC is that the
bitmask excludes bit 25, while the value requires it to be set to one:
0x0db00000: 0000 11011 0 11 00 00 0000 000000000000
0x03200000: 0000 00110 0 10 00 00 0000 000000000000
                   ^
So the solution is to just don't require that bit to be set, because
it gets checked later using 'I', which results in the following value:
0x01200000: 0000 00010 0 10 00 00 0000 000000000000

Contributed-under: TianoCore Contribution Agreement 1.1
Signed-off-by: Michael Zimmermann <sigmaepsilon92@gmail.com>
Reviewed-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
ArmPkg/Library/ArmDisassemblerLib/ArmDisassembler.c

index 29d9414a78b335c10708139c9fa0abbf24bbb27c..b449a5d3cd831845c1e1de920700bedd8ca63135 100644 (file)
@@ -394,7 +394,7 @@ DisassembleArmInstruction (
   }\r
 \r
 \r
   }\r
 \r
 \r
-  if ((OpCode  & 0x0db00000) == 0x03200000) {\r
+  if ((OpCode  & 0x0db00000) == 0x01200000) {\r
     // A4.1.38 MSR{<cond>} CPSR_<fields>, #<immediate> MSR{<cond>} CPSR_<fields>, <Rm>\r
     if (I) {\r
       // MSR{<cond>} CPSR_<fields>, #<immediate>\r
     // A4.1.38 MSR{<cond>} CPSR_<fields>, #<immediate> MSR{<cond>} CPSR_<fields>, <Rm>\r
     if (I) {\r
       // MSR{<cond>} CPSR_<fields>, #<immediate>\r