Tspc_Port_Ip_ConfigureObeGroup (uint32 cfgCount, const struct Tspc_Port_Ip_ObeGroupConfig * config)
{
  uint8 groupConfig;
  uint32 i;
  long unsigned int _1;
  const struct Tspc_Port_Ip_ObeGroupConfig * _2;
  unsigned char _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  const struct Tspc_Port_Ip_ObeGroupConfig * _9;
  unsigned char _10;
  long unsigned int _11;
  unsigned int _12;
  unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  unsigned int _18;
  unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  long unsigned int _24;

  <bb 2> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG tspcBase => 1076641792B
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG groupConfig => 0
  # DEBUG BEGIN_STMT
  # DEBUG i => 0
  goto <bb 4>; [100.00%]

  <bb 3> [local count: 955630225]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = i_25 * 8;
  _2 = config_36(D) + _1;
  _3 = _2->obeGroupSelect;
  groupConfig_40 = _3 | groupConfig_27;
  # DEBUG groupConfig => groupConfig_40
  # DEBUG BEGIN_STMT
  i_41 = i_25 + 1;
  # DEBUG i => i_41

  <bb 4> [local count: 1073741824]:
  # i_25 = PHI <0(2), i_41(3)>
  # groupConfig_27 = PHI <0(2), groupConfig_40(3)>
  # DEBUG groupConfig => groupConfig_27
  # DEBUG i => i_25
  # DEBUG BEGIN_STMT
  if (i_25 < cfgCount_30(D))
    goto <bb 3>; [89.00%]
  else
    goto <bb 5>; [11.00%]

  <bb 5> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  SchM_Enter_Port_PORT_EXCLUSIVE_AREA_10 ();
  # DEBUG BEGIN_STMT
  _4 ={v} MEM[(struct TSPC_Type *)1076641792B].GRP_EN;
  _5 = (long unsigned int) groupConfig_27;
  _6 = ~_5;
  _7 = _4 & _6;
  MEM[(struct TSPC_Type *)1076641792B].GRP_EN ={v} _7;
  # DEBUG BEGIN_STMT
  # DEBUG i => 0
  goto <bb 12>; [100.00%]

  <bb 6> [local count: 955630225]:
  # DEBUG BEGIN_STMT
  _8 = i_26 * 8;
  _9 = config_36(D) + _8;
  _10 = _9->obeGroupSelect;
  if (_10 != 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 7> [local count: 477815112]:
  # DEBUG BEGIN_STMT
  _11 = _9->obeGroupIndex;
  if (_11 != 65535)
    goto <bb 8>; [66.00%]
  else
    goto <bb 11>; [34.00%]

  <bb 8> [local count: 315357972]:
  # DEBUG BEGIN_STMT
  if (_11 > 31)
    goto <bb 9>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 9> [local count: 157678986]:
  # DEBUG BEGIN_STMT
  _12 = (unsigned int) _10;
  _13 = _12 + 4294967295;
  _14 ={v} MEM[(struct TSPC_Type *)1076641792B].GROUP[_13].GRP_OBE2;
  _15 = _11 + 4294967264;
  _16 = 1 << _15;
  _17 = _14 | _16;
  MEM[(struct TSPC_Type *)1076641792B].GROUP[_13].GRP_OBE2 ={v} _17;
  goto <bb 11>; [100.00%]

  <bb 10> [local count: 157678986]:
  # DEBUG BEGIN_STMT
  _18 = (unsigned int) _10;
  _19 = _18 + 4294967295;
  _20 ={v} MEM[(struct TSPC_Type *)1076641792B].GROUP[_19].GRP_OBE1;
  _21 = 1 << _11;
  _22 = _20 | _21;
  MEM[(struct TSPC_Type *)1076641792B].GROUP[_19].GRP_OBE1 ={v} _22;

  <bb 11> [local count: 955630225]:
  # DEBUG BEGIN_STMT
  i_39 = i_26 + 1;
  # DEBUG i => i_39

  <bb 12> [local count: 1073741824]:
  # i_26 = PHI <0(5), i_39(11)>
  # DEBUG i => i_26
  # DEBUG BEGIN_STMT
  if (i_26 < cfgCount_30(D))
    goto <bb 6>; [89.00%]
  else
    goto <bb 13>; [11.00%]

  <bb 13> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  _23 ={v} MEM[(struct TSPC_Type *)1076641792B].GRP_EN;
  _24 = _5 | _23;
  MEM[(struct TSPC_Type *)1076641792B].GRP_EN ={v} _24;
  # DEBUG BEGIN_STMT
  SchM_Exit_Port_PORT_EXCLUSIVE_AREA_10 ();
  return;

}


Tspc_Port_Ip_EnableObeGroup (uint8 group)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG tspcBase => 1076641792B
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  SchM_Enter_Port_PORT_EXCLUSIVE_AREA_09 ();
  # DEBUG BEGIN_STMT
  if (group_8(D) == 1)
    goto <bb 3>; [34.00%]
  else
    goto <bb 4>; [66.00%]

  <bb 3> [local count: 365072224]:
  # DEBUG BEGIN_STMT
  _1 ={v} MEM[(struct TSPC_Type *)1076641792B].GRP_EN;
  _2 = _1 | 1;
  MEM[(struct TSPC_Type *)1076641792B].GRP_EN ={v} _2;
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 708669601]:
  # DEBUG BEGIN_STMT
  _3 ={v} MEM[(struct TSPC_Type *)1076641792B].GRP_EN;
  _4 = _3 | 2;
  MEM[(struct TSPC_Type *)1076641792B].GRP_EN ={v} _4;

  <bb 5> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Port_PORT_EXCLUSIVE_AREA_09 ();
  return;

}


