Annotate ARMNImm_to_Imm64 with fallthrough markers following

verification against the table in host_arm_defs.h, "Neon Immediate
operand".  A particularly nasty piece of code.

git-svn-id: svn://svn.valgrind.org/vex/trunk@2661

diff --git a/VEX/priv/host_arm_defs.c b/VEX/priv/host_arm_defs.c
index 9328375f54d3c212f7bb91de664f047d149dc167..fe458b8f0ba2550151e611996648cf23480004bd 100644 (file)
--- a/VEX/priv/host_arm_defs.c
+++ b/VEX/priv/host_arm_defs.c
@@ -556,11 +556,11 @@ ULong ARMNImm_to_Imm64 ( ARMNImm* imm ) {
    ULong y, x = imm->imm8;
    switch (imm->type) {
       case 3:
-         x = x << 8;
+         x = x << 8; /* fallthrough */
       case 2:
-         x = x << 8;
+         x = x << 8; /* fallthrough */
       case 1:
-         x = x << 8;
+         x = x << 8; /* fallthrough */
       case 0:
          return (x << 32) | x;
       case 5:
@@ -569,11 +569,13 @@ ULong ARMNImm_to_Imm64 ( ARMNImm* imm ) {
             x = x << 8;
          else
             x = (x << 8) | x;
+         /* fallthrough */
       case 4:
          x = (x << 16) | x;
          return (x << 32) | x;
       case 8:
          x = (x << 8) | 0xFF;
+         /* fallthrough */
       case 7:
          x = (x << 8) | 0xFF;
          return (x << 32) | x;