;; Function mergeByteVectors (mergeByteVectors)

mergeByteVectors (c1, c2, n, dest, s1, s2)
{
  int i;
  unsigned char D.1220;
  signed char D.1219;
  signed char D.1218;
  unsigned char D.1217;
  unsigned char D.1216;
  data * D.1215;
  signed char D.1214;
  unsigned char D.1213;
  unsigned char D.1212;
  data * D.1211;
  data * D.1210;
  data * i.4;
  unsigned int i.3;

<bb 0>:
  if (n_2 > 0) goto <L6>; else goto <L2>;

<L6>:;

  # i_11 = PHI <i_29(3), 0(1)>;
<L0>:;
  i.3_7 = (unsigned int) i_11;
  i.4_8 = (data *) i.3_7;
  D.1210_10 = i.4_8 + dest_9;
  D.1211_14 = i.4_8 + s1_13;
  D.1212_15 = *D.1211_14;
  D.1213_17 = D.1212_15 * c1_16;
  D.1214_18 = (signed char) D.1213_17;
  D.1215_22 = i.4_8 + s2_21;
  D.1216_23 = *D.1215_22;
  D.1217_25 = D.1216_23 * c2_24;
  D.1218_26 = (signed char) D.1217_25;
  D.1219_27 = D.1214_18 + D.1218_26;
  D.1220_28 = (data) D.1219_27;
  *D.1210_10 = D.1220_28;
  i_29 = i_11 + 1;
  if (n_2 > i_29) goto <L8>; else goto <L10>;

<L8>:;
  goto <bb 2> (<L0>);

<L10>:;

<L2>:;
  return;

}