
Reclaiming functions:
Reclaiming variables: *.LC1/28 *.LC0/27
Clearing address taken flags:
Symbol table:

serdes_pcs_speed_select/40 (serdes_pcs_speed_select) @0724e460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_InitSpeedDuplex/22 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
serdes_pcs_set_hd/39 (serdes_pcs_set_hd) @0724e1c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_InitSpeedDuplex/22 (708669604 (estimated locally),0.66 per call) 
  Calls: 
serdes_pcs_set_fd/38 (serdes_pcs_set_fd) @0724eee0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_InitSpeedDuplex/22 (365072220 (estimated locally),0.34 per call) 
  Calls: 
serdes_pcs_an_disable/37 (serdes_pcs_an_disable) @0724ea80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_Init/26 (134217728 (estimated locally),0.50 per call) Serdes_Init/26 (134217728 (estimated locally),0.50 per call) Serdes_Init/26 (134217728 (estimated locally),0.50 per call) Serdes_Init/26 (134217728 (estimated locally),0.50 per call) 
  Calls: 
serdes_pcs_mii_bus_control_enable/36 (serdes_pcs_mii_bus_control_enable) @0724e9a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_Init/26 (134217728 (estimated locally),0.50 per call) Serdes_Init/26 (134217728 (estimated locally),0.50 per call) Serdes_Init/26 (134217728 (estimated locally),0.50 per call) Serdes_Init/26 (134217728 (estimated locally),0.50 per call) 
  Calls: 
serdes_pma_loopback_disable/35 (serdes_pma_loopback_disable) @0724e8c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_Init/26 (44291850 (estimated locally),0.16 per call) Serdes_Init/26 (44291850 (estimated locally),0.16 per call) Serdes_Init/26 (44291850 (estimated locally),0.16 per call) Serdes_Init/26 (44291850 (estimated locally),0.16 per call) 
  Calls: 
serdes_pcs_reset_finalize/34 (serdes_pcs_reset_finalize) @0724e7e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_Init/26 (65605625 (estimated locally),0.24 per call) Serdes_Init/26 (65605625 (estimated locally),0.24 per call) 
  Calls: 
serdes_pcs_reset_issue/33 (serdes_pcs_reset_issue) @0724e700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_Init/26 (88583700 (estimated locally),0.33 per call) Serdes_Init/26 (88583700 (estimated locally),0.33 per call) 
  Calls: 
serdes_pcs_pma_init_gen2/32 (serdes_pcs_pma_init_gen2) @0724e620
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_Init/26 (88583700 (estimated locally),0.33 per call) Serdes_Init/26 (88583700 (estimated locally),0.33 per call) 
  Calls: 
serdes_pma_loopback_enable/31 (serdes_pma_loopback_enable) @0724e540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_Init/26 (88583700 (estimated locally),0.33 per call) Serdes_Init/26 (88583700 (estimated locally),0.33 per call) Serdes_Init/26 (88583700 (estimated locally),0.33 per call) Serdes_Init/26 (88583700 (estimated locally),0.33 per call) 
  Calls: 
serdes_pcs_wait_for_power_good/30 (serdes_pcs_wait_for_power_good) @0724e380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Serdes_Init/26 (29232621 (estimated locally),0.11 per call) Serdes_Init/26 (88583700 (estimated locally),0.33 per call) Serdes_Init/26 (29232621 (estimated locally),0.11 per call) Serdes_Init/26 (88583701 (estimated locally),0.33 per call) 
  Calls: 
Eth_43_PFE_Config/29 (Eth_43_PFE_Config) @072584c8
  Type: variable
  Body removed by symtab_remove_unreachable_nodes
  Visibility: external public
  References: 
  Referring: Serdes_Init/26 (read)
  Availability: not_available
  Varpool flags: read-only
