Parsed function:Power_Ip_SCG_DisableSoscClock
Parsed function:Power_Ip_SCG_DisableFircClock
Parsed function:Power_Ip_SCG_DropSysClkToSircInRunMode
Parsed function:Power_Ip_SCG_DisableClockMonitors
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: 0
Address reference subdivision created: 0 new classes.
Dump after callgraph-based congruence reduction
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


Init called for 2 items (50.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: 0
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%

Power_Ip_SCG_DisableSoscClock ()
{
  long unsigned int _1;
  long unsigned int _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 ={v} MEM[(struct SCG_Type *)1074151424B].SOSCCSR;
  _2 = _1 & 4294967294;
  MEM[(struct SCG_Type *)1074151424B].SOSCCSR ={v} _2;
  return;

}


Power_Ip_SCG_DisableFircClock ()
{
  long unsigned int _1;
  long unsigned int _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 ={v} MEM[(struct SCG_Type *)1074151424B].FIRCCSR;
  _2 = _1 & 4294967294;
  MEM[(struct SCG_Type *)1074151424B].FIRCCSR ={v} _2;
  return;

}


Power_Ip_SCG_DropSysClkToSircInRunMode ()
{
  boolean TimeoutOccurred;
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  uint32 u32TmpValue;
  uint32 u32RegValue;
  long unsigned int _1;
  long unsigned int TimeoutTicks.0_2;
  long unsigned int _3;
  long unsigned int _4;

  <bb 2> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  # DEBUG u32RegValue => 0
  # DEBUG BEGIN_STMT
  # DEBUG u32TmpValue => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG TimeoutOccurred => 0
  # DEBUG BEGIN_STMT
  u32TmpValue_9 ={v} MEM[(struct SCG_Type *)1074151424B].RCCR;
  # DEBUG u32TmpValue => u32TmpValue_9
  # DEBUG BEGIN_STMT
  u32TmpValue_10 = u32TmpValue_9 & 4043309055;
  # DEBUG u32TmpValue => u32TmpValue_10
  # DEBUG BEGIN_STMT
  u32TmpValue_11 = u32TmpValue_10 | 33554432;
  # DEBUG u32TmpValue => u32TmpValue_11
  # DEBUG BEGIN_STMT
  MEM[(struct SCG_Type *)1074151424B].RCCR ={v} u32TmpValue_11;
  # DEBUG BEGIN_STMT
  _1 ={v} MEM[(struct SCG_Type *)1074151424B].RCCR;
  # DEBUG D#1 => _1 >> 24
  # DEBUG u32RegValue => D#1 & 15
  # DEBUG BEGIN_STMT
  PowerStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 50000);

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.0_2 = TimeoutTicks;
  TimeoutOccurred_15 = PowerTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.0_2);
  # DEBUG TimeoutOccurred => TimeoutOccurred_15
  # DEBUG BEGIN_STMT
  _3 ={v} MEM[(struct SCG_Type *)1074151424B].RCCR;
  _4 = _3 >> 24;
  u32RegValue_16 = _4 & 15;
  # DEBUG u32RegValue => u32RegValue_16
  # DEBUG BEGIN_STMT
  if (u32RegValue_16 != 2)
    goto <bb 4>; [94.50%]
  else
    goto <bb 5>; [5.50%]

  <bb 4> [local count: 1014686025]:
  if (TimeoutOccurred_15 != 0)
    goto <bb 5>; [5.50%]
  else
    goto <bb 8>; [94.50%]

  <bb 8> [local count: 958878293]:
  goto <bb 3>; [100.00%]

  <bb 5> [local count: 114863532]:
  # TimeoutOccurred_7 = PHI <TimeoutOccurred_15(3), TimeoutOccurred_15(4)>
  # DEBUG BEGIN_STMT
  if (TimeoutOccurred_7 != 0)
    goto <bb 6>; [33.00%]
  else
    goto <bb 7>; [67.00%]

  <bb 6> [local count: 37904965]:
  # DEBUG BEGIN_STMT
  ReportPowerErrors (0, 255);

  <bb 7> [local count: 114863532]:
  StartTime ={v} {CLOBBER};
  ElapsedTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  return;

}


Power_Ip_SCG_DisableClockMonitors ()
{
  long unsigned int _1;
  long unsigned int _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 ={v} MEM[(struct SCG_Type *)1074151424B].SOSCCSR;
  _2 = _1 & 4294901759;
  MEM[(struct SCG_Type *)1074151424B].SOSCCSR ={v} _2;
  return;

}


