main ()
{
  static struct Can_Msg_Type Can_MsgInfo;
  unsigned char pinValue.34_1;
  unsigned char _2;

  <bb 2> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG u8TimeOut => 100
  # DEBUG BEGIN_STMT
  CanIf_bTxFlag = 0;
  # DEBUG BEGIN_STMT
  CanIf_bRxFlag = 0;
  # DEBUG BEGIN_STMT
  Mcu_Init (0B);
  # DEBUG BEGIN_STMT
  Mcu_InitClock (0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Mcl_Init (0B);
  # DEBUG BEGIN_STMT
  Mcu_SetMode (0);
  # DEBUG BEGIN_STMT
  OsIf_Init (0B);
  # DEBUG BEGIN_STMT
  Platform_Init (0B);
  # DEBUG BEGIN_STMT
  Platform_InstallIrqHandler (31, LPUART_UART_IP_0_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Platform_InstallIrqHandler (33, LPUART_UART_IP_1_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Platform_InstallIrqHandler (35, LPUART_UART_IP_2_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Platform_InstallIrqHandler (69, MCL_FLEXIO_ISR, 0B);
  # DEBUG BEGIN_STMT
  Platform_InstallIrqHandler (0, Dma0_Ch0_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Platform_InstallIrqHandler (1, Dma0_Ch1_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Platform_InstallIrqHandler (2, Dma0_Ch2_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Platform_InstallIrqHandler (3, Dma0_Ch3_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Platform_InstallIrqHandler (4, Dma0_Ch4_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Platform_InstallIrqHandler (5, Dma0_Ch5_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Port_Init (0B);
  # DEBUG BEGIN_STMT
  Uart_Init (0B);
  # DEBUG BEGIN_STMT
  Can_Init (0B);
  # DEBUG BEGIN_STMT
  Can_SetControllerMode (0, 1);
  # DEBUG BEGIN_STMT
  Can_MsgInfo.id = 403846230;
  # DEBUG BEGIN_STMT
  Can_MsgInfo.idFrame = 2;
  # DEBUG BEGIN_STMT
  Can_MsgInfo.length = 8;
  # DEBUG BEGIN_STMT
  Can_MsgInfo.sdu = &Can_au8Sdu8bytes;

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pinValue.34_1 ={v} pinValue;
  _2 = ~pinValue.34_1;
  pinValue ={v} _2;
  # DEBUG BEGIN_STMT
  CanIf_SendMessage (0, Can_MsgInfo);
  # DEBUG BEGIN_STMT
  TestDelay (100000);
  # DEBUG BEGIN_STMT
  Can_MainFunction_Read ();
  # DEBUG BEGIN_STMT
  CanIf_bRxFlag = 0;
  # DEBUG BEGIN_STMT
  TestDelay (100000);
  # DEBUG BEGIN_STMT

  <bb 4> [local count: 1073741824]:
  goto <bb 3>; [100.00%]

}


UART_Callback (uint32 hwInstance, Lpuart_Uart_Ip_EventType event, void * userData)
{
  uint32_t temp;
  long unsigned int bufferIdx.30_1;
  long unsigned int _2;
  unsigned char _3;
  uint8_t * _4;
  short unsigned int _5;
  long unsigned int _6;
  long unsigned int bufferIdx.33_7;
  long unsigned int _8;
  unsigned char _9;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (event_12(D) == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  bufferIdx.30_1 = bufferIdx;
  if (bufferIdx.30_1 <= 480)
    goto <bb 4>; [33.00%]
  else
    goto <bb 5>; [67.00%]

  <bb 4> [local count: 177167401]:
  # DEBUG BEGIN_STMT
  _2 = bufferIdx.30_1 + 20;
  bufferIdx = _2;
  # DEBUG BEGIN_STMT
  _3 = (unsigned char) hwInstance_15(D);
  _4 = &RX_Buffer[hwInstance_15(D)][_2];
  Uart_SetBuffer (_3, _4, 20, 1);

  <bb 5> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (event_12(D) == 3)
    goto <bb 6>; [20.24%]
  else
    goto <bb 7>; [79.76%]

  <bb 6> [local count: 217325345]:
  # DEBUG BEGIN_STMT
  _5 ={v} MEM[(struct  *)1073778688B].CITER.ELINKNO;
  _6 = (long unsigned int) _5;
  temp_17 = 20 - _6;
  # DEBUG temp => temp_17
  # DEBUG BEGIN_STMT
  bufferIdx.33_7 = bufferIdx;
  _8 = bufferIdx.33_7 + temp_17;
  bufferIdx = _8;
  # DEBUG BEGIN_STMT
  _9 = (unsigned char) hwInstance_15(D);
  Lpuart_Uart_Ip_AbortReceivingData (_9);

  <bb 7> [local count: 1073741824]:
  return;

}


UART_Receive_Data (uint8 recvChannel, uint8 * rxBuffer, uint32 T_timeout)
{
  uint32 timeout;
  uint32 T_bytesRemaining;
  volatile Uart_StatusType Uart_ReceiveStatus;
  volatile Std_ReturnType R_Uart_Status;
  int _1;
  uint8_t * _2;
  unsigned char _3;
  unsigned char R_Uart_Status.27_4;
  <unnamed type> _5;
  <unnamed type> Uart_ReceiveStatus.28_6;
  <unnamed type> Uart_ReceiveStatus.29_7;
  uint32 _9;

  <bb 2> [local count: 208561115]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Uart_ReceiveStatus ={v} 6;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG timeout => T_timeout_14(D)
  # DEBUG BEGIN_STMT
  # DEBUG retVal => 1
  # DEBUG BEGIN_STMT
  if (rxBuffer_15(D) == 0B)
    goto <bb 9>; [30.95%]
  else
    goto <bb 3>; [69.05%]

  <bb 3> [local count: 144011450]:
  # DEBUG BEGIN_STMT
  _1 = (int) recvChannel_16(D);
  _2 = &RX_Buffer[_1][0];
  Uart_SetBuffer (recvChannel_16(D), _2, 20, 1);
  # DEBUG BEGIN_STMT
  _3 = Uart_AsyncReceive (recvChannel_16(D), rxBuffer_15(D), 20);
  R_Uart_Status ={v} _3;
  # DEBUG BEGIN_STMT
  R_Uart_Status.27_4 ={v} R_Uart_Status;
  if (R_Uart_Status.27_4 != 0)
    goto <bb 4>; [20.24%]
  else
    goto <bb 10>; [79.76%]

  <bb 4> [local count: 29147917]:
  # DEBUG BEGIN_STMT
  Uart_Abort (recvChannel_16(D), 1);
  # DEBUG BEGIN_STMT
  goto <bb 9>; [100.00%]

  <bb 10> [local count: 114863533]:

  <bb 5> [local count: 1073741824]:
  # timeout_8 = PHI <T_timeout_14(D)(10), timeout_22(11)>
  # DEBUG timeout => timeout_8
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = Uart_GetStatus (recvChannel_16(D), &T_bytesRemaining, 1);
  Uart_ReceiveStatus ={v} _5;
  # DEBUG BEGIN_STMT
  Uart_ReceiveStatus.28_6 ={v} Uart_ReceiveStatus;
  if (Uart_ReceiveStatus.28_6 != 0)
    goto <bb 6>; [94.50%]
  else
    goto <bb 7>; [5.50%]

  <bb 6> [local count: 1014686025]:
  timeout_22 = timeout_8 + 4294967295;
  # DEBUG timeout => timeout_22
  if (timeout_22 != 0)
    goto <bb 11>; [94.50%]
  else
    goto <bb 7>; [5.50%]

  <bb 11> [local count: 958878294]:
  goto <bb 5>; [100.00%]

  <bb 7> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  Uart_ReceiveStatus.29_7 ={v} Uart_ReceiveStatus;
  if (Uart_ReceiveStatus.29_7 != 0)
    goto <bb 8>; [33.00%]
  else
    goto <bb 9>; [67.00%]

  <bb 8> [local count: 37904965]:
  # DEBUG BEGIN_STMT
  Uart_Abort (recvChannel_16(D), 1);
  # DEBUG BEGIN_STMT
  # DEBUG retVal => 1

  <bb 9> [local count: 208561114]:
  # _9 = PHI <1(2), 1(4), 0(7), 1(8)>
  # DEBUG retVal => NULL
  T_bytesRemaining ={v} {CLOBBER};
  return _9;

}


UART_Send_Data (uint8 transChannel, const uint8 * txBuffer, uint32 sendLength, uint32 T_timeout)
{
  uint32 retVal;
  uint32 timeout;
  uint32 T_bytesRemaining;
  volatile Uart_StatusType Uart_TransmitStatus;
  volatile Std_ReturnType T_Uart_Status;
  unsigned char _1;
  unsigned char T_Uart_Status.24_2;
  <unnamed type> _3;
  <unnamed type> Uart_TransmitStatus.25_4;
  <unnamed type> Uart_TransmitStatus.26_5;
  Std_ReturnType _8;
  Std_ReturnType _25;

  <bb 2> [local count: 208561115]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Uart_TransmitStatus ={v} 6;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG timeout => T_timeout_14(D)
  # DEBUG BEGIN_STMT
  # DEBUG retVal => 1
  # DEBUG BEGIN_STMT
  if (txBuffer_15(D) == 0B)
    goto <bb 10>; [30.95%]
  else
    goto <bb 3>; [69.05%]

  <bb 3> [local count: 144011450]:
  # DEBUG BEGIN_STMT
  Uart_SetBuffer (transChannel_16(D), txBuffer_15(D), sendLength_17(D), 0);
  # DEBUG BEGIN_STMT
  _1 = Uart_AsyncSend (transChannel_16(D), txBuffer_15(D), sendLength_17(D));
  T_Uart_Status ={v} _1;
  # DEBUG BEGIN_STMT
  T_Uart_Status.24_2 ={v} T_Uart_Status;
  if (T_Uart_Status.24_2 != 0)
    goto <bb 4>; [20.24%]
  else
    goto <bb 11>; [79.76%]

  <bb 4> [local count: 29147917]:
  # DEBUG BEGIN_STMT
  Uart_Abort (transChannel_16(D), 0);
  # DEBUG BEGIN_STMT
  goto <bb 10>; [100.00%]

  <bb 11> [local count: 114863533]:

  <bb 5> [local count: 1073741824]:
  # timeout_6 = PHI <T_timeout_14(D)(11), timeout_23(12)>
  # DEBUG timeout => timeout_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = Uart_GetStatus (transChannel_16(D), &T_bytesRemaining, 0);
  Uart_TransmitStatus ={v} _3;
  # DEBUG BEGIN_STMT
  Uart_TransmitStatus.25_4 ={v} Uart_TransmitStatus;
  if (Uart_TransmitStatus.25_4 != 0)
    goto <bb 6>; [94.50%]
  else
    goto <bb 7>; [5.50%]

  <bb 6> [local count: 1014686025]:
  timeout_23 = timeout_6 + 4294967295;
  # DEBUG timeout => timeout_23
  if (timeout_23 != 0)
    goto <bb 12>; [94.50%]
  else
    goto <bb 7>; [5.50%]

  <bb 12> [local count: 958878294]:
  goto <bb 5>; [100.00%]

  <bb 7> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  Uart_TransmitStatus.26_5 ={v} Uart_TransmitStatus;
  if (Uart_TransmitStatus.26_5 != 0)
    goto <bb 8>; [33.00%]
  else
    goto <bb 9>; [67.00%]

  <bb 8> [local count: 37904965]:
  # DEBUG BEGIN_STMT
  Uart_Abort (transChannel_16(D), 0);
  # DEBUG BEGIN_STMT
  # DEBUG retVal => 1

  <bb 9> [local count: 114863532]:
  # retVal_7 = PHI <1(8), 0(7)>
  # DEBUG retVal => retVal_7
  # DEBUG BEGIN_STMT
  _25 = (Std_ReturnType) retVal_7;

  <bb 10> [local count: 208561114]:
  # _8 = PHI <1(2), 1(4), _25(9)>
  T_bytesRemaining ={v} {CLOBBER};
  return _8;

}


UART_Query_Data (uint8 transChannel, uint8 recvChannel, const uint8 * txBuffer, uint32 sendLength, uint8 * rxBuffer, uint32 T_timeout)
{
  uint32 retVal;
  uint32 timeout;
  uint32 T_bytesRemaining;
  volatile Uart_StatusType Uart_TransmitStatus;
  volatile Uart_StatusType Uart_ReceiveStatus;
  volatile Std_ReturnType T_Uart_Status;
  volatile Std_ReturnType R_Uart_Status;
  int _1;
  uint8_t * _2;
  unsigned char _3;
  unsigned char T_Uart_Status.18_4;
  unsigned char _5;
  unsigned char T_Uart_Status.19_6;
  <unnamed type> _7;
  <unnamed type> _8;
  <unnamed type> Uart_TransmitStatus.20_9;
  <unnamed type> Uart_ReceiveStatus.21_10;
  <unnamed type> Uart_TransmitStatus.22_11;
  <unnamed type> Uart_ReceiveStatus.23_12;
  Std_ReturnType _15;
  Std_ReturnType _42;

  <bb 2> [local count: 381663300]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Uart_ReceiveStatus ={v} 6;
  # DEBUG BEGIN_STMT
  Uart_TransmitStatus ={v} 6;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG timeout => T_timeout_23(D)
  # DEBUG BEGIN_STMT
  # DEBUG retVal => 1
  # DEBUG BEGIN_STMT
  if (txBuffer_24(D) == 0B)
    goto <bb 16>; [18.09%]
  else
    goto <bb 3>; [81.91%]

  <bb 3> [local count: 312620409]:
  if (rxBuffer_25(D) == 0B)
    goto <bb 16>; [30.95%]
  else
    goto <bb 4>; [69.05%]

  <bb 4> [local count: 215864392]:
  # DEBUG BEGIN_STMT
  _1 = (int) recvChannel_26(D);
  _2 = &RX_Buffer[_1][0];
  Uart_SetBuffer (recvChannel_26(D), _2, 20, 1);
  # DEBUG BEGIN_STMT
  _3 = Uart_AsyncReceive (recvChannel_26(D), rxBuffer_25(D), 20);
  R_Uart_Status ={v} _3;
  # DEBUG BEGIN_STMT
  T_Uart_Status.18_4 ={v} T_Uart_Status;
  if (T_Uart_Status.18_4 != 0)
    goto <bb 5>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 5> [local count: 73393893]:
  # DEBUG BEGIN_STMT
  Uart_Abort (recvChannel_26(D), 1);
  # DEBUG BEGIN_STMT
  goto <bb 16>; [100.00%]

  <bb 6> [local count: 142470499]:
  # DEBUG BEGIN_STMT
  Uart_SetBuffer (transChannel_30(D), txBuffer_24(D), sendLength_31(D), 0);
  # DEBUG BEGIN_STMT
  _5 = Uart_AsyncSend (transChannel_30(D), txBuffer_24(D), sendLength_31(D));
  T_Uart_Status ={v} _5;
  # DEBUG BEGIN_STMT
  T_Uart_Status.19_6 ={v} T_Uart_Status;
  if (T_Uart_Status.19_6 != 0)
    goto <bb 7>; [20.24%]
  else
    goto <bb 17>; [79.76%]

  <bb 7> [local count: 28836029]:
  # DEBUG BEGIN_STMT
  Uart_Abort (transChannel_30(D), 0);
  # DEBUG BEGIN_STMT
  goto <bb 16>; [100.00%]

  <bb 17> [local count: 113634470]:

  <bb 8> [local count: 1073741824]:
  # timeout_13 = PHI <T_timeout_23(D)(17), timeout_39(18)>
  # DEBUG timeout => timeout_13
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = Uart_GetStatus (transChannel_30(D), &T_bytesRemaining, 0);
  Uart_TransmitStatus ={v} _7;
  # DEBUG BEGIN_STMT
  _8 = Uart_GetStatus (recvChannel_26(D), &T_bytesRemaining, 1);
  Uart_ReceiveStatus ={v} _8;
  # DEBUG BEGIN_STMT
  Uart_TransmitStatus.20_9 ={v} Uart_TransmitStatus;
  if (Uart_TransmitStatus.20_9 != 0)
    goto <bb 9>; [96.34%]
  else
    goto <bb 11>; [3.66%]

  <bb 9> [local count: 1034442875]:
  Uart_ReceiveStatus.21_10 ={v} Uart_ReceiveStatus;
  if (Uart_ReceiveStatus.21_10 != 0)
    goto <bb 10>; [96.34%]
  else
    goto <bb 11>; [3.66%]

  <bb 10> [local count: 996582265]:
  timeout_39 = timeout_13 + 4294967295;
  # DEBUG timeout => timeout_39
  if (timeout_39 != 0)
    goto <bb 18>; [96.34%]
  else
    goto <bb 11>; [3.66%]

  <bb 18> [local count: 960107353]:
  goto <bb 8>; [100.00%]

  <bb 11> [local count: 113634471]:
  # DEBUG BEGIN_STMT
  Uart_TransmitStatus.22_11 ={v} Uart_TransmitStatus;
  if (Uart_TransmitStatus.22_11 != 0)
    goto <bb 12>; [33.00%]
  else
    goto <bb 13>; [67.00%]

  <bb 12> [local count: 37499375]:
  # DEBUG BEGIN_STMT
  Uart_Abort (transChannel_30(D), 0);
  # DEBUG BEGIN_STMT
  # DEBUG retVal => 1

  <bb 13> [local count: 113634471]:
  # DEBUG retVal => NULL
  # DEBUG BEGIN_STMT
  Uart_ReceiveStatus.23_12 ={v} Uart_ReceiveStatus;
  if (Uart_ReceiveStatus.23_12 != 0)
    goto <bb 14>; [33.00%]
  else
    goto <bb 15>; [67.00%]

  <bb 14> [local count: 37499375]:
  # DEBUG BEGIN_STMT
  Uart_Abort (recvChannel_26(D), 1);
  # DEBUG BEGIN_STMT
  # DEBUG retVal => 1

  <bb 15> [local count: 113634471]:
  # retVal_14 = PHI <1(14), 0(13)>
  # DEBUG retVal => retVal_14
  # DEBUG BEGIN_STMT
  _42 = (Std_ReturnType) retVal_14;

  <bb 16> [local count: 381663302]:
  # _15 = PHI <1(3), 1(5), 1(7), _42(15), 1(2)>
  T_bytesRemaining ={v} {CLOBBER};
  return _15;

}


TestDelay (uint32 delay)
{
  static volatile uint32 DelayTimer = 0;
  long unsigned int DelayTimer.16_1;
  long unsigned int _2;
  long unsigned int DelayTimer.17_3;

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

  <bb 3> [local count: 955630223]:
  # DEBUG BEGIN_STMT
  DelayTimer.16_1 ={v} DelayTimer;
  _2 = DelayTimer.16_1 + 1;
  DelayTimer ={v} _2;

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  DelayTimer.17_3 ={v} DelayTimer;
  if (DelayTimer.17_3 < delay_6(D))
    goto <bb 3>; [89.00%]
  else
    goto <bb 5>; [11.00%]

  <bb 5> [local count: 118111601]:
  # DEBUG BEGIN_STMT
  DelayTimer ={v} 0;
  return;

}


CanIf_SendMessage (uint8 ControllerId, struct Can_Msg_Type CanMsg)
{
  Can_HwHandleType Hth;
  uint8 u8TimeOut;
  Std_ReturnType retVal;
  volatile Std_ReturnType CAN_Write_Status;
  volatile struct Can_PduType Can_PduInfo;
  short unsigned int _1;
  long unsigned int _2;
  <unnamed type> _3;
  unsigned char _4;
  uint8 * _5;
  unsigned char _6;
  unsigned char CAN_Write_Status.12_7;
  _Bool CanIf_bTxFlag.14_8;
  _Bool CanIf_bTxFlag.15_9;

  <bb 2> [local count: 138405320]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG retVal => 1
  # DEBUG BEGIN_STMT
  # DEBUG u8TimeOut => 100
  # DEBUG BEGIN_STMT
  _1 = (short unsigned int) ControllerId_14(D);
  Hth_15 = _1 + 1;
  # DEBUG Hth => Hth_15
  # DEBUG BEGIN_STMT
  _2 = CanMsg.id;
  _3 = CanMsg.idFrame;
  _4 = CanMsg.length;
  _5 = CanMsg.sdu;
  Can_PduInfo ={v} Can_CreatePduInfo (_2, _3, 0, _4, _5);
  # DEBUG BEGIN_STMT
  _6 = Can_Write (Hth_15, &Can_PduInfo);
  CAN_Write_Status ={v} _6;
  # DEBUG BEGIN_STMT
  CanIf_bTxFlag = 0;
  # DEBUG BEGIN_STMT
  CAN_Write_Status.12_7 ={v} CAN_Write_Status;
  if (CAN_Write_Status.12_7 == 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 9> [local count: 69202660]:
  goto <bb 4>; [100.00%]

  <bb 3> [local count: 1004539164]:
  # DEBUG BEGIN_STMT
  Can_MainFunction_Write ();
  # DEBUG BEGIN_STMT
  Can_DummyDelay (100);
  # DEBUG BEGIN_STMT
  u8TimeOut_23 = u8TimeOut_11 + 255;
  # DEBUG u8TimeOut => u8TimeOut_23

  <bb 4> [local count: 1073741824]:
  # u8TimeOut_11 = PHI <u8TimeOut_23(3), 100(9)>
  # DEBUG u8TimeOut => u8TimeOut_11
  # DEBUG BEGIN_STMT
  CanIf_bTxFlag.14_8 = CanIf_bTxFlag;
  if (CanIf_bTxFlag.14_8 != 0)
    goto <bb 6>; [5.50%]
  else
    goto <bb 5>; [94.50%]

  <bb 5> [local count: 1014686024]:
  if (u8TimeOut_11 != 0)
    goto <bb 3>; [99.00%]
  else
    goto <bb 6>; [1.00%]

  <bb 6> [local count: 138405321]:
  # DEBUG BEGIN_STMT
  CanIf_bTxFlag.15_9 = CanIf_bTxFlag;
  if (CanIf_bTxFlag.15_9 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 7> [local count: 69202660]:
  # DEBUG BEGIN_STMT
  # DEBUG retVal => 1

  <bb 8> [local count: 138405321]:
  # retVal_10 = PHI <0(6), 1(7)>
  # DEBUG retVal => retVal_10
  # DEBUG BEGIN_STMT
  return retVal_10;

}


Can_DummyDelay (uint32 loops)
{
  volatile uint32 contor2;
  volatile uint32 contor1;
  volatile uint32 data;
  long unsigned int contor1.5_1;
  int _2;
  long unsigned int _3;
  long unsigned int contor2.6_4;
  long unsigned int _5;
  long unsigned int data.7_6;
  long unsigned int _7;
  long unsigned int contor1.8_8;
  long unsigned int _9;
  long unsigned int contor1.9_10;
  long unsigned int contor2.10_11;
  long unsigned int _12;
  long unsigned int contor2.11_13;
  long unsigned int _23;

  <bb 2> [local count: 12992276]:
  # DEBUG BEGIN_STMT
  data ={v} 2857740885;
  # DEBUG BEGIN_STMT
  contor1 ={v} 0;
  # DEBUG BEGIN_STMT
  contor2 ={v} loops_19(D);

  <bb 3> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  contor1 ={v} 0;
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 955630224]:
  # DEBUG BEGIN_STMT
  contor1.5_1 ={v} contor1;
  _2 = 1 << contor1.5_1;
  _3 = (long unsigned int) _2;
  contor2.6_4 ={v} contor2;
  _5 = _3 | contor2.6_4;
  _23 = _5 | 11184810;
  data.7_6 ={v} data;
  _7 = data.7_6 ^ _23;
  data ={v} _7;
  # DEBUG BEGIN_STMT
  contor1.8_8 ={v} contor1;
  _9 = contor1.8_8 + 1;
  contor1 ={v} _9;

  <bb 5> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  contor1.9_10 ={v} contor1;
  if (contor1.9_10 <= 766)
    goto <bb 4>; [89.00%]
  else
    goto <bb 6>; [11.00%]

  <bb 6> [local count: 118111601]:
  # DEBUG BEGIN_STMT
  contor2.10_11 ={v} contor2;
  _12 = contor2.10_11 + 4294967295;
  contor2 ={v} _12;
  # DEBUG BEGIN_STMT
  contor2.11_13 ={v} contor2;
  if (contor2.11_13 != 0)
    goto <bb 8>; [89.00%]
  else
    goto <bb 7>; [11.00%]

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

  <bb 7> [local count: 12992276]:
  return;

}


CanIf_CurrentIcomConfiguration (uint8 ControllerId, IcomConfigIdType ConfigurationId, IcomSwitch_ErrorType Error)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return;

}


CanIf_RxIndication (const struct Can_HwType * Mailbox, const struct PduInfoType * PduInfoPtr)
{
  long unsigned int _1;
  long unsigned int _2;
  unsigned char _3;
  uint8 * _4;
  unsigned char CanIf_u8RxIndicationCnt.2_5;
  int _6;
  struct Can_Msg_Type * _7;
  unsigned char _8;
  long unsigned int _14;
  long unsigned int _15;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  CanIf_bRxFlag = 1;
  # DEBUG BEGIN_STMT
  _1 = Mailbox_11(D)->CanId;
  _2 = PduInfoPtr_12(D)->SduLength;
  _3 = (unsigned char) _2;
  _4 = PduInfoPtr_12(D)->SduDataPtr;
  CanIf_u8RxIndicationCnt.2_5 = CanIf_u8RxIndicationCnt;
  _6 = (int) CanIf_u8RxIndicationCnt.2_5;
  # DEBUG id => _1
  # DEBUG length => _3
  # DEBUG sdu => _4
  # DEBUG INLINE_ENTRY Can_GetMsgInfo
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _14 = _1 & 1073741823;
  # DEBUG CanMsgInfo$id => _14
  # DEBUG BEGIN_STMT
  _15 = _1 >> 30;
  # DEBUG CanMsgInfo$4 => _15
  # DEBUG BEGIN_STMT
  # DEBUG CanMsgInfo$length => _3
  # DEBUG BEGIN_STMT
  # DEBUG CanMsgInfo$sdu => _4
  # DEBUG BEGIN_STMT
  # DEBUG D#5 => {CLOBBER}
  # DEBUG CanMsgInfo$id => D#5
  # DEBUG D#6 => {CLOBBER}
  # DEBUG CanMsgInfo$4 => D#6
  # DEBUG D#7 => {CLOBBER}
  # DEBUG CanMsgInfo$length => D#7
  # DEBUG D#8 => {CLOBBER}
  # DEBUG CanMsgInfo$sdu => D#8
  # DEBUG id => NULL
  # DEBUG length => NULL
  # DEBUG sdu => NULL
  _7 = &canRxMsg_Buff[_6];
  MEM[(struct  *)_7] = _14;
  MEM[(struct  *)_7 + 4B] = _15;
  MEM[(struct  *)_7 + 8B] = _3;
  MEM[(struct  *)_7 + 12B] = _4;
  # DEBUG BEGIN_STMT
  _8 = CanIf_u8RxIndicationCnt.2_5 + 1;
  CanIf_u8RxIndicationCnt = _8;
  return;

}


CanIf_TxConfirmation (PduIdType CanTxPduId)
{
  unsigned char CanIf_u8TxConfirmCnt.0_1;
  unsigned char _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  CanIf_u8TxConfirmCnt.0_1 = CanIf_u8TxConfirmCnt;
  _2 = CanIf_u8TxConfirmCnt.0_1 + 1;
  CanIf_u8TxConfirmCnt = _2;
  # DEBUG BEGIN_STMT
  CanIf_bTxFlag = 1;
  # DEBUG BEGIN_STMT
  return;

}


CanIf_ControllerModeIndication (uint8 ControllerId, Can_ControllerStateType ControllerMode)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return;

}


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

}


Can_GetMsgInfo (Can_IdType id, uint8 length, uint8 * sdu)
{
  long unsigned int _1;
  long unsigned int _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = id_3(D) & 1073741823;
  # DEBUG CanMsgInfo$id => _1
  # DEBUG BEGIN_STMT
  _2 = id_3(D) >> 30;
  # DEBUG CanMsgInfo$4 => _2
  # DEBUG BEGIN_STMT
  # DEBUG CanMsgInfo$length => length_5(D)
  # DEBUG BEGIN_STMT
  # DEBUG CanMsgInfo$sdu => sdu_6(D)
  # DEBUG BEGIN_STMT
  MEM[(struct  *)&<retval>] = _1;
  MEM[(struct  *)&<retval> + 4B] = _2;
  MEM[(struct  *)&<retval> + 8B] = length_5(D);
  MEM[(struct  *)&<retval> + 12B] = sdu_6(D);
  # DEBUG D#5 => {CLOBBER}
  # DEBUG CanMsgInfo$id => D#5
  # DEBUG D#6 => {CLOBBER}
  # DEBUG CanMsgInfo$4 => D#6
  # DEBUG D#7 => {CLOBBER}
  # DEBUG CanMsgInfo$length => D#7
  # DEBUG D#8 => {CLOBBER}
  # DEBUG CanMsgInfo$sdu => D#8
  return <retval>;

}


Can_CreatePduInfo (Can_IdType id, CAN_IdFrameType idFrame, PduIdType swPduHandle, uint8 length, uint8 * sdu)
{
  long unsigned int _1;

  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  switch (idFrame_3(D)) <default: <L4> [20.00%], case 0: <L0> [20.00%], case 1: <L1> [20.00%], case 2: <L2> [20.00%], case 3: <L3> [20.00%]>

  <bb 3> [local count: 214748364]:
<L0>:
  # DEBUG BEGIN_STMT
  id_8 = id_4(D) & 2047;
  # DEBUG id => id_8
  # DEBUG BEGIN_STMT
  goto <bb 8>; [100.00%]

  <bb 4> [local count: 214748364]:
<L1>:
  # DEBUG BEGIN_STMT
  _1 = id_4(D) & 2047;
  id_7 = _1 | 1073741824;
  # DEBUG id => id_7
  # DEBUG BEGIN_STMT
  goto <bb 8>; [100.00%]

  <bb 5> [local count: 214748364]:
<L2>:
  # DEBUG BEGIN_STMT
  id_6 = id_4(D) | 2147483648;
  # DEBUG id => id_6
  # DEBUG BEGIN_STMT
  goto <bb 8>; [100.00%]

  <bb 6> [local count: 214748364]:
<L3>:
  # DEBUG BEGIN_STMT
  id_5 = id_4(D) | 3221225472;
  # DEBUG id => id_5
  # DEBUG BEGIN_STMT
  goto <bb 8>; [100.00%]

  <bb 7> [local count: 214748364]:
<L4>:
  # DEBUG BEGIN_STMT
  id_9 = id_4(D) & 2047;
  # DEBUG id => id_9
  # DEBUG BEGIN_STMT

  <bb 8> [local count: 1073741824]:
  # id_2 = PHI <id_8(3), id_7(4), id_6(5), id_5(6), id_9(7)>
  # DEBUG id => id_2
  # DEBUG BEGIN_STMT
  # DEBUG PduInfo$id => id_2
  # DEBUG BEGIN_STMT
  # DEBUG PduInfo$swPduHandle => swPduHandle_11(D)
  # DEBUG BEGIN_STMT
  # DEBUG PduInfo$length => length_12(D)
  # DEBUG BEGIN_STMT
  # DEBUG PduInfo$sdu => sdu_13(D)
  # DEBUG BEGIN_STMT
  MEM[(struct  *)&<retval>] = id_2;
  MEM[(struct  *)&<retval> + 4B] = swPduHandle_11(D);
  MEM[(struct  *)&<retval> + 6B] = length_12(D);
  MEM[(struct  *)&<retval> + 8B] = sdu_13(D);
  # DEBUG D#1 => {CLOBBER}
  # DEBUG PduInfo$id => D#1
  # DEBUG D#2 => {CLOBBER}
  # DEBUG PduInfo$swPduHandle => D#2
  # DEBUG D#3 => {CLOBBER}
  # DEBUG PduInfo$length => D#3
  # DEBUG D#4 => {CLOBBER}
  # DEBUG PduInfo$sdu => D#4
  return <retval>;

}


