Parsed function:oal_time_mdelay
Parsed function:oal_time_udelay
Parsed function:oal_time_msleep
Parsed function:oal_time_usleep
Dump after hash based groups
Congruence classes: 3 (unique hash values: 3), with total: 4 items
Class size histogram [num of members]: number of classe number of classess
[1]: 2 classes
[2]: 1 classes


Dump after WPA based types groups
Congruence classes: 3 (unique hash values: 3), with total: 4 items
Class size histogram [num of members]: number of classe number of classess
[1]: 2 classes
[2]: 1 classes


Worklist has been filled with: 2
Address reference subdivision created: 0 new classes.
Dump after callgraph-based congruence reduction
Congruence classes: 4 (unique hash values: 3), with total: 4 items
Class size histogram [num of members]: number of classe number of classess
[1]: 4 classes


Init called for 0 items (0.00%).
Dump after full equality comparison of groups
Congruence classes: 4 (unique hash values: 3), with total: 4 items
Class size histogram [num of members]: number of classe number of classess
[1]: 4 classes


Worklist has been filled with: 2
Address reference subdivision created: 0 new classes.
Congruence classes: 4 (unique hash values: 3), with total: 4 items
Class size histogram [num of members]: number of classe number of classess
[1]: 4 classes



Item count: 4
Congruent classes before: 4, after: 4
Average class size before: 1.00, after: 1.00
Average non-singular class size: 0.00, count: 0
Equal symbols: 0
Fraction of visited symbols: 0.00%

oal_time_mdelay (uint32_t msec)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  oal_time_msleep (msec_2(D));
  return;

}


oal_time_udelay (uint32_t usec)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  oal_time_usleep (usec_2(D));
  return;

}


oal_time_msleep (uint32_t msec)
{
  uint32_t u32Ctr;

  <bb 2> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG u32Ctr => 0
  goto <bb 4>; [100.00%]

  <bb 3> [local count: 955630223]:
  # DEBUG BEGIN_STMT
  oal_time_usleep (1000);
  # DEBUG BEGIN_STMT
  u32Ctr_6 = u32Ctr_1 + 1;
  # DEBUG u32Ctr => u32Ctr_6

  <bb 4> [local count: 1073741824]:
  # u32Ctr_1 = PHI <0(2), u32Ctr_6(3)>
  # DEBUG u32Ctr => u32Ctr_1
  # DEBUG BEGIN_STMT
  if (u32Ctr_1 < msec_4(D))
    goto <bb 3>; [89.00%]
  else
    goto <bb 5>; [11.00%]

  <bb 5> [local count: 118111601]:
  return;

}


oal_time_usleep (uint32_t usec)
{
  uint32_t usec_ctr;
  unsigned char _1;

  <bb 2> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  # DEBUG usec_ctr => usec_4(D)
  # DEBUG BEGIN_STMT
  goto <bb 4>; [100.00%]

  <bb 3> [local count: 955630223]:
  # DEBUG BEGIN_STMT
  Tm_BusyWait1us32bit (250);
  # DEBUG BEGIN_STMT
  usec_ctr_9 = usec_ctr_2 + 4294967046;
  # DEBUG usec_ctr => usec_ctr_9

  <bb 4> [local count: 1073741824]:
  # usec_ctr_2 = PHI <usec_4(D)(2), usec_ctr_9(3)>
  # DEBUG usec_ctr => usec_ctr_2
  # DEBUG BEGIN_STMT
  if (usec_ctr_2 > 250)
    goto <bb 3>; [89.00%]
  else
    goto <bb 5>; [11.00%]

  <bb 5> [local count: 118111601]:
  # usec_ctr_5 = PHI <usec_ctr_2(4)>
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) usec_ctr_5;
  Tm_BusyWait1us32bit (_1);
  return;

}