Serdes_Init/26 (Serdes_Init) @071e4e00
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Eth_43_PFE_Config/29 (read)initSeqSuccesSer0/20 (write)initSeqSuccesSer0/20 (write)initSeqSuccesSer0/20 (read)initSeqSuccesSer1/21 (write)initSeqSuccesSer1/21 (write)initSeqSuccesSer1/21 (read)initSeqSuccesSer0/20 (read)initSeqSuccesSer0/20 (write)initSeqSuccesSer1/21 (read)initSeqSuccesSer1/21 (write)initSeqSuccesSer0/20 (read)initSeqSuccesSer1/21 (read)
  Referring: 
  Availability: available
  Function flags: count:268435456 (estimated locally) body optimize_size
  Called by: 
  Calls: Serdes_InitSpeedDuplex/22 (134217728 (estimated locally),0.50 per call) Serdes_InitSpeedDuplex/22 (134217728 (estimated locally),0.50 per call) serdes_pcs_an_disable/37 (134217728 (estimated locally),0.50 per call) serdes_pcs_an_disable/37 (134217728 (estimated locally),0.50 per call) serdes_pcs_mii_bus_control_enable/36 (134217728 (estimated locally),0.50 per call) serdes_pcs_mii_bus_control_enable/36 (134217728 (estimated locally),0.50 per call) serdes_pma_loopback_disable/35 (44291850 (estimated locally),0.16 per call) serdes_pma_loopback_disable/35 (44291850 (estimated locally),0.16 per call) Serdes_InitSpeedDuplex/22 (134217728 (estimated locally),0.50 per call) Serdes_InitSpeedDuplex/22 (134217728 (estimated locally),0.50 per call) serdes_pcs_an_disable/37 (134217728 (estimated locally),0.50 per call) serdes_pcs_an_disable/37 (134217728 (estimated locally),0.50 per call) serdes_pcs_mii_bus_control_enable/36 (134217728 (estimated locally),0.50 per call) serdes_pcs_mii_bus_control_enable/36 (134217728 (estimated locally),0.50 per call) serdes_pma_loopback_disable/35 (44291850 (estimated locally),0.16 per call) serdes_pma_loopback_disable/35 (44291850 (estimated locally),0.16 per call) serdes_pcs_reset_finalize/34 (65605625 (estimated locally),0.24 per call) serdes_pcs_reset_finalize/34 (65605625 (estimated locally),0.24 per call) serdes_pcs_reset_issue/33 (88583700 (estimated locally),0.33 per call) serdes_pcs_pma_init_gen2/32 (88583700 (estimated locally),0.33 per call) serdes_pma_loopback_enable/31 (88583700 (estimated locally),0.33 per call) serdes_pma_loopback_enable/31 (88583700 (estimated locally),0.33 per call) serdes_pcs_wait_for_power_good/30 (29232621 (estimated locally),0.11 per call) serdes_pcs_wait_for_power_good/30 (88583700 (estimated locally),0.33 per call) serdes_pcs_reset_issue/33 (88583700 (estimated locally),0.33 per call) serdes_pcs_pma_init_gen2/32 (88583700 (estimated locally),0.33 per call) serdes_pma_loopback_enable/31 (88583700 (estimated locally),0.33 per call) serdes_pma_loopback_enable/31 (88583700 (estimated locally),0.33 per call) serdes_pcs_wait_for_power_good/30 (29232621 (estimated locally),0.11 per call) serdes_pcs_wait_for_power_good/30 (88583701 (estimated locally),0.33 per call) Serdes_SsModeConfigure/25 (268435456 (estimated locally),1.00 per call) 
Serdes_SsModeConfigure/25 (Serdes_SsModeConfigure) @071e4b60
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:118111600 (estimated locally) body local optimize_size
  Called by: Serdes_Init/26 (268435456 (estimated locally),1.00 per call) 
  Calls: wait_prst_deassert/24 (118111601 (estimated locally),1.00 per call) wait_prst_deassert/24 (118111601 (estimated locally),1.00 per call) wait_prst_assert/23 (118111600 (estimated locally),1.00 per call) wait_prst_assert/23 (118111600 (estimated locally),1.00 per call) wait_prst_deassert/24 (118111600 (estimated locally),1.00 per call) wait_prst_deassert/24 (118111600 (estimated locally),1.00 per call) wait_prst_assert/23 (118111600 (estimated locally),1.00 per call) wait_prst_assert/23 (118111600 (estimated locally),1.00 per call) 
wait_prst_deassert/24 (wait_prst_deassert) @071e48c0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:118111600 (estimated locally) body local optimize_size
  Called by: Serdes_SsModeConfigure/25 (118111601 (estimated locally),1.00 per call) Serdes_SsModeConfigure/25 (118111601 (estimated locally),1.00 per call) Serdes_SsModeConfigure/25 (118111600 (estimated locally),1.00 per call) Serdes_SsModeConfigure/25 (118111600 (estimated locally),1.00 per call) 
  Calls: 
wait_prst_assert/23 (wait_prst_assert) @071e4620
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:118111600 (estimated locally) body local optimize_size
  Called by: Serdes_SsModeConfigure/25 (118111600 (estimated locally),1.00 per call) Serdes_SsModeConfigure/25 (118111600 (estimated locally),1.00 per call) Serdes_SsModeConfigure/25 (118111600 (estimated locally),1.00 per call) Serdes_SsModeConfigure/25 (118111600 (estimated locally),1.00 per call) 
  Calls: 
Serdes_InitSpeedDuplex/22 (Serdes_InitSpeedDuplex) @071e4380
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741823 (estimated locally) body local optimize_size
  Called by: Serdes_Init/26 (134217728 (estimated locally),0.50 per call) Serdes_Init/26 (134217728 (estimated locally),0.50 per call) Serdes_Init/26 (134217728 (estimated locally),0.50 per call) Serdes_Init/26 (134217728 (estimated locally),0.50 per call) 
  Calls: serdes_pcs_speed_select/40 (1073741824 (estimated locally),1.00 per call) serdes_pcs_set_hd/39 (708669604 (estimated locally),0.66 per call) serdes_pcs_set_fd/38 (365072220 (estimated locally),0.34 per call) 
