t0a (int len, short int * restrict p, short int * restrict x)
{
  vector(8) short int * vectp_p.20;
  vector(8) short int * vectp_p.19;
  vector(8) short int vect__16.18;
  vector(8) unsigned short vect_cst_.17;
  vector(8) unsigned short vect__15.16;
  vector(8) unsigned short vect__14.15;
  vector(8) short int vect__13.14;
  vector(8) short int * vectp_x.13;
  vector(8) short int * vectp_x.12;
  int tmp.11;
  unsigned int ratio_mult_vf.10;
  unsigned int bnd.9;
  unsigned int niters.8;
  unsigned int prologue_after_cost_adjust.7;
  unsigned int prolog_loop_niters.6;
  vector(8) short int * vectp_x.5;
  unsigned int niters.4;
  int i;
  short int _1;
  short int * _2;
  sizetype _6;
  unsigned int i.0_8;
  unsigned int _9;
  short int * _11;
  short int * _12;
  short int _13;
  unsigned short _14;
  unsigned short _15;
  short int _16;
  unsigned int ivtmp_17;
  sizetype _19;
  short int * _20;
  unsigned int _24;
  unsigned int i.0_25;
  unsigned int _28;
  unsigned int _29;
  unsigned int _30;
  short int _32;
  unsigned short _33;
  unsigned short _34;
  unsigned int _35;
  unsigned int _36;
  unsigned int ivtmp_49;
  unsigned int ivtmp_50;
  unsigned int _53;
  unsigned int _54;
  unsigned int i.0_58;
  unsigned int _59;
  short int * _60;
  sizetype _61;
  short int * _62;
  short int _63;
  unsigned short _64;
  unsigned short _65;
  short int _66;
  unsigned int _69;
  unsigned int _70;
  unsigned int _71;
  int _79;
  sizetype _81;
  sizetype _82;
  sizetype _91;
  unsigned int ivtmp_95;
  unsigned int ivtmp_96;

  <bb 2>:
  len_4 = len_3(D) & -32;
  if (len_4 > 0)
    goto <bb 4>;
  else
    goto <bb 3>;

  <bb 3>:
  return;

  <bb 4>:
  niters.4_39 = (unsigned int) len_4;
  vectp_x.5_38 = x_5(D) + 2;
  _36 = (unsigned int) vectp_x.5_38;
  _35 = _36 >> 1;
  _30 = _35 & 3;
  _29 = -_30;
  _28 = _29 & 7;
  prolog_loop_niters.6_37 = MIN_EXPR <_28, niters.4_39>;
  if (niters.4_39 <= 8)
    goto <bb 5>;
  else
    goto <bb 6>;

  <bb 5>:

  <bb 6>:
  # prologue_after_cost_adjust.7_42 = PHI <niters.4_39(5), prolog_loop_niters.6_37(4)>
  if (prologue_after_cost_adjust.7_42 == 0)
    goto <bb 10>;
  else
    goto <bb 7>;

  <bb 7>:
  # i_47 = PHI <0(6)>
  # ivtmp_96 = PHI <0(6)>

  <bb 21>:
  # i_27 = PHI <i_47(7), i_41(8)>
  # ivtmp_49 = PHI <ivtmp_96(7), ivtmp_50(8)>
  i.0_25 = (unsigned int) i_27;
  _24 = i.0_25 * 2;
  _20 = p_10(D) + _24;
  _19 = _24 + 2;
  _2 = x_5(D) + _19;
  _1 = *_2;
  _34 = (unsigned short) _1;
  _33 = _34 * 2;
  _32 = (short int) _33;
  *_20 = _32;
  i_41 = i_27 + 1;
  ivtmp_50 = ivtmp_49 + 1;
  if (ivtmp_50 < prologue_after_cost_adjust.7_42)
    goto <bb 8>;
  else
    goto <bb 9>;

  <bb 8>:
  goto <bb 21>;

  <bb 9>:
  # i_44 = PHI <i_41(21)>
  if (niters.4_39 == prologue_after_cost_adjust.7_42)
    goto <bb 19>;
  else
    goto <bb 10>;

  <bb 10>:
  # i_43 = PHI <i_44(9), 0(6)>
  niters.8_51 = niters.4_39 - prologue_after_cost_adjust.7_42;
  _53 = niters.8_51 + 4294967288;
  _54 = _53 >> 3;
  bnd.9_52 = _54 + 1;
  ratio_mult_vf.10_55 = bnd.9_52 << 3;
  _69 = (unsigned int) len_4;
  _70 = _69 - prologue_after_cost_adjust.7_42;
  _71 = _70 + 4294967295;
  if (_71 <= 6)
    goto <bb 16>;
  else
    goto <bb 11>;

  <bb 11>:
  _81 = prologue_after_cost_adjust.7_42 + 1;
  _82 = _81 * 2;
  vectp_x.13_80 = x_5(D) + _82;
  vect_cst_.17_87 = { 2, 2, 2, 2, 2, 2, 2, 2 };
  _91 = prologue_after_cost_adjust.7_42 * 2;
  vectp_p.20_90 = p_10(D) + _91;

  <bb 12>:
  # i_21 = PHI <i_43(11), i_18(20)>
  # vectp_x.12_83 = PHI <vectp_x.13_80(11), vectp_x.12_84(20)>
  # vectp_p.19_92 = PHI <vectp_p.20_90(11), vectp_p.19_93(20)>
  # ivtmp_17 = PHI <0(11), ivtmp_95(20)>
  i.0_8 = (unsigned int) i_21;
  _9 = i.0_8 * 2;
  _11 = p_10(D) + _9;
  _6 = _9 + 2;
  _12 = x_5(D) + _6;
  vect__13.14_85 = MEM[(short int *)vectp_x.12_83];
  _13 = *_12;
  vect__14.15_86 = VIEW_CONVERT_EXPR<vector(8) unsigned short>(vect__13.14_85);
  _14 = (unsigned short) _13;
  vect__15.16_88 = vect__14.15_86 * vect_cst_.17_87;
  _15 = _14 * 2;
  vect__16.18_89 = VIEW_CONVERT_EXPR<vector(8) short int>(vect__15.16_88);
  _16 = (short int) _15;
  MEM[(short int *)vectp_p.19_92] = vect__16.18_89;
  i_18 = i_21 + 1;
  vectp_x.12_84 = vectp_x.12_83 + 16;
  vectp_p.19_93 = vectp_p.19_92 + 16;
  ivtmp_95 = ivtmp_17 + 1;
  if (ivtmp_95 < bnd.9_52)
    goto <bb 20>;
  else
    goto <bb 15>;

  <bb 13>:
  # i_56 = PHI <i_68(14), i_72(16)>
  i.0_58 = (unsigned int) i_56;
  _59 = i.0_58 * 2;
  _60 = p_10(D) + _59;
  _61 = _59 + 2;
  _62 = x_5(D) + _61;
  _63 = *_62;
  _64 = (unsigned short) _63;
  _65 = _64 * 2;
  _66 = (short int) _65;
  *_60 = _66;
  i_68 = i_56 + 1;
  if (len_4 > i_68)
    goto <bb 14>;
  else
    goto <bb 17>;

  <bb 14>:
  goto <bb 13>;

  <bb 15>:
  # i_73 = PHI <i_18(12)>
  _79 = (int) ratio_mult_vf.10_55;
  tmp.11_78 = i_43 + _79;
  if (niters.8_51 == ratio_mult_vf.10_55)
    goto <bb 18>;
  else
    goto <bb 16>;

  <bb 16>:
  # i_72 = PHI <tmp.11_78(15), i_43(10)>
  goto <bb 13>;

  <bb 17>:

  <bb 18>:

  <bb 19>:
  goto <bb 3>;

  <bb 20>:
  goto <bb 12>;

}