Symbol table:

Clock_Ip_ReportClockErrors/8 (Clock_Ip_ReportClockErrors) @071108c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Clock_Ip_PowerClockIpModules/0 (7671965 (estimated locally),0.07 per call) Clock_Ip_PowerClockIpModules/0 (37904965 (estimated locally),0.33 per call) Clock_Ip_PowerClockIpModules/0 (7671965 (estimated locally),0.07 per call) 
  Calls: 
Clock_Ip_TimeoutExpired/7 (Clock_Ip_TimeoutExpired) @071107e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Clock_Ip_PowerClockIpModules/0 (354334801 (estimated locally),3.08 per call) Clock_Ip_PowerClockIpModules/0 (1073741824 (estimated locally),9.35 per call) Clock_Ip_PowerClockIpModules/0 (354334802 (estimated locally),3.08 per call) 
  Calls: 
Clock_Ip_StartTimeout/6 (Clock_Ip_StartTimeout) @07110700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Clock_Ip_PowerClockIpModules/0 (37904965 (estimated locally),0.33 per call) Clock_Ip_PowerClockIpModules/0 (114863532 (estimated locally),1.00 per call) Clock_Ip_PowerClockIpModules/0 (37904966 (estimated locally),0.33 per call) 
  Calls: 
Clock_Ip_ClockPowerModeChangeNotification/5 (Clock_Ip_ClockPowerModeChangeNotification) @07110000
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Clock_Ip_ClockInitializeObjects/4 (Clock_Ip_ClockInitializeObjects) @0710dee0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Clock_Ip_SpecificPlatformInitClock/3 (Clock_Ip_SpecificPlatformInitClock) @0710dc40
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Clock_Ip_PowerClockIpModules/0 (1073741824 (estimated locally),1.00 per call) 
Clock_Ip_SpecificPeripheralClockInitialization/2 (Clock_Ip_SpecificPeripheralClockInitialization) @0700fa80
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Clock_Ip_McMeEnterKey/1 (Clock_Ip_McMeEnterKey) @0700f7e0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: Clock_Ip_PowerClockIpModules/0 (37904965 (estimated locally),0.33 per call) Clock_Ip_PowerClockIpModules/0 (37904966 (estimated locally),0.33 per call) 
  Calls: 
Clock_Ip_PowerClockIpModules/0 (Clock_Ip_PowerClockIpModules) @0700f540
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:114863532 (estimated locally) body local optimize_size
  Called by: Clock_Ip_SpecificPlatformInitClock/3 (1073741824 (estimated locally),1.00 per call) 
  Calls: Clock_Ip_ReportClockErrors/8 (7671965 (estimated locally),0.07 per call) Clock_Ip_TimeoutExpired/7 (354334801 (estimated locally),3.08 per call) Clock_Ip_StartTimeout/6 (37904965 (estimated locally),0.33 per call) Clock_Ip_McMeEnterKey/1 (37904965 (estimated locally),0.33 per call) Clock_Ip_ReportClockErrors/8 (37904965 (estimated locally),0.33 per call) Clock_Ip_TimeoutExpired/7 (1073741824 (estimated locally),9.35 per call) Clock_Ip_StartTimeout/6 (114863532 (estimated locally),1.00 per call) Clock_Ip_ReportClockErrors/8 (7671965 (estimated locally),0.07 per call) Clock_Ip_TimeoutExpired/7 (354334802 (estimated locally),3.08 per call) Clock_Ip_StartTimeout/6 (37904966 (estimated locally),0.33 per call) Clock_Ip_McMeEnterKey/1 (37904966 (estimated locally),0.33 per call) 
Clock_Ip_ClockPowerModeChangeNotification (Clock_Ip_PowerModesType PowerMode, Clock_Ip_PowerNotificationType Notification)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return;

}


Clock_Ip_ClockInitializeObjects ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