initSeqSuccesSer1/21 (initSeqSuccesSer1) @071deab0
  Type: variable definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: Serdes_Init/26 (write)Serdes_Init/26 (write)Serdes_Init/26 (read)Serdes_Init/26 (read)Serdes_Init/26 (write)Serdes_Init/26 (read)
  Availability: available
  Varpool flags: initialized
initSeqSuccesSer0/20 (initSeqSuccesSer0) @071dea20
  Type: variable definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: Serdes_Init/26 (write)Serdes_Init/26 (write)Serdes_Init/26 (read)Serdes_Init/26 (read)Serdes_Init/26 (write)Serdes_Init/26 (read)
  Availability: available
  Varpool flags: initialized
Serdes_Init (const struct Eth_43_PFE_ConfigType * CfgPtr)
{
  unsigned char pcsDuplex$3;
  unsigned char pcsDuplex$2;
  unsigned char pcsDuplex$1;
  unsigned char pcsSpeed$3;
  unsigned char pcsSpeed$2;
  unsigned char pcsSpeed$1;
  long unsigned int serdesInitFlags$1;
  long unsigned int serdesInitFlags$0;
  uint8 u8CtrlCount;
  int _1;
  const struct Eth_43_PFE_CtrlCfgType * _2;
  <unnamed type> _3;
  char * _4;
  char _6;
  <unnamed type> _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  <unnamed type> _11;
  long unsigned int _13;
  <unnamed type> _14;
  <unnamed type> _15;
  long unsigned int _17;
  <unnamed type> _18;
  <unnamed type> _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  unsigned char _24;
  unsigned char initSeqSuccesSer0.1_25;
  long unsigned int _26;
  unsigned char _27;
  unsigned char _28;
  unsigned char initSeqSuccesSer1.2_29;
  unsigned char initSeqSuccesSer0.3_30;
  long unsigned int _31;
  unsigned char _32;
  unsigned char initSeqSuccesSer1.4_33;
  long unsigned int _34;
  unsigned char _35;
  unsigned char initSeqSuccesSer0.5_36;
  long unsigned int _37;
  long unsigned int _38;
  unsigned char initSeqSuccesSer1.6_39;
  long unsigned int _40;
  long unsigned int _41;
  long unsigned int _123;
  long unsigned int _124;

  <bb 2> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG serdesInitFlags$0 => 0
  # DEBUG serdesInitFlags$1 => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG pcsSpeed => 3
  # DEBUG pcsSpeed$1 => 3
  # DEBUG pcsSpeed$2 => 3
  # DEBUG pcsSpeed$3 => 3
  # DEBUG BEGIN_STMT
  # DEBUG pcsDuplex => 2
  # DEBUG pcsDuplex$1 => 2
  # DEBUG pcsDuplex$2 => 2
  # DEBUG pcsDuplex$3 => 2
  # DEBUG BEGIN_STMT
  # DEBUG Eth_43_PFE_CfgPtr => &Eth_43_PFE_Config
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG serdesInitFlags$0 => 1024
  # DEBUG BEGIN_STMT
  # DEBUG serdesInitFlags$0 => 263168
  # DEBUG BEGIN_STMT
  # DEBUG serdesInitFlags$1 => 263168
  # DEBUG BEGIN_STMT
  # DEBUG u8CtrlCount => 0
  goto <bb 14>; [100.00%]

  <bb 3> [local count: 805306369]:
  # DEBUG BEGIN_STMT
  _1 = (int) u8CtrlCount_42;
  _2 = Eth_43_PFE_Config.pController[_1];
  _3 = _2->EthCtrlMiiType;
  if (_3 == 4)
    goto <bb 4>; [34.00%]
  else
    goto <bb 13>; [66.00%]

  <bb 4> [local count: 273804165]:
  # DEBUG BEGIN_STMT
  _4 = _2->EthCtrlHwPort;
  _6 = MEM[(char *)_4 + 3B];
  if (_6 == 48)
    goto <bb 5>; [34.00%]
  else
    goto <bb 9>; [66.00%]

  <bb 5> [local count: 93093416]:
  # DEBUG BEGIN_STMT
  _7 = _2->EthCtrlSpeed;
  if (_7 == 4)
    goto <bb 6>; [34.00%]
  else
    goto <bb 7>; [66.00%]

  <bb 6> [local count: 31651761]:
  # DEBUG BEGIN_STMT
  _8 = serdesInitFlags$1_98 | 517;
  # DEBUG serdesInitFlags$1 => _8
  goto <bb 8>; [100.00%]

  <bb 7> [local count: 61441655]:
  # DEBUG BEGIN_STMT
  _9 = serdesInitFlags$1_98 | 257;
  # DEBUG serdesInitFlags$1 => _9

  <bb 8> [local count: 93093416]:
  # serdesInitFlags$1_5 = PHI <_8(6), _9(7)>
  # DEBUG serdesInitFlags$1 => serdesInitFlags$1_5
  # DEBUG BEGIN_STMT
  _10 = serdesInitFlags$1_5 & 4294966271;
  # DEBUG serdesInitFlags$1 => _10
  # DEBUG BEGIN_STMT
  # DEBUG pcsSpeed$2 => _7
  # DEBUG BEGIN_STMT
  _11 = _2->EthCtrlDuplex;
  # DEBUG pcsDuplex$2 => _11

  <bb 9> [local count: 273804166]:
  # serdesInitFlags$1_57 = PHI <serdesInitFlags$1_98(4), _10(8)>
  # pcsSpeed$2_101 = PHI <pcsSpeed$2_103(4), _7(8)>
  # pcsDuplex$2_109 = PHI <pcsDuplex$2_111(4), _11(8)>
  # DEBUG pcsDuplex$2 => pcsDuplex$2_109
  # DEBUG pcsSpeed$2 => pcsSpeed$2_101
  # DEBUG serdesInitFlags$1 => serdesInitFlags$1_57
  # DEBUG BEGIN_STMT
  if (_6 == 49)
    goto <bb 10>; [34.00%]
  else
    goto <bb 11>; [66.00%]

  <bb 10> [local count: 93093416]:
  # DEBUG BEGIN_STMT
  # DEBUG serdesInitFlags$1 => serdesInitFlags$1_57 | 65537
  # DEBUG BEGIN_STMT
  _123 = serdesInitFlags$1_57 & 4294705151;
  _13 = _123 | 65537;
  # DEBUG serdesInitFlags$1 => _13
  # DEBUG BEGIN_STMT
  _14 = _2->EthCtrlSpeed;
  # DEBUG pcsSpeed$3 => _14
  # DEBUG BEGIN_STMT
  _15 = _2->EthCtrlDuplex;
  # DEBUG pcsDuplex$3 => _15

  <bb 11> [local count: 273804166]:
  # serdesInitFlags$1_58 = PHI <serdesInitFlags$1_57(9), _13(10)>
  # pcsSpeed$3_104 = PHI <pcsSpeed$3_106(9), _14(10)>
  # pcsDuplex$3_112 = PHI <pcsDuplex$3_114(9), _15(10)>
  # DEBUG pcsDuplex$3 => pcsDuplex$3_112
  # DEBUG pcsSpeed$3 => pcsSpeed$3_104
  # DEBUG serdesInitFlags$1 => serdesInitFlags$1_58
  # DEBUG BEGIN_STMT
  if (_6 == 50)
    goto <bb 12>; [34.00%]
  else
    goto <bb 13>; [66.00%]

  <bb 12> [local count: 93093416]:
  # DEBUG BEGIN_STMT
  # DEBUG serdesInitFlags$0 => serdesInitFlags$0_12 | 65537
  # DEBUG BEGIN_STMT
  _124 = serdesInitFlags$0_12 & 4294705151;
  _17 = _124 | 65537;
  # DEBUG serdesInitFlags$0 => _17
  # DEBUG BEGIN_STMT
  _18 = _2->EthCtrlSpeed;
  # DEBUG pcsSpeed$1 => _18
  # DEBUG BEGIN_STMT
  _19 = _2->EthCtrlDuplex;
  # DEBUG pcsDuplex$1 => _19

  <bb 13> [local count: 805306369]:
  # serdesInitFlags$0_16 = PHI <serdesInitFlags$0_12(3), serdesInitFlags$0_12(11), _17(12)>
  # serdesInitFlags$1_97 = PHI <serdesInitFlags$1_98(3), serdesInitFlags$1_58(11), serdesInitFlags$1_58(12)>
  # pcsSpeed$1_99 = PHI <pcsSpeed$1_100(3), pcsSpeed$1_100(11), _18(12)>
  # pcsSpeed$2_102 = PHI <pcsSpeed$2_103(3), pcsSpeed$2_101(11), pcsSpeed$2_101(12)>
  # pcsSpeed$3_105 = PHI <pcsSpeed$3_106(3), pcsSpeed$3_104(11), pcsSpeed$3_104(12)>
  # pcsDuplex$1_107 = PHI <pcsDuplex$1_108(3), pcsDuplex$1_108(11), _19(12)>
  # pcsDuplex$2_110 = PHI <pcsDuplex$2_111(3), pcsDuplex$2_109(11), pcsDuplex$2_109(12)>
  # pcsDuplex$3_113 = PHI <pcsDuplex$3_114(3), pcsDuplex$3_112(11), pcsDuplex$3_112(12)>
  # DEBUG pcsDuplex$3 => pcsDuplex$3_113
  # DEBUG pcsDuplex$2 => pcsDuplex$2_110
  # DEBUG pcsDuplex$1 => pcsDuplex$1_107
  # DEBUG pcsSpeed$3 => pcsSpeed$3_105
  # DEBUG pcsSpeed$2 => pcsSpeed$2_102
  # DEBUG pcsSpeed$1 => pcsSpeed$1_99
  # DEBUG serdesInitFlags$1 => serdesInitFlags$1_97
  # DEBUG serdesInitFlags$0 => serdesInitFlags$0_16
  # DEBUG BEGIN_STMT
  u8CtrlCount_96 = u8CtrlCount_42 + 1;
  # DEBUG u8CtrlCount => u8CtrlCount_96

  <bb 14> [local count: 1073741824]:
  # u8CtrlCount_42 = PHI <0(2), u8CtrlCount_96(13)>
  # serdesInitFlags$0_12 = PHI <263168(2), serdesInitFlags$0_16(13)>
  # serdesInitFlags$1_98 = PHI <263168(2), serdesInitFlags$1_97(13)>
  # pcsSpeed$1_100 = PHI <3(2), pcsSpeed$1_99(13)>
  # pcsSpeed$2_103 = PHI <3(2), pcsSpeed$2_102(13)>
  # pcsSpeed$3_106 = PHI <3(2), pcsSpeed$3_105(13)>
  # pcsDuplex$1_108 = PHI <2(2), pcsDuplex$1_107(13)>
  # pcsDuplex$2_111 = PHI <2(2), pcsDuplex$2_110(13)>
  # pcsDuplex$3_114 = PHI <2(2), pcsDuplex$3_113(13)>
  # DEBUG pcsDuplex$3 => pcsDuplex$3_114
  # DEBUG pcsDuplex$2 => pcsDuplex$2_111
  # DEBUG pcsDuplex$1 => pcsDuplex$1_108
  # DEBUG pcsSpeed$3 => pcsSpeed$3_106
  # DEBUG pcsSpeed$2 => pcsSpeed$2_103
  # DEBUG pcsSpeed$1 => pcsSpeed$1_100
  # DEBUG serdesInitFlags$1 => serdesInitFlags$1_98
  # DEBUG serdesInitFlags$0 => serdesInitFlags$0_12
  # DEBUG u8CtrlCount => u8CtrlCount_42
  # DEBUG BEGIN_STMT
  if (u8CtrlCount_42 != 3)
    goto <bb 3>; [75.00%]
  else
    goto <bb 15>; [25.00%]

  <bb 15> [local count: 268435456]:
  # serdesInitFlags$0_115 = PHI <serdesInitFlags$0_12(14)>
  # serdesInitFlags$1_116 = PHI <serdesInitFlags$1_98(14)>
  # pcsSpeed$1_117 = PHI <pcsSpeed$1_100(14)>
  # pcsSpeed$2_118 = PHI <pcsSpeed$2_103(14)>
  # pcsSpeed$3_119 = PHI <pcsSpeed$3_106(14)>
  # pcsDuplex$1_120 = PHI <pcsDuplex$1_108(14)>
  # pcsDuplex$2_121 = PHI <pcsDuplex$2_111(14)>
  # pcsDuplex$3_122 = PHI <pcsDuplex$3_114(14)>
  # DEBUG BEGIN_STMT
  _20 = serdesInitFlags$0_115 | 2097152;
  # DEBUG serdesInitFlags$0 => _20
  # DEBUG BEGIN_STMT
  _21 = serdesInitFlags$1_116 | 2097152;
  # DEBUG serdesInitFlags$1 => _21
  # DEBUG BEGIN_STMT
  Serdes_SsModeConfigure (3, _20, _21);
  # DEBUG BEGIN_STMT
  _22 = _20 & 1048576;
  if (_22 == 0)
    goto <bb 16>; [33.00%]
  else
    goto <bb 19>; [67.00%]

  <bb 16> [local count: 88583701]:
  # DEBUG BEGIN_STMT
  _23 = serdes_pcs_wait_for_power_good (1077936128B, 0);
  if (_23 == 0)
    goto <bb 17>; [33.00%]
  else
    goto <bb 20>; [67.00%]

  <bb 17> [local count: 29232621]:
  # DEBUG BEGIN_STMT
  _24 = serdes_pcs_wait_for_power_good (1077936128B, 1);
  if (_24 == 0)
    goto <bb 18>; [50.00%]
  else
    goto <bb 20>; [50.00%]

  <bb 18> [local count: 14616311]:
  # DEBUG BEGIN_STMT
  initSeqSuccesSer0 = 0;
  goto <bb 20>; [100.00%]

  <bb 19> [local count: 179851756]:
  # DEBUG BEGIN_STMT
  initSeqSuccesSer0 = 0;

  <bb 20> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  initSeqSuccesSer0.1_25 = initSeqSuccesSer0;
  if (initSeqSuccesSer0.1_25 == 0)
    goto <bb 21>; [33.00%]
  else
    goto <bb 22>; [67.00%]

  <bb 21> [local count: 88583700]:
  # DEBUG BEGIN_STMT
  serdes_pma_loopback_enable (1077936128B, 0);
  # DEBUG BEGIN_STMT
  serdes_pma_loopback_enable (1077936128B, 1);
  # DEBUG BEGIN_STMT
  serdes_pcs_pma_init_gen2 (1077936128B, 1, _20);
  # DEBUG BEGIN_STMT
  serdes_pcs_reset_issue (1077936128B, 0, 1);

  <bb 22> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _26 = _21 & 1048576;
  if (_26 == 0)
    goto <bb 23>; [33.00%]
  else
    goto <bb 26>; [67.00%]

  <bb 23> [local count: 88583700]:
  # DEBUG BEGIN_STMT
  _27 = serdes_pcs_wait_for_power_good (1141899264B, 0);
  if (_27 == 0)
    goto <bb 24>; [33.00%]
  else
    goto <bb 27>; [67.00%]

  <bb 24> [local count: 29232621]:
  # DEBUG BEGIN_STMT
  _28 = serdes_pcs_wait_for_power_good (1141899264B, 1);
  if (_28 == 0)
    goto <bb 25>; [50.00%]
  else
    goto <bb 27>; [50.00%]

  <bb 25> [local count: 14616311]:
  # DEBUG BEGIN_STMT
  initSeqSuccesSer1 = 0;
  goto <bb 27>; [100.00%]

  <bb 26> [local count: 179851755]:
  # DEBUG BEGIN_STMT
  initSeqSuccesSer1 = 0;

  <bb 27> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  initSeqSuccesSer1.2_29 = initSeqSuccesSer1;
  if (initSeqSuccesSer1.2_29 == 0)
    goto <bb 28>; [33.00%]
  else
    goto <bb 29>; [67.00%]

  <bb 28> [local count: 88583700]:
  # DEBUG BEGIN_STMT
  serdes_pma_loopback_enable (1141899264B, 0);
  # DEBUG BEGIN_STMT
  serdes_pma_loopback_enable (1141899264B, 1);
  # DEBUG BEGIN_STMT
  serdes_pcs_pma_init_gen2 (1141899264B, 1, _21);
  # DEBUG BEGIN_STMT
  serdes_pcs_reset_issue (1141899264B, 0, 1);

  <bb 29> [local count: 268435455]:
  # DEBUG BEGIN_STMT
  initSeqSuccesSer0.3_30 = initSeqSuccesSer0;
  if (initSeqSuccesSer0.3_30 == 0)
    goto <bb 30>; [50.00%]
  else
    goto <bb 32>; [50.00%]

  <bb 30> [local count: 134217728]:
  _31 = _20 & 263168;
  if (_31 != 263168)
    goto <bb 31>; [48.88%]
  else
    goto <bb 32>; [51.12%]

  <bb 31> [local count: 65605625]:
  # DEBUG BEGIN_STMT
  _32 = serdes_pcs_reset_finalize (1077936128B, 0, 1);
  initSeqSuccesSer0 = _32;

  <bb 32> [local count: 268435455]:
  # DEBUG BEGIN_STMT
  initSeqSuccesSer1.4_33 = initSeqSuccesSer1;
  if (initSeqSuccesSer1.4_33 == 0)
    goto <bb 33>; [50.00%]
  else
    goto <bb 35>; [50.00%]

  <bb 33> [local count: 134217728]:
  _34 = _21 & 263168;
  if (_34 != 263168)
    goto <bb 34>; [48.88%]
  else
    goto <bb 35>; [51.12%]

  <bb 34> [local count: 65605625]:
  # DEBUG BEGIN_STMT
  _35 = serdes_pcs_reset_finalize (1141899264B, 0, 1);
  initSeqSuccesSer1 = _35;

  <bb 35> [local count: 268435455]:
  # DEBUG BEGIN_STMT
  initSeqSuccesSer0.5_36 = initSeqSuccesSer0;
  if (initSeqSuccesSer0.5_36 == 0)
    goto <bb 36>; [50.00%]
  else
    goto <bb 41>; [50.00%]

  <bb 36> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  _37 = _20 & 1024;
  if (_37 == 0)
    goto <bb 37>; [33.00%]
  else
    goto <bb 38>; [67.00%]

  <bb 37> [local count: 44291850]:
  # DEBUG BEGIN_STMT
  serdes_pma_loopback_disable (1077936128B, 0);

  <bb 38> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  _38 = _20 & 262144;
  if (_38 == 0)
    goto <bb 39>; [33.00%]
  else
    goto <bb 40>; [67.00%]

  <bb 39> [local count: 44291850]:
  # DEBUG BEGIN_STMT
  serdes_pma_loopback_disable (1077936128B, 1);

  <bb 40> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  serdes_pcs_mii_bus_control_enable (1077936128B, 0);
  # DEBUG BEGIN_STMT
  serdes_pcs_mii_bus_control_enable (1077936128B, 1);
  # DEBUG BEGIN_STMT
  serdes_pcs_an_disable (1077936128B, 0);
  # DEBUG BEGIN_STMT
  serdes_pcs_an_disable (1077936128B, 1);
  # DEBUG BEGIN_STMT
  Serdes_InitSpeedDuplex (1077936128B, 0, 3, 2);
  # DEBUG BEGIN_STMT
  Serdes_InitSpeedDuplex (1077936128B, 1, pcsSpeed$1_117, pcsDuplex$1_120);

  <bb 41> [local count: 268435455]:
  # DEBUG BEGIN_STMT
  initSeqSuccesSer1.6_39 = initSeqSuccesSer1;
  if (initSeqSuccesSer1.6_39 == 0)
    goto <bb 42>; [50.00%]
  else
    goto <bb 47>; [50.00%]

  <bb 42> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  _40 = _21 & 1024;
  if (_40 == 0)
    goto <bb 43>; [33.00%]
  else
    goto <bb 44>; [67.00%]

  <bb 43> [local count: 44291850]:
  # DEBUG BEGIN_STMT
  serdes_pma_loopback_disable (1141899264B, 0);

  <bb 44> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  _41 = _21 & 262144;
  if (_41 == 0)
    goto <bb 45>; [33.00%]
  else
    goto <bb 46>; [67.00%]

  <bb 45> [local count: 44291850]:
  # DEBUG BEGIN_STMT
  serdes_pma_loopback_disable (1141899264B, 1);

  <bb 46> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  serdes_pcs_mii_bus_control_enable (1141899264B, 0);
  # DEBUG BEGIN_STMT
  serdes_pcs_mii_bus_control_enable (1141899264B, 1);
  # DEBUG BEGIN_STMT
  serdes_pcs_an_disable (1141899264B, 0);
  # DEBUG BEGIN_STMT
  serdes_pcs_an_disable (1141899264B, 1);
  # DEBUG BEGIN_STMT
  Serdes_InitSpeedDuplex (1141899264B, 0, pcsSpeed$2_118, pcsDuplex$2_121);
  # DEBUG BEGIN_STMT
  Serdes_InitSpeedDuplex (1141899264B, 1, pcsSpeed$3_119, pcsDuplex$3_122);

  <bb 47> [local count: 268435455]:
  # DEBUG D#1 => {CLOBBER}
  # DEBUG serdesInitFlags$0 => D#1
  # DEBUG D#2 => {CLOBBER}
  # DEBUG serdesInitFlags$1 => D#2
  # DEBUG D#3 => {CLOBBER}
  # DEBUG pcsSpeed => D#3
  # DEBUG D#4 => {CLOBBER}
  # DEBUG pcsSpeed$1 => D#4
  # DEBUG D#5 => {CLOBBER}
  # DEBUG pcsSpeed$2 => D#5
  # DEBUG D#6 => {CLOBBER}
  # DEBUG pcsSpeed$3 => D#6
  # DEBUG D#7 => {CLOBBER}
  # DEBUG pcsDuplex => D#7
  # DEBUG D#8 => {CLOBBER}
  # DEBUG pcsDuplex$1 => D#8
  # DEBUG D#9 => {CLOBBER}
  # DEBUG pcsDuplex$2 => D#9
  # DEBUG D#10 => {CLOBBER}
  # DEBUG pcsDuplex$3 => D#10
  return;

}


