Symbol table:

Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0) @05f0c7e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly artificial
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: local
  Function flags: count:729558 (estimated locally) first_run:1 body local split_part optimize_size
  Called by: Flexio_Uart_Ip_CompleteReceiveUsingDma/50 (107374 (estimated locally),0.50 per call) 
  Calls: Dma_Ip_GetLogicChannelStatus/80 (729558 (estimated locally),1.00 per call) Dma_Ip_SetLogicChannelCommand/71 (147663 (estimated locally),0.20 per call) Dma_Ip_SetLogicChannelTransferList/70 (214748 (estimated locally),0.29 per call) Dma_Ip_SetLogicChannelCommand/71 (107374 (estimated locally),0.15 per call) Flexio_Uart_Ip_SetShifterInterrupt/36 (440979 (estimated locally),0.60 per call) Flexio_Mcl_Ip_SetTimerInterrupt/60 (440979 (estimated locally),0.60 per call) Flexio_Mcl_Ip_SetShifterDMARequest/61 (440979 (estimated locally),0.60 per call) Flexio_Mcl_Ip_SetTimerInterrupt/60 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_StartTimeout/18 (440979 (estimated locally),0.60 per call) Flexio_Mcl_Ip_GetTimerStatus/59 (4122263 (estimated locally),5.65 per call) Flexio_Uart_Ip_CheckTimeout/19 (3895539 (estimated locally),5.34 per call) Flexio_Uart_Ip_CheckTimeout/19 (440979 (estimated locally),0.60 per call) 
   Indirect call(51682 (estimated locally),0.07 per call) 
   Indirect call(156063 (estimated locally),0.21 per call) 
   Indirect call(104953 (estimated locally),0.14 per call) 
Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (Flexio_Uart_Ip_CompleteSendUsingDma.part.0) @05e63620
  Type: function definition analyzed
  Visibility: prevailing_def_ironly artificial
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: local
  Function flags: count:729558 (estimated locally) first_run:1 body local split_part optimize_size
  Called by: Flexio_Uart_Ip_CompleteSendUsingDma/49 (107374 (estimated locally),0.50 per call) 
  Calls: Dma_Ip_GetLogicChannelStatus/80 (729558 (estimated locally),1.00 per call) Dma_Ip_SetLogicChannelCommand/71 (147663 (estimated locally),0.20 per call) Dma_Ip_SetLogicChannelTransferList/70 (214748 (estimated locally),0.29 per call) Dma_Ip_SetLogicChannelCommand/71 (107374 (estimated locally),0.15 per call) Flexio_Mcl_Ip_SetShifterDMARequest/61 (440979 (estimated locally),0.60 per call) Flexio_Mcl_Ip_SetTimerInterrupt/60 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_StartTimeout/18 (440979 (estimated locally),0.60 per call) Flexio_Mcl_Ip_GetTimerStatus/59 (4122263 (estimated locally),5.65 per call) Flexio_Uart_Ip_CheckTimeout/19 (3895539 (estimated locally),5.34 per call) Flexio_Uart_Ip_CheckTimeout/19 (440979 (estimated locally),0.60 per call) 
   Indirect call(51682 (estimated locally),0.07 per call) 
   Indirect call(156063 (estimated locally),0.21 per call) 
   Indirect call(104953 (estimated locally),0.14 per call) 
Flexio_Uart_Ip_GetStatus.part.0/113 (Flexio_Uart_Ip_GetStatus.part.0) @068dd7e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly artificial
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: local
  Function flags: count:214748 (estimated locally) first_run:1 body local split_part optimize_size
  Called by: Flexio_Uart_Ip_GetStatus/45 (107374 (estimated locally),0.50 per call) 
  Calls: Dma_Ip_GetLogicChannelParam/72 (12402 (estimated locally),0.06 per call) 
Dma_Ip_GetLogicChannelStatus/80 (Dma_Ip_GetLogicChannelStatus) @067b68c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (729558 (estimated locally),1.00 per call) Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (729558 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Mcl_Ip_GetShifterErrorStatus/79 (Flexio_Mcl_Ip_GetShifterErrorStatus) @067b6620
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_CheckShifterErrorStatus/35 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
SchM_Exit_Uart_UART_EXCLUSIVE_AREA_07/78 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_07) @067b6380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_SyncReceive/48 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_SyncReceive/48 (1174 (estimated locally),0.01 per call) 
  Calls: 
SchM_Enter_Uart_UART_EXCLUSIVE_AREA_07/77 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_07) @067b62a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_SyncReceive/48 (3355 (estimated locally),0.02 per call) 
  Calls: 
SchM_Exit_Uart_UART_EXCLUSIVE_AREA_06/76 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_06) @067a0e00
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_AsyncReceive/47 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_AsyncReceive/47 (1174 (estimated locally),0.01 per call) 
  Calls: 
SchM_Enter_Uart_UART_EXCLUSIVE_AREA_06/75 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_06) @067a0d20
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_AsyncReceive/47 (3355 (estimated locally),0.02 per call) 
  Calls: 
SchM_Exit_Uart_UART_EXCLUSIVE_AREA_05/74 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_05) @067a0b60
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_SyncSend/46 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_SyncSend/46 (1174 (estimated locally),0.01 per call) 
  Calls: 
SchM_Enter_Uart_UART_EXCLUSIVE_AREA_05/73 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_05) @067a0a80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_SyncSend/46 (3355 (estimated locally),0.02 per call) 
  Calls: 
Dma_Ip_GetLogicChannelParam/72 (Dma_Ip_GetLogicChannelParam) @067a07e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_GetStatus.part.0/113 (12402 (estimated locally),0.06 per call) 
  Calls: 
Dma_Ip_SetLogicChannelCommand/71 (Dma_Ip_SetLogicChannelCommand) @067a0620
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_AbortTransferData/51 (6711 (estimated locally),0.03 per call) Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (147663 (estimated locally),0.20 per call) Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (107374 (estimated locally),0.15 per call) Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (147663 (estimated locally),0.20 per call) Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (107374 (estimated locally),0.15 per call) Flexio_Uart_Ip_StartReceiveDataUsingDma/40 (107374 (estimated locally),0.50 per call) Flexio_Uart_Ip_StartSendDataUsingDma/39 (107374 (estimated locally),0.50 per call) 
  Calls: 
Dma_Ip_SetLogicChannelTransferList/70 (Dma_Ip_SetLogicChannelTransferList) @067a0540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (214748 (estimated locally),0.29 per call) Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (214748 (estimated locally),0.29 per call) Flexio_Uart_Ip_StartReceiveDataUsingDma/40 (214748 (estimated locally),1.00 per call) Flexio_Uart_Ip_StartSendDataUsingDma/39 (214748 (estimated locally),1.00 per call) 
  Calls: 
SchM_Exit_Uart_UART_EXCLUSIVE_AREA_04/69 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_04) @067a0380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_AsyncSend/44 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_AsyncSend/44 (1174 (estimated locally),0.01 per call) 
  Calls: 
SchM_Enter_Uart_UART_EXCLUSIVE_AREA_04/68 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_04) @067a02a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_AsyncSend/44 (3355 (estimated locally),0.02 per call) 
  Calls: 
Flexio_Mcl_Ip_SetSoftwareReset/67 (Flexio_Mcl_Ip_SetSoftwareReset) @067a00e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_Deinit/43 (53687 (estimated locally),0.25 per call) Flexio_Uart_Ip_Deinit/43 (53687 (estimated locally),0.25 per call) 
  Calls: 
OsIf_GetElapsed/66 (OsIf_GetElapsed) @06852700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_CheckTimeout/19 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
OsIf_MicrosToTicks/65 (OsIf_MicrosToTicks) @06852540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_StartTimeout/18 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
OsIf_GetCounter/64 (OsIf_GetCounter) @06852460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_StartTimeout/18 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Mcl_Ip_SetShifterErrorInterrupt/63 (Flexio_Mcl_Ip_SetShifterErrorInterrupt) @068522a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_SetShifterInterrupt/36 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Mcl_Ip_SetShifterInterrupt/62 (Flexio_Mcl_Ip_SetShifterInterrupt) @068521c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_SetShifterInterrupt/36 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_CheckCompleteTransferData/32 (116930484 (estimated locally),0.11 per call) 
  Calls: 
Flexio_Mcl_Ip_SetShifterDMARequest/61 (Flexio_Mcl_Ip_SetShifterDMARequest) @06852000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_StartReceiveDataUsingDma/40 (53687 (estimated locally),0.25 per call) Flexio_Uart_Ip_StartSendDataUsingDma/39 (53687 (estimated locally),0.25 per call) Flexio_Uart_Ip_EndTransfer/28 (357878150 (estimated locally),0.33 per call) 
  Calls: 
Flexio_Mcl_Ip_SetTimerInterrupt/60 (Flexio_Mcl_Ip_SetTimerInterrupt) @0677b0e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_EndTransfer/28 (357878150 (estimated locally),0.33 per call) Flexio_Uart_Ip_EndTransfer/28 (357878150 (estimated locally),0.33 per call) Flexio_Uart_Ip_CheckCompleteTransferData/32 (116930484 (estimated locally),0.11 per call) 
  Calls: 
Flexio_Mcl_Ip_GetTimerStatus/59 (Flexio_Mcl_Ip_GetTimerStatus) @0677be00
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (4122263 (estimated locally),5.65 per call) Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (4122263 (estimated locally),5.65 per call) Flexio_Uart_Ip_StopTransfer/29 (1073741824 (estimated locally),1.89 per call) 
  Calls: 
Flexio_Mcl_Ip_GetShifterStatus/58 (Flexio_Mcl_Ip_GetShifterStatus) @0677bb60
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_SyncReceive/48 (178806 (estimated locally),0.83 per call) Flexio_Uart_Ip_SyncSend/46 (263332 (estimated locally),1.23 per call) Flexio_Uart_Ip_CheckTxOperation/31 (89925878 (estimated locally),0.08 per call) 
  Calls: 