Clock_Ip_SpecificPlatformInitClock (const struct Clock_Ip_ClockConfigType * Config)
{
  uint32 PeriphDfsIsInReset;
  uint32 CoreDfsIsInReset;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  signed int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  signed int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  signed int _24;
  long unsigned int _25;
  long unsigned int _26;
  long unsigned int _27;
  long unsigned int _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;
  signed int _34;
  long unsigned int _35;
  long unsigned int _36;
  long unsigned int _37;
  long unsigned int _38;
  long unsigned int _39;
  long unsigned int _40;
  long unsigned int _41;
  long unsigned int _42;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Clock_Ip_PowerClockIpModules ();
  # DEBUG BEGIN_STMT
  _1 ={v} MEM[(struct DFS_Type *)1074085888B].CTL;
  CoreDfsIsInReset_50 = _1 & 2;
  # DEBUG CoreDfsIsInReset => CoreDfsIsInReset_50
  # DEBUG BEGIN_STMT
  _2 ={v} MEM[(struct DFS_Type *)1074102272B].CTL;
  PeriphDfsIsInReset_51 = _2 & 2;
  # DEBUG PeriphDfsIsInReset => PeriphDfsIsInReset_51
  # DEBUG BEGIN_STMT
  if (CoreDfsIsInReset_50 != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 3> [local count: 536870913]:
  if (PeriphDfsIsInReset_51 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 4> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _3 ={v} MEM[(struct PLLDIG_Type *)1073971200B].PLLCR;
  _4 = (signed int) _3;
  if (_4 < 0)
    goto <bb 5>; [41.00%]
  else
    goto <bb 6>; [59.00%]

  <bb 5> [local count: 110058537]:
  # DEBUG BEGIN_STMT
  MEM[(struct PLLDIG_Type *)1073971200B].PLLCLKMUX ={v} 0;
  # DEBUG BEGIN_STMT
  MEM[(struct PLLDIG_Type *)1073971200B].PLLDV ={v} 4126;
  # DEBUG BEGIN_STMT
  _5 ={v} MEM[(struct PLLDIG_Type *)1073971200B].PLLCR;
  _6 = _5 & 2147483647;
  MEM[(struct PLLDIG_Type *)1073971200B].PLLCR ={v} _6;
  # DEBUG BEGIN_STMT
  _7 ={v} MEM[(struct PLLDIG_Type *)1073971200B].PLLFD;
  _8 = _7 & 3221192704;
  MEM[(struct PLLDIG_Type *)1073971200B].PLLFD ={v} _8;

  <bb 6> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _9 ={v} MEM[(struct PLLDIG_Type *)1073987584B].PLLCR;
  _10 = (signed int) _9;
  if (_10 < 0)
    goto <bb 7>; [41.00%]
  else
    goto <bb 8>; [59.00%]

  <bb 7> [local count: 110058537]:
  # DEBUG BEGIN_STMT
  MEM[(struct PLLDIG_Type *)1073987584B].PLLCLKMUX ={v} 0;
  # DEBUG BEGIN_STMT
  MEM[(struct PLLDIG_Type *)1073987584B].PLLDV ={v} 4126;
  # DEBUG BEGIN_STMT
  _11 ={v} MEM[(struct PLLDIG_Type *)1073987584B].PLLCR;
  _12 = _11 & 2147483647;
  MEM[(struct PLLDIG_Type *)1073987584B].PLLCR ={v} _12;
  # DEBUG BEGIN_STMT
  _13 ={v} MEM[(struct PLLDIG_Type *)1073987584B].PLLFD;
  _14 = _13 & 3221192704;
  MEM[(struct PLLDIG_Type *)1073987584B].PLLFD ={v} _14;

  <bb 8> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _15 ={v} MEM[(struct DFS_Type *)1074085888B].PORTRESET;
  _16 = _15 | 63;
  MEM[(struct DFS_Type *)1074085888B].PORTRESET ={v} _16;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[0] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[1] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[2] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[3] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[4] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[5] ={v} 256;
  # DEBUG BEGIN_STMT
  _17 ={v} MEM[(struct DFS_Type *)1074085888B].CTL;
  _18 = _17 & 4294967293;
  MEM[(struct DFS_Type *)1074085888B].CTL ={v} _18;
  # DEBUG BEGIN_STMT
  _19 ={v} MEM[(struct DFS_Type *)1074102272B].PORTRESET;
  _20 = _19 | 63;
  MEM[(struct DFS_Type *)1074102272B].PORTRESET ={v} _20;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[0] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[1] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[2] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[3] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[4] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[5] ={v} 256;
  # DEBUG BEGIN_STMT
  _21 ={v} MEM[(struct DFS_Type *)1074102272B].CTL;
  _22 = _21 & 4294967293;
  MEM[(struct DFS_Type *)1074102272B].CTL ={v} _22;
  goto <bb 17>; [100.00%]

  <bb 9> [local count: 805306369]:
  # DEBUG BEGIN_STMT
  if (CoreDfsIsInReset_50 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 10> [local count: 402653184]:
  # DEBUG BEGIN_STMT
  _23 ={v} MEM[(struct PLLDIG_Type *)1073971200B].PLLCR;
  _24 = (signed int) _23;
  if (_24 < 0)
    goto <bb 11>; [41.00%]
  else
    goto <bb 12>; [59.00%]

  <bb 11> [local count: 165087806]:
  # DEBUG BEGIN_STMT
  MEM[(struct PLLDIG_Type *)1073971200B].PLLCLKMUX ={v} 0;
  # DEBUG BEGIN_STMT
  MEM[(struct PLLDIG_Type *)1073971200B].PLLDV ={v} 4126;
  # DEBUG BEGIN_STMT
  _25 ={v} MEM[(struct PLLDIG_Type *)1073971200B].PLLCR;
  _26 = _25 & 2147483647;
  MEM[(struct PLLDIG_Type *)1073971200B].PLLCR ={v} _26;
  # DEBUG BEGIN_STMT
  _27 ={v} MEM[(struct PLLDIG_Type *)1073971200B].PLLFD;
  _28 = _27 & 3221192704;
  MEM[(struct PLLDIG_Type *)1073971200B].PLLFD ={v} _28;

  <bb 12> [local count: 402653184]:
  # DEBUG BEGIN_STMT
  _29 ={v} MEM[(struct DFS_Type *)1074085888B].PORTRESET;
  _30 = _29 | 63;
  MEM[(struct DFS_Type *)1074085888B].PORTRESET ={v} _30;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[0] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[1] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[2] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[3] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[4] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074085888B].DVPORT[5] ={v} 256;
  # DEBUG BEGIN_STMT
  _31 ={v} MEM[(struct DFS_Type *)1074085888B].CTL;
  _32 = _31 & 4294967293;
  MEM[(struct DFS_Type *)1074085888B].CTL ={v} _32;
  goto <bb 17>; [100.00%]

  <bb 13> [local count: 402653184]:
  # DEBUG BEGIN_STMT
  if (PeriphDfsIsInReset_51 != 0)
    goto <bb 14>; [50.00%]
  else
    goto <bb 17>; [50.00%]

  <bb 14> [local count: 201326592]:
  # DEBUG BEGIN_STMT
  _33 ={v} MEM[(struct PLLDIG_Type *)1073987584B].PLLCR;
  _34 = (signed int) _33;
  if (_34 < 0)
    goto <bb 15>; [41.00%]
  else
    goto <bb 16>; [59.00%]

  <bb 15> [local count: 82543903]:
  # DEBUG BEGIN_STMT
  MEM[(struct PLLDIG_Type *)1073987584B].PLLCLKMUX ={v} 0;
  # DEBUG BEGIN_STMT
  MEM[(struct PLLDIG_Type *)1073987584B].PLLDV ={v} 4126;
  # DEBUG BEGIN_STMT
  _35 ={v} MEM[(struct PLLDIG_Type *)1073987584B].PLLCR;
  _36 = _35 & 2147483647;
  MEM[(struct PLLDIG_Type *)1073987584B].PLLCR ={v} _36;
  # DEBUG BEGIN_STMT
  _37 ={v} MEM[(struct PLLDIG_Type *)1073987584B].PLLFD;
  _38 = _37 & 3221192704;
  MEM[(struct PLLDIG_Type *)1073987584B].PLLFD ={v} _38;

  <bb 16> [local count: 201326592]:
  # DEBUG BEGIN_STMT
  _39 ={v} MEM[(struct DFS_Type *)1074102272B].PORTRESET;
  _40 = _39 | 63;
  MEM[(struct DFS_Type *)1074102272B].PORTRESET ={v} _40;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[0] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[1] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[2] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[3] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[4] ={v} 256;
  # DEBUG BEGIN_STMT
  MEM[(struct DFS_Type *)1074102272B].DVPORT[5] ={v} 256;
  # DEBUG BEGIN_STMT
  _41 ={v} MEM[(struct DFS_Type *)1074102272B].CTL;
  _42 = _41 & 4294967293;
  MEM[(struct DFS_Type *)1074102272B].CTL ={v} _42;

  <bb 17> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


Clock_Ip_SpecificPeripheralClockInitialization (const struct Clock_IP_SpecificPeriphConfigType * Config)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


Clock_Ip_McMeEnterKey ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  MEM[(struct MC_ME_Type *)1074298880B].CTL_KEY ={v} 23280;
  # DEBUG BEGIN_STMT
  MEM[(struct MC_ME_Type *)1074298880B].CTL_KEY ={v} 42255;
  return;

}


Clock_Ip_PowerClockIpModules ()
{
  uint32 ResetDomainStatus;
  boolean TimeoutOccurred;
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  uint32 TempValue;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int TimeoutTicks.0_8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int TimeoutTicks.1_11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int TimeoutTicks.2_18;
  long unsigned int _19;
  long unsigned int _20;

  <bb 2> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  # DEBUG TempValue => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG TimeoutOccurred => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _2 ={v} MEM[(struct MC_ME_Type *)1074298880B].PRTN1_STAT;
  _3 = _2 & 1;
  if (_3 == 0)
    goto <bb 3>; [33.00%]
  else
    goto <bb 8>; [67.00%]

  <bb 3> [local count: 37904966]:
  # DEBUG BEGIN_STMT
  _4 ={v} MEM[(struct MC_ME_Type *)1074298880B].PRTN1_PCONF;
  _5 = _4 | 1;
  MEM[(struct MC_ME_Type *)1074298880B].PRTN1_PCONF ={v} _5;
  # DEBUG BEGIN_STMT
  _6 ={v} MEM[(struct MC_ME_Type *)1074298880B].PRTN1_PUPD;
  _7 = _6 | 1;
  MEM[(struct MC_ME_Type *)1074298880B].PRTN1_PUPD ={v} _7;
  # DEBUG BEGIN_STMT
  Clock_Ip_McMeEnterKey ();
  # DEBUG BEGIN_STMT
  Clock_Ip_StartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 50000);

  <bb 4> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.0_8 = TimeoutTicks;
  TimeoutOccurred_35 = Clock_Ip_TimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.0_8);
  # DEBUG TimeoutOccurred => TimeoutOccurred_35
  # DEBUG BEGIN_STMT
  _9 ={v} MEM[(struct MC_ME_Type *)1074298880B].PRTN1_STAT;
  _10 = _9 & 1;
  if (_10 == 0)
    goto <bb 5>; [94.50%]
  else
    goto <bb 6>; [5.50%]

  <bb 5> [local count: 334846388]:
  if (TimeoutOccurred_35 == 0)
    goto <bb 22>; [94.50%]
  else
    goto <bb 6>; [5.50%]

  <bb 22> [local count: 316429836]:
  goto <bb 4>; [100.00%]

  <bb 6> [local count: 37904965]:
  # TimeoutOccurred_27 = PHI <TimeoutOccurred_35(4), TimeoutOccurred_35(5)>
  # DEBUG BEGIN_STMT
  if (TimeoutOccurred_27 == 1)
    goto <bb 7>; [20.24%]
  else
    goto <bb 8>; [79.76%]

  <bb 7> [local count: 7671965]:
  # DEBUG BEGIN_STMT
  Clock_Ip_ReportClockErrors (1, 184);

  <bb 8> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  TempValue_37 ={v} MEM[(struct RESET_Type *)1074266112B].RD1_CTRL_REG;
  # DEBUG TempValue => TempValue_37
  # DEBUG BEGIN_STMT
  TempValue_38 = TempValue_37 & 2147483647;
  # DEBUG TempValue => TempValue_38
  # DEBUG BEGIN_STMT
  TempValue_39 = TempValue_38 | 2147483648;
  # DEBUG TempValue => TempValue_39
  # DEBUG BEGIN_STMT
  MEM[(struct RESET_Type *)1074266112B].RD1_CTRL_REG ={v} TempValue_39;
  # DEBUG BEGIN_STMT
  TempValue_41 ={v} MEM[(struct RESET_Type *)1074266112B].RD1_CTRL_REG;
  # DEBUG TempValue => TempValue_41
  # DEBUG BEGIN_STMT
  TempValue_42 = TempValue_41 & 4294967287;
  # DEBUG TempValue => TempValue_42
  # DEBUG BEGIN_STMT
  MEM[(struct RESET_Type *)1074266112B].RD1_CTRL_REG ={v} TempValue_42;
  # DEBUG BEGIN_STMT
  Clock_Ip_StartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 50000);

  <bb 9> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.1_11 = TimeoutTicks;
  TimeoutOccurred_46 = Clock_Ip_TimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.1_11);
  # DEBUG TimeoutOccurred => TimeoutOccurred_46
  # DEBUG BEGIN_STMT
  _12 ={v} MEM[(struct RESET_Type *)1074266112B].RD1_STAT_REG;
  _13 = _12 >> 3;
  ResetDomainStatus_47 = _13 & 1;
  # DEBUG ResetDomainStatus => ResetDomainStatus_47
  # DEBUG BEGIN_STMT
  if (ResetDomainStatus_47 != 0)
    goto <bb 10>; [94.50%]
  else
    goto <bb 11>; [5.50%]

  <bb 10> [local count: 1014686025]:
  if (TimeoutOccurred_46 == 0)
    goto <bb 21>; [94.50%]
  else
    goto <bb 11>; [5.50%]

  <bb 21> [local count: 958878293]:
  goto <bb 9>; [100.00%]

  <bb 11> [local count: 114863532]:
  # TimeoutOccurred_28 = PHI <TimeoutOccurred_46(9), TimeoutOccurred_46(10)>
  # DEBUG BEGIN_STMT
  if (TimeoutOccurred_28 != 0)
    goto <bb 12>; [33.00%]
  else
    goto <bb 13>; [67.00%]

  <bb 12> [local count: 37904965]:
  # DEBUG BEGIN_STMT
  Clock_Ip_ReportClockErrors (1, 184);

  <bb 13> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  TempValue_49 ={v} MEM[(struct RESET_Type *)1074266112B].RD1_CTRL_REG;
  # DEBUG TempValue => TempValue_49
  # DEBUG BEGIN_STMT
  TempValue_50 = TempValue_49 & 2147483647;
  # DEBUG TempValue => TempValue_50
  # DEBUG BEGIN_STMT
  MEM[(struct RESET_Type *)1074266112B].RD1_CTRL_REG ={v} TempValue_50;
  # DEBUG BEGIN_STMT
  _14 ={v} MEM[(struct MC_RGM_Type *)1074233344B].PRST_0[1].PRST_0;
  _15 = _14 & 4294967294;
  MEM[(struct MC_RGM_Type *)1074233344B].PRST_0[1].PRST_0 ={v} _15;
  # DEBUG BEGIN_STMT
  _16 ={v} MEM[(struct MC_ME_Type *)1074298880B].PRTN1_STAT;
  _17 = _16 & 4;
  if (_17 != 0)
    goto <bb 14>; [33.00%]
  else
    goto <bb 19>; [67.00%]

  <bb 14> [local count: 37904965]:
  # DEBUG BEGIN_STMT
  TempValue_53 ={v} MEM[(struct MC_ME_Type *)1074298880B].PRTN1_PCONF;
  # DEBUG TempValue => TempValue_53
  # DEBUG BEGIN_STMT
  TempValue_54 = TempValue_53 & 4294967291;
  # DEBUG TempValue => TempValue_54
  # DEBUG BEGIN_STMT
  MEM[(struct MC_ME_Type *)1074298880B].PRTN1_PCONF ={v} TempValue_54;
  # DEBUG BEGIN_STMT
  TempValue_56 ={v} MEM[(struct MC_ME_Type *)1074298880B].PRTN1_PUPD;
  # DEBUG TempValue => TempValue_56
  # DEBUG BEGIN_STMT
  TempValue_57 = TempValue_56 & 4294967291;
  # DEBUG TempValue => TempValue_57
  # DEBUG BEGIN_STMT
  TempValue_58 = TempValue_57 | 4;
  # DEBUG TempValue => TempValue_58
  # DEBUG BEGIN_STMT
  MEM[(struct MC_ME_Type *)1074298880B].PRTN1_PUPD ={v} TempValue_58;
  # DEBUG BEGIN_STMT
  Clock_Ip_McMeEnterKey ();
  # DEBUG BEGIN_STMT
  Clock_Ip_StartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 50000);

  <bb 15> [local count: 354334801]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.2_18 = TimeoutTicks;
  TimeoutOccurred_63 = Clock_Ip_TimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.2_18);
  # DEBUG TimeoutOccurred => TimeoutOccurred_63
  # DEBUG BEGIN_STMT
  _19 ={v} MEM[(struct MC_ME_Type *)1074298880B].PRTN1_STAT;
  _20 = _19 & 4;
  if (_20 != 0)
    goto <bb 16>; [94.50%]
  else
    goto <bb 17>; [5.50%]

  <bb 16> [local count: 334846387]:
  if (TimeoutOccurred_63 == 0)
    goto <bb 20>; [94.50%]
  else
    goto <bb 17>; [5.50%]

  <bb 20> [local count: 316429836]:
  goto <bb 15>; [100.00%]

  <bb 17> [local count: 37904965]:
  # TimeoutOccurred_1 = PHI <TimeoutOccurred_63(15), TimeoutOccurred_63(16)>
  # DEBUG BEGIN_STMT
  if (TimeoutOccurred_1 == 1)
    goto <bb 18>; [20.24%]
  else
    goto <bb 19>; [79.76%]

  <bb 18> [local count: 7671965]:
  # DEBUG BEGIN_STMT
  Clock_Ip_ReportClockErrors (1, 184);

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

}


