;; Function find_val (find_val)

find_val (c, v, e)
{
  int D.1554;

<bb 2>:
  # DEBUG c => c_3(D);
  if (c_3(D) < e_4(D))
    goto <bb 3>;
  else
    goto <bb 6>;

<bb 3>:
  D.1554_13 = c_3(D)->v;
  if (D.1554_13 == v_6(D))
    goto <bb 6>;
  else
    goto <bb 5>;

<bb 4>:
  D.1554_5 = c_8->v;
  if (D.1554_5 == v_6(D))
    goto <bb 6>;
  else
    goto <bb 5>;

<bb 5>:
  # c_14 = PHI <c_8(4), c_3(D)(3)>
  c_8 = c_14 + 16;
  # DEBUG c => c_8;
  # DEBUG c => c_8;
  if (e_4(D) > c_8)
    goto <bb 4>;
  else
    goto <bb 6>;

<bb 6>:
  # c_1 = PHI <c_8(4), 0B(5), 0B(2), c_3(D)(3)>
  return c_1;

}



;; Function find_prev (find_prev)

find_prev (c, w)
{
<bb 2>:
  # DEBUG c => c_3(D);
  if (c_3(D) != 0B)
    goto <bb 3>;
  else
    goto <bb 6>;

<bb 3>:
  # DEBUG o => c_3(D);
  c_12 = c_3(D)->n;
  # DEBUG c => c_12;
  if (c_12 == w_6(D))
    goto <bb 6>;
  else
    goto <bb 5>;

<bb 4>:
  # DEBUG o => c_13;
  c_5 = c_13->n;
  # DEBUG c => c_5;
  if (c_5 == w_6(D))
    goto <bb 6>;
  else
    goto <bb 5>;

<bb 5>:
  # c_13 = PHI <c_5(4), c_12(3)>
  # DEBUG c => c_13;
  if (c_13 != 0B)
    goto <bb 4>;
  else
    goto <bb 6>;

<bb 6>:
  # c_2 = PHI <c_13(4), 0B(5), 0B(2), c_3(D)(3)>
  return c_2;

}



;; Function check_arr (check_arr)

check_arr (c, e)
{
  struct list * D.1576;
  int D.1574;
  int D.1572;

<bb 2>:
  goto <bb 4>;

<bb 3>:
  D.1572_6 = c_1->v;
  c_7 = c_1 + 16;
  D.1574_8 = c_7->v;
  if (D.1572_6 > D.1574_8)
    goto <bb 5>;
  else
    goto <bb 4>;

<bb 4>:
  # c_1 = PHI <c_3(D)(2), c_7(3)>
  # DEBUG c => c_1;
  D.1576_5 = e_4(D) + -16;
  if (c_1 < D.1576_5)
    goto <bb 3>;
  else
    goto <bb 5>;

<bb 5>:
  # c_2 = PHI <c_1(3), 0B(4)>
  return c_2;

}



;; Function check_list (check_list)

check_list (c, t)
{
  int D.1586;
  int D.1585;

<bb 2>:
  # DEBUG c => c_3(D);
  if (c_3(D) != t_4(D))
    goto <bb 3>;
  else
    goto <bb 6>;

<bb 3>:
  c_13 = c_3(D)->n;
  # DEBUG n => c_13;
  D.1585_14 = c_3(D)->v;
  D.1586_16 = c_13->v;
  if (D.1585_14 > D.1586_16)
    goto <bb 6>;
  else
    goto <bb 5>;

<bb 4>:
  c_5 = c_17->n;
  # DEBUG n => c_5;
  D.1585_6 = c_17->v;
  D.1586_7 = c_5->v;
  if (D.1585_6 > D.1586_7)
    goto <bb 6>;
  else
    goto <bb 5>;

<bb 5>:
  # c_17 = PHI <c_5(4), c_13(3)>
  # DEBUG c => c_17;
  if (t_4(D) != c_17)
    goto <bb 4>;
  else
    goto <bb 6>;

<bb 6>:
  # c_1 = PHI <c_17(4), 0B(5), 0B(2), c_3(D)(3)>
  return c_1;

}



;; Function abs_find_val (abs_find_val)