Flexio_Mcl_Ip_ClearShifterErrorStatus/57 (Flexio_Mcl_Ip_ClearShifterErrorStatus) @0677b8c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_IrqHandler/25 (187153200 (estimated locally),0.17 per call) Flexio_Uart_Ip_CheckShifterErrorStatus/35 (354334802 (estimated locally),0.33 per call) Flexio_Uart_Ip_CheckRxOperation/34 (177167401 (estimated locally),0.17 per call) Flexio_Uart_Ip_StopTransfer/29 (567507571 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Mcl_Ip_ClearShifterStatus/56 (Flexio_Mcl_Ip_ClearShifterStatus) @0677b7e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_IrqHandler/25 (187153200 (estimated locally),0.17 per call) Flexio_Uart_Ip_CheckRxOperation/34 (268435456 (estimated locally),0.25 per call) Flexio_Uart_Ip_CheckRxOperation/34 (134217728 (estimated locally),0.13 per call) Flexio_Uart_Ip_CheckTxOperation/31 (67108864 (estimated locally),0.06 per call) Flexio_Uart_Ip_CheckTxOperation/31 (89925878 (estimated locally),0.08 per call) Flexio_Uart_Ip_EnableReceiver/38 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Mcl_Ip_ClearTimerStatus/55 (Flexio_Mcl_Ip_ClearTimerStatus) @0677b700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Flexio_Uart_Ip_SyncReceive/48 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_SyncSend/46 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_IrqHandler/25 (187153200 (estimated locally),0.17 per call) Flexio_Uart_Ip_CheckTxOperation/31 (88583701 (estimated locally),0.08 per call) Flexio_Uart_Ip_CheckCompleteTransferData/32 (354334801 (estimated locally),0.33 per call) 
  Calls: 
Flexio_Uart_Ip_SetRxBuffer/54 (Flexio_Uart_Ip_SetRxBuffer) @0677b2a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Flexio_Uart_Ip_SetTxBuffer/53 (Flexio_Uart_Ip_SetTxBuffer) @0677b000
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Flexio_Uart_Ip_SetBaudRate/52 (Flexio_Uart_Ip_SetBaudRate) @06760a80
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Flexio_Uart_Ip_SetTimerCondition/6 (7197 (estimated locally),0.03 per call) Flexio_Uart_Ip_SetTimerStartStopBitConfig/5 (7197 (estimated locally),0.03 per call) Flexio_Uart_Ip_SetTimerConfig/4 (7197 (estimated locally),0.03 per call) Flexio_Uart_Ip_SetTimerCondition/6 (3708 (estimated locally),0.02 per call) Flexio_Uart_Ip_SetTimerStartStopBitConfig/5 (3708 (estimated locally),0.02 per call) Flexio_Uart_Ip_SetTimerConfig/4 (3708 (estimated locally),0.02 per call) 
Flexio_Uart_Ip_AbortTransferData/51 (Flexio_Uart_Ip_AbortTransferData) @06760380
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Flexio_Uart_Ip_CompleteReceiveUsingDma/50 (4429 (estimated locally),0.02 per call) Flexio_Uart_Ip_CompleteSendUsingDma/49 (2282 (estimated locally),0.01 per call) Dma_Ip_SetLogicChannelCommand/71 (6711 (estimated locally),0.03 per call) Flexio_Uart_Ip_StopTransfer/29 (6711 (estimated locally),0.03 per call) 
Flexio_Uart_Ip_CompleteReceiveUsingDma/50 (Flexio_Uart_Ip_CompleteReceiveUsingDma) @06760ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: Flexio_Uart_Ip_AbortTransferData/51 (4429 (estimated locally),0.02 per call) 
  Calls: Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (107374 (estimated locally),0.50 per call) 
Flexio_Uart_Ip_CompleteSendUsingDma/49 (Flexio_Uart_Ip_CompleteSendUsingDma) @06760c40
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: Flexio_Uart_Ip_AbortTransferData/51 (2282 (estimated locally),0.01 per call) 
  Calls: Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (107374 (estimated locally),0.50 per call) 
Flexio_Uart_Ip_SyncReceive/48 (Flexio_Uart_Ip_SyncReceive) @067609a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Flexio_Mcl_Ip_ClearTimerStatus/55 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_CheckTimeout/19 (441 (estimated locally),0.00 per call) Flexio_Uart_Ip_CheckTimeout/19 (19854 (estimated locally),0.09 per call) Flexio_Uart_Ip_ReadData/33 (18428 (estimated locally),0.09 per call) Flexio_Uart_Ip_CheckShifterErrorStatus/35 (19128 (estimated locally),0.09 per call) Flexio_Uart_Ip_CheckTimeout/19 (168972 (estimated locally),0.79 per call) Flexio_Mcl_Ip_GetShifterStatus/58 (178806 (estimated locally),0.83 per call) Flexio_Uart_Ip_StartTimeout/18 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_SetupReceiveData/37 (2181 (estimated locally),0.01 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_07/78 (2181 (estimated locally),0.01 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_07/78 (1174 (estimated locally),0.01 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_07/77 (3355 (estimated locally),0.02 per call) 
Flexio_Uart_Ip_AsyncReceive/47 (Flexio_Uart_Ip_AsyncReceive) @06760620
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Flexio_Uart_Ip_StartReceiveDataUsingDma/40 (727 (estimated locally),0.00 per call) Flexio_Uart_Ip_SetShifterInterrupt/36 (727 (estimated locally),0.00 per call) Flexio_Uart_Ip_EnableReceiver/38 (2181 (estimated locally),0.01 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_06/76 (2181 (estimated locally),0.01 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_06/76 (1174 (estimated locally),0.01 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_06/75 (3355 (estimated locally),0.02 per call) 
Flexio_Uart_Ip_SyncSend/46 (Flexio_Uart_Ip_SyncSend) @067602a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Flexio_Mcl_Ip_ClearTimerStatus/55 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_CheckTimeout/19 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_CheckTimeout/19 (29240 (estimated locally),0.14 per call) Flexio_Uart_Ip_CheckTimeout/19 (248849 (estimated locally),1.16 per call) Flexio_Mcl_Ip_GetShifterStatus/58 (263332 (estimated locally),1.23 per call) Flexio_Uart_Ip_WriteData/30 (28170 (estimated locally),0.13 per call) Flexio_Uart_Ip_StartTimeout/18 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_SetShifterInterrupt/36 (2181 (estimated locally),0.01 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_05/74 (2181 (estimated locally),0.01 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_05/74 (1174 (estimated locally),0.01 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_05/73 (3355 (estimated locally),0.02 per call) 
Flexio_Uart_Ip_GetStatus/45 (Flexio_Uart_Ip_GetStatus) @066d9ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: Flexio_Uart_Ip_Deinit/43 (501865 (estimated locally),2.34 per call) 
  Calls: Flexio_Uart_Ip_GetStatus.part.0/113 (107374 (estimated locally),0.50 per call) 
Flexio_Uart_Ip_AsyncSend/44 (Flexio_Uart_Ip_AsyncSend) @066d98c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Flexio_Uart_Ip_StartSendDataUsingDma/39 (727 (estimated locally),0.00 per call) Flexio_Uart_Ip_SetShifterInterrupt/36 (727 (estimated locally),0.00 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_04/69 (2181 (estimated locally),0.01 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_04/69 (1174 (estimated locally),0.01 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_04/68 (3355 (estimated locally),0.02 per call) 
Flexio_Uart_Ip_Deinit/43 (Flexio_Uart_Ip_Deinit) @066d9e00
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apStateStructuresArray/24 (write)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Flexio_Mcl_Ip_SetSoftwareReset/67 (53687 (estimated locally),0.25 per call) Flexio_Mcl_Ip_SetSoftwareReset/67 (53687 (estimated locally),0.25 per call) Flexio_Uart_Ip_SetShifterInterrupt/36 (53687 (estimated locally),0.25 per call) Flexio_Uart_Ip_CheckTimeout/19 (474262 (estimated locally),2.21 per call) Flexio_Uart_Ip_GetStatus/45 (501865 (estimated locally),2.34 per call) Flexio_Uart_Ip_StartTimeout/18 (53687 (estimated locally),0.25 per call) 
Flexio_Uart_Ip_GetBaudRate/42 (Flexio_Uart_Ip_GetBaudRate) @066d9a80
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Flexio_Uart_Ip_Init/41 (Flexio_Uart_Ip_Init) @066d97e0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apStateStructuresArray/24 (write)Flexio_Uart_Ip_apUserConfig/23 (write)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Flexio_Uart_Ip_ConfigureRx/27 (17717 (estimated locally),0.08 per call) Flexio_Uart_Ip_ConfigureTx/26 (9127 (estimated locally),0.04 per call) 
Flexio_Uart_Ip_StartReceiveDataUsingDma/40 (Flexio_Uart_Ip_StartReceiveDataUsingDma) @066d9460
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: local
  Function flags: count:214748 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_AsyncReceive/47 (727 (estimated locally),0.00 per call) 
  Calls: Flexio_Mcl_Ip_SetShifterDMARequest/61 (53687 (estimated locally),0.25 per call) Dma_Ip_SetLogicChannelCommand/71 (107374 (estimated locally),0.50 per call) Dma_Ip_SetLogicChannelTransferList/70 (214748 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_StartSendDataUsingDma/39 (Flexio_Uart_Ip_StartSendDataUsingDma) @066d90e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: local
  Function flags: count:214748 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_AsyncSend/44 (727 (estimated locally),0.00 per call) 
  Calls: Flexio_Mcl_Ip_SetShifterDMARequest/61 (53687 (estimated locally),0.25 per call) Dma_Ip_SetLogicChannelCommand/71 (107374 (estimated locally),0.50 per call) Dma_Ip_SetLogicChannelTransferList/70 (214748 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_EnableReceiver/38 (Flexio_Uart_Ip_EnableReceiver) @066cab60
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_AsyncReceive/47 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_SetupReceiveData/37 (1073741824 (estimated locally),1.00 per call) 
  Calls: Flexio_Mcl_Ip_ClearShifterStatus/56 (1073741824 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_SetupReceiveData/37 (Flexio_Uart_Ip_SetupReceiveData) @066ca540
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_SyncReceive/48 (2181 (estimated locally),0.01 per call) 
  Calls: Flexio_Uart_Ip_EnableReceiver/38 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetShifterInterrupt/36 (1073741824 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_SetShifterInterrupt/36 (Flexio_Uart_Ip_SetShifterInterrupt) @066ca000
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_AsyncReceive/47 (727 (estimated locally),0.00 per call) Flexio_Uart_Ip_SyncSend/46 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_Deinit/43 (53687 (estimated locally),0.25 per call) Flexio_Uart_Ip_AsyncSend/44 (727 (estimated locally),0.00 per call) Flexio_Uart_Ip_SetupReceiveData/37 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_EndTransfer/28 (357878150 (estimated locally),0.33 per call) 
  Calls: Flexio_Mcl_Ip_SetShifterErrorInterrupt/63 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_SetShifterInterrupt/62 (1073741824 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_CheckShifterErrorStatus/35 (Flexio_Uart_Ip_CheckShifterErrorStatus) @066cad20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_SyncReceive/48 (19128 (estimated locally),0.09 per call) 
  Calls: Flexio_Mcl_Ip_ClearShifterErrorStatus/57 (354334802 (estimated locally),0.33 per call) Flexio_Mcl_Ip_GetShifterErrorStatus/79 (1073741824 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_CheckRxOperation/34 (Flexio_Uart_Ip_CheckRxOperation) @066caa80
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741823 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_IrqHandler/25 (585148493 (estimated locally),0.54 per call) 
  Calls: Flexio_Uart_Ip_StopTransfer/29 (268435456 (estimated locally),0.25 per call) Flexio_Mcl_Ip_ClearShifterStatus/56 (268435456 (estimated locally),0.25 per call) Flexio_Uart_Ip_ReadData/33 (134217728 (estimated locally),0.13 per call) Flexio_Mcl_Ip_ClearShifterStatus/56 (134217728 (estimated locally),0.13 per call) Flexio_Mcl_Ip_ClearShifterErrorStatus/57 (177167401 (estimated locally),0.17 per call) 
   Indirect call(187904819 (estimated locally),0.18 per call) 
   Indirect call(46976205 (estimated locally),0.04 per call) 
   Indirect call(251792457 (estimated locally),0.23 per call) 
Flexio_Uart_Ip_ReadData/33 (Flexio_Uart_Ip_ReadData) @066ca7e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: local
  Function flags: count:214748 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_SyncReceive/48 (18428 (estimated locally),0.09 per call) Flexio_Uart_Ip_CheckRxOperation/34 (134217728 (estimated locally),0.13 per call) 
  Calls: 
Flexio_Uart_Ip_CheckCompleteTransferData/32 (Flexio_Uart_Ip_CheckCompleteTransferData) @066ca460
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741821 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_CheckTxOperation/31 (67108864 (estimated locally),0.06 per call) 
  Calls: Flexio_Mcl_Ip_SetTimerInterrupt/60 (116930484 (estimated locally),0.11 per call) Flexio_Mcl_Ip_SetShifterInterrupt/62 (116930484 (estimated locally),0.11 per call) Flexio_Mcl_Ip_ClearTimerStatus/55 (354334801 (estimated locally),0.33 per call) 
   Indirect call(375809637 (estimated locally),0.35 per call) 
Flexio_Uart_Ip_CheckTxOperation/31 (Flexio_Uart_Ip_CheckTxOperation) @066ca1c0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_IrqHandler/25 (301440132 (estimated locally),0.28 per call) 
  Calls: Flexio_Uart_Ip_CheckCompleteTransferData/32 (67108864 (estimated locally),0.06 per call) Flexio_Uart_Ip_WriteData/30 (67108864 (estimated locally),0.06 per call) Flexio_Mcl_Ip_ClearShifterStatus/56 (67108864 (estimated locally),0.06 per call) Flexio_Mcl_Ip_GetShifterStatus/58 (89925878 (estimated locally),0.08 per call) Flexio_Uart_Ip_StopTransfer/29 (89925878 (estimated locally),0.08 per call) Flexio_Mcl_Ip_ClearShifterStatus/56 (89925878 (estimated locally),0.08 per call) Flexio_Mcl_Ip_ClearTimerStatus/55 (88583701 (estimated locally),0.08 per call) 
   Indirect call(62948114 (estimated locally),0.06 per call) 
Flexio_Uart_Ip_WriteData/30 (Flexio_Uart_Ip_WriteData) @06734ee0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Flexio_Uart_Ip_apUserConfig/23 (read)Flexio_Uart_Ip_apStateStructuresArray/24 (read)
  Referring: 
  Availability: local
  Function flags: count:214748 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_SyncSend/46 (28170 (estimated locally),0.13 per call) Flexio_Uart_Ip_CheckTxOperation/31 (67108864 (estimated locally),0.06 per call) 
  Calls: 
Flexio_Uart_Ip_StopTransfer/29 (Flexio_Uart_Ip_StopTransfer) @06734700
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Flexio_Uart_Ip_apUserConfig/23 (read)Flexio_Uart_Ip_apStateStructuresArray/24 (read)
  Referring: 
  Availability: local
  Function flags: count:567507571 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_AbortTransferData/51 (6711 (estimated locally),0.03 per call) Flexio_Uart_Ip_CheckRxOperation/34 (268435456 (estimated locally),0.25 per call) Flexio_Uart_Ip_CheckTxOperation/31 (89925878 (estimated locally),0.08 per call) 
  Calls: Flexio_Mcl_Ip_ClearShifterErrorStatus/57 (567507571 (estimated locally),1.00 per call) Flexio_Uart_Ip_CheckTimeout/19 (1014686025 (estimated locally),1.79 per call) Flexio_Mcl_Ip_GetTimerStatus/59 (1073741824 (estimated locally),1.89 per call) Flexio_Uart_Ip_StartTimeout/18 (114863532 (estimated locally),0.20 per call) Flexio_Uart_Ip_EndTransfer/28 (567507571 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_EndTransfer/28 (Flexio_Uart_Ip_EndTransfer) @06734e00
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Flexio_Uart_Ip_apStateStructuresArray/24 (read)Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_StopTransfer/29 (567507571 (estimated locally),1.00 per call) 
  Calls: Flexio_Mcl_Ip_SetShifterDMARequest/61 (357878150 (estimated locally),0.33 per call) Flexio_Mcl_Ip_SetTimerInterrupt/60 (357878150 (estimated locally),0.33 per call) Flexio_Mcl_Ip_SetTimerInterrupt/60 (357878150 (estimated locally),0.33 per call) Flexio_Uart_Ip_SetShifterInterrupt/36 (357878150 (estimated locally),0.33 per call) 
Flexio_Uart_Ip_ConfigureRx/27 (Flexio_Uart_Ip_ConfigureRx) @06734b60
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_Init/41 (17717 (estimated locally),0.08 per call) 
  Calls: Flexio_Uart_Ip_SetPinTimerControl/9 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetTimerTrigger/8 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetTimerCondition/6 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetTimerStartStopBitConfig/5 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetTimerConfig/4 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetPinShifterControl/2 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetShifterControl/1 (1073741824 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_ConfigureTx/26 (Flexio_Uart_Ip_ConfigureTx) @067348c0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_Init/41 (9127 (estimated locally),0.04 per call) 
  Calls: Flexio_Uart_Ip_SetPinTimerControl/9 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetTimerTrigger/8 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetTimerCondition/6 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetTimerStartStopBitConfig/5 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetTimerConfig/4 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetPinShifterControl/2 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_SetShifterControl/1 (1073741824 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_IrqHandler/25 (Flexio_Uart_Ip_IrqHandler) @06734620
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Flexio_Uart_Ip_apUserConfig/23 (read)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Flexio_Uart_Ip_CheckRxOperation/34 (585148493 (estimated locally),0.54 per call) Flexio_Uart_Ip_CheckTxOperation/31 (301440132 (estimated locally),0.28 per call) Flexio_Mcl_Ip_ClearShifterErrorStatus/57 (187153200 (estimated locally),0.17 per call) Flexio_Mcl_Ip_ClearShifterStatus/56 (187153200 (estimated locally),0.17 per call) Flexio_Mcl_Ip_ClearTimerStatus/55 (187153200 (estimated locally),0.17 per call) 
Flexio_Uart_Ip_apStateStructuresArray/24 (Flexio_Uart_Ip_apStateStructuresArray) @0672f480
  Type: variable definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: Flexio_Uart_Ip_EndTransfer/28 (read)Flexio_Uart_Ip_CheckCompleteTransferData/32 (read)Flexio_Uart_Ip_ReadData/33 (read)Flexio_Uart_Ip_SetBaudRate/52 (read)Flexio_Uart_Ip_WriteData/30 (read)Flexio_Uart_Ip_StopTransfer/29 (read)Flexio_Uart_Ip_SetTxBuffer/53 (read)Flexio_Uart_Ip_AbortTransferData/51 (read)Flexio_Uart_Ip_StartReceiveDataUsingDma/40 (read)Flexio_Uart_Ip_CheckShifterErrorStatus/35 (read)Flexio_Uart_Ip_Init/41 (read)Flexio_Uart_Ip_AsyncSend/44 (read)Flexio_Uart_Ip_Init/41 (write)Flexio_Uart_Ip_CheckTxOperation/31 (read)Flexio_Uart_Ip_GetBaudRate/42 (read)Flexio_Uart_Ip_GetStatus.part.0/113 (read)Flexio_Uart_Ip_Deinit/43 (write)Flexio_Uart_Ip_CheckRxOperation/34 (read)Flexio_Uart_Ip_SyncSend/46 (read)Flexio_Uart_Ip_StartSendDataUsingDma/39 (read)Flexio_Uart_Ip_AsyncReceive/47 (read)Flexio_Uart_Ip_SyncReceive/48 (read)Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (read)Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (read)Flexio_Uart_Ip_Deinit/43 (read)Flexio_Uart_Ip_SetRxBuffer/54 (read)
  Availability: available
  Varpool flags:
Flexio_Uart_Ip_apUserConfig/23 (Flexio_Uart_Ip_apUserConfig) @0672f3f0
  Type: variable definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: Flexio_Uart_Ip_StartSendDataUsingDma/39 (read)Flexio_Uart_Ip_EndTransfer/28 (read)Flexio_Uart_Ip_CheckCompleteTransferData/32 (read)Flexio_Uart_Ip_ReadData/33 (read)Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (read)Flexio_Uart_Ip_WriteData/30 (read)Flexio_Uart_Ip_StopTransfer/29 (read)Flexio_Uart_Ip_AbortTransferData/51 (read)Flexio_Uart_Ip_StartReceiveDataUsingDma/40 (read)Flexio_Uart_Ip_IrqHandler/25 (read)Flexio_Uart_Ip_CheckTxOperation/31 (read)Flexio_Uart_Ip_Init/41 (write)Flexio_Uart_Ip_AsyncSend/44 (read)Flexio_Uart_Ip_GetStatus.part.0/113 (read)Flexio_Uart_Ip_CheckRxOperation/34 (read)Flexio_Uart_Ip_SyncSend/46 (read)Flexio_Uart_Ip_AsyncReceive/47 (read)Flexio_Uart_Ip_SyncReceive/48 (read)Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (read)Flexio_Uart_Ip_SetBaudRate/52 (read)
  Availability: available
  Varpool flags:
Flexio_Uart_Ip_apStateStructure/21 (Flexio_Uart_Ip_apStateStructure) @0672f2d0
  Type: variable definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Varpool flags:
Flexio_Uart_Ip_CheckTimeout/19 (Flexio_Uart_Ip_CheckTimeout) @05f0cd20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (3895539 (estimated locally),5.34 per call) Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (3895539 (estimated locally),5.34 per call) Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_SyncReceive/48 (441 (estimated locally),0.00 per call) Flexio_Uart_Ip_SyncReceive/48 (19854 (estimated locally),0.09 per call) Flexio_Uart_Ip_SyncReceive/48 (168972 (estimated locally),0.79 per call) Flexio_Uart_Ip_SyncSend/46 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_SyncSend/46 (29240 (estimated locally),0.14 per call) Flexio_Uart_Ip_SyncSend/46 (248849 (estimated locally),1.16 per call) Flexio_Uart_Ip_Deinit/43 (474262 (estimated locally),2.21 per call) Flexio_Uart_Ip_StopTransfer/29 (1014686025 (estimated locally),1.79 per call) 
  Calls: OsIf_GetElapsed/66 (1073741824 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_StartTimeout/18 (Flexio_Uart_Ip_StartTimeout) @05f0ca80
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0/143 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_CompleteSendUsingDma.part.0/138 (440979 (estimated locally),0.60 per call) Flexio_Uart_Ip_SyncReceive/48 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_SyncSend/46 (2181 (estimated locally),0.01 per call) Flexio_Uart_Ip_Deinit/43 (53687 (estimated locally),0.25 per call) Flexio_Uart_Ip_StopTransfer/29 (114863532 (estimated locally),0.20 per call) 
  Calls: OsIf_MicrosToTicks/65 (1073741824 (estimated locally),1.00 per call) OsIf_GetCounter/64 (1073741824 (estimated locally),1.00 per call) 
Flexio_Uart_Ip_SetPinTimerControl/9 (Flexio_Uart_Ip_SetPinTimerControl) @05f09000
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_ConfigureRx/27 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_ConfigureTx/26 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Uart_Ip_SetTimerTrigger/8 (Flexio_Uart_Ip_SetTimerTrigger) @05ea7a80
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_ConfigureRx/27 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_ConfigureTx/26 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Uart_Ip_SetTimerCondition/6 (Flexio_Uart_Ip_SetTimerCondition) @05ea71c0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_SetBaudRate/52 (7197 (estimated locally),0.03 per call) Flexio_Uart_Ip_SetBaudRate/52 (3708 (estimated locally),0.02 per call) Flexio_Uart_Ip_ConfigureRx/27 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_ConfigureTx/26 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Uart_Ip_SetTimerStartStopBitConfig/5 (Flexio_Uart_Ip_SetTimerStartStopBitConfig) @05ea1d20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_SetBaudRate/52 (7197 (estimated locally),0.03 per call) Flexio_Uart_Ip_SetBaudRate/52 (3708 (estimated locally),0.02 per call) Flexio_Uart_Ip_ConfigureRx/27 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_ConfigureTx/26 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Uart_Ip_SetTimerConfig/4 (Flexio_Uart_Ip_SetTimerConfig) @05ea18c0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_SetBaudRate/52 (7197 (estimated locally),0.03 per call) Flexio_Uart_Ip_SetBaudRate/52 (3708 (estimated locally),0.02 per call) Flexio_Uart_Ip_ConfigureRx/27 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_ConfigureTx/26 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Uart_Ip_SetPinShifterControl/2 (Flexio_Uart_Ip_SetPinShifterControl) @05ea10e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_ConfigureRx/27 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_ConfigureTx/26 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Uart_Ip_SetShifterControl/1 (Flexio_Uart_Ip_SetShifterControl) @05e63b60
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Flexio_Uart_Ip_ConfigureRx/27 (1073741824 (estimated locally),1.00 per call) Flexio_Uart_Ip_ConfigureTx/26 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0 (uint8 Channel)
{
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Dma_Ip_LogicChannelTransferListType DmaTransferList[10];
  Dma_Ip_ReturnType DmaReturnStatus;
  struct Dma_Ip_LogicChannelStatusType DmaStatus;
  struct FLEXIO_Type * Base;
  uint32 StartTime;
  uint32 TimeoutTicks;
  uint32 ElapsedTicks;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  int _2;
  unsigned char _5;
  long unsigned int _6;
  <unnamed type> _7;
  unsigned char _8;
  long unsigned int _9;
  _Bool _11;
  _Bool x.1_12;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _13;
  long unsigned int _14;
  void * _15;
  <unnamed type> _16;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _17;
  long unsigned int _18;
  void * _19;
  long unsigned int _20;
  <unnamed type> _21;
  volatile uint8 * _22;
  long unsigned int _23;
  long unsigned int _24;
  unsigned char _25;
  long unsigned int _26;
  _Bool _28;
  _Bool x.1_29;
  unsigned char _30;
  long unsigned int _31;
  _Bool _33;
  _Bool x.1_34;
  unsigned int _35;
  unsigned char _36;
  _Bool _37;
  long unsigned int TimeoutTicks.19_38;
  _Bool _39;
  long unsigned int TimeoutTicks.20_40;
  _Bool _41;
  <unnamed type> _42;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _43;
  long unsigned int _44;
  void * _45;

  <bb 32> [local count: 729558]:

  <bb 2> [local count: 729558]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # 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
  ElapsedTicks = 0;
  # DEBUG BEGIN_STMT
  _2 = (int) Channel_1(D);
  UartState_3 = Flexio_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_3
  # DEBUG BEGIN_STMT
  UartUserCfg_4 = Flexio_Uart_Ip_apUserConfig[_2];
  # DEBUG UartUserCfg => UartUserCfg_4
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  _5 = UartUserCfg_4->DmaChannel;
  _6 = (long unsigned int) _5;
  Dma_Ip_GetLogicChannelStatus (_6, &DmaStatus);
  # DEBUG BEGIN_STMT
  _7 = DmaStatus.ChStateValue;
  if (_7 == 4)
    goto <bb 3>; [20.24%]
  else
    goto <bb 9>; [79.76%]

  <bb 3> [local count: 147663]:
  # DEBUG BEGIN_STMT
  _8 = UartUserCfg_4->DmaChannel;
  _9 = (long unsigned int) _8;
  DmaReturnStatus_10 = Dma_Ip_SetLogicChannelCommand (_9, 4);
  # DEBUG DmaReturnStatus => DmaReturnStatus_10
  # DEBUG BEGIN_STMT
  _11 = DmaReturnStatus_10 == 0;
  x ={v} _11;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_12 ={v} x;
  if (x.1_12 != 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 4> [local count: 73831]:

  <bb 5> [local count: 738314359]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 6> [local count: 738314359]:
  goto <bb 5>; [100.00%]

  <bb 7> [local count: 73831]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  UartState_3->Status ={v} 1;
  # DEBUG BEGIN_STMT
  _13 = UartUserCfg_4->Callback;
  if (_13 != 0B)
    goto <bb 8>; [70.00%]
  else
    goto <bb 9>; [30.00%]

  <bb 8> [local count: 51682]:
  # DEBUG BEGIN_STMT
  _14 = (long unsigned int) Channel_1(D);
  _15 = UartUserCfg_4->CallbackParam;
  _13 (_14, 3, _15);

  <bb 9> [local count: 655727]:
  # DEBUG BEGIN_STMT
  _16 ={v} UartState_3->Status;
  if (_16 == 2)
    goto <bb 10>; [34.00%]
  else
    goto <bb 12>; [66.00%]

  <bb 10> [local count: 222947]:
  # DEBUG BEGIN_STMT
  _17 = UartUserCfg_4->Callback;
  if (_17 != 0B)
    goto <bb 11>; [70.00%]
  else
    goto <bb 12>; [30.00%]

  <bb 11> [local count: 156063]:
  # DEBUG BEGIN_STMT
  _18 = (long unsigned int) Channel_1(D);
  _19 = UartUserCfg_4->CallbackParam;
  _17 (_18, 0, _19);

  <bb 12> [local count: 655727]:
  # DEBUG BEGIN_STMT
  _20 ={v} UartState_3->RemainingBytes;
  if (_20 != 0)
    goto <bb 13>; [67.00%]
  else
    goto <bb 22>; [33.00%]

  <bb 13> [local count: 439337]:
  _21 ={v} UartState_3->Status;
  if (_21 != 1)
    goto <bb 14>; [48.88%]
  else
    goto <bb 22>; [51.12%]

  <bb 14> [local count: 214748]:
  # DEBUG BEGIN_STMT
  DmaTransferList[0].Param = 5;
  # DEBUG BEGIN_STMT
  _22 = UartState_3->RxData;
  _23 = (long unsigned int) _22;
  DmaTransferList[0].Value = _23;
  # DEBUG BEGIN_STMT
  DmaTransferList[1].Param = 18;
  # DEBUG BEGIN_STMT
  _24 ={v} UartState_3->RemainingBytes;
  DmaTransferList[1].Value = _24;
  # DEBUG BEGIN_STMT
  _25 = UartUserCfg_4->DmaChannel;
  _26 = (long unsigned int) _25;
  DmaReturnStatus_27 = Dma_Ip_SetLogicChannelTransferList (_26, &DmaTransferList, 2);
  # DEBUG DmaReturnStatus => DmaReturnStatus_27
  # DEBUG BEGIN_STMT
  _28 = DmaReturnStatus_27 == 0;
  x ={v} _28;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_29 ={v} x;
  if (x.1_29 != 0)
    goto <bb 18>; [50.00%]
  else
    goto <bb 15>; [50.00%]

  <bb 15> [local count: 107374]:

  <bb 16> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 17> [local count: 1073741824]:
  goto <bb 16>; [100.00%]

  <bb 18> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  UartState_3->RemainingBytes ={v} 0;
  # DEBUG BEGIN_STMT
  _30 = UartUserCfg_4->DmaChannel;
  _31 = (long unsigned int) _30;
  DmaReturnStatus_32 = Dma_Ip_SetLogicChannelCommand (_31, 0);
  # DEBUG DmaReturnStatus => DmaReturnStatus_32
  # DEBUG BEGIN_STMT
  _33 = DmaReturnStatus_32 == 0;
  x ={v} _33;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_34 ={v} x;
  if (x.1_34 != 0)
    goto <bb 31>; [50.00%]
  else
    goto <bb 19>; [50.00%]

  <bb 19> [local count: 53687]:

  <bb 20> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 21> [local count: 536870913]:
  goto <bb 20>; [100.00%]

  <bb 22> [local count: 440979]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetShifterInterrupt (Channel_1(D), 0);
  # DEBUG BEGIN_STMT
  _35 = 1 << _2;
  _36 = (unsigned char) _35;
  Flexio_Mcl_Ip_SetTimerInterrupt (1074110464B, _36, 0);
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_SetShifterDMARequest (1074110464B, _36, 0);
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_SetTimerInterrupt (1074110464B, _36, 0);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, 500000, 0);
  # DEBUG BEGIN_STMT

  <bb 23> [local count: 4122263]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _37 = Flexio_Mcl_Ip_GetTimerStatus (1074110464B, Channel_1(D));
  if (_37 != 0)
    goto <bb 26>; [5.50%]
  else
    goto <bb 24>; [94.50%]

  <bb 24> [local count: 3895539]:
  TimeoutTicks.19_38 = TimeoutTicks;
  _39 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.19_38, 0);
  if (_39 != 0)
    goto <bb 26>; [5.50%]
  else
    goto <bb 25>; [94.50%]

  <bb 25> [local count: 3681284]:
  goto <bb 23>; [100.00%]

  <bb 26> [local count: 440979]:
  # DEBUG BEGIN_STMT
  TimeoutTicks.20_40 = TimeoutTicks;
  _41 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.20_40, 0);
  if (_41 != 0)
    goto <bb 27>; [50.00%]
  else
    goto <bb 28>; [50.00%]

  <bb 27> [local count: 220490]:
  # DEBUG BEGIN_STMT
  UartState_3->Status ={v} 1;

  <bb 28> [local count: 440979]:
  # DEBUG BEGIN_STMT
  UartState_3->DriverIdle ={v} 0;
  # DEBUG BEGIN_STMT
  _42 ={v} UartState_3->Status;
  if (_42 == 2)
    goto <bb 29>; [34.00%]
  else
    goto <bb 31>; [66.00%]

  <bb 29> [local count: 149933]:
  # DEBUG BEGIN_STMT
  UartState_3->Status ={v} 0;
  # DEBUG BEGIN_STMT
  _43 = UartUserCfg_4->Callback;
  if (_43 != 0B)
    goto <bb 30>; [70.00%]
  else
    goto <bb 31>; [30.00%]

  <bb 30> [local count: 104953]:
  # DEBUG BEGIN_STMT
  _44 = (long unsigned int) Channel_1(D);
  _45 = UartUserCfg_4->CallbackParam;
  _43 (_44, 2, _45);

  <bb 31> [local count: 494666]:
  # DEBUG x => NULL
  DmaTransferList ={v} {CLOBBER};
  DmaStatus ={v} {CLOBBER};
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return;

}


Flexio_Uart_Ip_CompleteSendUsingDma.part.0 (uint8 Channel)
{
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Dma_Ip_LogicChannelTransferListType DmaTransferList[10];
  Dma_Ip_ReturnType DmaReturnStatus;
  struct Dma_Ip_LogicChannelStatusType DmaStatus;
  struct FLEXIO_Type * Base;
  uint32 StartTime;
  uint32 TimeoutTicks;
  uint32 ElapsedTicks;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  int _2;
  unsigned char _5;
  long unsigned int _6;
  <unnamed type> _7;
  unsigned char _8;
  long unsigned int _9;
  _Bool _11;
  _Bool x.1_12;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _13;
  long unsigned int _14;
  void * _15;
  <unnamed type> _16;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _17;
  long unsigned int _18;
  void * _19;
  long unsigned int _20;
  <unnamed type> _21;
  const uint8 * _22;
  long unsigned int _23;
  long unsigned int _24;
  unsigned char _25;
  long unsigned int _26;
  _Bool _28;
  _Bool x.1_29;
  unsigned char _30;
  long unsigned int _31;
  _Bool _33;
  _Bool x.1_34;
  unsigned int _35;
  unsigned char _36;
  _Bool _37;
  long unsigned int TimeoutTicks.17_38;
  _Bool _39;
  long unsigned int TimeoutTicks.18_40;
  _Bool _41;
  <unnamed type> _42;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _43;
  long unsigned int _44;
  void * _45;

  <bb 32> [local count: 729558]:

  <bb 2> [local count: 729558]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # 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
  ElapsedTicks = 0;
  # DEBUG BEGIN_STMT
  _2 = (int) Channel_1(D);
  UartState_3 = Flexio_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_3
  # DEBUG BEGIN_STMT
  UartUserCfg_4 = Flexio_Uart_Ip_apUserConfig[_2];
  # DEBUG UartUserCfg => UartUserCfg_4
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  _5 = UartUserCfg_4->DmaChannel;
  _6 = (long unsigned int) _5;
  Dma_Ip_GetLogicChannelStatus (_6, &DmaStatus);
  # DEBUG BEGIN_STMT
  _7 = DmaStatus.ChStateValue;
  if (_7 == 4)
    goto <bb 3>; [20.24%]
  else
    goto <bb 9>; [79.76%]

  <bb 3> [local count: 147663]:
  # DEBUG BEGIN_STMT
  _8 = UartUserCfg_4->DmaChannel;
  _9 = (long unsigned int) _8;
  DmaReturnStatus_10 = Dma_Ip_SetLogicChannelCommand (_9, 4);
  # DEBUG DmaReturnStatus => DmaReturnStatus_10
  # DEBUG BEGIN_STMT
  _11 = DmaReturnStatus_10 == 0;
  x ={v} _11;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_12 ={v} x;
  if (x.1_12 != 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 4> [local count: 73831]:

  <bb 5> [local count: 738314359]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 6> [local count: 738314359]:
  goto <bb 5>; [100.00%]

  <bb 7> [local count: 73831]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  UartState_3->Status ={v} 1;
  # DEBUG BEGIN_STMT
  _13 = UartUserCfg_4->Callback;
  if (_13 != 0B)
    goto <bb 8>; [70.00%]
  else
    goto <bb 9>; [30.00%]

  <bb 8> [local count: 51682]:
  # DEBUG BEGIN_STMT
  _14 = (long unsigned int) Channel_1(D);
  _15 = UartUserCfg_4->CallbackParam;
  _13 (_14, 3, _15);

  <bb 9> [local count: 655727]:
  # DEBUG BEGIN_STMT
  _16 ={v} UartState_3->Status;
  if (_16 == 2)
    goto <bb 10>; [34.00%]
  else
    goto <bb 12>; [66.00%]

  <bb 10> [local count: 222947]:
  # DEBUG BEGIN_STMT
  _17 = UartUserCfg_4->Callback;
  if (_17 != 0B)
    goto <bb 11>; [70.00%]
  else
    goto <bb 12>; [30.00%]

  <bb 11> [local count: 156063]:
  # DEBUG BEGIN_STMT
  _18 = (long unsigned int) Channel_1(D);
  _19 = UartUserCfg_4->CallbackParam;
  _17 (_18, 1, _19);

  <bb 12> [local count: 655727]:
  # DEBUG BEGIN_STMT
  _20 ={v} UartState_3->RemainingBytes;
  if (_20 != 0)
    goto <bb 13>; [67.00%]
  else
    goto <bb 22>; [33.00%]

  <bb 13> [local count: 439337]:
  _21 ={v} UartState_3->Status;
  if (_21 != 1)
    goto <bb 14>; [48.88%]
  else
    goto <bb 22>; [51.12%]

  <bb 14> [local count: 214748]:
  # DEBUG BEGIN_STMT
  DmaTransferList[0].Param = 0;
  # DEBUG BEGIN_STMT
  _22 = UartState_3->TxData;
  _23 = (long unsigned int) _22;
  DmaTransferList[0].Value = _23;
  # DEBUG BEGIN_STMT
  DmaTransferList[1].Param = 18;
  # DEBUG BEGIN_STMT
  _24 ={v} UartState_3->RemainingBytes;
  DmaTransferList[1].Value = _24;
  # DEBUG BEGIN_STMT
  _25 = UartUserCfg_4->DmaChannel;
  _26 = (long unsigned int) _25;
  DmaReturnStatus_27 = Dma_Ip_SetLogicChannelTransferList (_26, &DmaTransferList, 2);
  # DEBUG DmaReturnStatus => DmaReturnStatus_27
  # DEBUG BEGIN_STMT
  _28 = DmaReturnStatus_27 == 0;
  x ={v} _28;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_29 ={v} x;
  if (x.1_29 != 0)
    goto <bb 18>; [50.00%]
  else
    goto <bb 15>; [50.00%]

  <bb 15> [local count: 107374]:

  <bb 16> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 17> [local count: 1073741824]:
  goto <bb 16>; [100.00%]

  <bb 18> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  UartState_3->RemainingBytes ={v} 0;
  # DEBUG BEGIN_STMT
  _30 = UartUserCfg_4->DmaChannel;
  _31 = (long unsigned int) _30;
  DmaReturnStatus_32 = Dma_Ip_SetLogicChannelCommand (_31, 0);
  # DEBUG DmaReturnStatus => DmaReturnStatus_32
  # DEBUG BEGIN_STMT
  _33 = DmaReturnStatus_32 == 0;
  x ={v} _33;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_34 ={v} x;
  if (x.1_34 != 0)
    goto <bb 31>; [50.00%]
  else
    goto <bb 19>; [50.00%]

  <bb 19> [local count: 53687]:

  <bb 20> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 21> [local count: 536870913]:
  goto <bb 20>; [100.00%]

  <bb 22> [local count: 440979]:
  # DEBUG BEGIN_STMT
  _35 = 1 << _2;
  _36 = (unsigned char) _35;
  Flexio_Mcl_Ip_SetShifterDMARequest (1074110464B, _36, 0);
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_SetTimerInterrupt (1074110464B, _36, 0);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, 500000, 0);
  # DEBUG BEGIN_STMT

  <bb 23> [local count: 4122263]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _37 = Flexio_Mcl_Ip_GetTimerStatus (1074110464B, Channel_1(D));
  if (_37 != 0)
    goto <bb 26>; [5.50%]
  else
    goto <bb 24>; [94.50%]

  <bb 24> [local count: 3895539]:
  TimeoutTicks.17_38 = TimeoutTicks;
  _39 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.17_38, 0);
  if (_39 != 0)
    goto <bb 26>; [5.50%]
  else
    goto <bb 25>; [94.50%]

  <bb 25> [local count: 3681284]:
  goto <bb 23>; [100.00%]

  <bb 26> [local count: 440979]:
  # DEBUG BEGIN_STMT
  TimeoutTicks.18_40 = TimeoutTicks;
  _41 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.18_40, 0);
  if (_41 != 0)
    goto <bb 27>; [50.00%]
  else
    goto <bb 28>; [50.00%]

  <bb 27> [local count: 220490]:
  # DEBUG BEGIN_STMT
  UartState_3->Status ={v} 1;

  <bb 28> [local count: 440979]:
  # DEBUG BEGIN_STMT
  UartState_3->DriverIdle ={v} 0;
  # DEBUG BEGIN_STMT
  _42 ={v} UartState_3->Status;
  if (_42 == 2)
    goto <bb 29>; [34.00%]
  else
    goto <bb 31>; [66.00%]

  <bb 29> [local count: 149933]:
  # DEBUG BEGIN_STMT
  UartState_3->Status ={v} 0;
  # DEBUG BEGIN_STMT
  _43 = UartUserCfg_4->Callback;
  if (_43 != 0B)
    goto <bb 30>; [70.00%]
  else
    goto <bb 31>; [30.00%]

  <bb 30> [local count: 104953]:
  # DEBUG BEGIN_STMT
  _44 = (long unsigned int) Channel_1(D);
  _45 = UartUserCfg_4->CallbackParam;
  _43 (_44, 2, _45);

  <bb 31> [local count: 494666]:
  # DEBUG x => NULL
  DmaTransferList ={v} {CLOBBER};
  DmaStatus ={v} {CLOBBER};
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return;

}


Flexio_Uart_Ip_GetStatus.part.0 (const uint8 Channel, uint32 * BytesRemaining)
{
  const struct Flexio_Uart_Ip_StateStructureType * UartState;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  const Dma_Ip_LogicChannelInfoParamType DmaLogicChnParam;
  volatile boolean x;
  volatile boolean x;
  int _2;
  _Bool _5;
  _Bool x.1_6;
  _Bool _8;
  <unnamed type> _9;
  long unsigned int _10;
  unsigned char _11;
  long unsigned int _12;
  <unnamed type> _13;

  <bb 13> [local count: 214748]:

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _2 = (int) Channel_1(D);
  UartState_3 = Flexio_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_3
  # DEBUG BEGIN_STMT
  UartUserCfg_4 = Flexio_Uart_Ip_apUserConfig[_2];
  # DEBUG UartUserCfg => UartUserCfg_4
  # DEBUG BEGIN_STMT
  # DEBUG DmaLogicChnParam => 3
  # DEBUG BEGIN_STMT
  _5 = UartState_3 != 0B;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_6 ={v} x;
  if (x.1_6 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 107374]:

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 6> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  if (BytesRemaining_7(D) != 0B)
    goto <bb 7>; [70.00%]
  else
    goto <bb 12>; [30.00%]

  <bb 7> [local count: 75162]:
  # DEBUG BEGIN_STMT
  _8 ={v} UartState_3->DriverIdle;
  if (_8 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 8> [local count: 37581]:
  # DEBUG BEGIN_STMT
  _9 = UartUserCfg_4->DriverType;
  if (_9 == 0)
    goto <bb 9>; [67.00%]
  else
    goto <bb 10>; [33.00%]

  <bb 9> [local count: 25179]:
  # DEBUG BEGIN_STMT
  _10 ={v} UartState_3->RemainingBytes;
  *BytesRemaining_7(D) = _10;
  goto <bb 12>; [100.00%]

  <bb 10> [local count: 12402]:
  # DEBUG BEGIN_STMT
  _11 = UartUserCfg_4->DmaChannel;
  _12 = (long unsigned int) _11;
  Dma_Ip_GetLogicChannelParam (_12, 3, BytesRemaining_7(D));
  goto <bb 12>; [100.00%]

  <bb 11> [local count: 37581]:
  # DEBUG BEGIN_STMT
  *BytesRemaining_7(D) = 0;

  <bb 12> [local count: 107374]:
  # DEBUG BEGIN_STMT
  _13 ={v} UartState_3->Status;
  return _13;

}


Flexio_Uart_Ip_SetRxBuffer (const uint8 Channel, uint8 * RxData, const uint32 RxSize)
{
  volatile boolean x;
  volatile boolean x;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  _Bool _2;
  int _3;
  _Bool x.1_11;
  _Bool x.1_12;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = RxData_4(D) != 0B;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_12 ={v} x;
  if (x.1_12 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 8> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _2 = RxSize_6(D) != 0;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_11 ={v} x;
  if (x.1_11 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 7> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 9> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = (int) Channel_7(D);
  UartState_8 = Flexio_Uart_Ip_apStateStructuresArray[_3];
  # DEBUG UartState => UartState_8
  # DEBUG BEGIN_STMT
  UartState_8->RxData = RxData_4(D);
  # DEBUG BEGIN_STMT
  UartState_8->RemainingBytes ={v} RxSize_6(D);
  # DEBUG BEGIN_STMT
  return 0;

}


Flexio_Uart_Ip_SetTxBuffer (const uint8 Channel, const uint8 * TxData, const uint32 TxSize)
{
  volatile boolean x;
  volatile boolean x;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  _Bool _2;
  int _3;
  _Bool x.1_11;
  _Bool x.1_12;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = TxData_4(D) != 0B;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_12 ={v} x;
  if (x.1_12 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 8> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _2 = TxSize_6(D) != 0;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_11 ={v} x;
  if (x.1_11 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 7> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 9> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = (int) Channel_7(D);
  UartState_8 = Flexio_Uart_Ip_apStateStructuresArray[_3];
  # DEBUG UartState => UartState_8
  # DEBUG BEGIN_STMT
  UartState_8->TxData = TxData_4(D);
  # DEBUG BEGIN_STMT
  UartState_8->RemainingBytes ={v} TxSize_6(D);
  # DEBUG BEGIN_STMT
  return 0;

}


Flexio_Uart_Ip_SetBaudRate (const uint8 Channel, const Flexio_Uart_Ip_BaudrateType DesiredBaudrate, const uint32 ClockFrequency)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  uint16 BitCountValue;
  sint32 Divider;
  Flexio_Uart_Ip_StatusType Status;
  Flexio_Uart_Ip_TimerDecrementType TimerDecrement;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  _Bool _2;
  int _3;
  <unnamed type> _4;
  _Bool _5;
  _Bool _6;
  <unnamed type> _7;
  long int ClockFrequency.21_8;
  long int DesiredBaudrate.22_9;
  long int _10;
  long int _11;
  unsigned int Divider.23_12;
  _Bool _13;
  long unsigned int _14;
  long unsigned int _15;
  long int ClockFrequency.25_16;
  long int DesiredBaudrate.26_17;
  long int _18;
  long int _19;
  unsigned int Divider.27_20;
  long unsigned int _21;
  long unsigned int _22;
  long int _23;
  long int _24;
  unsigned int Divider.31_25;
  _Bool _26;
  long unsigned int _27;
  long unsigned int _28;
  short unsigned int _29;
  short unsigned int _30;
  short unsigned int _31;
  unsigned char _32;
  short unsigned int _33;
  short unsigned int _34;
  <unnamed type> _35;
  long unsigned int _46;
  long unsigned int _50;
  long unsigned int _53;
  _Bool x.1_63;
  _Bool x.1_64;
  _Bool x.1_65;
  _Bool x.1_66;
  _Bool x.1_67;
  long unsigned int _68;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_41(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_65 ={v} x;
  if (x.1_65 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 27>; [50.00%]

  <bb 27> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _2 = ClockFrequency_43(D) != 0;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_64 ={v} x;
  if (x.1_64 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 26>; [50.00%]

  <bb 26> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 31> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = (int) Channel_41(D);
  UartState_44 = Flexio_Uart_Ip_apStateStructuresArray[_3];
  # DEBUG UartState => UartState_44
  # DEBUG BEGIN_STMT
  UartUserCfg_45 = Flexio_Uart_Ip_apUserConfig[_3];
  # DEBUG UartUserCfg => UartUserCfg_45
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  _4 = UartUserCfg_45->BitCount;
  BitCountValue_47 = (uint16) _4;
  # DEBUG BitCountValue => BitCountValue_47
  # DEBUG BEGIN_STMT
  _5 = UartState_44 != 0B;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_63 ={v} x;
  if (x.1_63 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 25>; [50.00%]

  <bb 25> [local count: 26844]:

  <bb 7> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 30> [local count: 268435456]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 26844]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _6 ={v} UartState_44->DriverIdle;
  if (_6 != 0)
    goto <bb 22>; [35.00%]
  else
    goto <bb 9>; [65.00%]

  <bb 9> [local count: 17448]:
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_45->TimerDec;
  if (_7 == 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 10> [local count: 8724]:
  # DEBUG BEGIN_STMT
  # DEBUG TimerDecrement => 0
  # DEBUG BEGIN_STMT
  ClockFrequency.21_8 = (long int) ClockFrequency_43(D);
  DesiredBaudrate.22_9 = (long int) DesiredBaudrate_48(D);
  _10 = DesiredBaudrate.22_9 * 2;
  _11 = ClockFrequency.21_8 / _10;
  Divider_55 = _11 + -1;
  # DEBUG Divider => Divider_55
  # DEBUG BEGIN_STMT
  Divider.23_12 = (unsigned int) Divider_55;
  _13 = Divider.23_12 <= 255;
  x ={v} _13;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_66 ={v} x;
  if (x.1_66 != 0)
    goto <bb 12>; [50.00%]
  else
    goto <bb 23>; [50.00%]

  <bb 23> [local count: 4362]:

  <bb 11> [local count: 43620762]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 28> [local count: 43620762]:
  goto <bb 11>; [100.00%]

  <bb 12> [local count: 4362]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _53 = (long unsigned int) _11;
  _14 = _53 * 2;
  _15 = ClockFrequency_43(D) / _14;
  UartState_44->BaudRate = _15;
  goto <bb 18>; [100.00%]

  <bb 13> [local count: 8724]:
  # DEBUG BEGIN_STMT
  ClockFrequency.25_16 = (long int) ClockFrequency_43(D);
  DesiredBaudrate.26_17 = (long int) DesiredBaudrate_48(D);
  _18 = DesiredBaudrate.26_17 * 32;
  _19 = ClockFrequency.25_16 / _18;
  Divider_49 = _19 + -1;
  # DEBUG Divider => Divider_49
  # DEBUG BEGIN_STMT
  Divider.27_20 = (unsigned int) Divider_49;
  if (Divider.27_20 <= 255)
    goto <bb 14>; [50.00%]
  else
    goto <bb 15>; [50.00%]

  <bb 14> [local count: 4362]:
  # DEBUG BEGIN_STMT
  # DEBUG TimerDecrement => 4
  # DEBUG BEGIN_STMT
  _50 = (long unsigned int) _19;
  _21 = _50 * 32;
  _22 = ClockFrequency_43(D) / _21;
  UartState_44->BaudRate = _22;
  goto <bb 18>; [100.00%]

  <bb 15> [local count: 4362]:
  # DEBUG BEGIN_STMT
  # DEBUG TimerDecrement => 5
  # DEBUG BEGIN_STMT
  _23 = DesiredBaudrate.26_17 * 512;
  _24 = ClockFrequency.25_16 / _23;
  Divider_51 = _24 + -1;
  # DEBUG Divider => Divider_51
  # DEBUG BEGIN_STMT
  Divider.31_25 = (unsigned int) Divider_51;
  _26 = Divider.31_25 <= 255;
  x ={v} _26;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_67 ={v} x;
  if (x.1_67 != 0)
    goto <bb 17>; [50.00%]
  else
    goto <bb 24>; [50.00%]

  <bb 24> [local count: 2181]:

  <bb 16> [local count: 21810381]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 29> [local count: 21810381]:
  goto <bb 16>; [100.00%]

  <bb 17> [local count: 2181]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _46 = (long unsigned int) _24;
  _27 = _46 * 512;
  _28 = ClockFrequency_43(D) / _27;
  UartState_44->BaudRate = _28;

  <bb 18> [local count: 10905]:
  # TimerDecrement_36 = PHI <0(12), 4(14), 5(17)>
  # Divider_38 = PHI <Divider_55(12), Divider_49(14), Divider_51(17)>
  # DEBUG Divider => Divider_38
  # DEBUG TimerDecrement => TimerDecrement_36
  # DEBUG BEGIN_STMT
  _29 = BitCountValue_47 << 1;
  _30 = _29 + 65535;
  _31 = _30 << 8;
  _32 = (unsigned char) Divider_38;
  _33 = (short unsigned int) _32;
  _34 = _31 + _33;
  # DEBUG Base => 1074110464B
  # DEBUG Timer => Channel_41(D)
  # DEBUG Value => _34
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetTimerCompare
  # DEBUG BEGIN_STMT
  _68 = (long unsigned int) _34;
  MEM[(struct FLEXIO_Type *)1074110464B].TIMCMP[_3] ={v} _68;
  # DEBUG Base => NULL
  # DEBUG Timer => NULL
  # DEBUG Value => NULL
  # DEBUG BEGIN_STMT
  _35 = UartUserCfg_45->Direction;
  if (_35 == 1)
    goto <bb 19>; [34.00%]
  else
    goto <bb 20>; [66.00%]

  <bb 19> [local count: 3708]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerConfig (1074110464B, Channel_41(D), 0, TimerDecrement_36, 0);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerStartStopBitConfig (1074110464B, Channel_41(D), 1, 2);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerCondition (1074110464B, Channel_41(D), 2, 2);
  goto <bb 22>; [100.00%]

  <bb 20> [local count: 7197]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerConfig (1074110464B, Channel_41(D), 4, TimerDecrement_36, 2);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerStartStopBitConfig (1074110464B, Channel_41(D), 1, 2);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerCondition (1074110464B, Channel_41(D), 4, 2);

  <bb 22> [local count: 20300]:
  # Status_37 = PHI <2(8), 0(20), 0(19)>
  # DEBUG Status => Status_37
  # DEBUG BEGIN_STMT
  return Status_37;

}


Flexio_Uart_Ip_AbortTransferData (const uint8 Channel)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  int _2;
  _Bool _3;
  _Bool _4;
  _Bool _5;
  <unnamed type> _6;
  unsigned char _7;
  long unsigned int _8;
  <unnamed type> _9;
  _Bool x.1_20;
  _Bool x.1_21;
  _Bool x.1_22;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_11(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_22 ={v} x;
  if (x.1_22 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 17>; [50.00%]

  <bb 17> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 1
  # DEBUG BEGIN_STMT
  _2 = (int) Channel_11(D);
  UartState_13 = Flexio_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_13
  # DEBUG BEGIN_STMT
  UartUserCfg_14 = Flexio_Uart_Ip_apUserConfig[_2];
  # DEBUG UartUserCfg => UartUserCfg_14
  # DEBUG BEGIN_STMT
  _3 = UartState_13 != 0B;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_21 ={v} x;
  if (x.1_21 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 16>; [50.00%]

  <bb 16> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 19> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _4 = UartUserCfg_14 != 0B;
  x ={v} _4;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_20 ={v} x;
  if (x.1_20 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 15>; [50.00%]

  <bb 15> [local count: 26844]:

  <bb 7> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 18> [local count: 268435456]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 26844]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _5 ={v} UartState_13->DriverIdle;
  if (_5 != 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 14>; [50.00%]

  <bb 9> [local count: 13422]:
  # DEBUG BEGIN_STMT
  UartState_13->Status ={v} 516;
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_14->DriverType;
  if (_6 == 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 10> [local count: 6711]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_StopTransfer (Channel_11(D));
  goto <bb 14>; [100.00%]

  <bb 11> [local count: 6711]:
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_14->DmaChannel;
  _8 = (long unsigned int) _7;
  Dma_Ip_SetLogicChannelCommand (_8, 1);
  # DEBUG BEGIN_STMT
  _9 = UartUserCfg_14->Direction;
  if (_9 == 1)
    goto <bb 12>; [34.00%]
  else
    goto <bb 13>; [66.00%]

  <bb 12> [local count: 2282]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_CompleteSendUsingDma (Channel_11(D));
  goto <bb 14>; [100.00%]

  <bb 13> [local count: 4429]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_CompleteReceiveUsingDma (Channel_11(D));

  <bb 14> [local count: 26844]:
  # DEBUG RetStatus => 0
  # DEBUG BEGIN_STMT
  return 0;

}


Flexio_Uart_Ip_CompleteReceiveUsingDma (uint8 Channel)
{
  volatile boolean x;
  _Bool _1;
  _Bool x.1_5;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_3(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_5 ={v} x;
  if (x.1_5 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 5> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  Flexio_Uart_Ip_CompleteReceiveUsingDma.part.0 (Channel_3(D));
  # DEBUG x => NULL
  return;

}


Flexio_Uart_Ip_CompleteSendUsingDma (uint8 Channel)
{
  volatile boolean x;
  _Bool _1;
  _Bool x.1_5;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_3(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_5 ={v} x;
  if (x.1_5 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 5> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  Flexio_Uart_Ip_CompleteSendUsingDma.part.0 (Channel_3(D));
  # DEBUG x => NULL
  return;

}


Flexio_Uart_Ip_SyncReceive (const uint8 Channel, uint8 * RxBuff, const uint32 RxSize, const uint32 Timeout)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  Flexio_Uart_Ip_StatusType RetStatus;
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  _Bool _2;
  _Bool _3;
  int _4;
  _Bool _5;
  <unnamed type> _6;
  _Bool _7;
  <unnamed type> _8;
  long unsigned int _9;
  _Bool _10;
  _Bool _11;
  _Bool _12;
  int _13;
  long unsigned int TimeoutTicks.14_14;
  _Bool _15;
  <unnamed type> _16;
  long unsigned int _17;
  long unsigned int TimeoutTicks.15_18;
  _Bool _19;
  long unsigned int _20;
  <unnamed type> _21;
  long unsigned int TimeoutTicks.16_22;
  _Bool _23;
  int iftmp.13_25;
  _Bool x.1_63;
  _Bool x.1_64;
  _Bool x.1_65;
  _Bool x.1_66;
  _Bool x.1_67;
  _Bool x.1_68;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_32(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_67 ={v} x;
  if (x.1_67 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 37>; [50.00%]

  <bb 37> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _2 = RxBuff_34(D) != 0B;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_66 ={v} x;
  if (x.1_66 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 36>; [50.00%]

  <bb 36> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 43> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _3 = RxSize_35(D) != 0;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_65 ={v} x;
  if (x.1_65 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 35>; [50.00%]

  <bb 35> [local count: 26844]:

  <bb 7> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 42> [local count: 268435456]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 26844]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ElapsedTicks = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 1
  # DEBUG BEGIN_STMT
  _4 = (int) Channel_32(D);
  UartState_37 = Flexio_Uart_Ip_apStateStructuresArray[_4];
  # DEBUG UartState => UartState_37
  # DEBUG BEGIN_STMT
  UartUserCfg_38 = Flexio_Uart_Ip_apUserConfig[_4];
  # DEBUG UartUserCfg => UartUserCfg_38
  # DEBUG BEGIN_STMT
  _5 = UartState_37 != 0B;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_64 ={v} x;
  if (x.1_64 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 34>; [50.00%]

  <bb 34> [local count: 13422]:

  <bb 9> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 41> [local count: 134217728]:
  goto <bb 9>; [100.00%]

  <bb 10> [local count: 13422]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_38->Direction;
  _7 = _6 == 0;
  x ={v} _7;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_63 ={v} x;
  if (x.1_63 != 0)
    goto <bb 12>; [50.00%]
  else
    goto <bb 33>; [50.00%]

  <bb 33> [local count: 6711]:

  <bb 11> [local count: 67108864]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 40> [local count: 67108864]:
  goto <bb 11>; [100.00%]

  <bb 12> [local count: 6711]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _8 = UartUserCfg_38->BitCount;
  if (_8 <= 8)
    goto <bb 14>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 13> [local count: 3355]:
  _9 = RxSize_35(D) & 1;
  _20 = 1 - _9;
  _13 = (int) _20;

  <bb 14> [local count: 6711]:
  # iftmp.13_25 = PHI <_13(13), 1(12)>
  _10 = (_Bool) iftmp.13_25;
  x ={v} _10;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_68 ={v} x;
  if (x.1_68 != 0)
    goto <bb 16>; [50.00%]
  else
    goto <bb 32>; [50.00%]

  <bb 32> [local count: 3355]:

  <bb 15> [local count: 33554432]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 39> [local count: 33554432]:
  goto <bb 15>; [100.00%]

  <bb 16> [local count: 3355]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  SchM_Enter_Uart_UART_EXCLUSIVE_AREA_07 ();
  # DEBUG BEGIN_STMT
  _11 ={v} UartState_37->DriverIdle;
  if (_11 != 0)
    goto <bb 17>; [35.00%]
  else
    goto <bb 18>; [65.00%]

  <bb 17> [local count: 1174]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_07 ();
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 2
  goto <bb 30>; [100.00%]

  <bb 18> [local count: 2181]:
  # DEBUG BEGIN_STMT
  UartState_37->DriverIdle ={v} 1;
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_07 ();
  # DEBUG BEGIN_STMT
  UartState_37->RxData = RxBuff_34(D);
  # DEBUG BEGIN_STMT
  UartState_37->RemainingBytes ={v} RxSize_35(D);
  # DEBUG BEGIN_STMT
  UartState_37->Status ={v} 2;
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetupReceiveData (Channel_32(D));
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, Timeout_46(D), 0);
  # DEBUG BEGIN_STMT
  goto <bb 23>; [100.00%]

  <bb 31> [local count: 19128]:

  <bb 19> [local count: 178806]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _12 = Flexio_Mcl_Ip_GetShifterStatus (1074110464B, Channel_32(D));
  if (_12 != 0)
    goto <bb 21>; [5.50%]
  else
    goto <bb 20>; [94.50%]

  <bb 20> [local count: 168972]:
  TimeoutTicks.14_14 = TimeoutTicks;
  _15 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.14_14, 0);
  if (_15 != 0)
    goto <bb 21>; [5.50%]
  else
    goto <bb 38>; [94.50%]

  <bb 38> [local count: 159679]:
  goto <bb 19>; [100.00%]

  <bb 21> [local count: 19128]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_CheckShifterErrorStatus (Channel_32(D));
  # DEBUG BEGIN_STMT
  _16 ={v} UartState_37->Status;
  if (_16 == 1)
    goto <bb 25>; [3.66%]
  else
    goto <bb 22>; [96.34%]

  <bb 22> [local count: 18428]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_ReadData (Channel_32(D));

  <bb 23> [local count: 20609]:
  # DEBUG BEGIN_STMT
  _17 ={v} UartState_37->RemainingBytes;
  if (_17 != 0)
    goto <bb 24>; [96.34%]
  else
    goto <bb 25>; [3.66%]

  <bb 24> [local count: 19854]:
  TimeoutTicks.15_18 = TimeoutTicks;
  _19 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.15_18, 0);
  if (_19 != 0)
    goto <bb 25>; [3.66%]
  else
    goto <bb 31>; [96.34%]

  <bb 25> [local count: 2181]:
  # DEBUG BEGIN_STMT
  _21 ={v} UartState_37->Status;
  if (_21 == 2)
    goto <bb 26>; [20.24%]
  else
    goto <bb 29>; [79.76%]

  <bb 26> [local count: 441]:
  # DEBUG BEGIN_STMT
  TimeoutTicks.16_22 = TimeoutTicks;
  _23 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.16_22, 0);
  if (_23 != 0)
    goto <bb 27>; [50.00%]
  else
    goto <bb 28>; [50.00%]

  <bb 27> [local count: 221]:
  # DEBUG BEGIN_STMT
  UartState_37->Status ={v} 518;
  goto <bb 29>; [100.00%]

  <bb 28> [local count: 221]:
  # DEBUG BEGIN_STMT
  UartState_37->Status ={v} 0;

  <bb 29> [local count: 2181]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearTimerStatus (1074110464B, Channel_32(D));
  # DEBUG BEGIN_STMT
  UartState_37->DriverIdle ={v} 0;
  # DEBUG BEGIN_STMT
  RetStatus_58 ={v} UartState_37->Status;
  # DEBUG RetStatus => RetStatus_58

  <bb 30> [local count: 3355]:
  # RetStatus_24 = PHI <2(17), RetStatus_58(29)>
  # DEBUG RetStatus => RetStatus_24
  # DEBUG BEGIN_STMT
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return RetStatus_24;

}


Flexio_Uart_Ip_AsyncReceive (const uint8 Channel, uint8 * RxBuff, const uint32 RxSize)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  Flexio_Uart_Ip_StatusType RetStatus;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  int _2;
  long unsigned int _3;
  _Bool _4;
  _Bool _5;
  _Bool _6;
  <unnamed type> _7;
  _Bool _8;
  <unnamed type> _9;
  long unsigned int _10;
  _Bool _11;
  _Bool _12;
  <unnamed type> _13;
  int iftmp.11_15;
  int _21;
  _Bool x.1_35;
  _Bool x.1_36;
  _Bool x.1_37;
  _Bool x.1_38;
  _Bool x.1_39;
  _Bool x.1_40;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_17(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_39 ={v} x;
  if (x.1_39 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 27>; [50.00%]

  <bb 27> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _2 = (int) Channel_17(D);
  UartState_19 = Flexio_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_19
  # DEBUG BEGIN_STMT
  UartUserCfg_20 = Flexio_Uart_Ip_apUserConfig[_2];
  # DEBUG UartUserCfg => UartUserCfg_20
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 1
  # DEBUG BEGIN_STMT
  _4 = UartState_19 != 0B;
  x ={v} _4;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_38 ={v} x;
  if (x.1_38 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 26>; [50.00%]

  <bb 26> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 32> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _5 = RxBuff_22(D) != 0B;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_37 ={v} x;
  if (x.1_37 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 25>; [50.00%]

  <bb 25> [local count: 26844]:

  <bb 7> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 31> [local count: 268435456]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 26844]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _6 = RxSize_23(D) != 0;
  x ={v} _6;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_36 ={v} x;
  if (x.1_36 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 24>; [50.00%]

  <bb 24> [local count: 13422]:

  <bb 9> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 30> [local count: 134217728]:
  goto <bb 9>; [100.00%]

  <bb 10> [local count: 13422]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_20->Direction;
  _8 = _7 == 0;
  x ={v} _8;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_35 ={v} x;
  if (x.1_35 != 0)
    goto <bb 12>; [50.00%]
  else
    goto <bb 23>; [50.00%]

  <bb 23> [local count: 6711]:

  <bb 11> [local count: 67108864]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 29> [local count: 67108864]:
  goto <bb 11>; [100.00%]

  <bb 12> [local count: 6711]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _9 = UartUserCfg_20->BitCount;
  if (_9 <= 8)
    goto <bb 14>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 13> [local count: 3355]:
  _10 = RxSize_23(D) & 1;
  _3 = 1 - _10;
  _21 = (int) _3;

  <bb 14> [local count: 6711]:
  # iftmp.11_15 = PHI <_21(13), 1(12)>
  _11 = (_Bool) iftmp.11_15;
  x ={v} _11;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_40 ={v} x;
  if (x.1_40 != 0)
    goto <bb 16>; [50.00%]
  else
    goto <bb 22>; [50.00%]

  <bb 22> [local count: 3355]:

  <bb 15> [local count: 33554432]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 28> [local count: 33554432]:
  goto <bb 15>; [100.00%]

  <bb 16> [local count: 3355]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  SchM_Enter_Uart_UART_EXCLUSIVE_AREA_06 ();
  # DEBUG BEGIN_STMT
  _12 ={v} UartState_19->DriverIdle;
  if (_12 != 0)
    goto <bb 17>; [35.00%]
  else
    goto <bb 18>; [65.00%]

  <bb 17> [local count: 1174]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_06 ();
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 2
  goto <bb 21>; [100.00%]

  <bb 18> [local count: 2181]:
  # DEBUG BEGIN_STMT
  UartState_19->DriverIdle ={v} 1;
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_06 ();
  # DEBUG BEGIN_STMT
  UartState_19->RxData = RxBuff_22(D);
  # DEBUG BEGIN_STMT
  UartState_19->RemainingBytes ={v} RxSize_23(D);
  # DEBUG BEGIN_STMT
  UartState_19->Status ={v} 2;
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_EnableReceiver (Channel_17(D));
  # DEBUG BEGIN_STMT
  _13 = UartUserCfg_20->DriverType;
  switch (_13) <default: <L12> [33.33%], case 0: <L6> [33.33%], case 1: <L7> [33.33%]>

  <bb 19> [local count: 727]:
<L6>:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetShifterInterrupt (Channel_17(D), 1);
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 0
  # DEBUG BEGIN_STMT
  goto <bb 21>; [100.00%]

  <bb 20> [local count: 727]:
<L7>:
  # DEBUG BEGIN_STMT
  RetStatus_32 = Flexio_Uart_Ip_StartReceiveDataUsingDma (Channel_17(D), RxBuff_22(D), RxSize_23(D));
  # DEBUG RetStatus => RetStatus_32
  # DEBUG BEGIN_STMT

  <bb 21> [local count: 3355]:
  # RetStatus_14 = PHI <2(17), 0(19), RetStatus_32(20), 1(18)>
<L12>:
  # DEBUG RetStatus => RetStatus_14
  # DEBUG BEGIN_STMT
  return RetStatus_14;

}


Flexio_Uart_Ip_SyncSend (const uint8 Channel, const uint8 * TxBuff, const uint32 TxSize, const uint32 Timeout)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  Flexio_Uart_Ip_StatusType RetStatus;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  _Bool _1;
  _Bool _2;
  _Bool _3;
  int _4;
  _Bool _6;
  <unnamed type> _7;
  _Bool _8;
  <unnamed type> _9;
  long unsigned int _10;
  _Bool _11;
  _Bool _12;
  _Bool _13;
  int _14;
  long unsigned int TimeoutTicks.8_15;
  _Bool _16;
  long unsigned int _17;
  long unsigned int TimeoutTicks.9_18;
  _Bool _19;
  long unsigned int _20;
  long unsigned int TimeoutTicks.10_21;
  _Bool _22;
  <unnamed type> _23;
  int iftmp.6_25;
  unsigned char iftmp.7_26;
  _Bool x.1_64;
  _Bool x.1_65;
  _Bool x.1_66;
  _Bool x.1_67;
  _Bool x.1_68;
  _Bool x.1_69;
  long unsigned int _70;
  long unsigned int _71;
  long unsigned int _72;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_33(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_68 ={v} x;
  if (x.1_68 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 38>; [50.00%]

  <bb 38> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _2 = TxBuff_35(D) != 0B;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_67 ={v} x;
  if (x.1_67 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 37>; [50.00%]

  <bb 37> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 46> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _3 = TxSize_36(D) != 0;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_66 ={v} x;
  if (x.1_66 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 36>; [50.00%]

  <bb 36> [local count: 26844]:

  <bb 7> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 45> [local count: 268435456]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 26844]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ElapsedTicks = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 1
  # DEBUG BEGIN_STMT
  _4 = (int) Channel_33(D);
  UartState_38 = Flexio_Uart_Ip_apStateStructuresArray[_4];
  # DEBUG UartState => UartState_38
  # DEBUG BEGIN_STMT
  UartUserCfg_39 = Flexio_Uart_Ip_apUserConfig[_4];
  # DEBUG UartUserCfg => UartUserCfg_39
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  _6 = UartState_38 != 0B;
  x ={v} _6;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_65 ={v} x;
  if (x.1_65 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 35>; [50.00%]

  <bb 35> [local count: 13422]:

  <bb 9> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 44> [local count: 134217728]:
  goto <bb 9>; [100.00%]

  <bb 10> [local count: 13422]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_39->Direction;
  _8 = _7 == 1;
  x ={v} _8;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_64 ={v} x;
  if (x.1_64 != 0)
    goto <bb 12>; [50.00%]
  else
    goto <bb 34>; [50.00%]

  <bb 34> [local count: 6711]:

  <bb 11> [local count: 67108864]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 43> [local count: 67108864]:
  goto <bb 11>; [100.00%]

  <bb 12> [local count: 6711]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _9 = UartUserCfg_39->BitCount;
  if (_9 <= 8)
    goto <bb 14>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 13> [local count: 3355]:
  _10 = TxSize_36(D) & 1;
  _20 = 1 - _10;
  _14 = (int) _20;

  <bb 14> [local count: 6711]:
  # iftmp.6_25 = PHI <_14(13), 1(12)>
  _11 = (_Bool) iftmp.6_25;
  x ={v} _11;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_69 ={v} x;
  if (x.1_69 != 0)
    goto <bb 16>; [50.00%]
  else
    goto <bb 33>; [50.00%]

  <bb 33> [local count: 3355]:

  <bb 15> [local count: 33554432]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 42> [local count: 33554432]:
  goto <bb 15>; [100.00%]

  <bb 16> [local count: 3355]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  SchM_Enter_Uart_UART_EXCLUSIVE_AREA_05 ();
  # DEBUG BEGIN_STMT
  _12 ={v} UartState_38->DriverIdle;
  if (_12 != 0)
    goto <bb 17>; [35.00%]
  else
    goto <bb 18>; [65.00%]

  <bb 17> [local count: 1174]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_05 ();
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 2
  goto <bb 32>; [100.00%]

  <bb 18> [local count: 2181]:
  # DEBUG BEGIN_STMT
  UartState_38->DriverIdle ={v} 1;
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_05 ();
  # DEBUG BEGIN_STMT
  UartState_38->TxData = TxBuff_35(D);
  # DEBUG BEGIN_STMT
  UartState_38->RemainingBytes ={v} TxSize_36(D);
  # DEBUG BEGIN_STMT
  UartState_38->Status ={v} 2;
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetShifterInterrupt (Channel_33(D), 0);
  # DEBUG BEGIN_STMT
  if (TxSize_36(D) == 1)
    goto <bb 20>; [34.00%]
  else
    goto <bb 19>; [66.00%]

  <bb 19> [local count: 1439]:

  <bb 20> [local count: 2181]:
  # iftmp.7_26 = PHI <1(18), 2(19)>
  UartState_38->TxFlush = iftmp.7_26;
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Timer => Channel_33(D)
  # DEBUG Mode => 1
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetTimerMode
  # DEBUG BEGIN_STMT
  _70 ={v} MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_4];
  _71 = _70 & 4294967292;
  _72 = _71 | 1;
  MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_4] ={v} _72;
  # DEBUG Base => NULL
  # DEBUG Timer => NULL
  # DEBUG Mode => NULL
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, Timeout_48(D), 0);
  # DEBUG BEGIN_STMT
  goto <bb 24>; [100.00%]

  <bb 21> [local count: 28170]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_WriteData (Channel_33(D));
  # DEBUG BEGIN_STMT

  <bb 22> [local count: 263332]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _13 = Flexio_Mcl_Ip_GetShifterStatus (1074110464B, Channel_33(D));
  if (_13 != 0)
    goto <bb 40>; [5.50%]
  else
    goto <bb 23>; [94.50%]

  <bb 40> [local count: 14483]:
  goto <bb 25>; [100.00%]

  <bb 23> [local count: 248849]:
  TimeoutTicks.8_15 = TimeoutTicks;
  _16 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.8_15, 0);
  if (_16 != 0)
    goto <bb 39>; [5.50%]
  else
    goto <bb 41>; [94.50%]

  <bb 41> [local count: 235162]:
  goto <bb 22>; [100.00%]

  <bb 39> [local count: 13687]:

  <bb 24> [local count: 15868]:

  <bb 25> [local count: 30351]:
  # DEBUG BEGIN_STMT
  _17 ={v} UartState_38->RemainingBytes;
  if (_17 != 0)
    goto <bb 26>; [96.34%]
  else
    goto <bb 27>; [3.66%]

  <bb 26> [local count: 29240]:
  TimeoutTicks.9_18 = TimeoutTicks;
  _19 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.9_18, 0);
  if (_19 != 0)
    goto <bb 27>; [3.66%]
  else
    goto <bb 21>; [96.34%]

  <bb 27> [local count: 2181]:
  # DEBUG BEGIN_STMT
  TimeoutTicks.10_21 = TimeoutTicks;
  _22 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.10_21, 0);
  if (_22 != 0)
    goto <bb 28>; [50.00%]
  else
    goto <bb 29>; [50.00%]

  <bb 28> [local count: 1091]:
  # DEBUG BEGIN_STMT
  UartState_38->Status ={v} 518;

  <bb 29> [local count: 2181]:
  # DEBUG BEGIN_STMT
  _23 ={v} UartState_38->Status;
  if (_23 == 2)
    goto <bb 30>; [34.00%]
  else
    goto <bb 31>; [66.00%]

  <bb 30> [local count: 742]:
  # DEBUG BEGIN_STMT
  UartState_38->Status ={v} 0;

  <bb 31> [local count: 2181]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearTimerStatus (1074110464B, Channel_33(D));
  # DEBUG BEGIN_STMT
  UartState_38->DriverIdle ={v} 0;
  # DEBUG BEGIN_STMT
  RetStatus_59 ={v} UartState_38->Status;
  # DEBUG RetStatus => RetStatus_59

  <bb 32> [local count: 3355]:
  # RetStatus_24 = PHI <2(17), RetStatus_59(31)>
  # DEBUG RetStatus => RetStatus_24
  # DEBUG BEGIN_STMT
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return RetStatus_24;

}


Flexio_Uart_Ip_GetStatus (const uint8 Channel, uint32 * BytesRemaining)
{
  Flexio_Uart_Ip_StatusType D.7235;
  volatile boolean x;
  _Bool _1;
  _Bool x.1_7;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_3(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_7 ={v} x;
  if (x.1_7 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 5> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  _2 = Flexio_Uart_Ip_GetStatus.part.0 (Channel_3(D), BytesRemaining_6(D));
  return _2;

}


Flexio_Uart_Ip_AsyncSend (const uint8 Channel, const uint8 * TxBuff, const uint32 TxSize)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  Flexio_Uart_Ip_StatusType RetStatus;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  int _2;
  long unsigned int _3;
  _Bool _4;
  _Bool _5;
  _Bool _6;
  <unnamed type> _7;
  _Bool _8;
  <unnamed type> _9;
  long unsigned int _10;
  _Bool _11;
  _Bool _12;
  <unnamed type> _13;
  int iftmp.3_15;
  unsigned char iftmp.4_16;
  _Bool x.1_35;
  _Bool x.1_36;
  _Bool x.1_37;
  _Bool x.1_38;
  _Bool x.1_39;
  _Bool x.1_40;
  int _41;
  long unsigned int _42;
  long unsigned int _43;
  long unsigned int _44;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_18(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_39 ={v} x;
  if (x.1_39 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 29>; [50.00%]

  <bb 29> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _2 = (int) Channel_18(D);
  UartState_20 = Flexio_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_20
  # DEBUG BEGIN_STMT
  UartUserCfg_21 = Flexio_Uart_Ip_apUserConfig[_2];
  # DEBUG UartUserCfg => UartUserCfg_21
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 1
  # DEBUG BEGIN_STMT
  _4 = UartState_20 != 0B;
  x ={v} _4;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_38 ={v} x;
  if (x.1_38 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 28>; [50.00%]

  <bb 28> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 34> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _5 = TxBuff_22(D) != 0B;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_37 ={v} x;
  if (x.1_37 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 27>; [50.00%]

  <bb 27> [local count: 26844]:

  <bb 7> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 33> [local count: 268435456]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 26844]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _6 = TxSize_23(D) != 0;
  x ={v} _6;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_36 ={v} x;
  if (x.1_36 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 26>; [50.00%]

  <bb 26> [local count: 13422]:

  <bb 9> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 32> [local count: 134217728]:
  goto <bb 9>; [100.00%]

  <bb 10> [local count: 13422]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_21->Direction;
  _8 = _7 == 1;
  x ={v} _8;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_35 ={v} x;
  if (x.1_35 != 0)
    goto <bb 12>; [50.00%]
  else
    goto <bb 25>; [50.00%]

  <bb 25> [local count: 6711]:

  <bb 11> [local count: 67108864]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 31> [local count: 67108864]:
  goto <bb 11>; [100.00%]

  <bb 12> [local count: 6711]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _9 = UartUserCfg_21->BitCount;
  if (_9 <= 8)
    goto <bb 14>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 13> [local count: 3355]:
  _10 = TxSize_23(D) & 1;
  _3 = 1 - _10;
  _41 = (int) _3;

  <bb 14> [local count: 6711]:
  # iftmp.3_15 = PHI <_41(13), 1(12)>
  _11 = (_Bool) iftmp.3_15;
  x ={v} _11;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_40 ={v} x;
  if (x.1_40 != 0)
    goto <bb 16>; [50.00%]
  else
    goto <bb 24>; [50.00%]

  <bb 24> [local count: 3355]:

  <bb 15> [local count: 33554432]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 30> [local count: 33554432]:
  goto <bb 15>; [100.00%]

  <bb 16> [local count: 3355]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  SchM_Enter_Uart_UART_EXCLUSIVE_AREA_04 ();
  # DEBUG BEGIN_STMT
  _12 ={v} UartState_20->DriverIdle;
  if (_12 != 0)
    goto <bb 17>; [35.00%]
  else
    goto <bb 18>; [65.00%]

  <bb 17> [local count: 1174]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_04 ();
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 2
  goto <bb 23>; [100.00%]

  <bb 18> [local count: 2181]:
  # DEBUG BEGIN_STMT
  UartState_20->DriverIdle ={v} 1;
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_04 ();
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  UartState_20->TxData = TxBuff_22(D);
  # DEBUG BEGIN_STMT
  UartState_20->RemainingBytes ={v} TxSize_23(D);
  # DEBUG BEGIN_STMT
  UartState_20->Status ={v} 2;
  # DEBUG BEGIN_STMT
  if (TxSize_23(D) == 1)
    goto <bb 20>; [34.00%]
  else
    goto <bb 19>; [66.00%]

  <bb 19> [local count: 1439]:

  <bb 20> [local count: 2181]:
  # iftmp.4_16 = PHI <1(18), 2(19)>
  UartState_20->TxFlush = iftmp.4_16;
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Timer => Channel_18(D)
  # DEBUG Mode => 1
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetTimerMode
  # DEBUG BEGIN_STMT
  _42 ={v} MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_2];
  _43 = _42 & 4294967292;
  _44 = _43 | 1;
  MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_2] ={v} _44;
  # DEBUG Base => NULL
  # DEBUG Timer => NULL
  # DEBUG Mode => NULL
  # DEBUG BEGIN_STMT
  _13 = UartUserCfg_21->DriverType;
  switch (_13) <default: <L15> [33.33%], case 0: <L9> [33.33%], case 1: <L10> [33.33%]>

  <bb 21> [local count: 727]:
<L9>:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetShifterInterrupt (Channel_18(D), 1);
  # DEBUG BEGIN_STMT
  # DEBUG RetStatus => 0
  # DEBUG BEGIN_STMT
  goto <bb 23>; [100.00%]

  <bb 22> [local count: 727]:
<L10>:
  # DEBUG BEGIN_STMT
  RetStatus_32 = Flexio_Uart_Ip_StartSendDataUsingDma (Channel_18(D), TxBuff_22(D), TxSize_23(D));
  # DEBUG RetStatus => RetStatus_32
  # DEBUG BEGIN_STMT

  <bb 23> [local count: 3355]:
  # RetStatus_14 = PHI <2(17), 0(21), RetStatus_32(22), 1(20)>
<L15>:
  # DEBUG RetStatus => RetStatus_14
  # DEBUG BEGIN_STMT
  return RetStatus_14;

}


Flexio_Uart_Ip_Deinit (const uint8 Channel)
{
  volatile boolean x;
  volatile boolean x;
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  _Bool _1;
  int _2;
  struct Flexio_Uart_Ip_StateStructureType * _3;
  _Bool _4;
  <unnamed type> _5;
  long unsigned int TimeoutTicks.2_6;
  _Bool _7;
  _Bool x.1_23;
  _Bool x.1_24;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_10(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_24 ={v} x;
  if (x.1_24 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 11> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ElapsedTicks = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  _2 = (int) Channel_10(D);
  _3 = Flexio_Uart_Ip_apStateStructuresArray[_2];
  _4 = _3 != 0B;
  x ={v} _4;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_23 ={v} x;
  if (x.1_23 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 10> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 13> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, 500000, 0);
  # DEBUG BEGIN_STMT

  <bb 7> [local count: 501865]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = Flexio_Uart_Ip_GetStatus (Channel_10(D), 0B);
  if (_5 == 2)
    goto <bb 8>; [94.50%]
  else
    goto <bb 9>; [5.50%]

  <bb 8> [local count: 474262]:
  TimeoutTicks.2_6 = TimeoutTicks;
  _7 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.2_6, 0);
  if (_7 != 0)
    goto <bb 9>; [5.50%]
  else
    goto <bb 12>; [94.50%]

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

  <bb 9> [local count: 53687]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_apStateStructuresArray[_2] = 0B;
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetShifterInterrupt (Channel_10(D), 0);
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_SetSoftwareReset (1074110464B, 1);
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_SetSoftwareReset (1074110464B, 0);
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return;

}


Flexio_Uart_Ip_GetBaudRate (const uint8 Channel, uint32 * BaudRate)
{
  volatile boolean x;
  volatile boolean x;
  const struct Flexio_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  _Bool _2;
  int _3;
  long unsigned int _4;
  _Bool x.1_10;
  _Bool x.1_11;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Channel_5(D) <= 3;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_11 ={v} x;
  if (x.1_11 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 8> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _2 = BaudRate_7(D) != 0B;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_10 ={v} x;
  if (x.1_10 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 7> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 9> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = (int) Channel_5(D);
  UartState_8 = Flexio_Uart_Ip_apStateStructuresArray[_3];
  # DEBUG UartState => UartState_8
  # DEBUG BEGIN_STMT
  _4 = UartState_8->BaudRate;
  *BaudRate_7(D) = _4;
  return;

}


Flexio_Uart_Ip_Init (const uint8 Channel, const struct Flexio_Uart_Ip_UserConfigType * UserConfig)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  struct Flexio_Uart_Ip_StateStructureType * UartStatePtr;
  int _1;
  struct Flexio_Uart_Ip_StateStructureType * _2;
  _Bool _3;
  _Bool _4;
  long unsigned int _5;
  long unsigned int _6;
  _Bool _7;
  long unsigned int _8;
  <unnamed type> _9;
  <unnamed type> _10;
  unsigned char _11;
  unsigned char _12;
  <unnamed type> _13;
  <unnamed type> _14;
  unsigned char _15;
  unsigned char _16;
  <unnamed type> _17;
  _Bool x.1_33;
  _Bool x.1_34;
  _Bool x.1_35;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  UartStatePtr_21 = UserConfig_20(D)->StateStruct;
  # DEBUG UartStatePtr => UartStatePtr_21
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_22(D);
  _2 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  _3 = _2 == 0B;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_35 ={v} x;
  if (x.1_35 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 14>; [50.00%]

  <bb 14> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _4 = Channel_22(D) <= 3;
  x ={v} _4;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_34 ={v} x;
  if (x.1_34 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 13> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 16> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _5 = (long unsigned int) Channel_22(D);
  _6 = UserConfig_20(D)->Channel;
  _7 = _5 == _6;
  x ={v} _7;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_33 ={v} x;
  if (x.1_33 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 12>; [50.00%]

  <bb 12> [local count: 26844]:

  <bb 7> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 15> [local count: 268435456]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 26844]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_apStateStructuresArray[_1] = UartStatePtr_21;
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_apUserConfig[_1] = UserConfig_20(D);
  # DEBUG BEGIN_STMT
  UartStatePtr_21->RxData = 0B;
  # DEBUG BEGIN_STMT
  UartStatePtr_21->TxData = 0B;
  # DEBUG BEGIN_STMT
  UartStatePtr_21->RemainingBytes ={v} 0;
  # DEBUG BEGIN_STMT
  _8 = UserConfig_20(D)->BaudRate;
  UartStatePtr_21->BaudRate = _8;
  # DEBUG BEGIN_STMT
  UartStatePtr_21->Status ={v} 0;
  # DEBUG BEGIN_STMT
  UartStatePtr_21->DriverIdle ={v} 0;
  # DEBUG BEGIN_STMT
  _9 = UserConfig_20(D)->Direction;
  if (_9 == 1)
    goto <bb 9>; [34.00%]
  else
    goto <bb 10>; [66.00%]

  <bb 9> [local count: 9127]:
  # DEBUG BEGIN_STMT
  _10 = UserConfig_20(D)->BitCount;
  _11 = UserConfig_20(D)->Divider;
  _12 = UserConfig_20(D)->DataPin;
  _13 = UserConfig_20(D)->TimerDec;
  Flexio_Uart_Ip_ConfigureTx (Channel_22(D), _10, _11, _12, _13);
  goto <bb 11>; [100.00%]

  <bb 10> [local count: 17717]:
  # DEBUG BEGIN_STMT
  _14 = UserConfig_20(D)->BitCount;
  _15 = UserConfig_20(D)->Divider;
  _16 = UserConfig_20(D)->DataPin;
  _17 = UserConfig_20(D)->TimerDec;
  Flexio_Uart_Ip_ConfigureRx (Channel_22(D), _14, _15, _16, _17);

  <bb 11> [local count: 26844]:
  return;

}


Flexio_Uart_Ip_StartReceiveDataUsingDma (uint8 Channel, uint8 * RxBuff, uint32 RxSize)
{
  volatile boolean x;
  volatile boolean x;
  Dma_Ip_ReturnType DmaReturnStatus;
  struct Dma_Ip_LogicChannelTransferListType DmaTransferList[10];
  const struct Flexio_Uart_Ip_UserConfigType * UserConfig;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  int _1;
  volatile uint32_t * _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int RxBuff.12_5;
  unsigned char _6;
  long unsigned int _7;
  _Bool _8;
  unsigned char _9;
  long unsigned int _10;
  _Bool _11;
  unsigned int _12;
  unsigned char _13;
  _Bool x.1_49;
  _Bool x.1_50;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_14(D);
  UartState_16 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_16
  # DEBUG BEGIN_STMT
  UserConfig_17 = Flexio_Uart_Ip_apUserConfig[_1];
  # DEBUG UserConfig => UserConfig_17
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  DmaTransferList[0].Param = 0;
  # DEBUG BEGIN_STMT
  _2 = &MEM[(struct FLEXIO_Type *)1074110464B].SHIFTBUF[_1];
  _3 = (long unsigned int) _2;
  _4 = _3 + 3;
  DmaTransferList[0].Value = _4;
  # DEBUG BEGIN_STMT
  DmaTransferList[1].Param = 5;
  # DEBUG BEGIN_STMT
  RxBuff.12_5 = (long unsigned int) RxBuff_21(D);
  DmaTransferList[1].Value = RxBuff.12_5;
  # DEBUG BEGIN_STMT
  DmaTransferList[2].Param = 1;
  # DEBUG BEGIN_STMT
  DmaTransferList[2].Value = 0;
  # DEBUG BEGIN_STMT
  DmaTransferList[3].Param = 6;
  # DEBUG BEGIN_STMT
  DmaTransferList[3].Value = 1;
  # DEBUG BEGIN_STMT
  DmaTransferList[4].Param = 18;
  # DEBUG BEGIN_STMT
  DmaTransferList[4].Value = RxSize_28(D);
  # DEBUG BEGIN_STMT
  DmaTransferList[5].Param = 15;
  # DEBUG BEGIN_STMT
  DmaTransferList[5].Value = 1;
  # DEBUG BEGIN_STMT
  DmaTransferList[6].Param = 8;
  # DEBUG BEGIN_STMT
  DmaTransferList[6].Value = 0;
  # DEBUG BEGIN_STMT
  DmaTransferList[7].Param = 3;
  # DEBUG BEGIN_STMT
  DmaTransferList[7].Value = 0;
  # DEBUG BEGIN_STMT
  DmaTransferList[8].Param = 21;
  # DEBUG BEGIN_STMT
  DmaTransferList[8].Value = 1;
  # DEBUG BEGIN_STMT
  DmaTransferList[9].Param = 23;
  # DEBUG BEGIN_STMT
  DmaTransferList[9].Value = 1;
  # DEBUG BEGIN_STMT
  UartState_16->RxData = RxBuff_21(D);
  # DEBUG BEGIN_STMT
  UartState_16->RemainingBytes ={v} 0;
  # DEBUG BEGIN_STMT
  UartState_16->Status ={v} 2;
  # DEBUG BEGIN_STMT
  _6 = UserConfig_17->DmaChannel;
  _7 = (long unsigned int) _6;
  DmaReturnStatus_44 = Dma_Ip_SetLogicChannelTransferList (_7, &DmaTransferList, 10);
  # DEBUG DmaReturnStatus => DmaReturnStatus_44
  # DEBUG BEGIN_STMT
  _8 = DmaReturnStatus_44 == 0;
  x ={v} _8;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_50 ={v} x;
  if (x.1_50 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 8> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _9 = UserConfig_17->DmaChannel;
  _10 = (long unsigned int) _9;
  DmaReturnStatus_46 = Dma_Ip_SetLogicChannelCommand (_10, 0);
  # DEBUG DmaReturnStatus => DmaReturnStatus_46
  # DEBUG BEGIN_STMT
  _11 = DmaReturnStatus_46 == 0;
  x ={v} _11;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_49 ={v} x;
  if (x.1_49 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 7> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 9> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _12 = 1 << _1;
  _13 = (unsigned char) _12;
  Flexio_Mcl_Ip_SetShifterDMARequest (1074110464B, _13, 1);
  # DEBUG BEGIN_STMT
  DmaTransferList ={v} {CLOBBER};
  return 0;

}


Flexio_Uart_Ip_StartSendDataUsingDma (uint8 Channel, const uint8 * TxData, uint32 TxSize)
{
  volatile boolean x;
  volatile boolean x;
  Dma_Ip_ReturnType DmaReturnStatus;
  struct Dma_Ip_LogicChannelTransferListType DmaTransferList[10];
  const struct Flexio_Uart_Ip_UserConfigType * UserConfig;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  int _1;
  long unsigned int TxData.5_2;
  volatile uint32_t * _3;
  long unsigned int _4;
  unsigned char _5;
  long unsigned int _6;
  _Bool _7;
  unsigned char _8;
  long unsigned int _9;
  _Bool _10;
  unsigned int _11;
  unsigned char _12;
  _Bool x.1_48;
  _Bool x.1_49;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_13(D);
  UartState_15 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_15
  # DEBUG BEGIN_STMT
  UserConfig_16 = Flexio_Uart_Ip_apUserConfig[_1];
  # DEBUG UserConfig => UserConfig_16
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  DmaTransferList[0].Param = 0;
  # DEBUG BEGIN_STMT
  TxData.5_2 = (long unsigned int) TxData_18(D);
  DmaTransferList[0].Value = TxData.5_2;
  # DEBUG BEGIN_STMT
  DmaTransferList[1].Param = 5;
  # DEBUG BEGIN_STMT
  _3 = &MEM[(struct FLEXIO_Type *)1074110464B].SHIFTBUF[_1];
  _4 = (long unsigned int) _3;
  DmaTransferList[1].Value = _4;
  # DEBUG BEGIN_STMT
  DmaTransferList[2].Param = 1;
  # DEBUG BEGIN_STMT
  DmaTransferList[2].Value = 1;
  # DEBUG BEGIN_STMT
  DmaTransferList[3].Param = 6;
  # DEBUG BEGIN_STMT
  DmaTransferList[3].Value = 0;
  # DEBUG BEGIN_STMT
  DmaTransferList[4].Param = 18;
  # DEBUG BEGIN_STMT
  DmaTransferList[4].Value = TxSize_27(D);
  # DEBUG BEGIN_STMT
  DmaTransferList[5].Param = 15;
  # DEBUG BEGIN_STMT
  DmaTransferList[5].Value = 1;
  # DEBUG BEGIN_STMT
  DmaTransferList[6].Param = 8;
  # DEBUG BEGIN_STMT
  DmaTransferList[6].Value = 0;
  # DEBUG BEGIN_STMT
  DmaTransferList[7].Param = 3;
  # DEBUG BEGIN_STMT
  DmaTransferList[7].Value = 0;
  # DEBUG BEGIN_STMT
  DmaTransferList[8].Param = 21;
  # DEBUG BEGIN_STMT
  DmaTransferList[8].Value = 1;
  # DEBUG BEGIN_STMT
  DmaTransferList[9].Param = 23;
  # DEBUG BEGIN_STMT
  DmaTransferList[9].Value = 1;
  # DEBUG BEGIN_STMT
  UartState_15->TxData = TxData_18(D);
  # DEBUG BEGIN_STMT
  UartState_15->RemainingBytes ={v} 0;
  # DEBUG BEGIN_STMT
  UartState_15->Status ={v} 2;
  # DEBUG BEGIN_STMT
  _5 = UserConfig_16->DmaChannel;
  _6 = (long unsigned int) _5;
  DmaReturnStatus_43 = Dma_Ip_SetLogicChannelTransferList (_6, &DmaTransferList, 10);
  # DEBUG DmaReturnStatus => DmaReturnStatus_43
  # DEBUG BEGIN_STMT
  _7 = DmaReturnStatus_43 == 0;
  x ={v} _7;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_49 ={v} x;
  if (x.1_49 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 8> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _8 = UserConfig_16->DmaChannel;
  _9 = (long unsigned int) _8;
  DmaReturnStatus_45 = Dma_Ip_SetLogicChannelCommand (_9, 0);
  # DEBUG DmaReturnStatus => DmaReturnStatus_45
  # DEBUG BEGIN_STMT
  _10 = DmaReturnStatus_45 == 0;
  x ={v} _10;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_48 ={v} x;
  if (x.1_48 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 7> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 9> [local count: 536870913]:
  goto <bb 5>; [100.00%]

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _11 = 1 << _1;
  _12 = (unsigned char) _11;
  Flexio_Mcl_Ip_SetShifterDMARequest (1074110464B, _12, 1);
  # DEBUG BEGIN_STMT
  DmaTransferList ={v} {CLOBBER};
  return 0;

}


Flexio_Uart_Ip_EnableReceiver (const uint8 Channel)
{
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearShifterStatus (1074110464B, Channel_2(D));
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_2(D)
  # DEBUG Mode => 1
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetShifterMode
  # DEBUG BEGIN_STMT
  _7 = (int) Channel_2(D);
  _8 ={v} MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCTL[_7];
  _9 = _8 & 4294967288;
  _10 = _9 | 1;
  MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCTL[_7] ={v} _10;
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG Mode => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Timer => Channel_2(D)
  # DEBUG Mode => 1
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetTimerMode
  # DEBUG BEGIN_STMT
  _4 ={v} MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_7];
  _5 = _4 & 4294967292;
  _6 = _5 | 1;
  MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_7] ={v} _6;
  # DEBUG Base => NULL
  # DEBUG Timer => NULL
  # DEBUG Mode => NULL
  return;

}


Flexio_Uart_Ip_SetupReceiveData (const uint8 Channel)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetShifterInterrupt (Channel_2(D), 0);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_EnableReceiver (Channel_2(D));
  return;

}


Flexio_Uart_Ip_SetShifterInterrupt (const uint8 Channel, boolean Enable)
{
  int _1;
  unsigned int _2;
  unsigned char _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_4(D);
  _2 = 1 << _1;
  _3 = (unsigned char) _2;
  Flexio_Mcl_Ip_SetShifterInterrupt (1074110464B, _3, Enable_6(D));
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_SetShifterErrorInterrupt (1074110464B, _3, Enable_6(D));
  return;

}


Flexio_Uart_Ip_CheckShifterErrorStatus (const uint8 Channel)
{
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  int _1;
  _Bool _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_4(D);
  UartState_6 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_6
  # DEBUG BEGIN_STMT
  _2 = Flexio_Mcl_Ip_GetShifterErrorStatus (1074110464B, Channel_4(D));
  if (_2 != 0)
    goto <bb 3>; [33.00%]
  else
    goto <bb 4>; [67.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  UartState_6->Status ={v} 1;
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearShifterErrorStatus (1074110464B, Channel_4(D));

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

}


Flexio_Uart_Ip_CheckRxOperation (const uint8 Channel, const uint8 ShifterMaskFlag, const uint8 ShifterErrMaskFlag)
{
  uint32 RegValue;
  uint32 RegValue;
  boolean IsReturn;
  uint32 ResourceMask;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  int _1;
  long unsigned int _2;
  long unsigned int _3;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _4;
  long unsigned int _5;
  void * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _10;
  long unsigned int _11;
  void * _12;
  long unsigned int _13;
  <unnamed type> _14;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _15;
  long unsigned int _16;
  void * _17;
  long unsigned int _41;
  _Bool _42;
  long unsigned int _44;
  _Bool _45;

  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_22(D);
  UartState_24 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_24
  # DEBUG BEGIN_STMT
  UartUserCfg_25 = Flexio_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_25
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  ResourceMask_26 = 1 << _1;
  # DEBUG ResourceMask => ResourceMask_26
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  _2 = (long unsigned int) ShifterErrMaskFlag_27(D);
  _3 = _2 & ResourceMask_26;
  if (_3 != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 3> [local count: 536870911]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_22(D)
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_GetShifterErrorInterrupt
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  RegValue_40 ={v} MEM[(const struct FLEXIO_Type *)1074110464B].SHIFTEIEN;
  # DEBUG RegValue => RegValue_40
  # DEBUG BEGIN_STMT
  _41 = RegValue_40 >> _1;
  # DEBUG RegValue => _41 & 1
  # DEBUG BEGIN_STMT
  _42 = (_Bool) _41;
  # DEBUG RetStatus => _42
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG RegValue => NULL
  if (_42 != 0)
    goto <bb 5>; [67.00%]
  else
    goto <bb 4>; [33.00%]

  <bb 4> [local count: 177167401]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearShifterErrorStatus (1074110464B, Channel_22(D));
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 1
  goto <bb 13>; [100.00%]

  <bb 5> [local count: 359703511]:
  # DEBUG BEGIN_STMT
  UartState_24->Status ={v} 514;
  # DEBUG BEGIN_STMT
  UartState_24->RemainingBytes ={v} 0;
  # DEBUG BEGIN_STMT
  _4 = UartUserCfg_25->Callback;
  if (_4 != 0B)
    goto <bb 6>; [70.00%]
  else
    goto <bb 13>; [30.00%]

  <bb 6> [local count: 251792457]:
  # DEBUG BEGIN_STMT
  _5 = (long unsigned int) Channel_22(D);
  _6 = UartUserCfg_25->CallbackParam;
  _4 (_5, 3, _6);
  goto <bb 13>; [100.00%]

  <bb 7> [local count: 536870911]:
  # DEBUG BEGIN_STMT
  _7 = (long unsigned int) ShifterMaskFlag_28(D);
  _8 = _7 & ResourceMask_26;
  if (_8 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 8> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_22(D)
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_GetShifterInterrupt
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  RegValue_43 ={v} MEM[(const struct FLEXIO_Type *)1074110464B].SHIFTSIEN;
  # DEBUG RegValue => RegValue_43
  # DEBUG BEGIN_STMT
  _44 = RegValue_43 >> _1;
  # DEBUG RegValue => _44 & 1
  # DEBUG BEGIN_STMT
  _45 = (_Bool) _44;
  # DEBUG RetStatus => _45
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG RegValue => NULL
  if (_45 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 9> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearShifterStatus (1074110464B, Channel_22(D));
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 1
  # DEBUG BEGIN_STMT
  goto <bb 13>; [100.00%]

  <bb 10> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_ReadData (Channel_22(D));
  # DEBUG BEGIN_STMT
  _9 ={v} UartState_24->RemainingBytes;
  if (_9 == 0)
    goto <bb 11>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 11> [local count: 67108864]:
  # DEBUG BEGIN_STMT
  _10 = UartUserCfg_25->Callback;
  if (_10 != 0B)
    goto <bb 12>; [70.00%]
  else
    goto <bb 13>; [30.00%]

  <bb 12> [local count: 46976205]:
  # DEBUG BEGIN_STMT
  _11 = (long unsigned int) Channel_22(D);
  _12 = UartUserCfg_25->CallbackParam;
  _10 (_11, 0, _12);

  <bb 13> [local count: 1073741824]:
  # IsReturn_18 = PHI <0(5), 0(7), 0(10), 1(4), 0(6), 1(9), 0(12), 0(11)>
  # DEBUG IsReturn => IsReturn_18
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _13 ={v} UartState_24->RemainingBytes;
  if (_13 == 0)
    goto <bb 14>; [50.00%]
  else
    goto <bb 19>; [50.00%]

  <bb 14> [local count: 536870913]:
  if (IsReturn_18 != 0)
    goto <bb 19>; [50.00%]
  else
    goto <bb 15>; [50.00%]

  <bb 15> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _14 ={v} UartState_24->Status;
  if (_14 == 2)
    goto <bb 16>; [34.00%]
  else
    goto <bb 17>; [66.00%]

  <bb 16> [local count: 91268055]:
  # DEBUG BEGIN_STMT
  UartState_24->Status ={v} 0;

  <bb 17> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearShifterStatus (1074110464B, Channel_22(D));
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_StopTransfer (Channel_22(D));
  # DEBUG BEGIN_STMT
  _15 = UartUserCfg_25->Callback;
  if (_15 != 0B)
    goto <bb 18>; [70.00%]
  else
    goto <bb 19>; [30.00%]

  <bb 18> [local count: 187904819]:
  # DEBUG BEGIN_STMT
  _16 = (long unsigned int) Channel_22(D);
  _17 = UartUserCfg_25->CallbackParam;
  _15 (_16, 2, _17);

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

}


Flexio_Uart_Ip_ReadData (const uint8 Channel)
{
  volatile boolean x;
  volatile boolean x;
  uint32 Data;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  uint32 Data32b;
  int _1;
  long unsigned int _2;
  _Bool _3;
  volatile uint8 * _4;
  _Bool _5;
  <unnamed type> _6;
  long unsigned int _7;
  unsigned char _8;
  volatile uint8 * _9;
  volatile uint8 * _10;
  long unsigned int _11;
  long unsigned int _12;
  _Bool x.1_23;
  _Bool x.1_24;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_14(D);
  UartState_16 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_16
  # DEBUG BEGIN_STMT
  UartUserCfg_17 = Flexio_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_17
  # DEBUG BEGIN_STMT
  _2 ={v} UartState_16->RemainingBytes;
  _3 = _2 != 0;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_24 ={v} x;
  if (x.1_24 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 10> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _4 = UartState_16->RxData;
  _5 = _4 != 0B;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_23 ={v} x;
  if (x.1_23 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 9> [local count: 53687]:

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_14(D)
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_ReadShifterBuffer
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Data_22 ={v} MEM[(const struct FLEXIO_Type *)1074110464B].SHIFTBUF[_1];
  # DEBUG Data => Data_22
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG Data => NULL
  # DEBUG Data32b => Data_22
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_17->BitCount;
  _7 = 32 - _6;
  Data32b_18 = Data_22 >> _7;
  # DEBUG Data32b => Data32b_18
  # DEBUG BEGIN_STMT
  if (_6 == 8)
    goto <bb 7>; [34.00%]
  else
    goto <bb 8>; [66.00%]

  <bb 7> [local count: 18254]:
  # DEBUG BEGIN_STMT
  _8 = (unsigned char) Data32b_18;
  *_4 ={v} _8;
  # DEBUG BEGIN_STMT
  _9 = UartState_16->RxData;
  _10 = _9 + 1;
  UartState_16->RxData = _10;
  # DEBUG BEGIN_STMT
  _11 ={v} UartState_16->RemainingBytes;
  _12 = _11 + 4294967295;
  UartState_16->RemainingBytes ={v} _12;

  <bb 8> [local count: 53687]:
  return;

}


Flexio_Uart_Ip_CheckCompleteTransferData (const uint8 Channel)
{
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  const struct Flexio_Uart_Ip_StateStructureType * UartState;
  int _1;
  long unsigned int _2;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _3;
  long unsigned int _4;
  void * _5;
  long unsigned int _6;
  <unnamed type> _7;
  unsigned int _8;
  unsigned char _9;

  <bb 2> [local count: 1073741821]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_12(D);
  UartState_14 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_14
  # DEBUG BEGIN_STMT
  UartUserCfg_15 = Flexio_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_15
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  _2 ={v} UartState_14->RemainingBytes;
  if (_2 == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 3> [local count: 536870910]:
  # DEBUG BEGIN_STMT
  _3 = UartUserCfg_15->Callback;
  if (_3 != 0B)
    goto <bb 4>; [70.00%]
  else
    goto <bb 5>; [30.00%]

  <bb 4> [local count: 375809637]:
  # DEBUG BEGIN_STMT
  _4 = (long unsigned int) Channel_12(D);
  _5 = UartUserCfg_15->CallbackParam;
  _3 (_4, 1, _5);

  <bb 5> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  _6 ={v} UartState_14->RemainingBytes;
  if (_6 == 0)
    goto <bb 6>; [33.00%]
  else
    goto <bb 8>; [67.00%]

  <bb 6> [local count: 354334801]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearTimerStatus (1074110464B, Channel_12(D));
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_15->DriverType;
  if (_7 == 0)
    goto <bb 7>; [33.00%]
  else
    goto <bb 8>; [67.00%]

  <bb 7> [local count: 116930484]:
  # DEBUG BEGIN_STMT
  _8 = 1 << _1;
  _9 = (unsigned char) _8;
  Flexio_Mcl_Ip_SetShifterInterrupt (1074110464B, _9, 0);
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_SetTimerInterrupt (1074110464B, _9, 1);

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

}


Flexio_Uart_Ip_CheckTxOperation (const uint8 Channel, const uint8 ShifterMaskFlag, const uint8 TimerMaskFlag)
{
  uint32 RegValue;
  uint32 RegValue;
  uint32 ResourceMask;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  unsigned char _5;
  unsigned char _6;
  <unnamed type> _7;
  void (*<T4b9>) (const uint32, const Flexio_Uart_Ip_EventType, void *) _8;
  long unsigned int _9;
  void * _10;
  _Bool _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _35;
  _Bool _36;
  long unsigned int _37;
  long unsigned int _38;
  long unsigned int _39;
  long unsigned int _41;
  _Bool _42;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_17(D);
  UartState_19 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_19
  # DEBUG BEGIN_STMT
  UartUserCfg_20 = Flexio_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_20
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  ResourceMask_21 = 1 << _1;
  # DEBUG ResourceMask => ResourceMask_21
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  _2 ={v} UartState_19->RemainingBytes;
  if (_2 == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _3 = (long unsigned int) TimerMaskFlag_26(D);
  _4 = _3 & ResourceMask_21;
  if (_4 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 18>; [50.00%]

  <bb 4> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Timer => Channel_17(D)
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_GetTimerInterrupt
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  RegValue_34 ={v} MEM[(const struct FLEXIO_Type *)1074110464B].TIMIEN;
  # DEBUG RegValue => RegValue_34
  # DEBUG BEGIN_STMT
  _35 = RegValue_34 >> _1;
  # DEBUG RegValue => _35 & 1
  # DEBUG BEGIN_STMT
  _36 = (_Bool) _35;
  # DEBUG RetStatus => _36
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG Timer => NULL
  # DEBUG RegValue => NULL
  if (_36 != 0)
    goto <bb 5>; [67.00%]
  else
    goto <bb 6>; [33.00%]

  <bb 5> [local count: 179851756]:
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = UartState_19->TxFlush;
  _6 = _5 + 255;
  UartState_19->TxFlush = _6;
  # DEBUG BEGIN_STMT
  if (_6 == 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 6> [local count: 88583701]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearTimerStatus (1074110464B, Channel_17(D));
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 1
  # DEBUG BEGIN_STMT
  goto <bb 18>; [100.00%]

  <bb 7> [local count: 89925878]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearShifterStatus (1074110464B, Channel_17(D));
  # DEBUG BEGIN_STMT
  _7 ={v} UartState_19->Status;
  if (_7 == 2)
    goto <bb 8>; [34.00%]
  else
    goto <bb 9>; [66.00%]

  <bb 8> [local count: 30574798]:
  # DEBUG BEGIN_STMT
  UartState_19->Status ={v} 0;

  <bb 9> [local count: 89925878]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_StopTransfer (Channel_17(D));
  # DEBUG BEGIN_STMT
  _8 = UartUserCfg_20->Callback;
  if (_8 != 0B)
    goto <bb 10>; [70.00%]
  else
    goto <bb 18>; [30.00%]

  <bb 10> [local count: 62948114]:
  # DEBUG BEGIN_STMT
  _9 = (long unsigned int) Channel_17(D);
  _10 = UartUserCfg_20->CallbackParam;
  _8 (_9, 2, _10);
  goto <bb 18>; [100.00%]

  <bb 11> [local count: 89925878]:
  # DEBUG BEGIN_STMT
  _11 = Flexio_Mcl_Ip_GetShifterStatus (1074110464B, Channel_17(D));
  if (_11 != 0)
    goto <bb 12>; [50.00%]
  else
    goto <bb 18>; [50.00%]

  <bb 12> [local count: 44962939]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_17(D)
  # DEBUG Start => 3
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetShifterStartBit
  # DEBUG BEGIN_STMT
  _37 ={v} MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCFG[_1];
  _38 = _37 & 4294967292;
  _39 = _38 | 3;
  MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCFG[_1] ={v} _39;
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG Start => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_17(D)
  # DEBUG Value => 4294967295
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_WriteShifterBuffer
  # DEBUG BEGIN_STMT
  MEM[(struct FLEXIO_Type *)1074110464B].SHIFTBUF[_1] ={v} 4294967295;
  goto <bb 18>; [100.00%]

  <bb 13> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _12 = (long unsigned int) ShifterMaskFlag_22(D);
  _13 = _12 & ResourceMask_21;
  if (_13 != 0)
    goto <bb 14>; [50.00%]
  else
    goto <bb 18>; [50.00%]

  <bb 14> [local count: 268435456]:
  _14 ={v} UartState_19->RemainingBytes;
  if (_14 != 0)
    goto <bb 15>; [50.00%]
  else
    goto <bb 18>; [50.00%]

  <bb 15> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_17(D)
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_GetShifterInterrupt
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  RegValue_40 ={v} MEM[(const struct FLEXIO_Type *)1074110464B].SHIFTSIEN;
  # DEBUG RegValue => RegValue_40
  # DEBUG BEGIN_STMT
  _41 = RegValue_40 >> _1;
  # DEBUG RegValue => _41 & 1
  # DEBUG BEGIN_STMT
  _42 = (_Bool) _41;
  # DEBUG RetStatus => _42
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG RegValue => NULL
  if (_42 != 0)
    goto <bb 17>; [50.00%]
  else
    goto <bb 16>; [50.00%]

  <bb 16> [local count: 67108864]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearShifterStatus (1074110464B, Channel_17(D));
  goto <bb 18>; [100.00%]

  <bb 17> [local count: 67108864]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_WriteData (Channel_17(D));
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_CheckCompleteTransferData (Channel_17(D));

  <bb 18> [local count: 1073741824]:
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG Value => NULL
  # DEBUG BEGIN_STMT
  return;

}


Flexio_Uart_Ip_WriteData (const uint8 Channel)
{
  volatile boolean x;
  uint32 Data32b;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  int _1;
  const uint8 * _2;
  _Bool _3;
  <unnamed type> _4;
  unsigned char _5;
  const uint8 * _6;
  long unsigned int _7;
  long unsigned int _8;
  _Bool x.1_18;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Data32b => 0
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_11(D);
  UartUserCfg_13 = Flexio_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_13
  # DEBUG BEGIN_STMT
  UartState_14 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_14
  # DEBUG BEGIN_STMT
  _2 = UartState_14->TxData;
  _3 = _2 != 0B;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.1_18 ={v} x;
  if (x.1_18 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 7> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  _4 = UartUserCfg_13->BitCount;
  if (_4 == 8)
    goto <bb 5>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 5> [local count: 36507]:
  # DEBUG BEGIN_STMT
  _5 ={v} *_2;
  Data32b_15 = (uint32) _5;
  # DEBUG Data32b => Data32b_15
  # DEBUG BEGIN_STMT
  _6 = _2 + 1;
  UartState_14->TxData = _6;
  # DEBUG BEGIN_STMT
  _7 ={v} UartState_14->RemainingBytes;
  _8 = _7 + 4294967295;
  UartState_14->RemainingBytes ={v} _8;

  <bb 6> [local count: 107374]:
  # Data32b_9 = PHI <0(4), Data32b_15(5)>
  # DEBUG Data32b => Data32b_9
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_11(D)
  # DEBUG Value => Data32b_9
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_WriteShifterBuffer
  # DEBUG BEGIN_STMT
  MEM[(struct FLEXIO_Type *)1074110464B].SHIFTBUF[_1] ={v} Data32b_9;
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG Value => NULL
  return;

}


Flexio_Uart_Ip_StopTransfer (const uint8 Channel)
{
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  const struct Flexio_Uart_Ip_StateStructureType * UartState;
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  int _1;
  <unnamed type> _2;
  _Bool _3;
  long unsigned int TimeoutTicks.0_4;
  _Bool _5;
  <unnamed type> _6;
  long unsigned int _23;
  long unsigned 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;

  <bb 2> [local count: 567507571]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_10(D);
  UartUserCfg_12 = Flexio_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_12
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ElapsedTicks = 0;
  # DEBUG BEGIN_STMT
  UartState_14 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_14
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_EndTransfer (Channel_10(D));
  # DEBUG BEGIN_STMT
  _2 ={v} UartState_14->Status;
  if (_2 == 516)
    goto <bb 3>; [20.24%]
  else
    goto <bb 6>; [79.76%]

  <bb 3> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, 500000, 0);
  # DEBUG BEGIN_STMT

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = Flexio_Mcl_Ip_GetTimerStatus (1074110464B, Channel_10(D));
  if (_3 != 0)
    goto <bb 6>; [5.50%]
  else
    goto <bb 5>; [94.50%]

  <bb 5> [local count: 1014686025]:
  TimeoutTicks.0_4 = TimeoutTicks;
  _5 = Flexio_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.0_4, 0);
  if (_5 != 0)
    goto <bb 6>; [5.50%]
  else
    goto <bb 9>; [94.50%]

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

  <bb 6> [local count: 567507571]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Timer => Channel_10(D)
  # DEBUG Mode => 0
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetTimerMode
  # DEBUG BEGIN_STMT
  _25 ={v} MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_1];
  _26 = _25 & 4294967292;
  MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_1] ={v} _26;
  # DEBUG Base => NULL
  # DEBUG Timer => NULL
  # DEBUG Mode => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_10(D)
  # DEBUG Mode => 0
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetShifterMode
  # DEBUG BEGIN_STMT
  _23 ={v} MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCTL[_1];
  _24 = _23 & 4294967288;
  MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCTL[_1] ={v} _24;
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG Mode => NULL
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearShifterErrorStatus (1074110464B, Channel_10(D));
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_12->Direction;
  if (_6 == 1)
    goto <bb 7>; [34.00%]
  else
    goto <bb 8>; [66.00%]

  <bb 7> [local count: 192952574]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_10(D)
  # DEBUG Start => 2
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetShifterStartBit
  # DEBUG BEGIN_STMT
  _30 ={v} MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCFG[_1];
  _31 = _30 & 4294967292;
  _32 = _31 | 2;
  MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCFG[_1] ={v} _32;
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG Start => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_10(D)
  # DEBUG Mode => 2
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetShifterMode
  # DEBUG BEGIN_STMT
  _27 ={v} MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCTL[_1];
  _28 = _27 & 4294967288;
  _29 = _28 | 2;
  MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCTL[_1] ={v} _29;

  <bb 8> [local count: 567507571]:
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG Mode => NULL
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return;

}


Flexio_Uart_Ip_EndTransfer (const uint8 Channel)
{
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  struct Flexio_Uart_Ip_StateStructureType * UartState;
  int _1;
  <unnamed type> _2;
  unsigned int _3;
  unsigned char _4;
  unsigned int _5;
  unsigned char _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_8(D);
  UartState_10 = Flexio_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_10
  # DEBUG BEGIN_STMT
  UartUserCfg_11 = Flexio_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_11
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  _2 = UartUserCfg_11->DriverType;
  switch (_2) <default: <L4> [33.33%], case 0: <L0> [33.33%], case 1: <L1> [33.33%]>

  <bb 3> [local count: 357878150]:
<L0>:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetShifterInterrupt (Channel_8(D), 0);
  # DEBUG BEGIN_STMT
  _3 = 1 << _1;
  _4 = (unsigned char) _3;
  Flexio_Mcl_Ip_SetTimerInterrupt (1074110464B, _4, 0);
  # DEBUG BEGIN_STMT
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 357878150]:
<L1>:
  # DEBUG BEGIN_STMT
  _5 = 1 << _1;
  _6 = (unsigned char) _5;
  Flexio_Mcl_Ip_SetTimerInterrupt (1074110464B, _6, 0);
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_SetShifterDMARequest (1074110464B, _6, 0);
  # DEBUG BEGIN_STMT

  <bb 5> [local count: 1073634451]:
<L4>:
  # DEBUG BEGIN_STMT
  UartState_10->RemainingBytes ={v} 0;
  # DEBUG BEGIN_STMT
  UartState_10->DriverIdle ={v} 0;
  return;

}


Flexio_Uart_Ip_ConfigureRx (const uint8 Channel, const Flexio_Uart_Ip_BitCountPerCharType BitCount, const uint8 Divider, const uint8 DataPin, const Flexio_Uart_Ip_TimerDecrementType TimerDec)
{
  uint16 Bits;
  short unsigned int _1;
  short unsigned int _2;
  short unsigned int _3;
  short unsigned int _4;
  short unsigned int _5;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  int _23;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  Bits_7 = (uint16) BitCount_6(D);
  # DEBUG Bits => Bits_7
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_9(D)
  # DEBUG Start => 2
  # DEBUG Stop => 3
  # DEBUG Source => 0
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetShifterConfig
  # DEBUG BEGIN_STMT
  _23 = (int) Channel_9(D);
  MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCFG[_23] ={v} 50;
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG Start => NULL
  # DEBUG Stop => NULL
  # DEBUG Source => NULL
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetShifterControl (1074110464B, Channel_9(D), 0, Channel_9(D), 1);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetPinShifterControl (1074110464B, Channel_9(D), DataPin_11(D), 0, 0);
  # DEBUG BEGIN_STMT
  _1 = Bits_7 << 1;
  _2 = _1 + 65535;
  _3 = _2 << 8;
  _4 = (short unsigned int) Divider_13(D);
  _5 = _3 + _4;
  # DEBUG Base => 1074110464B
  # DEBUG Timer => Channel_9(D)
  # DEBUG Value => _5
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetTimerCompare
  # DEBUG BEGIN_STMT
  _22 = (long unsigned int) _5;
  MEM[(struct FLEXIO_Type *)1074110464B].TIMCMP[_23] ={v} _22;
  # DEBUG Base => NULL
  # DEBUG Timer => NULL
  # DEBUG Value => NULL
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerConfig (1074110464B, Channel_9(D), 4, TimerDec_14(D), 2);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerStartStopBitConfig (1074110464B, Channel_9(D), 1, 2);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerCondition (1074110464B, Channel_9(D), 4, 2);
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Timer => Channel_9(D)
  # DEBUG Mode => 0
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetTimerControl
  # DEBUG BEGIN_STMT
  _20 ={v} MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_23];
  _21 = _20 & 4294967292;
  MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_23] ={v} _21;
  # DEBUG Base => NULL
  # DEBUG Timer => NULL
  # DEBUG Mode => NULL
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerTrigger (1074110464B, Channel_9(D), 0, 0, 0);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetPinTimerControl (1074110464B, Channel_9(D), DataPin_11(D), 1, 0);
  return;

}


Flexio_Uart_Ip_ConfigureTx (const uint8 Channel, const Flexio_Uart_Ip_BitCountPerCharType BitCount, const uint8 Divider, const uint8 DataPin, const Flexio_Uart_Ip_TimerDecrementType TimerDec)
{
  uint16 Bits;
  short unsigned int _1;
  short unsigned int _2;
  short unsigned int _3;
  short unsigned int _4;
  short unsigned int _5;
  unsigned char _6;
  unsigned char _7;
  long unsigned int _22;
  long unsigned int _23;
  long unsigned int _24;
  int _25;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  Bits_9 = (uint16) BitCount_8(D);
  # DEBUG Bits => Bits_9
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Shifter => Channel_11(D)
  # DEBUG Start => 2
  # DEBUG Stop => 3
  # DEBUG Source => 0
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetShifterConfig
  # DEBUG BEGIN_STMT
  _25 = (int) Channel_11(D);
  MEM[(struct FLEXIO_Type *)1074110464B].SHIFTCFG[_25] ={v} 50;
  # DEBUG Base => NULL
  # DEBUG Shifter => NULL
  # DEBUG Start => NULL
  # DEBUG Stop => NULL
  # DEBUG Source => NULL
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetShifterControl (1074110464B, Channel_11(D), 2, Channel_11(D), 0);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetPinShifterControl (1074110464B, Channel_11(D), DataPin_13(D), 0, 3);
  # DEBUG BEGIN_STMT
  _1 = Bits_9 << 1;
  _2 = _1 + 65535;
  _3 = _2 << 8;
  _4 = (short unsigned int) Divider_15(D);
  _5 = _3 + _4;
  # DEBUG Base => 1074110464B
  # DEBUG Timer => Channel_11(D)
  # DEBUG Value => _5
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetTimerCompare
  # DEBUG BEGIN_STMT
  _24 = (long unsigned int) _5;
  MEM[(struct FLEXIO_Type *)1074110464B].TIMCMP[_25] ={v} _24;
  # DEBUG Base => NULL
  # DEBUG Timer => NULL
  # DEBUG Value => NULL
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerConfig (1074110464B, Channel_11(D), 0, TimerDec_16(D), 0);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerStartStopBitConfig (1074110464B, Channel_11(D), 1, 2);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetTimerCondition (1074110464B, Channel_11(D), 2, 2);
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG Timer => Channel_11(D)
  # DEBUG Mode => 0
  # DEBUG INLINE_ENTRY Flexio_Uart_Ip_SetTimerControl
  # DEBUG BEGIN_STMT
  _22 ={v} MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_25];
  _23 = _22 & 4294967292;
  MEM[(struct FLEXIO_Type *)1074110464B].TIMCTL[_25] ={v} _23;
  # DEBUG Base => NULL
  # DEBUG Timer => NULL
  # DEBUG Mode => NULL
  # DEBUG BEGIN_STMT
  _6 = Channel_11(D) << 2;
  _7 = _6 + 1;
  Flexio_Uart_Ip_SetTimerTrigger (1074110464B, Channel_11(D), _7, 1, 1);
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_SetPinTimerControl (1074110464B, Channel_11(D), 0, 0, 0);
  return;

}


Flexio_Uart_Ip_IrqHandler (uint8 Channel, uint8 ShifterMaskFlag, uint8 ShifterErrorMaskFlag, uint8 TimerMaskFlag)
{
  const struct Flexio_Uart_Ip_UserConfigType * UartUserCfg;
  int _1;
  <unnamed type> _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Channel_4(D);
  UartUserCfg_6 = Flexio_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_6
  # DEBUG BEGIN_STMT
  # DEBUG Base => 1074110464B
  # DEBUG BEGIN_STMT
  if (UartUserCfg_6 == 0B)
    goto <bb 3>; [17.43%]
  else
    goto <bb 4>; [82.57%]

  <bb 3> [local count: 187153200]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearTimerStatus (1074110464B, Channel_4(D));
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearShifterStatus (1074110464B, Channel_4(D));
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_ClearShifterErrorStatus (1074110464B, Channel_4(D));
  goto <bb 7>; [100.00%]

  <bb 4> [local count: 886588625]:
  # DEBUG BEGIN_STMT
  _2 = UartUserCfg_6->Direction;
  if (_2 == 1)
    goto <bb 5>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 5> [local count: 301440132]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_CheckTxOperation (Channel_4(D), ShifterMaskFlag_7(D), TimerMaskFlag_10(D));
  goto <bb 7>; [100.00%]

  <bb 6> [local count: 585148493]:
  # DEBUG BEGIN_STMT
  Flexio_Uart_Ip_CheckRxOperation (Channel_4(D), ShifterMaskFlag_7(D), ShifterErrorMaskFlag_8(D));

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

}


Flexio_Uart_Ip_CheckTimeout (uint32 * StartTime, uint32 * ElapsedTicks, uint32 TimeoutTicks, OsIf_CounterType OsifCounter)
{
  uint32 CurrentElapsedTicks;
  long unsigned int _1;
  long unsigned int _2;
  boolean _11;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  CurrentElapsedTicks_7 = OsIf_GetElapsed (StartTime_4(D), OsifCounter_5(D));
  # DEBUG CurrentElapsedTicks => CurrentElapsedTicks_7
  # DEBUG BEGIN_STMT
  _1 = *ElapsedTicks_8(D);
  _2 = _1 + CurrentElapsedTicks_7;
  *ElapsedTicks_8(D) = _2;
  # DEBUG BEGIN_STMT
  _11 = _2 >= TimeoutTicks_10(D);
  return _11;

}


Flexio_Uart_Ip_StartTimeout (uint32 * StartTimeOut, uint32 * TimeoutTicksOut, uint32 TimeoutUs, OsIf_CounterType OsifCounter)
{
  long unsigned int _1;
  long unsigned int _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = OsIf_GetCounter (OsifCounter_4(D));
  *StartTimeOut_6(D) = _1;
  # DEBUG BEGIN_STMT
  _2 = OsIf_MicrosToTicks (TimeoutUs_8(D), OsifCounter_4(D));
  *TimeoutTicksOut_10(D) = _2;
  return;

}


Flexio_Uart_Ip_SetPinTimerControl (struct FLEXIO_Type * Base, uint8 Timer, uint8 Pin, Flexio_Mcl_Ip_PinPolarityType PinPolarity, Flexio_Mcl_Ip_PinConfigType PinConfig)
{
  int _1;
  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 _8;
  long unsigned int _9;
  long unsigned 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;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = (int) Timer_18(D);
  _2 ={v} Base_20(D)->TIMCTL[_1];
  _3 = _2 & 4294965503;
  _4 = (long unsigned int) Pin_21(D);
  _5 = _4 << 8;
  _6 = _5 & 1792;
  _7 = _3 | _6;
  Base_20(D)->TIMCTL[_1] ={v} _7;
  # DEBUG BEGIN_STMT
  _8 ={v} Base_20(D)->TIMCTL[_1];
  _9 = _8 & 4294967167;
  _10 = PinPolarity_23(D) << 7;
  _11 = _10 & 255;
  _12 = _9 | _11;
  Base_20(D)->TIMCTL[_1] ={v} _12;
  # DEBUG BEGIN_STMT
  _13 ={v} Base_20(D)->TIMCTL[_1];
  _14 = _13 & 4294770687;
  _15 = PinConfig_25(D) << 16;
  _16 = _15 & 196608;
  _17 = _14 | _16;
  Base_20(D)->TIMCTL[_1] ={v} _17;
  return;

}


Flexio_Uart_Ip_SetTimerTrigger (struct FLEXIO_Type * Base, uint8 Timer, uint8 Trigger, Flexio_Mcl_Ip_TriggerPolarityType TriggerPolarity, Flexio_Mcl_Ip_TriggerSourceType TriggerSource)
{
  int _1;
  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 _8;
  long unsigned int _9;
  long unsigned 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;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = (int) Timer_18(D);
  _2 ={v} Base_20(D)->TIMCTL[_1];
  _3 = _2 & 4290772991;
  _4 = TriggerSource_21(D) << 22;
  _5 = _4 & 4194304;
  _6 = _3 | _5;
  Base_20(D)->TIMCTL[_1] ={v} _6;
  # DEBUG BEGIN_STMT
  _7 ={v} Base_20(D)->TIMCTL[_1];
  _8 = _7 & 4286578687;
  _9 = TriggerPolarity_23(D) << 23;
  _10 = _9 & 8388608;
  _11 = _8 | _10;
  Base_20(D)->TIMCTL[_1] ={v} _11;
  # DEBUG BEGIN_STMT
  _12 ={v} Base_20(D)->TIMCTL[_1];
  _13 = _12 & 4043309055;
  _14 = (long unsigned int) Trigger_25(D);
  _15 = _14 << 24;
  _16 = _15 & 251658240;
  _17 = _13 | _16;
  Base_20(D)->TIMCTL[_1] ={v} _17;
  return;

}


Flexio_Uart_Ip_SetTimerCondition (struct FLEXIO_Type * Base, uint8 Timer, Flexio_Mcl_Ip_TimerEnableType Enable, Flexio_Mcl_Ip_TimerDisableType Disable)
{
  int _1;
  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 _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = (int) Timer_12(D);
  _2 ={v} Base_14(D)->TIMCFG[_1];
  _3 = _2 & 4294965503;
  _4 = Enable_15(D) << 8;
  _5 = _4 & 1792;
  _6 = _3 | _5;
  Base_14(D)->TIMCFG[_1] ={v} _6;
  # DEBUG BEGIN_STMT
  _7 ={v} Base_14(D)->TIMCFG[_1];
  _8 = _7 & 4294938623;
  _9 = Disable_17(D) << 12;
  _10 = _9 & 28672;
  _11 = _8 | _10;
  Base_14(D)->TIMCFG[_1] ={v} _11;
  return;

}


Flexio_Uart_Ip_SetTimerStartStopBitConfig (struct FLEXIO_Type * Base, uint8 Timer, Flexio_Mcl_Ip_TimerStartType Start, Flexio_Mcl_Ip_TimerStopType Stop)
{
  int _1;
  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 _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = (int) Timer_12(D);
  _2 ={v} Base_14(D)->TIMCFG[_1];
  _3 = _2 & 4294967293;
  _4 = Start_15(D) << 1;
  _5 = _4 & 2;
  _6 = _3 | _5;
  Base_14(D)->TIMCFG[_1] ={v} _6;
  # DEBUG BEGIN_STMT
  _7 ={v} Base_14(D)->TIMCFG[_1];
  _8 = _7 & 4294967247;
  _9 = Stop_17(D) << 4;
  _10 = _9 & 48;
  _11 = _8 | _10;
  Base_14(D)->TIMCFG[_1] ={v} _11;
  return;

}


Flexio_Uart_Ip_SetTimerConfig (struct FLEXIO_Type * Base, uint8 Timer, Flexio_Mcl_Ip_TimerResetType Reset, Flexio_Uart_Ip_TimerDecrementType Decrement, Flexio_Mcl_Ip_TimerOutputType Output)
{
  int _1;
  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 _8;
  long unsigned int _9;
  long unsigned 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;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = (int) Timer_17(D);
  _2 ={v} Base_19(D)->TIMCFG[_1];
  _3 = _2 & 4294508543;
  _4 = Reset_20(D) << 16;
  _5 = _4 & 458752;
  _6 = _3 | _5;
  Base_19(D)->TIMCFG[_1] ={v} _6;
  # DEBUG BEGIN_STMT
  _7 ={v} Base_19(D)->TIMCFG[_1];
  _8 = _7 & 4291821567;
  _9 = Decrement_22(D) << 20;
  _10 = _9 & 3145728;
  _11 = _8 | _10;
  Base_19(D)->TIMCFG[_1] ={v} _11;
  # DEBUG BEGIN_STMT
  _12 ={v} Base_19(D)->TIMCFG[_1];
  _13 = _12 & 4244635647;
  _14 = Output_24(D) << 24;
  _15 = _14 & 50331648;
  _16 = _13 | _15;
  Base_19(D)->TIMCFG[_1] ={v} _16;
  return;

}


Flexio_Uart_Ip_SetPinShifterControl (struct FLEXIO_Type * Base, uint8 Shifter, uint8 Pin, Flexio_Mcl_Ip_PinPolarityType PinPolarity, Flexio_Mcl_Ip_PinConfigType PinConfig)
{
  int _1;
  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 _8;
  long unsigned int _9;
  long unsigned 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;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = (int) Shifter_18(D);
  _2 ={v} Base_20(D)->SHIFTCTL[_1];
  _3 = _2 & 4294967167;
  _4 = PinPolarity_21(D) << 7;
  _5 = _4 & 255;
  _6 = _3 | _5;
  Base_20(D)->SHIFTCTL[_1] ={v} _6;
  # DEBUG BEGIN_STMT
  _7 ={v} Base_20(D)->SHIFTCTL[_1];
  _8 = _7 & 4294965503;
  _9 = (long unsigned int) Pin_23(D);
  _10 = _9 << 8;
  _11 = _10 & 1792;
  _12 = _8 | _11;
  Base_20(D)->SHIFTCTL[_1] ={v} _12;
  # DEBUG BEGIN_STMT
  _13 ={v} Base_20(D)->SHIFTCTL[_1];
  _14 = _13 & 4294770687;
  _15 = PinConfig_25(D) << 16;
  _16 = _15 & 196608;
  _17 = _14 | _16;
  Base_20(D)->SHIFTCTL[_1] ={v} _17;
  return;

}


Flexio_Uart_Ip_SetShifterControl (struct FLEXIO_Type * Base, uint8 Shifter, Flexio_Mcl_Ip_ShifterModeType Mode, uint8 Timer, Flexio_Mcl_Ip_TimerPolarityType TimerPolarity)
{
  int _1;
  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 _8;
  long unsigned int _9;
  long unsigned 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;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = (int) Shifter_17(D);
  _2 ={v} Base_19(D)->SHIFTCTL[_1];
  _3 = _2 & 4294967288;
  _4 = Mode_20(D) & 7;
  _5 = _3 | _4;
  Base_19(D)->SHIFTCTL[_1] ={v} _5;
  # DEBUG BEGIN_STMT
  _6 ={v} Base_19(D)->SHIFTCTL[_1];
  _7 = _6 & 4286578687;
  _8 = TimerPolarity_22(D) << 23;
  _9 = _8 & 8388608;
  _10 = _7 | _9;
  Base_19(D)->SHIFTCTL[_1] ={v} _10;
  # DEBUG BEGIN_STMT
  _11 ={v} Base_19(D)->SHIFTCTL[_1];
  _12 = _11 & 4244635647;
  _13 = (long unsigned int) Timer_24(D);
  _14 = _13 << 24;
  _15 = _14 & 50331648;
  _16 = _12 | _15;
  Base_19(D)->SHIFTCTL[_1] ={v} _16;
  return;

}


