/* { dg-do assemble { target arm_thumb2 } } */
/* { dg-options " -Os " } */

int t (int a, int b, int c, int d)
{
  int r;
  if (a > 0) {
    r = a + b;
    r += 0x456;
    r *= 0x1234567;
    }
  else {
    r = b - a;
    r -= 0x123;
    r *= 0x12387;
    r += d;
   }
  return r;
}

/* { dg-final { object-size text <= 40 } } */