Serdes_SsModeConfigure (uint8 mode, uint32 intclks0, uint32 intclks1)
{
  volatile uint32 wait;
  uint32 config1;
  uint32 config0;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int wait.7_3;
  long unsigned int _4;
  long unsigned int wait.9_5;
  long unsigned int _6;

  <bb 2> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  # DEBUG config0 => 0
  # DEBUG BEGIN_STMT
  # DEBUG config1 => 0
  # DEBUG BEGIN_STMT
  wait ={v} 80000;
  # DEBUG BEGIN_STMT
  config0_14 = (uint32) mode_13(D);
  # DEBUG config0 => config0_14
  # DEBUG BEGIN_STMT
  # DEBUG config1 => config0_14
  # DEBUG BEGIN_STMT
  _1 = intclks0_15(D) & 1048576;
  if (_1 != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 59055800]:
  # DEBUG BEGIN_STMT
  config0_16 = config0_14 | 8388608;
  # DEBUG config0 => config0_16

  <bb 4> [local count: 118111600]:
  # config0_7 = PHI <config0_14(2), config0_16(3)>
  # DEBUG config0 => config0_7
  # DEBUG BEGIN_STMT
  _2 = intclks1_17(D) & 1048576;
  if (_2 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 5> [local count: 59055800]:
  # DEBUG BEGIN_STMT
  config1_18 = config0_14 | 8388608;
  # DEBUG config1 => config1_18

  <bb 6> [local count: 118111600]:
  # config1_8 = PHI <config0_14(4), config1_18(5)>
  # DEBUG config1 => config1_8
  # DEBUG BEGIN_STMT
  wait_prst_assert (4);
  # DEBUG BEGIN_STMT
  wait_prst_assert (5);
  # DEBUG BEGIN_STMT
  MEM[(uint32 *)1078460656B] = config0_7;
  # DEBUG BEGIN_STMT
  wait ={v} 100;
  # DEBUG BEGIN_STMT

  <bb 7> [local count: 1073741821]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  wait.7_3 ={v} wait;
  _4 = wait.7_3 + 4294967295;
  wait ={v} _4;
  if (wait.7_3 != 0)
    goto <bb 12>; [89.00%]
  else
    goto <bb 8>; [11.00%]

  <bb 12> [local count: 955630220]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  wait_prst_deassert (4);
  # DEBUG BEGIN_STMT
  wait_prst_deassert (5);
  # DEBUG BEGIN_STMT
  wait_prst_assert (16);
  # DEBUG BEGIN_STMT
  wait_prst_assert (17);
  # DEBUG BEGIN_STMT
  MEM[(uint32 *)1142423792B] = config1_8;
  # DEBUG BEGIN_STMT
  wait ={v} 100;
  # DEBUG BEGIN_STMT

  <bb 9> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  wait.9_5 ={v} wait;
  _6 = wait.9_5 + 4294967295;
  wait ={v} _6;
  if (wait.9_5 != 0)
    goto <bb 11>; [89.00%]
  else
    goto <bb 10>; [11.00%]

  <bb 11> [local count: 955630224]:
  goto <bb 9>; [100.00%]

  <bb 10> [local count: 118111601]:
  # DEBUG BEGIN_STMT
  wait_prst_deassert (16);
  # DEBUG BEGIN_STMT
  wait_prst_deassert (17);
  return;

}


wait_prst_deassert (int prst_reg)
{
  long unsigned int _1;
  unsigned int _2;
  unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;

  <bb 2> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  _1 ={v} MEM[(volatile uint32 *)1074233408B];
  _2 = 1 << prst_reg_8(D);
  _3 = ~_2;
  _4 = _1 & _3;
  MEM[(volatile uint32 *)1074233408B] ={v} _4;
  # DEBUG BEGIN_STMT

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 ={v} MEM[(volatile uint32 *)1074233664B];
  _6 = _2 & _5;
  if (_6 != 0)
    goto <bb 5>; [89.00%]
  else
    goto <bb 4>; [11.00%]

  <bb 5> [local count: 955630223]:
  goto <bb 3>; [100.00%]

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

}


wait_prst_assert (int prst_reg)
{
  long unsigned int _1;
  unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;

  <bb 2> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  _1 ={v} MEM[(volatile uint32 *)1074233408B];
  _2 = 1 << prst_reg_7(D);
  _3 = _1 | _2;
  MEM[(volatile uint32 *)1074233408B] ={v} _3;
  # DEBUG BEGIN_STMT

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 ={v} MEM[(volatile uint32 *)1074233664B];
  _5 = _2 & _4;
  if (_2 != _5)
    goto <bb 5>; [89.00%]
  else
    goto <bb 4>; [11.00%]

  <bb 5> [local count: 955630223]:
  goto <bb 3>; [100.00%]

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

}


Serdes_InitSpeedDuplex (void * serdes_base, uint32 pcs, pfe_emac_speed_t speed, pfe_emac_duplex_t duplex)
{
  uint32 speedSelect;

  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG speedSelect => 0
  # DEBUG BEGIN_STMT
  if (duplex_3(D) == 2)
    goto <bb 3>; [34.00%]
  else
    goto <bb 4>; [66.00%]

  <bb 3> [local count: 365072220]:
  # DEBUG BEGIN_STMT
  serdes_pcs_set_fd (serdes_base_5(D), pcs_6(D));
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 708669604]:
  # DEBUG BEGIN_STMT
  serdes_pcs_set_hd (serdes_base_5(D), pcs_6(D));

  <bb 5> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  if (speed_9(D) == 1)
    goto <bb 8>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 6> [local count: 708669604]:
  # DEBUG BEGIN_STMT
  if (speed_9(D) == 2)
    goto <bb 8>; [34.00%]
  else
    goto <bb 7>; [66.00%]

  <bb 7> [local count: 467721938]:
  # DEBUG BEGIN_STMT
  # DEBUG speedSelect => 1

  <bb 8> [local count: 1073741824]:
  # speedSelect_1 = PHI <100(5), 10(6), 1(7)>
  # DEBUG speedSelect => speedSelect_1
  # DEBUG BEGIN_STMT
  serdes_pcs_speed_select (serdes_base_5(D), pcs_6(D), speedSelect_1);
  return;

}