abs_find_val (c)
{
<bb 2>:
  # DEBUG c => c_2(D);
  if (c_2(D) != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 3>:
  # c_5 = PHI <c_3(3), c_2(D)(2)>
  __asm__ __volatile__("# find_val"::"r" c_5, "r" c_5, "r" c_5);
  c_3 = c_5 + 16;
  # DEBUG c => c_3;
  # DEBUG c => c_3;
  if (c_3 != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 4>:
  return;

}



;; Function abs_check_arr (abs_check_arr)

abs_check_arr (c)
{
<bb 2>:
  # DEBUG c => c_2(D);
  if (c_2(D) != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 3>:
  # c_5 = PHI <c_3(3), c_2(D)(2)>
  c_3 = c_5 + 16;
  __asm__ __volatile__("# check_arr"::"r" c_5, "r" c_3, "r" c_5);
  # DEBUG c => c_3;
  # DEBUG c => c_3;
  if (c_3 != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 4>:
  return;

}



;; Function abs_check_list (abs_check_list)

abs_check_list (c)
{
<bb 2>:
  # DEBUG c => c_2(D);
  if (c_2(D) != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 3>:
  # c_8 = PHI <c_4(3), c_2(D)(2)>
  # DEBUG o => c_8;
  c_4 = c_8->n;
  # DEBUG n => c_4;
  __asm__ __volatile__("# check_list"::"r" c_8, "r" c_4, "r" c_8);
  # DEBUG c => c_4;
  # DEBUG c => c_4;
  if (c_4 != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 4>:
  return;

}



;; Function abs_find_prev (abs_find_prev)

abs_find_prev (c)
{
<bb 2>:
  # DEBUG c => c_2(D);
  if (c_2(D) != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 3>:
  # c_7 = PHI <c_4(3), c_2(D)(2)>
  # DEBUG o => c_7;
  c_4 = c_7->n;
  # DEBUG c => c_4;
  __asm__ __volatile__("# find_prev"::"r" c_4, "r" c_4, "r" c_7);
  # DEBUG c => c_4;
  if (c_4 != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 4>:
  return;

}



;; Function abs_all (abs_all)

abs_all (c)
{
<bb 2>:
  # DEBUG c => c_1(D);
  # DEBUG c => c_1(D);
  if (c_1(D) != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 3>:
  # c_22 = PHI <c_4(3), c_1(D)(2)>
  __asm__ __volatile__("# find_val"::"r" c_22, "r" c_22, "r" c_22);
  c_4 = c_22 + 16;
  # DEBUG c => c_4;
  # DEBUG c => c_4;
  if (c_4 != 0B)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 4>:
  # c_12 = PHI <c_1(D)(3), c_1(D)(2)>
  # DEBUG c => c_12;
  if (c_12 != 0B)
    goto <bb 5>;
  else
    goto <bb 6>;

<bb 5>:
  # c_20 = PHI <c_6(5), c_12(4)>
  c_6 = c_20 + 16;
  __asm__ __volatile__("# check_arr"::"r" c_20, "r" c_6, "r" c_20);
  # DEBUG c => c_6;
  # DEBUG c => c_6;
  if (c_6 != 0B)
    goto <bb 5>;
  else
    goto <bb 6>;

<bb 6>:
  # c_9 = PHI <c_1(D)(5), c_1(D)(4)>
  # DEBUG c => c_9;
  if (c_9 != 0B)
    goto <bb 7>;
  else
    goto <bb 8>;

<bb 7>:
  # c_17 = PHI <c_10(7), c_9(6)>
  # DEBUG o => c_17;
  c_10 = c_17->n;
  # DEBUG n => c_10;
  __asm__ __volatile__("# check_list"::"r" c_17, "r" c_10, "r" c_17);
  # DEBUG c => c_10;
  # DEBUG c => c_10;
  if (c_10 != 0B)
    goto <bb 7>;
  else
    goto <bb 8>;

<bb 8>:
  # c_5 = PHI <c_1(D)(7), c_1(D)(6)>
  # DEBUG c => c_5;
  if (c_5 != 0B)
    goto <bb 9>;
  else
    goto <bb 10>;

<bb 9>:
  # c_19 = PHI <c_13(9), c_5(8)>
  # DEBUG o => c_19;
  c_13 = c_19->n;
  # DEBUG c => c_13;
  __asm__ __volatile__("# find_prev"::"r" c_13, "r" c_13, "r" c_19);
  # DEBUG c => c_13;
  if (c_13 != 0B)
    goto <bb 9>;
  else
    goto <bb 10>;

<bb 10>:
  return;

}