From: Julian Seward <jseward@acm.org>
Date: Fri, 25 Jan 2013 09:46:43 +0000 (+0000)
Subject: Annotate ARMNImm_to_Imm64 with fallthrough markers following
X-Git-Tag: svn/VALGRIND_3_9_0^2~133
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ecabdbf53cd16b63819b36f629901cac9705ca03;p=thirdparty%2Fvalgrind.git

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 9328375f54..fe458b8f0b 100644
--- 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;