sort2 (int * a)
{
  int t;
  int _4;
  int _5;
  int prephitmp_7;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG D#1 => a_2(D) + 4
  # DEBUG x => a_2(D)
  # DEBUG y => D#1
  # DEBUG __a => a_2(D)
  # DEBUG __b => D#1
  _4 = MEM[(const int &)a_2(D) + 4];
  _5 = MEM[(const int &)a_2(D)];
  if (_4 < _5)
    goto <bb 5>; [34.00%]
  else
    goto <bb 3>; [66.00%]

  <bb 3> [local count: 708669604]:
  # DEBUG __a => NULL
  # DEBUG __b => NULL
  # DEBUG t => _5
  # DEBUG __a => a_2(D)
  # DEBUG __b => D#1
  if (_4 > _5)
    goto <bb 4>; [51.52%]
  else
    goto <bb 5>; [48.48%]

  <bb 4> [local count: 365072226]:

  <bb 5> [local count: 1073741824]:
  # t_19 = PHI <_5(3), _4(2), _5(4)>
  # prephitmp_7 = PHI <_5(3), _5(2), _4(4)>
  # DEBUG __a => NULL
  # DEBUG __b => NULL
  MEM[(int &)a_2(D) + 4] = prephitmp_7;
  *a_2(D) = t_19;
  # DEBUG x => NULL
  # DEBUG y => NULL
  # DEBUG t => NULL
  return;

}



;; Function sort2 (_Z5sort2Pj, funcdef_no=908, decl_uid=17225, cgraph_uid=270, symbol_order=270)

sort2 (unsigned int * a)
{
  unsigned int t;
  unsigned int _4;
  unsigned int _5;
  unsigned int prephitmp_13;
  unsigned int prephitmp_15;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG D#3 => a_2(D) + 4
  # DEBUG x => a_2(D)
  # DEBUG y => D#3
  # DEBUG __a => a_2(D)
  # DEBUG __b => D#3
  _4 = MEM[(const unsigned int &)a_2(D) + 4];
  _5 = MEM[(const unsigned int &)a_2(D)];
  if (_4 < _5)
    goto <bb 4>; [34.00%]
  else
    goto <bb 3>; [66.00%]

  <bb 3> [local count: 708669600]:

  <bb 4> [local count: 1073741824]:
  # prephitmp_15 = PHI <_4(2), _5(3)>
  # DEBUG __a => NULL
  # DEBUG __b => NULL
  # DEBUG t => D#2
  # DEBUG __a => a_2(D)
  # DEBUG __b => D#3
  if (_4 > _5)
    goto <bb 5>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 5> [local count: 365072224]:

  <bb 6> [local count: 1073741824]:
  # prephitmp_13 = PHI <_5(4), _4(5)>
  # DEBUG __a => NULL
  # DEBUG __b => NULL
  MEM[(unsigned int &)a_2(D) + 4] = prephitmp_13;
  *a_2(D) = prephitmp_15;
  # DEBUG x => NULL
  # DEBUG y => NULL
  # DEBUG t => NULL
  return;

}