
Reclaiming functions: __builtin_unreachable/201
Reclaiming variables:
Clearing address taken flags:
Symbol table:

Lpuart_Uart_Ip_ClearStatusFlag.part.0/83 (Lpuart_Uart_Ip_ClearStatusFlag.part.0) @05f321c0
  Type: function definition analyzed
  Visibility: artificial
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) first_run:1 body local split_part optimize_size
  Called by: Lpuart_Uart_Ip_ErrIrqHandler/53 (177167401 (estimated locally),0.17 per call) 
  Calls: 
Dma_Ip_GetLogicChannelStatus/82 (Dma_Ip_GetLogicChannelStatus) @063b4ee0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (729558 (estimated locally),1.00 per call) Lpuart_Uart_Ip_CompleteSendUsingDma/57 (729558 (estimated locally),1.00 per call) 
  Calls: 
SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03/81 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03) @06352700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_AsyncReceive/42 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_AsyncReceive/42 (4429 (estimated locally),0.02 per call) 
  Calls: 
SchM_Enter_Uart_UART_EXCLUSIVE_AREA_03/80 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_03) @06352620
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_AsyncReceive/42 (13422 (estimated locally),0.06 per call) 
  Calls: 
*.LC2/79 (*.LC2) @06349ab0
  Type: variable definition analyzed
  Visibility: prevailing_def_ironly artificial
  References: 
  Referring: Lpuart_Uart_Ip_StartGetData/41 (read)
  Availability: available
  Varpool flags: initialized read-only const-value-known
*.LC1/78 (*.LC1) @06349a20
  Type: variable definition analyzed
  Visibility: prevailing_def_ironly artificial
  References: 
  Referring: Lpuart_Uart_Ip_StartGetData/41 (read)
  Availability: available
  Varpool flags: initialized read-only const-value-known
*.LC0/77 (*.LC0) @06349990
  Type: variable definition analyzed
  Visibility: prevailing_def_ironly artificial
  References: 
  Referring: Lpuart_Uart_Ip_StartGetData/41 (read)
  Availability: available
  Varpool flags: initialized read-only const-value-known
SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02/76 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02) @06337e00
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_SyncReceive/40 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_SyncReceive/40 (4429 (estimated locally),0.02 per call) 
  Calls: 
SchM_Enter_Uart_UART_EXCLUSIVE_AREA_02/75 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_02) @06337d20
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_SyncReceive/40 (13422 (estimated locally),0.06 per call) 
  Calls: 
Dma_Ip_GetLogicChannelParam/74 (Dma_Ip_GetLogicChannelParam) @063378c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_GetReceiveStatus/43 (4592 (estimated locally),0.02 per call) Lpuart_Uart_Ip_GetTransmitStatus/38 (4592 (estimated locally),0.02 per call) 
  Calls: 
Dma_Ip_SetLogicChannelCommand/73 (Dma_Ip_SetLogicChannelCommand) @06337620
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_ErrIrqHandler/53 (177167401 (estimated locally),0.17 per call) Lpuart_Uart_Ip_AbortReceivingData/44 (8858 (estimated locally),0.04 per call) Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (107374 (estimated locally),0.15 per call) Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (147663 (estimated locally),0.20 per call) Lpuart_Uart_Ip_AbortSendingData/39 (8858 (estimated locally),0.04 per call) Lpuart_Uart_Ip_CompleteSendUsingDma/57 (107374 (estimated locally),0.15 per call) Lpuart_Uart_Ip_CompleteSendUsingDma/57 (147663 (estimated locally),0.20 per call) Lpuart_Uart_Ip_StartReceiveDataUsingDma/59 (107374 (estimated locally),0.50 per call) Lpuart_Uart_Ip_StartSendDataUsingDma/55 (107374 (estimated locally),0.50 per call) 
  Calls: 
Dma_Ip_SetLogicChannelTransferList/72 (Dma_Ip_SetLogicChannelTransferList) @06337540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (214748 (estimated locally),0.29 per call) Lpuart_Uart_Ip_CompleteSendUsingDma/57 (214748 (estimated locally),0.29 per call) Lpuart_Uart_Ip_StartReceiveDataUsingDma/59 (214748 (estimated locally),1.00 per call) Lpuart_Uart_Ip_StartSendDataUsingDma/55 (214748 (estimated locally),1.00 per call) 
  Calls: 
SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01/71 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01) @063372a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_AsyncSend/37 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_AsyncSend/37 (4429 (estimated locally),0.02 per call) 
  Calls: 
SchM_Enter_Uart_UART_EXCLUSIVE_AREA_01/70 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_01) @063371c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_AsyncSend/37 (13422 (estimated locally),0.06 per call) 
  Calls: 
SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00/69 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00) @06312b60
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_SyncSend/36 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_SyncSend/36 (4429 (estimated locally),0.02 per call) 
  Calls: 
SchM_Enter_Uart_UART_EXCLUSIVE_AREA_00/68 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_00) @06312a80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_SyncSend/36 (13422 (estimated locally),0.06 per call) 
  Calls: 
OsIf_GetElapsed/67 (OsIf_GetElapsed) @063127e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_CheckTimeout/26 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
OsIf_MicrosToTicks/66 (OsIf_MicrosToTicks) @06312540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_StartTimeout/25 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
OsIf_GetCounter/65 (OsIf_GetCounter) @06312460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Lpuart_Uart_Ip_StartTimeout/25 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Lpuart_Uart_Ip_GetData/64 (Lpuart_Uart_Ip_GetData) @06301a80
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_RxIrqHandler/50 (1073741821 (estimated locally),1.00 per call) Lpuart_Uart_Ip_StartGetData/41 (110659527 (estimated locally),8.45 per call) 
  Calls: Lpuart_Uart_Ip_Getchar10/20 (418115066 (estimated locally),0.39 per call) Lpuart_Uart_Ip_Getchar9/19 (215392610 (estimated locally),0.20 per call) 
Lpuart_Uart_Ip_PutData/63 (Lpuart_Uart_Ip_PutData) @063017e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_SyncSend/36 (57207 (estimated locally),0.27 per call) Lpuart_Uart_Ip_TxEmptyIrqHandler/51 (354334802 (estimated locally),0.33 per call) 
  Calls: Lpuart_Uart_Ip_Putchar10/17 (418115066 (estimated locally),0.39 per call) Lpuart_Uart_Ip_Putchar9/16 (215392610 (estimated locally),0.20 per call) 
Lpuart_Uart_Ip_SetupIntDmaMode/62 (Lpuart_Uart_Ip_SetupIntDmaMode) @06301540
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (440979 (estimated locally),0.60 per call) Lpuart_Uart_Ip_StartReceiveDataUsingDma/59 (53687 (estimated locally),0.25 per call) 
  Calls: Lpuart_Uart_Ip_SetRxDmaCmd/14 (1073741824 (estimated locally),1.00 per call) Lpuart_Uart_Ip_SetIntMode/11 (1073741824 (estimated locally),1.00 per call) Lpuart_Uart_Ip_SetIntMode/11 (1073741824 (estimated locally),1.00 per call) Lpuart_Uart_Ip_SetIntMode/11 (1073741824 (estimated locally),1.00 per call) Lpuart_Uart_Ip_SetIntMode/11 (1073741824 (estimated locally),1.00 per call) 
Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (Lpuart_Uart_Ip_CompleteReceiveUsingDma) @063012a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: available
  Function flags: count:729558 (estimated locally) body optimize_size
  Called by: Lpuart_Uart_Ip_ErrIrqHandler/53 (177167401 (estimated locally),0.17 per call) Lpuart_Uart_Ip_AbortReceivingData/44 (8858 (estimated locally),0.04 per call) 
  Calls: Lpuart_Uart_Ip_CheckTimeout/26 (89254 (estimated locally),0.12 per call) Lpuart_Uart_Ip_CheckTimeout/26 (788457 (estimated locally),1.08 per call) Lpuart_Uart_Ip_StartTimeout/25 (89254 (estimated locally),0.12 per call) Lpuart_Uart_Ip_SetupIntDmaMode/62 (440979 (estimated locally),0.60 per call) Dma_Ip_SetLogicChannelCommand/73 (107374 (estimated locally),0.15 per call) Dma_Ip_SetLogicChannelTransferList/72 (214748 (estimated locally),0.29 per call) Dma_Ip_SetLogicChannelCommand/73 (147663 (estimated locally),0.20 per call) Dma_Ip_GetLogicChannelStatus/82 (729558 (estimated locally),1.00 per call) 
   Indirect call(104953 (estimated locally),0.14 per call) 
   Indirect call(156063 (estimated locally),0.21 per call) 
   Indirect call(51682 (estimated locally),0.07 per call) 
Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/60 (Lpuart_Uart_Ip_CompleteReceiveDataUsingInt) @06301000
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: local
  Function flags: count:567507571 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_ErrIrqHandler/53 (91268055 (estimated locally),0.09 per call) Lpuart_Uart_Ip_AbortReceivingData/44 (4563 (estimated locally),0.02 per call) Lpuart_Uart_Ip_RxIrqHandler/50 (354334801 (estimated locally),0.33 per call) 
  Calls: Lpuart_Uart_Ip_CheckTimeout/26 (114863532 (estimated locally),0.20 per call) Lpuart_Uart_Ip_CheckTimeout/26 (1014686025 (estimated locally),1.79 per call) Lpuart_Uart_Ip_StartTimeout/25 (114863532 (estimated locally),0.20 per call) 
Lpuart_Uart_Ip_StartReceiveDataUsingDma/59 (Lpuart_Uart_Ip_StartReceiveDataUsingDma) @06139b60
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: local
  Function flags: count:214748 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_AsyncReceive/42 (731 (estimated locally),0.00 per call) 
  Calls: Lpuart_Uart_Ip_SetupIntDmaMode/62 (53687 (estimated locally),0.25 per call) Dma_Ip_SetLogicChannelCommand/73 (107374 (estimated locally),0.50 per call) Dma_Ip_SetLogicChannelTransferList/72 (214748 (estimated locally),1.00 per call) Lpuart_Uart_Ip_ClearErrorFlags/24 (214748 (estimated locally),1.00 per call) 
Lpuart_Uart_Ip_StartReceiveDataUsingInt/58 (Lpuart_Uart_Ip_StartReceiveDataUsingInt) @06139620
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_AsyncReceive/42 (376 (estimated locally),0.00 per call) 
  Calls: Lpuart_Uart_Ip_ClearErrorFlags/24 (1073741824 (estimated locally),1.00 per call) 
Lpuart_Uart_Ip_CompleteSendUsingDma/57 (Lpuart_Uart_Ip_CompleteSendUsingDma) @061390e0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: available
  Function flags: count:729558 (estimated locally) body optimize_size
  Called by: Lpuart_Uart_Ip_AbortSendingData/39 (8858 (estimated locally),0.04 per call) 
  Calls: Lpuart_Uart_Ip_CheckTimeout/26 (440979 (estimated locally),0.60 per call) Lpuart_Uart_Ip_CheckTimeout/26 (3895539 (estimated locally),5.34 per call) Lpuart_Uart_Ip_StartTimeout/25 (440979 (estimated locally),0.60 per call) Dma_Ip_SetLogicChannelCommand/73 (107374 (estimated locally),0.15 per call) Dma_Ip_SetLogicChannelTransferList/72 (214748 (estimated locally),0.29 per call) Dma_Ip_SetLogicChannelCommand/73 (147663 (estimated locally),0.20 per call) Dma_Ip_GetLogicChannelStatus/82 (729558 (estimated locally),1.00 per call) 
   Indirect call(104953 (estimated locally),0.14 per call) 
   Indirect call(156063 (estimated locally),0.21 per call) 
   Indirect call(51682 (estimated locally),0.07 per call) 
Lpuart_Uart_Ip_CompleteSendDataUsingInt/56 (Lpuart_Uart_Ip_CompleteSendDataUsingInt) @06139d20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: local
  Function flags: count:114863532 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_AbortSendingData/39 (4563 (estimated locally),0.02 per call) Lpuart_Uart_Ip_TxCompleteIrqHandler/52 (108662672 (estimated locally),0.10 per call) 
  Calls: Lpuart_Uart_Ip_CheckTimeout/26 (114863532 (estimated locally),1.00 per call) Lpuart_Uart_Ip_CheckTimeout/26 (1014686025 (estimated locally),8.83 per call) Lpuart_Uart_Ip_StartTimeout/25 (114863532 (estimated locally),1.00 per call) 
Lpuart_Uart_Ip_StartSendDataUsingDma/55 (Lpuart_Uart_Ip_StartSendDataUsingDma) @06139a80
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: local
  Function flags: count:214748 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_AsyncSend/37 (731 (estimated locally),0.00 per call) 
  Calls: Dma_Ip_SetLogicChannelCommand/73 (107374 (estimated locally),0.50 per call) Dma_Ip_SetLogicChannelTransferList/72 (214748 (estimated locally),1.00 per call) 
Lpuart_Uart_Ip_StartSendDataUsingInt/54 (Lpuart_Uart_Ip_StartSendDataUsingInt) @061397e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_AsyncSend/37 (376 (estimated locally),0.00 per call) 
  Calls: 
Lpuart_Uart_Ip_ErrIrqHandler/53 (Lpuart_Uart_Ip_ErrIrqHandler) @06139540
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741823 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_IrqHandler/49 (75162 (estimated locally),0.35 per call) 
  Calls: Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (177167401 (estimated locally),0.17 per call) Dma_Ip_SetLogicChannelCommand/73 (177167401 (estimated locally),0.17 per call) Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/60 (91268055 (estimated locally),0.09 per call) Lpuart_Uart_Ip_ClearStatusFlag.part.0/83 (177167401 (estimated locally),0.17 per call) 
   Indirect call(187904819 (estimated locally),0.18 per call) 
Lpuart_Uart_Ip_TxCompleteIrqHandler/52 (Lpuart_Uart_Ip_TxCompleteIrqHandler) @061392a0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741823 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_IrqHandler/49 (6201 (estimated locally),0.03 per call) 
  Calls: Lpuart_Uart_Ip_CompleteSendDataUsingInt/56 (108662672 (estimated locally),0.10 per call) 
   Indirect call(375809638 (estimated locally),0.35 per call) 
Lpuart_Uart_Ip_TxEmptyIrqHandler/51 (Lpuart_Uart_Ip_TxEmptyIrqHandler) @06139000
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_IrqHandler/49 (6201 (estimated locally),0.03 per call) 
  Calls: Lpuart_Uart_Ip_PutData/63 (354334802 (estimated locally),0.33 per call) 
   Indirect call(124017181 (estimated locally),0.12 per call) 
Lpuart_Uart_Ip_RxIrqHandler/50 (Lpuart_Uart_Ip_RxIrqHandler) @06129b60
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741821 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_IrqHandler/49 (12402 (estimated locally),0.06 per call) 
  Calls: Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/60 (354334801 (estimated locally),0.33 per call) Lpuart_Uart_Ip_GetData/64 (1073741821 (estimated locally),1.00 per call) 
   Indirect call(248034361 (estimated locally),0.23 per call) 
   Indirect call(375809637 (estimated locally),0.35 per call) 
Lpuart_Uart_Ip_IrqHandler/49 (Lpuart_Uart_Ip_IrqHandler) @06129620
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Lpuart_Uart_Ip_TxCompleteIrqHandler/52 (6201 (estimated locally),0.03 per call) Lpuart_Uart_Ip_TxEmptyIrqHandler/51 (6201 (estimated locally),0.03 per call) Lpuart_Uart_Ip_RxIrqHandler/50 (12402 (estimated locally),0.06 per call) Lpuart_Uart_Ip_ErrIrqHandler/53 (75162 (estimated locally),0.35 per call) Lpuart_Uart_Ip_ClearErrorFlags/24 (32212 (estimated locally),0.15 per call) 
Lpuart_Uart_Ip_SetRxBuffer/48 (Lpuart_Uart_Ip_SetRxBuffer) @061290e0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Lpuart_Uart_Ip_SetTxBuffer/47 (Lpuart_Uart_Ip_SetTxBuffer) @06129d20
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Lpuart_Uart_Ip_GetBaudRate/46 (Lpuart_Uart_Ip_GetBaudRate) @06129a80
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Lpuart_Uart_Ip_SetBaudRate/45 (Lpuart_Uart_Ip_SetBaudRate) @061297e0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Lpuart_Uart_Ip_SetBaudRateDivisor/3 (5671 (estimated locally),0.03 per call) Lpuart_Uart_Ip_SetOversamplingRatio/5 (5671 (estimated locally),0.03 per call) 
Lpuart_Uart_Ip_AbortReceivingData/44 (Lpuart_Uart_Ip_AbortReceivingData) @06129540
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Lpuart_Uart_Ip_ClearErrorFlags/24 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (8858 (estimated locally),0.04 per call) Dma_Ip_SetLogicChannelCommand/73 (8858 (estimated locally),0.04 per call) Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/60 (4563 (estimated locally),0.02 per call) 
Lpuart_Uart_Ip_GetReceiveStatus/43 (Lpuart_Uart_Ip_GetReceiveStatus) @061292a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Dma_Ip_GetLogicChannelParam/74 (4592 (estimated locally),0.02 per call) 
Lpuart_Uart_Ip_AsyncReceive/42 (Lpuart_Uart_Ip_AsyncReceive) @06129000
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apUserConfig/32 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Lpuart_Uart_Ip_StartReceiveDataUsingDma/59 (731 (estimated locally),0.00 per call) Lpuart_Uart_Ip_StartReceiveDataUsingInt/58 (376 (estimated locally),0.00 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03/81 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03/81 (4429 (estimated locally),0.02 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_03/80 (13422 (estimated locally),0.06 per call) 
Lpuart_Uart_Ip_StartGetData/41 (Lpuart_Uart_Ip_StartGetData) @060ab9a0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apBases/33 (read)*.LC0/77 (read)*.LC1/78 (read)*.LC2/79 (read)
  Referring: 
  Availability: local
  Function flags: count:13097219 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_SyncReceive/40 (4429 (estimated locally),0.02 per call) 
  Calls: Lpuart_Uart_Ip_CheckTimeout/26 (119227249 (estimated locally),9.10 per call) Lpuart_Uart_Ip_GetData/64 (110659527 (estimated locally),8.45 per call) Lpuart_Uart_Ip_CheckTimeout/26 (1014686025 (estimated locally),77.47 per call) 
Lpuart_Uart_Ip_SyncReceive/40 (Lpuart_Uart_Ip_SyncReceive) @060ab380
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Lpuart_Uart_Ip_CheckTimeout/26 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_StartGetData/41 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_StartTimeout/25 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02/76 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02/76 (4429 (estimated locally),0.02 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_02/75 (13422 (estimated locally),0.06 per call) 
Lpuart_Uart_Ip_AbortSendingData/39 (Lpuart_Uart_Ip_AbortSendingData) @060abe00
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Lpuart_Uart_Ip_CompleteSendUsingDma/57 (8858 (estimated locally),0.04 per call) Dma_Ip_SetLogicChannelCommand/73 (8858 (estimated locally),0.04 per call) Lpuart_Uart_Ip_CompleteSendDataUsingInt/56 (4563 (estimated locally),0.02 per call) 
Lpuart_Uart_Ip_GetTransmitStatus/38 (Lpuart_Uart_Ip_GetTransmitStatus) @060abb60
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apUserConfig/32 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Dma_Ip_GetLogicChannelParam/74 (4592 (estimated locally),0.02 per call) 
Lpuart_Uart_Ip_AsyncSend/37 (Lpuart_Uart_Ip_AsyncSend) @060ab8c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apUserConfig/32 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Lpuart_Uart_Ip_StartSendDataUsingDma/55 (731 (estimated locally),0.00 per call) Lpuart_Uart_Ip_StartSendDataUsingInt/54 (376 (estimated locally),0.00 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01/71 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01/71 (4429 (estimated locally),0.02 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_01/70 (13422 (estimated locally),0.06 per call) 
Lpuart_Uart_Ip_SyncSend/36 (Lpuart_Uart_Ip_SyncSend) @060ab540
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Lpuart_Uart_Ip_CheckTimeout/26 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_CheckTimeout/26 (59380 (estimated locally),0.28 per call) Lpuart_Uart_Ip_CheckTimeout/26 (505354 (estimated locally),2.35 per call) Lpuart_Uart_Ip_PutData/63 (57207 (estimated locally),0.27 per call) Lpuart_Uart_Ip_StartTimeout/25 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00/69 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00/69 (4429 (estimated locally),0.02 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_00/68 (13422 (estimated locally),0.06 per call) 
Lpuart_Uart_Ip_Deinit/35 (Lpuart_Uart_Ip_Deinit) @060ab2a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (write)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Lpuart_Uart_Ip_CheckTimeout/26 (474262 (estimated locally),2.21 per call) Lpuart_Uart_Ip_StartTimeout/25 (53687 (estimated locally),0.25 per call) 
Lpuart_Uart_Ip_Init/34 (Lpuart_Uart_Ip_Init) @060a4b60
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Lpuart_Uart_Ip_apStateStructuresArray/31 (read)Lpuart_Uart_Ip_apBases/33 (read)Lpuart_Uart_Ip_apStateStructuresArray/31 (write)Lpuart_Uart_Ip_apUserConfig/32 (write)
  Referring: 
  Availability: available
  Function flags: count:214748 (estimated locally) body optimize_size
  Called by: 
  Calls: Lpuart_Uart_Ip_SetStopBitCount/10 (1678 (estimated locally),0.01 per call) Lpuart_Uart_Ip_SetParityMode/9 (1678 (estimated locally),0.01 per call) Lpuart_Uart_Ip_SetBitCountPerChar/8 (839 (estimated locally),0.00 per call) Lpuart_Uart_Ip_SetBitCountPerChar/8 (839 (estimated locally),0.00 per call) Lpuart_Uart_Ip_SetBaudRateDivisor/3 (1678 (estimated locally),0.01 per call) Lpuart_Uart_Ip_SetOversamplingRatio/5 (1678 (estimated locally),0.01 per call) 
Lpuart_Uart_Ip_apBases/33 (Lpuart_Uart_Ip_apBases) @0609d558
  Type: variable definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: Lpuart_Uart_Ip_StartSendDataUsingDma/55 (read)Lpuart_Uart_Ip_StartReceiveDataUsingDma/59 (read)Lpuart_Uart_Ip_Init/34 (read)Lpuart_Uart_Ip_StartReceiveDataUsingInt/58 (read)Lpuart_Uart_Ip_CompleteSendUsingDma/57 (read)Lpuart_Uart_Ip_StartGetData/41 (read)Lpuart_Uart_Ip_SetBaudRate/45 (read)Lpuart_Uart_Ip_TxEmptyIrqHandler/51 (read)Lpuart_Uart_Ip_Deinit/35 (read)Lpuart_Uart_Ip_GetData/64 (read)Lpuart_Uart_Ip_PutData/63 (read)Lpuart_Uart_Ip_ErrIrqHandler/53 (read)Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/60 (read)Lpuart_Uart_Ip_StartSendDataUsingInt/54 (read)Lpuart_Uart_Ip_AbortSendingData/39 (read)Lpuart_Uart_Ip_CompleteSendDataUsingInt/56 (read)Lpuart_Uart_Ip_SyncSend/36 (read)Lpuart_Uart_Ip_AbortReceivingData/44 (read)Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (read)Lpuart_Uart_Ip_SetupIntDmaMode/62 (read)Lpuart_Uart_Ip_SyncReceive/40 (read)Lpuart_Uart_Ip_IrqHandler/49 (read)
  Availability: available
  Varpool flags: initialized read-only const-value-known
Lpuart_Uart_Ip_apUserConfig/32 (Lpuart_Uart_Ip_apUserConfig) @0609d4c8
  Type: variable definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: Lpuart_Uart_Ip_StartSendDataUsingDma/55 (read)Lpuart_Uart_Ip_CompleteSendUsingDma/57 (read)Lpuart_Uart_Ip_StartReceiveDataUsingDma/59 (read)Lpuart_Uart_Ip_TxCompleteIrqHandler/52 (read)Lpuart_Uart_Ip_Init/34 (write)Lpuart_Uart_Ip_GetReceiveStatus/43 (read)Lpuart_Uart_Ip_PutData/63 (read)Lpuart_Uart_Ip_AsyncSend/37 (read)Lpuart_Uart_Ip_RxIrqHandler/50 (read)Lpuart_Uart_Ip_GetTransmitStatus/38 (read)Lpuart_Uart_Ip_AbortSendingData/39 (read)Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (read)Lpuart_Uart_Ip_GetData/64 (read)Lpuart_Uart_Ip_AbortReceivingData/44 (read)Lpuart_Uart_Ip_TxEmptyIrqHandler/51 (read)Lpuart_Uart_Ip_AsyncReceive/42 (read)Lpuart_Uart_Ip_ErrIrqHandler/53 (read)
  Availability: available
  Varpool flags:
Lpuart_Uart_Ip_apStateStructuresArray/31 (Lpuart_Uart_Ip_apStateStructuresArray) @0609d438
  Type: variable definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: Lpuart_Uart_Ip_GetData/64 (read)Lpuart_Uart_Ip_SetTxBuffer/47 (read)Lpuart_Uart_Ip_StartSendDataUsingDma/55 (read)Lpuart_Uart_Ip_Init/34 (read)Lpuart_Uart_Ip_StartReceiveDataUsingDma/59 (read)Lpuart_Uart_Ip_Init/34 (write)Lpuart_Uart_Ip_StartSendDataUsingInt/54 (read)Lpuart_Uart_Ip_Deinit/35 (write)Lpuart_Uart_Ip_CompleteSendUsingDma/57 (read)Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/60 (read)Lpuart_Uart_Ip_SyncSend/36 (read)Lpuart_Uart_Ip_SetRxBuffer/48 (read)Lpuart_Uart_Ip_TxEmptyIrqHandler/51 (read)Lpuart_Uart_Ip_AsyncSend/37 (read)Lpuart_Uart_Ip_CompleteSendDataUsingInt/56 (read)Lpuart_Uart_Ip_PutData/63 (read)Lpuart_Uart_Ip_GetTransmitStatus/38 (read)Lpuart_Uart_Ip_ErrIrqHandler/53 (read)Lpuart_Uart_Ip_RxIrqHandler/50 (read)Lpuart_Uart_Ip_SyncReceive/40 (read)Lpuart_Uart_Ip_AbortSendingData/39 (read)Lpuart_Uart_Ip_TxCompleteIrqHandler/52 (read)Lpuart_Uart_Ip_AsyncReceive/42 (read)Lpuart_Uart_Ip_GetReceiveStatus/43 (read)Lpuart_Uart_Ip_SetBaudRate/45 (read)Lpuart_Uart_Ip_GetBaudRate/46 (read)Lpuart_Uart_Ip_AbortReceivingData/44 (read)Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (read)Lpuart_Uart_Ip_StartGetData/41 (read)Lpuart_Uart_Ip_StartReceiveDataUsingInt/58 (read)Lpuart_Uart_Ip_Deinit/35 (read)Lpuart_Uart_Ip_IrqHandler/49 (read)
  Availability: available
  Varpool flags:
Lpuart_Uart_Ip_apStateStructure/30 (Lpuart_Uart_Ip_apStateStructure) @0609d3a8
  Type: variable definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Varpool flags:
Lpuart_Uart_Ip_CheckTimeout/26 (Lpuart_Uart_Ip_CheckTimeout) @05f44d20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (89254 (estimated locally),0.12 per call) Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (788457 (estimated locally),1.08 per call) Lpuart_Uart_Ip_CompleteSendUsingDma/57 (440979 (estimated locally),0.60 per call) Lpuart_Uart_Ip_CompleteSendUsingDma/57 (3895539 (estimated locally),5.34 per call) Lpuart_Uart_Ip_SyncReceive/40 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_SyncSend/36 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_SyncSend/36 (59380 (estimated locally),0.28 per call) Lpuart_Uart_Ip_SyncSend/36 (505354 (estimated locally),2.35 per call) Lpuart_Uart_Ip_Deinit/35 (474262 (estimated locally),2.21 per call) Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/60 (114863532 (estimated locally),0.20 per call) Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/60 (1014686025 (estimated locally),1.79 per call) Lpuart_Uart_Ip_StartGetData/41 (119227249 (estimated locally),9.10 per call) Lpuart_Uart_Ip_StartGetData/41 (1014686025 (estimated locally),77.47 per call) Lpuart_Uart_Ip_CompleteSendDataUsingInt/56 (114863532 (estimated locally),1.00 per call) Lpuart_Uart_Ip_CompleteSendDataUsingInt/56 (1014686025 (estimated locally),8.83 per call) 
  Calls: OsIf_GetElapsed/67 (1073741824 (estimated locally),1.00 per call) 
Lpuart_Uart_Ip_StartTimeout/25 (Lpuart_Uart_Ip_StartTimeout) @05f44a80
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_CompleteReceiveUsingDma/61 (89254 (estimated locally),0.12 per call) Lpuart_Uart_Ip_CompleteSendUsingDma/57 (440979 (estimated locally),0.60 per call) Lpuart_Uart_Ip_SyncReceive/40 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_SyncSend/36 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_Deinit/35 (53687 (estimated locally),0.25 per call) Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/60 (114863532 (estimated locally),0.20 per call) Lpuart_Uart_Ip_CompleteSendDataUsingInt/56 (114863532 (estimated locally),1.00 per call) 
  Calls: OsIf_MicrosToTicks/66 (1073741824 (estimated locally),1.00 per call) OsIf_GetCounter/65 (1073741824 (estimated locally),1.00 per call) 
Lpuart_Uart_Ip_ClearErrorFlags/24 (Lpuart_Uart_Ip_ClearErrorFlags) @05f447e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_IrqHandler/49 (32212 (estimated locally),0.15 per call) Lpuart_Uart_Ip_AbortReceivingData/44 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_StartReceiveDataUsingDma/59 (214748 (estimated locally),1.00 per call) Lpuart_Uart_Ip_StartReceiveDataUsingInt/58 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Lpuart_Uart_Ip_Getchar10/20 (Lpuart_Uart_Ip_Getchar10) @05f3cd20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_GetData/64 (418115066 (estimated locally),0.39 per call) 
  Calls: 
Lpuart_Uart_Ip_Getchar9/19 (Lpuart_Uart_Ip_Getchar9) @05f3ca80
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_GetData/64 (215392610 (estimated locally),0.20 per call) 
  Calls: 
Lpuart_Uart_Ip_Putchar10/17 (Lpuart_Uart_Ip_Putchar10) @05f3c540
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_PutData/63 (418115066 (estimated locally),0.39 per call) 
  Calls: 
Lpuart_Uart_Ip_Putchar9/16 (Lpuart_Uart_Ip_Putchar9) @05f3c2a0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_PutData/63 (215392610 (estimated locally),0.20 per call) 
  Calls: 
Lpuart_Uart_Ip_SetRxDmaCmd/14 (Lpuart_Uart_Ip_SetRxDmaCmd) @05f37d20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_SetupIntDmaMode/62 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Lpuart_Uart_Ip_SetIntMode/11 (Lpuart_Uart_Ip_SetIntMode) @05f37540
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_SetupIntDmaMode/62 (1073741824 (estimated locally),1.00 per call) Lpuart_Uart_Ip_SetupIntDmaMode/62 (1073741824 (estimated locally),1.00 per call) Lpuart_Uart_Ip_SetupIntDmaMode/62 (1073741824 (estimated locally),1.00 per call) Lpuart_Uart_Ip_SetupIntDmaMode/62 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Lpuart_Uart_Ip_SetStopBitCount/10 (Lpuart_Uart_Ip_SetStopBitCount) @05f372a0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_Init/34 (1678 (estimated locally),0.01 per call) 
  Calls: 
Lpuart_Uart_Ip_SetParityMode/9 (Lpuart_Uart_Ip_SetParityMode) @05f37000
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_Init/34 (1678 (estimated locally),0.01 per call) 
  Calls: 
Lpuart_Uart_Ip_SetBitCountPerChar/8 (Lpuart_Uart_Ip_SetBitCountPerChar) @05f32d20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_Init/34 (839 (estimated locally),0.00 per call) Lpuart_Uart_Ip_Init/34 (839 (estimated locally),0.00 per call) 
  Calls: 
Lpuart_Uart_Ip_SetOversamplingRatio/5 (Lpuart_Uart_Ip_SetOversamplingRatio) @05f32540
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_SetBaudRate/45 (5671 (estimated locally),0.03 per call) Lpuart_Uart_Ip_Init/34 (1678 (estimated locally),0.01 per call) 
  Calls: 
Lpuart_Uart_Ip_SetBaudRateDivisor/3 (Lpuart_Uart_Ip_SetBaudRateDivisor) @05e7fee0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Lpuart_Uart_Ip_SetBaudRate/45 (5671 (estimated locally),0.03 per call) Lpuart_Uart_Ip_Init/34 (1678 (estimated locally),0.01 per call) 
  Calls: 
Lpuart_Uart_Ip_ClearStatusFlag.part.0 (struct LPUART_Type * Base)
{
  Lpuart_Uart_Ip_StatusFlagType StatusFlag;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;

  <bb 4> [local count: 1073741824]:
  # DEBUG D#5 s=> StatusFlag
  # DEBUG StatusFlag => D#5

  <bb 2> [local count: 1073741824]:
<L0>:
  # DEBUG BEGIN_STMT
  _2 ={v} Base_1(D)->STAT;
  _3 = _2 & 1071661055;
  _4 = _3 | 65536;
  Base_1(D)->STAT ={v} _4;
  # DEBUG BEGIN_STMT

  <bb 3> [local count: 1073741824]:
<L1>:
  return;

}


Lpuart_Uart_Ip_GetData (const uint8 Instance)
{
  uint16 Data16b;
  const struct LPUART_Type * Base;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  <unnamed type> _2;
  uint8 * _3;
  <unnamed type> _4;
  uint8 * _5;
  unsigned char _6;
  unsigned char _7;
  uint8 * _8;
  uint8 * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  uint8 * _13;
  unsigned char _14;
  uint8 * _15;
  uint8 * _16;
  long unsigned int _17;
  long unsigned int _18;
  uint8 * _19;
  unsigned char _20;
  uint8 * _21;
  uint8 * _22;
  short unsigned int _23;
  unsigned char _24;
  uint8 * _25;
  uint8 * _26;
  long unsigned int _27;
  long unsigned int _28;
  long unsigned int _54;
  unsigned char _55;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_33(D);
  Base_35 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_35
  # DEBUG BEGIN_STMT
  UartState_36 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_36
  # DEBUG BEGIN_STMT
  UartUserCfg_37 = Lpuart_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_37
  # DEBUG BEGIN_STMT
  _2 = UartUserCfg_37->BitCountPerChar;
  if (_2 <= 1)
    goto <bb 3>; [41.00%]
  else
    goto <bb 6>; [59.00%]

  <bb 3> [local count: 440234148]:
  # DEBUG BEGIN_STMT
  _3 = UartState_36->RxBuff;
  # DEBUG Base => Base_35
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_Getchar
  # DEBUG BEGIN_STMT
  _54 ={v} Base_35->DATA;
  _55 = (unsigned char) _54;
  # DEBUG Base => NULL
  *_3 = _55;
  # DEBUG BEGIN_STMT
  _4 = UartUserCfg_37->BitCountPerChar;
  if (_4 == 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 4> [local count: 220117074]:
  # DEBUG BEGIN_STMT
  _5 = UartState_36->RxBuff;
  _6 = *_5;
  _7 = _6 & 127;
  *_5 = _7;

  <bb 5> [local count: 440234148]:
  # DEBUG BEGIN_STMT
  _8 = UartState_36->RxBuff;
  _9 = _8 + 1;
  UartState_36->RxBuff = _9;
  # DEBUG BEGIN_STMT
  _10 ={v} UartState_36->RxSize;
  _11 = _10 + 4294967295;
  UartState_36->RxSize ={v} _11;
  goto <bb 12>; [100.00%]

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

  <bb 7> [local count: 215392610]:
  # DEBUG BEGIN_STMT
  Data16b_41 = Lpuart_Uart_Ip_Getchar9 (Base_35);
  # DEBUG Data16b => Data16b_41
  goto <bb 9>; [100.00%]

  <bb 8> [local count: 418115066]:
  # DEBUG BEGIN_STMT
  Data16b_39 = Lpuart_Uart_Ip_Getchar10 (Base_35);
  # DEBUG Data16b => Data16b_39

  <bb 9> [local count: 633507677]:
  # Data16b_29 = PHI <Data16b_41(7), Data16b_39(8)>
  # DEBUG Data16b => Data16b_29
  # DEBUG BEGIN_STMT
  _12 ={v} UartState_36->RxSize;
  if (_12 == 1)
    goto <bb 10>; [34.00%]
  else
    goto <bb 11>; [66.00%]

  <bb 10> [local count: 215392610]:
  # DEBUG BEGIN_STMT
  _13 = UartState_36->RxBuff;
  _14 = (unsigned char) Data16b_29;
  *_13 = _14;
  # DEBUG BEGIN_STMT
  _15 = UartState_36->RxBuff;
  _16 = _15 + 1;
  UartState_36->RxBuff = _16;
  # DEBUG BEGIN_STMT
  _17 ={v} UartState_36->RxSize;
  _18 = _17 + 4294967295;
  UartState_36->RxSize ={v} _18;
  goto <bb 12>; [100.00%]

  <bb 11> [local count: 418115066]:
  # DEBUG BEGIN_STMT
  _19 = UartState_36->RxBuff;
  _20 = (unsigned char) Data16b_29;
  *_19 = _20;
  # DEBUG BEGIN_STMT
  _21 = UartState_36->RxBuff;
  _22 = _21 + 1;
  UartState_36->RxBuff = _22;
  # DEBUG BEGIN_STMT
  _23 = Data16b_29 >> 8;
  _24 = (unsigned char) _23;
  *_22 = _24;
  # DEBUG BEGIN_STMT
  _25 = UartState_36->RxBuff;
  _26 = _25 + 1;
  UartState_36->RxBuff = _26;
  # DEBUG BEGIN_STMT
  _27 ={v} UartState_36->RxSize;
  _28 = _27 + 4294967294;
  UartState_36->RxSize ={v} _28;

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

}


Lpuart_Uart_Ip_PutData (const uint8 Instance)
{
  uint8 Data8b;
  uint16 Data16b;
  struct LPUART_Type * Base;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  <unnamed type> _2;
  const uint8 * _3;
  const uint8 * _4;
  long unsigned int _5;
  long unsigned int _6;
  const uint8 * _7;
  unsigned char _8;
  long unsigned int _9;
  const uint8 * _10;
  long unsigned int _11;
  long unsigned int _12;
  const uint8 * _13;
  unsigned char _14;
  short unsigned int _15;
  short unsigned int _16;
  const uint8 * _17;
  long unsigned int _18;
  long unsigned int _19;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_23(D);
  Base_25 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_25
  # DEBUG BEGIN_STMT
  UartState_26 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_26
  # DEBUG BEGIN_STMT
  UartUserCfg_27 = Lpuart_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_27
  # DEBUG BEGIN_STMT
  _2 = UartUserCfg_27->BitCountPerChar;
  if (_2 <= 1)
    goto <bb 3>; [41.00%]
  else
    goto <bb 4>; [59.00%]

  <bb 3> [local count: 440234148]:
  # DEBUG BEGIN_STMT
  _3 = UartState_26->TxBuff;
  Data8b_37 = *_3;
  # DEBUG Data8b => Data8b_37
  # DEBUG BEGIN_STMT
  _4 = _3 + 1;
  UartState_26->TxBuff = _4;
  # DEBUG BEGIN_STMT
  _5 ={v} UartState_26->TxSize;
  _6 = _5 + 4294967295;
  UartState_26->TxSize ={v} _6;
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_25
  # DEBUG Data => Data8b_37
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_Putchar
  # DEBUG BEGIN_STMT
  # DEBUG D#1 => &Base_25->DATA
  # DEBUG DataRegBytes => D#1
  # DEBUG BEGIN_STMT
  MEM[(volatile uint8 *)Base_25 + 28B] ={v} Data8b_37;
  goto <bb 10>; [100.00%]

  <bb 4> [local count: 633507677]:
  # DEBUG BEGIN_STMT
  _7 = UartState_26->TxBuff;
  _8 = *_7;
  Data16b_28 = (uint16) _8;
  # DEBUG Data16b => Data16b_28
  # DEBUG BEGIN_STMT
  _9 ={v} UartState_26->TxSize;
  if (_9 == 1)
    goto <bb 5>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 5> [local count: 215392610]:
  # DEBUG BEGIN_STMT
  _10 = _7 + 1;
  UartState_26->TxBuff = _10;
  # DEBUG BEGIN_STMT
  _11 ={v} UartState_26->TxSize;
  _12 = _11 + 4294967295;
  UartState_26->TxSize ={v} _12;
  goto <bb 7>; [100.00%]

  <bb 6> [local count: 418115066]:
  # DEBUG BEGIN_STMT
  _13 = _7 + 1;
  UartState_26->TxBuff = _13;
  # DEBUG BEGIN_STMT
  _14 = *_13;
  _15 = (short unsigned int) _14;
  _16 = _15 << 8;
  Data16b_30 = _16 | Data16b_28;
  # DEBUG Data16b => Data16b_30
  # DEBUG BEGIN_STMT
  _17 = _13 + 1;
  UartState_26->TxBuff = _17;
  # DEBUG BEGIN_STMT
  _18 ={v} UartState_26->TxSize;
  _19 = _18 + 4294967294;
  UartState_26->TxSize ={v} _19;

  <bb 7> [local count: 633507677]:
  # Data16b_20 = PHI <Data16b_28(5), Data16b_30(6)>
  # DEBUG Data16b => Data16b_20
  # DEBUG BEGIN_STMT
  if (_2 == 2)
    goto <bb 8>; [34.00%]
  else
    goto <bb 9>; [66.00%]

  <bb 8> [local count: 215392610]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_Putchar9 (Base_25, Data16b_20);
  goto <bb 10>; [100.00%]

  <bb 9> [local count: 418115066]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_Putchar10 (Base_25, Data16b_20);

  <bb 10> [local count: 1073741824]:
  # DEBUG Base => NULL
  # DEBUG Data => NULL
  return;

}


Lpuart_Uart_Ip_SetupIntDmaMode (const uint8 Instance, boolean Enable)
{
  struct LPUART_Type * Base;
  int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_2(D);
  Base_4 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_4
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetIntMode (Base_4, 27, Enable_5(D));
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetIntMode (Base_4, 24, Enable_5(D));
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetIntMode (Base_4, 26, Enable_5(D));
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetIntMode (Base_4, 25, Enable_5(D));
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetRxDmaCmd (Base_4, Enable_5(D));
  return;

}


Lpuart_Uart_Ip_CompleteReceiveUsingDma (uint8 Instance)
{
  boolean RetVal;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  struct Dma_Ip_LogicChannelStatusType DmaStatus;
  Dma_Ip_ReturnType DmaReturnStatus;
  struct Dma_Ip_LogicChannelTransferListType DmaTransferList[10];
  struct LPUART_Type * Base;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  long unsigned int _2;
  <unnamed type> _3;
  long unsigned int _4;
  _Bool _5;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _6;
  void * _7;
  <unnamed type> _8;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _9;
  void * _10;
  long unsigned int _11;
  <unnamed type> _12;
  uint8 * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  _Bool _17;
  long unsigned int _18;
  _Bool _19;
  <unnamed type> _20;
  long unsigned int TimeoutTicks.24_21;
  _Bool _22;
  long unsigned int TimeoutTicks.25_23;
  _Bool _24;
  <unnamed type> _25;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _26;
  void * _27;
  _Bool x.2_68;
  _Bool x.2_69;
  _Bool x.2_70;
  long unsigned int _71;
  long unsigned int _72;
  long unsigned int _74;
  long unsigned int _75;
  long unsigned int _76;

  <bb 2> [local count: 729558]:
  # 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
  _1 = (int) Instance_36(D);
  Base_37 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_37
  # DEBUG BEGIN_STMT
  UartState_38 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_38
  # DEBUG BEGIN_STMT
  UartUserCfg_39 = Lpuart_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_39
  # DEBUG BEGIN_STMT
  _2 = UartUserCfg_39->RxDMAChannel;
  Dma_Ip_GetLogicChannelStatus (_2, &DmaStatus);
  # DEBUG BEGIN_STMT
  _3 = DmaStatus.ChStateValue;
  if (_3 == 4)
    goto <bb 3>; [20.24%]
  else
    goto <bb 7>; [79.76%]

  <bb 3> [local count: 147663]:
  # DEBUG BEGIN_STMT
  _4 = UartUserCfg_39->RxDMAChannel;
  DmaReturnStatus_42 = Dma_Ip_SetLogicChannelCommand (_4, 4);
  # DEBUG DmaReturnStatus => DmaReturnStatus_42
  # DEBUG BEGIN_STMT
  _5 = DmaReturnStatus_42 == 0;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_68 ={v} x;
  if (x.2_68 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 28>; [50.00%]

  <bb 28> [local count: 73831]:

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

  <bb 32> [local count: 738314359]:
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 73831]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  UartState_38->ReceiveStatus ={v} 1;
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_39->Callback;
  if (_6 != 0B)
    goto <bb 6>; [70.00%]
  else
    goto <bb 7>; [30.00%]

  <bb 6> [local count: 51682]:
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_39->CallbackParam;
  _6 (Instance_36(D), 3, _7);

  <bb 7> [local count: 655727]:
  # DEBUG BEGIN_STMT
  _8 ={v} UartState_38->ReceiveStatus;
  if (_8 == 2)
    goto <bb 8>; [34.00%]
  else
    goto <bb 10>; [66.00%]

  <bb 8> [local count: 222947]:
  # DEBUG BEGIN_STMT
  _9 = UartUserCfg_39->Callback;
  if (_9 != 0B)
    goto <bb 9>; [70.00%]
  else
    goto <bb 10>; [30.00%]

  <bb 9> [local count: 156063]:
  # DEBUG BEGIN_STMT
  _10 = UartUserCfg_39->CallbackParam;
  _9 (Instance_36(D), 0, _10);

  <bb 10> [local count: 655727]:
  # DEBUG BEGIN_STMT
  _11 ={v} UartState_38->RxSize;
  if (_11 != 0)
    goto <bb 11>; [67.00%]
  else
    goto <bb 16>; [33.00%]

  <bb 11> [local count: 439337]:
  _12 ={v} UartState_38->ReceiveStatus;
  if (_12 != 1)
    goto <bb 12>; [48.88%]
  else
    goto <bb 16>; [51.12%]

  <bb 12> [local count: 214748]:
  # DEBUG BEGIN_STMT
  DmaTransferList[0].Param = 5;
  # DEBUG BEGIN_STMT
  _13 = UartState_38->RxBuff;
  _14 = (long unsigned int) _13;
  DmaTransferList[0].Value = _14;
  # DEBUG BEGIN_STMT
  DmaTransferList[1].Param = 18;
  # DEBUG BEGIN_STMT
  _15 ={v} UartState_38->RxSize;
  DmaTransferList[1].Value = _15;
  # DEBUG BEGIN_STMT
  _16 = UartUserCfg_39->RxDMAChannel;
  DmaReturnStatus_51 = Dma_Ip_SetLogicChannelTransferList (_16, &DmaTransferList, 2);
  # DEBUG DmaReturnStatus => DmaReturnStatus_51
  # DEBUG BEGIN_STMT
  _17 = DmaReturnStatus_51 == 0;
  x ={v} _17;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_70 ={v} x;
  if (x.2_70 != 0)
    goto <bb 14>; [50.00%]
  else
    goto <bb 27>; [50.00%]

  <bb 27> [local count: 107374]:

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

  <bb 30> [local count: 1073741824]:
  goto <bb 13>; [100.00%]

  <bb 14> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  UartState_38->RxSize ={v} 0;
  # DEBUG BEGIN_STMT
  _18 = UartUserCfg_39->RxDMAChannel;
  DmaReturnStatus_54 = Dma_Ip_SetLogicChannelCommand (_18, 0);
  # DEBUG DmaReturnStatus => DmaReturnStatus_54
  # DEBUG BEGIN_STMT
  _19 = DmaReturnStatus_54 == 0;
  x ={v} _19;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_69 ={v} x;
  if (x.2_69 != 0)
    goto <bb 25>; [50.00%]
  else
    goto <bb 26>; [50.00%]

  <bb 26> [local count: 53687]:

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

  <bb 29> [local count: 536870913]:
  goto <bb 15>; [100.00%]

  <bb 16> [local count: 440979]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetupIntDmaMode (Instance_36(D), 0);
  # DEBUG BEGIN_STMT
  _20 ={v} UartState_38->ReceiveStatus;
  if (_20 == 6)
    goto <bb 17>; [20.24%]
  else
    goto <bb 22>; [79.76%]

  <bb 17> [local count: 89254]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, 500000, 0);
  # DEBUG BEGIN_STMT

  <bb 18> [local count: 834346]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_37
  # DEBUG StatusFlag => 21
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _71 ={v} MEM[(const struct LPUART_Type *)Base_37].STAT;
  _72 = _71 >> 21;
  RetVal_73 = (boolean) _72;
  # DEBUG RetVal => RetVal_73
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_73 != 0)
    goto <bb 20>; [5.50%]
  else
    goto <bb 19>; [94.50%]

  <bb 19> [local count: 788457]:
  TimeoutTicks.24_21 = TimeoutTicks;
  _22 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.24_21, 0);
  if (_22 != 0)
    goto <bb 20>; [5.50%]
  else
    goto <bb 31>; [94.50%]

  <bb 31> [local count: 745092]:
  goto <bb 18>; [100.00%]

  <bb 20> [local count: 89254]:
  # DEBUG BEGIN_STMT
  TimeoutTicks.25_23 = TimeoutTicks;
  _24 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.25_23, 0);
  if (_24 != 0)
    goto <bb 21>; [50.00%]
  else
    goto <bb 22>; [50.00%]

  <bb 21> [local count: 44627]:
  # DEBUG BEGIN_STMT
  UartState_38->ReceiveStatus ={v} 1;

  <bb 22> [local count: 440979]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_37
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetReceiverCmd
  # DEBUG BEGIN_STMT
  _75 ={v} Base_37->CTRL;
  _76 = _75 & 4294705151;
  Base_37->CTRL ={v} _76;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_37
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_Getchar
  # DEBUG BEGIN_STMT
  _74 ={v} MEM[(const struct LPUART_Type *)Base_37].DATA;
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  UartState_38->IsRxBusy ={v} 0;
  # DEBUG BEGIN_STMT
  _25 ={v} UartState_38->ReceiveStatus;
  if (_25 == 2)
    goto <bb 23>; [34.00%]
  else
    goto <bb 25>; [66.00%]

  <bb 23> [local count: 149933]:
  # DEBUG BEGIN_STMT
  UartState_38->ReceiveStatus ={v} 0;
  # DEBUG BEGIN_STMT
  _26 = UartUserCfg_39->Callback;
  if (_26 != 0B)
    goto <bb 24>; [70.00%]
  else
    goto <bb 25>; [30.00%]

  <bb 24> [local count: 104953]:
  # DEBUG BEGIN_STMT
  _27 = UartUserCfg_39->CallbackParam;
  _26 (Instance_36(D), 2, _27);

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

}


Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (const uint8 Instance)
{
  boolean RetVal;
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  struct LPUART_Type * Base;
  int _1;
  <unnamed type> _2;
  long unsigned int TimeoutTicks.19_3;
  _Bool _4;
  long unsigned int TimeoutTicks.20_5;
  _Bool _6;
  <unnamed type> _7;
  long unsigned int _26;
  long unsigned int _27;
  long unsigned int _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;
  long unsigned int _34;
  long unsigned int _35;
  long unsigned int _36;
  long unsigned int _37;
  long unsigned int _39;
  long unsigned int _40;
  long unsigned int _41;

  <bb 2> [local count: 567507571]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ElapsedTicks = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_14(D);
  Base_15 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_15
  # DEBUG BEGIN_STMT
  UartState_16 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_16
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_15
  # DEBUG IntSrc => 27
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _34 ={v} Base_15->CTRL;
  _35 = _34 & 4160749567;
  Base_15->CTRL ={v} _35;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_15
  # DEBUG IntSrc => 24
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _32 ={v} Base_15->CTRL;
  _33 = _32 & 4278190079;
  Base_15->CTRL ={v} _33;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_15
  # DEBUG IntSrc => 26
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _30 ={v} Base_15->CTRL;
  _31 = _30 & 4227858431;
  Base_15->CTRL ={v} _31;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_15
  # DEBUG IntSrc => 25
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _28 ={v} Base_15->CTRL;
  _29 = _28 & 4261412863;
  Base_15->CTRL ={v} _29;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_15
  # DEBUG IntSrc => 21
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _26 ={v} Base_15->CTRL;
  _27 = _26 & 4292870143;
  Base_15->CTRL ={v} _27;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  _2 ={v} UartState_16->ReceiveStatus;
  if (_2 == 6)
    goto <bb 3>; [20.24%]
  else
    goto <bb 8>; [79.76%]

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

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_15
  # DEBUG StatusFlag => 21
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _36 ={v} MEM[(const struct LPUART_Type *)Base_15].STAT;
  _37 = _36 >> 21;
  RetVal_38 = (boolean) _37;
  # DEBUG RetVal => RetVal_38
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_38 != 0)
    goto <bb 6>; [5.50%]
  else
    goto <bb 5>; [94.50%]

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

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

  <bb 6> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  TimeoutTicks.20_5 = TimeoutTicks;
  _6 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.20_5, 0);
  if (_6 != 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 7> [local count: 57431766]:
  # DEBUG BEGIN_STMT
  UartState_16->ReceiveStatus ={v} 1;

  <bb 8> [local count: 567507570]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_15
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetReceiverCmd
  # DEBUG BEGIN_STMT
  _40 ={v} Base_15->CTRL;
  _41 = _40 & 4294705151;
  Base_15->CTRL ={v} _41;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_15
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_Getchar
  # DEBUG BEGIN_STMT
  _39 ={v} MEM[(const struct LPUART_Type *)Base_15].DATA;
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  UartState_16->IsRxBusy ={v} 0;
  # DEBUG BEGIN_STMT
  _7 ={v} UartState_16->ReceiveStatus;
  if (_7 == 2)
    goto <bb 9>; [34.00%]
  else
    goto <bb 10>; [66.00%]

  <bb 9> [local count: 192952574]:
  # DEBUG BEGIN_STMT
  UartState_16->ReceiveStatus ={v} 0;

  <bb 10> [local count: 567507570]:
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return;

}


Lpuart_Uart_Ip_StartReceiveDataUsingDma (const uint8 Instance, uint8 * RxBuff, const uint32 RxSize)
{
  volatile boolean x;
  volatile boolean x;
  Dma_Ip_ReturnType DmaReturnStatus;
  struct Dma_Ip_LogicChannelTransferListType DmaTransferList[10];
  struct LPUART_Type * Base;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  volatile uint32_t * _2;
  long unsigned int _3;
  long unsigned int RxBuff.17_4;
  long unsigned int _5;
  _Bool _6;
  long unsigned int _7;
  _Bool _8;
  long unsigned int _47;
  long unsigned int _48;
  long unsigned int _49;
  _Bool x.2_50;
  _Bool x.2_51;
  long unsigned int _52;
  long unsigned int _53;

  <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) Instance_9(D);
  Base_11 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_11
  # DEBUG BEGIN_STMT
  UartState_12 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_12
  # DEBUG BEGIN_STMT
  UartUserCfg_13 = Lpuart_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_13
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_ClearErrorFlags (Base_11);
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_11
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_FlushRxBuffer
  # DEBUG BEGIN_STMT
  _52 ={v} Base_11->FIFO;
  _53 = _52 | 16384;
  Base_11->FIFO ={v} _53;
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  DmaTransferList[0].Param = 0;
  # DEBUG BEGIN_STMT
  _2 = &Base_11->DATA;
  _3 = (long unsigned int) _2;
  DmaTransferList[0].Value = _3;
  # DEBUG BEGIN_STMT
  DmaTransferList[1].Param = 5;
  # DEBUG BEGIN_STMT
  RxBuff.17_4 = (long unsigned int) RxBuff_18(D);
  DmaTransferList[1].Value = RxBuff.17_4;
  # 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_25(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_12->RxBuff = RxBuff_18(D);
  # DEBUG BEGIN_STMT
  UartState_12->RxSize ={v} 0;
  # DEBUG BEGIN_STMT
  UartState_12->IsRxBusy ={v} 1;
  # DEBUG BEGIN_STMT
  UartState_12->ReceiveStatus ={v} 2;
  # DEBUG BEGIN_STMT
  _5 = UartUserCfg_13->RxDMAChannel;
  DmaReturnStatus_42 = Dma_Ip_SetLogicChannelTransferList (_5, &DmaTransferList, 10);
  # DEBUG DmaReturnStatus => DmaReturnStatus_42
  # DEBUG BEGIN_STMT
  _6 = DmaReturnStatus_42 == 0;
  x ={v} _6;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_51 ={v} x;
  if (x.2_51 != 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
  _7 = UartUserCfg_13->RxDMAChannel;
  DmaReturnStatus_44 = Dma_Ip_SetLogicChannelCommand (_7, 0);
  # 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.2_50 ={v} x;
  if (x.2_50 != 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 Base => Base_11
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetReceiverCmd
  # DEBUG BEGIN_STMT
  _47 ={v} Base_11->CTRL;
  _48 = _47 & 4294705151;
  _49 = _48 | 262144;
  Base_11->CTRL ={v} _49;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetupIntDmaMode (Instance_9(D), 1);
  # DEBUG BEGIN_STMT
  DmaTransferList ={v} {CLOBBER};
  return 0;

}


Lpuart_Uart_Ip_StartReceiveDataUsingInt (const uint8 Instance, uint8 * RxBuff, const uint32 RxSize)
{
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  struct LPUART_Type * Base;
  int _1;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  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: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_2(D);
  Base_4 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_4
  # DEBUG BEGIN_STMT
  UartState_5 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_5
  # DEBUG BEGIN_STMT
  UartState_5->IsRxBusy ={v} 1;
  # DEBUG BEGIN_STMT
  UartState_5->RxBuff = RxBuff_7(D);
  # DEBUG BEGIN_STMT
  UartState_5->RxSize ={v} RxSize_9(D);
  # DEBUG BEGIN_STMT
  UartState_5->ReceiveStatus ={v} 2;
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_ClearErrorFlags (Base_4);
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_4
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_FlushRxBuffer
  # DEBUG BEGIN_STMT
  _31 ={v} Base_4->FIFO;
  _32 = _31 | 16384;
  Base_4->FIFO ={v} _32;
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_4
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetReceiverCmd
  # DEBUG BEGIN_STMT
  _28 ={v} Base_4->CTRL;
  _29 = _28 & 4294705151;
  _30 = _29 | 262144;
  Base_4->CTRL ={v} _30;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_4
  # DEBUG IntSrc => 27
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _25 ={v} Base_4->CTRL;
  _26 = _25 & 4160749567;
  _27 = _26 | 134217728;
  Base_4->CTRL ={v} _27;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_4
  # DEBUG IntSrc => 24
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _22 ={v} Base_4->CTRL;
  _23 = _22 & 4278190079;
  _24 = _23 | 16777216;
  Base_4->CTRL ={v} _24;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_4
  # DEBUG IntSrc => 26
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _19 ={v} Base_4->CTRL;
  _20 = _19 & 4227858431;
  _21 = _20 | 67108864;
  Base_4->CTRL ={v} _21;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_4
  # DEBUG IntSrc => 25
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _16 ={v} Base_4->CTRL;
  _17 = _16 & 4261412863;
  _18 = _17 | 33554432;
  Base_4->CTRL ={v} _18;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_4
  # DEBUG IntSrc => 21
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _13 ={v} Base_4->CTRL;
  _14 = _13 & 4292870143;
  _15 = _14 | 2097152;
  Base_4->CTRL ={v} _15;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  return 0;

}


Lpuart_Uart_Ip_CompleteSendUsingDma (uint8 Instance)
{
  boolean RetVal;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  struct Dma_Ip_LogicChannelStatusType DmaStatus;
  Dma_Ip_ReturnType DmaReturnStatus;
  struct Dma_Ip_LogicChannelTransferListType DmaTransferList[10];
  struct LPUART_Type * Base;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  long unsigned int _2;
  <unnamed type> _3;
  long unsigned int _4;
  _Bool _5;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _6;
  void * _7;
  <unnamed type> _8;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _9;
  void * _10;
  long unsigned int _11;
  <unnamed type> _12;
  const uint8 * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  _Bool _17;
  long unsigned int _18;
  _Bool _19;
  long unsigned int TimeoutTicks.22_20;
  _Bool _21;
  long unsigned int TimeoutTicks.23_22;
  _Bool _23;
  <unnamed type> _24;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _25;
  void * _26;
  _Bool x.2_67;
  _Bool x.2_68;
  _Bool x.2_69;
  long unsigned int _70;
  long unsigned int _71;
  long unsigned int _72;
  long unsigned int _73;
  long unsigned int _75;
  long unsigned int _76;

  <bb 2> [local count: 729558]:
  # 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
  _1 = (int) Instance_36(D);
  Base_37 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_37
  # DEBUG BEGIN_STMT
  UartState_38 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_38
  # DEBUG BEGIN_STMT
  UartUserCfg_39 = Lpuart_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_39
  # DEBUG BEGIN_STMT
  _2 = UartUserCfg_39->TxDMAChannel;
  Dma_Ip_GetLogicChannelStatus (_2, &DmaStatus);
  # DEBUG BEGIN_STMT
  _3 = DmaStatus.ChStateValue;
  if (_3 == 4)
    goto <bb 3>; [20.24%]
  else
    goto <bb 7>; [79.76%]

  <bb 3> [local count: 147663]:
  # DEBUG BEGIN_STMT
  _4 = UartUserCfg_39->TxDMAChannel;
  DmaReturnStatus_42 = Dma_Ip_SetLogicChannelCommand (_4, 4);
  # DEBUG DmaReturnStatus => DmaReturnStatus_42
  # DEBUG BEGIN_STMT
  _5 = DmaReturnStatus_42 == 0;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_67 ={v} x;
  if (x.2_67 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 28>; [50.00%]

  <bb 28> [local count: 73831]:

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

  <bb 32> [local count: 738314359]:
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 73831]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  UartState_38->TransmitStatus ={v} 1;
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_39->Callback;
  if (_6 != 0B)
    goto <bb 6>; [70.00%]
  else
    goto <bb 7>; [30.00%]

  <bb 6> [local count: 51682]:
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_39->CallbackParam;
  _6 (Instance_36(D), 3, _7);

  <bb 7> [local count: 655727]:
  # DEBUG BEGIN_STMT
  _8 ={v} UartState_38->TransmitStatus;
  if (_8 == 2)
    goto <bb 8>; [34.00%]
  else
    goto <bb 10>; [66.00%]

  <bb 8> [local count: 222947]:
  # DEBUG BEGIN_STMT
  _9 = UartUserCfg_39->Callback;
  if (_9 != 0B)
    goto <bb 9>; [70.00%]
  else
    goto <bb 10>; [30.00%]

  <bb 9> [local count: 156063]:
  # DEBUG BEGIN_STMT
  _10 = UartUserCfg_39->CallbackParam;
  _9 (Instance_36(D), 1, _10);

  <bb 10> [local count: 655727]:
  # DEBUG BEGIN_STMT
  _11 ={v} UartState_38->TxSize;
  if (_11 != 0)
    goto <bb 11>; [67.00%]
  else
    goto <bb 16>; [33.00%]

  <bb 11> [local count: 439337]:
  _12 ={v} UartState_38->TransmitStatus;
  if (_12 != 1)
    goto <bb 12>; [48.88%]
  else
    goto <bb 16>; [51.12%]

  <bb 12> [local count: 214748]:
  # DEBUG BEGIN_STMT
  DmaTransferList[0].Param = 0;
  # DEBUG BEGIN_STMT
  _13 = UartState_38->TxBuff;
  _14 = (long unsigned int) _13;
  DmaTransferList[0].Value = _14;
  # DEBUG BEGIN_STMT
  DmaTransferList[1].Param = 18;
  # DEBUG BEGIN_STMT
  _15 ={v} UartState_38->TxSize;
  DmaTransferList[1].Value = _15;
  # DEBUG BEGIN_STMT
  _16 = UartUserCfg_39->TxDMAChannel;
  DmaReturnStatus_51 = Dma_Ip_SetLogicChannelTransferList (_16, &DmaTransferList, 2);
  # DEBUG DmaReturnStatus => DmaReturnStatus_51
  # DEBUG BEGIN_STMT
  _17 = DmaReturnStatus_51 == 0;
  x ={v} _17;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_69 ={v} x;
  if (x.2_69 != 0)
    goto <bb 14>; [50.00%]
  else
    goto <bb 27>; [50.00%]

  <bb 27> [local count: 107374]:

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

  <bb 30> [local count: 1073741824]:
  goto <bb 13>; [100.00%]

  <bb 14> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  UartState_38->TxSize ={v} 0;
  # DEBUG BEGIN_STMT
  _18 = UartUserCfg_39->TxDMAChannel;
  DmaReturnStatus_54 = Dma_Ip_SetLogicChannelCommand (_18, 0);
  # DEBUG DmaReturnStatus => DmaReturnStatus_54
  # DEBUG BEGIN_STMT
  _19 = DmaReturnStatus_54 == 0;
  x ={v} _19;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_68 ={v} x;
  if (x.2_68 != 0)
    goto <bb 25>; [50.00%]
  else
    goto <bb 26>; [50.00%]

  <bb 26> [local count: 53687]:

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

  <bb 29> [local count: 536870913]:
  goto <bb 15>; [100.00%]

  <bb 16> [local count: 440979]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_37
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetTxDmaCmd
  # DEBUG BEGIN_STMT
  _70 ={v} Base_37->BAUD;
  _71 = _70 & 4286578687;
  Base_37->BAUD ={v} _71;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, 500000, 0);
  # DEBUG BEGIN_STMT

  <bb 17> [local count: 4122263]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_37
  # DEBUG StatusFlag => 22
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _72 ={v} MEM[(const struct LPUART_Type *)Base_37].STAT;
  _73 = _72 >> 22;
  RetVal_74 = (boolean) _73;
  # DEBUG RetVal => RetVal_74
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_74 != 0)
    goto <bb 19>; [5.50%]
  else
    goto <bb 18>; [94.50%]

  <bb 18> [local count: 3895539]:
  TimeoutTicks.22_20 = TimeoutTicks;
  _21 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.22_20, 0);
  if (_21 != 0)
    goto <bb 19>; [5.50%]
  else
    goto <bb 31>; [94.50%]

  <bb 31> [local count: 3681284]:
  goto <bb 17>; [100.00%]

  <bb 19> [local count: 440979]:
  # DEBUG BEGIN_STMT
  TimeoutTicks.23_22 = TimeoutTicks;
  _23 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.23_22, 0);
  if (_23 != 0)
    goto <bb 20>; [50.00%]
  else
    goto <bb 21>; [50.00%]

  <bb 20> [local count: 220490]:
  # DEBUG BEGIN_STMT
  UartState_38->TransmitStatus ={v} 1;

  <bb 21> [local count: 440979]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_37
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetTransmitterCmd
  # DEBUG BEGIN_STMT
  _75 ={v} Base_37->CTRL;
  _76 = _75 & 4294443007;
  Base_37->CTRL ={v} _76;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  _24 ={v} UartState_38->TransmitStatus;
  if (_24 == 2)
    goto <bb 22>; [34.00%]
  else
    goto <bb 24>; [66.00%]

  <bb 22> [local count: 149933]:
  # DEBUG BEGIN_STMT
  UartState_38->TransmitStatus ={v} 0;
  # DEBUG BEGIN_STMT
  _25 = UartUserCfg_39->Callback;
  if (_25 != 0B)
    goto <bb 23>; [70.00%]
  else
    goto <bb 24>; [30.00%]

  <bb 23> [local count: 104953]:
  # DEBUG BEGIN_STMT
  _26 = UartUserCfg_39->CallbackParam;
  _25 (Instance_36(D), 2, _26);

  <bb 24> [local count: 440979]:
  # DEBUG BEGIN_STMT
  UartState_38->IsTxBusy ={v} 0;

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

}


Lpuart_Uart_Ip_CompleteSendDataUsingInt (const uint8 Instance)
{
  boolean RetVal;
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  struct LPUART_Type * Base;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  <unnamed type> _2;
  long unsigned int TimeoutTicks.11_3;
  _Bool _4;
  long unsigned int TimeoutTicks.12_5;
  _Bool _6;
  <unnamed type> _7;
  long unsigned int _27;
  long unsigned int _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _34;
  long unsigned int _35;

  <bb 2> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ElapsedTicks = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_15(D);
  Base_16 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_16
  # DEBUG BEGIN_STMT
  UartState_17 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_17
  # DEBUG BEGIN_STMT
  _2 ={v} UartState_17->TransmitStatus;
  if (_2 != 2)
    goto <bb 3>; [66.00%]
  else
    goto <bb 4>; [34.00%]

  <bb 3> [local count: 75809931]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_16
  # DEBUG IntSrc => 23
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _27 ={v} Base_16->CTRL;
  _28 = _27 & 4286578687;
  Base_16->CTRL ={v} _28;

  <bb 4> [local count: 114863532]:
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_16
  # DEBUG IntSrc => 22
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _29 ={v} Base_16->CTRL;
  _30 = _29 & 4290772991;
  Base_16->CTRL ={v} _30;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, 500000, 0);
  # DEBUG BEGIN_STMT

  <bb 5> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_16
  # DEBUG StatusFlag => 22
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _31 ={v} MEM[(const struct LPUART_Type *)Base_16].STAT;
  _32 = _31 >> 22;
  RetVal_33 = (boolean) _32;
  # DEBUG RetVal => RetVal_33
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_33 != 0)
    goto <bb 7>; [5.50%]
  else
    goto <bb 6>; [94.50%]

  <bb 6> [local count: 1014686025]:
  TimeoutTicks.11_3 = TimeoutTicks;
  _4 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.11_3, 0);
  if (_4 != 0)
    goto <bb 7>; [5.50%]
  else
    goto <bb 12>; [94.50%]

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

  <bb 7> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  TimeoutTicks.12_5 = TimeoutTicks;
  _6 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.12_5, 0);
  if (_6 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 8> [local count: 57431766]:
  # DEBUG BEGIN_STMT
  UartState_17->TransmitStatus ={v} 1;

  <bb 9> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_16
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetTransmitterCmd
  # DEBUG BEGIN_STMT
  _34 ={v} Base_16->CTRL;
  _35 = _34 & 4294443007;
  Base_16->CTRL ={v} _35;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  _7 ={v} UartState_17->TransmitStatus;
  if (_7 == 2)
    goto <bb 10>; [34.00%]
  else
    goto <bb 11>; [66.00%]

  <bb 10> [local count: 39053601]:
  # DEBUG BEGIN_STMT
  UartState_17->TransmitStatus ={v} 0;

  <bb 11> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  UartState_17->IsTxBusy ={v} 0;
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return;

}


Lpuart_Uart_Ip_StartSendDataUsingDma (const uint8 Instance, const uint8 * TxBuff, const uint32 TxSize)
{
  volatile boolean x;
  volatile boolean x;
  Dma_Ip_ReturnType DmaReturnStatus;
  struct Dma_Ip_LogicChannelTransferListType DmaTransferList[10];
  struct LPUART_Type * Base;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  long unsigned int TxBuff.9_2;
  volatile uint32_t * _3;
  long unsigned int _4;
  long unsigned int _5;
  _Bool _6;
  long unsigned int _7;
  _Bool _8;
  long unsigned int _44;
  long unsigned int _45;
  long unsigned int _46;
  long unsigned int _47;
  long unsigned int _48;
  long unsigned int _49;
  _Bool x.2_50;
  _Bool x.2_51;

  <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) Instance_9(D);
  Base_11 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_11
  # DEBUG BEGIN_STMT
  UartState_12 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_12
  # DEBUG BEGIN_STMT
  UartUserCfg_13 = Lpuart_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_13
  # DEBUG BEGIN_STMT
  DmaTransferList[0].Param = 0;
  # DEBUG BEGIN_STMT
  TxBuff.9_2 = (long unsigned int) TxBuff_15(D);
  DmaTransferList[0].Value = TxBuff.9_2;
  # DEBUG BEGIN_STMT
  DmaTransferList[1].Param = 5;
  # DEBUG BEGIN_STMT
  _3 = &Base_11->DATA;
  _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_24(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_12->TxBuff = TxBuff_15(D);
  # DEBUG BEGIN_STMT
  UartState_12->TxSize ={v} 0;
  # DEBUG BEGIN_STMT
  UartState_12->TransmitStatus ={v} 2;
  # DEBUG BEGIN_STMT
  _5 = UartUserCfg_13->TxDMAChannel;
  DmaReturnStatus_40 = Dma_Ip_SetLogicChannelTransferList (_5, &DmaTransferList, 10);
  # DEBUG DmaReturnStatus => DmaReturnStatus_40
  # DEBUG BEGIN_STMT
  _6 = DmaReturnStatus_40 == 0;
  x ={v} _6;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_51 ={v} x;
  if (x.2_51 != 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
  _7 = UartUserCfg_13->TxDMAChannel;
  DmaReturnStatus_42 = Dma_Ip_SetLogicChannelCommand (_7, 0);
  # DEBUG DmaReturnStatus => DmaReturnStatus_42
  # DEBUG BEGIN_STMT
  _8 = DmaReturnStatus_42 == 0;
  x ={v} _8;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_50 ={v} x;
  if (x.2_50 != 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 Base => Base_11
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetTransmitterCmd
  # DEBUG BEGIN_STMT
  _47 ={v} Base_11->CTRL;
  _48 = _47 & 4294443007;
  _49 = _48 | 524288;
  Base_11->CTRL ={v} _49;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_11
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetTxDmaCmd
  # DEBUG BEGIN_STMT
  _44 ={v} Base_11->BAUD;
  _45 = _44 & 4286578687;
  _46 = _45 | 8388608;
  Base_11->BAUD ={v} _46;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  DmaTransferList ={v} {CLOBBER};
  return 0;

}


Lpuart_Uart_Ip_StartSendDataUsingInt (const uint8 Instance, const uint8 * TxBuff, const uint32 TxSize)
{
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  struct LPUART_Type * Base;
  int _1;
  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
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_2(D);
  Base_4 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_4
  # DEBUG BEGIN_STMT
  UartState_5 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_5
  # DEBUG BEGIN_STMT
  UartState_5->TxBuff = TxBuff_6(D);
  # DEBUG BEGIN_STMT
  UartState_5->TxSize ={v} TxSize_8(D);
  # DEBUG BEGIN_STMT
  UartState_5->TransmitStatus ={v} 2;
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_4
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetTransmitterCmd
  # DEBUG BEGIN_STMT
  _14 ={v} Base_4->CTRL;
  _15 = _14 & 4294443007;
  _16 = _15 | 524288;
  Base_4->CTRL ={v} _16;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_4
  # DEBUG IntSrc => 23
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _11 ={v} Base_4->CTRL;
  _12 = _11 & 4286578687;
  _13 = _12 | 8388608;
  Base_4->CTRL ={v} _13;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  return 0;

}


Lpuart_Uart_Ip_ErrIrqHandler (const uint8 Instance)
{
  boolean RetVal;
  boolean RetVal;
  boolean RetVal;
  boolean RetVal;
  boolean RetVal;
  boolean RetVal;
  boolean RetVal;
  boolean RetVal;
  boolean IsReturn;
  boolean IsError;
  struct LPUART_Type * Base;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  <unnamed type> _2;
  long unsigned int _3;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _4;
  void * _5;
  long unsigned int _33;
  long unsigned int _34;
  long unsigned int _36;
  long unsigned int _37;
  long unsigned int _39;
  long unsigned int _40;
  long unsigned int _41;
  long unsigned int _42;
  long unsigned int _43;
  long unsigned int _45;
  long unsigned int _46;
  long unsigned int _48;
  long unsigned int _49;
  long unsigned int _50;
  long unsigned int _51;
  long unsigned int _52;
  long unsigned int _54;
  long unsigned int _55;
  long unsigned int _57;
  long unsigned int _58;
  long unsigned int _60;
  long unsigned int _61;
  long unsigned int _63;
  long unsigned int _64;
  long unsigned int _65;

  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG IsError => 0
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_20(D);
  Base_22 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_22
  # DEBUG BEGIN_STMT
  UartState_23 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_23
  # DEBUG BEGIN_STMT
  UartUserCfg_24 = Lpuart_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_24
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG StatusFlag => 19
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _33 ={v} MEM[(const struct LPUART_Type *)Base_22].STAT;
  _34 = _33 >> 19;
  RetVal_35 = (boolean) _34;
  # DEBUG RetVal => RetVal_35
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_35 != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 3> [local count: 536870911]:
<L35>:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG StatusFlag => 19
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_ClearStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _39 ={v} Base_22->STAT;
  _40 = _39 & 1071661055;
  _41 = _40 | 524288;
  Base_22->STAT ={v} _41;
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG IntSrc => 27
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetIntMode
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _36 ={v} MEM[(const struct LPUART_Type *)Base_22].CTRL;
  _37 = _36 >> 27;
  RetVal_38 = (boolean) _37;
  # DEBUG RetVal => RetVal_38
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG RetVal => NULL
  if (RetVal_38 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 4> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG IsError => 1
  # DEBUG BEGIN_STMT
  UartState_23->ReceiveStatus ={v} 5;

  <bb 5> [local count: 1073741823]:
  # IsError_6 = PHI <0(2), 0(3), 1(4)>
  # IsReturn_10 = PHI <0(2), 1(3), 0(4)>
  # DEBUG IsReturn => IsReturn_10
  # DEBUG IsError => IsError_6
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG StatusFlag => 17
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _42 ={v} MEM[(const struct LPUART_Type *)Base_22].STAT;
  _43 = _42 >> 17;
  RetVal_44 = (boolean) _43;
  # DEBUG RetVal => RetVal_44
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_44 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 6> [local count: 536870911]:
  if (IsReturn_10 != 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 7> [local count: 268435456]:
<L42>:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG StatusFlag => 17
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_ClearStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _48 ={v} Base_22->STAT;
  _49 = _48 & 1071661055;
  _50 = _49 | 131072;
  Base_22->STAT ={v} _50;
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG IntSrc => 25
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetIntMode
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _45 ={v} MEM[(const struct LPUART_Type *)Base_22].CTRL;
  _46 = _45 >> 25;
  RetVal_47 = (boolean) _46;
  # DEBUG RetVal => RetVal_47
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG RetVal => NULL
  if (RetVal_47 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 8> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  # DEBUG IsError => 1
  # DEBUG BEGIN_STMT
  UartState_23->ReceiveStatus ={v} 7;

  <bb 9> [local count: 1073741823]:
  # IsError_7 = PHI <IsError_6(5), IsError_6(6), IsError_6(7), 1(8)>
  # IsReturn_11 = PHI <IsReturn_10(5), IsReturn_10(6), 1(7), 0(8)>
  # DEBUG IsReturn => IsReturn_11
  # DEBUG IsError => IsError_7
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG StatusFlag => 16
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _51 ={v} MEM[(const struct LPUART_Type *)Base_22].STAT;
  _52 = _51 >> 16;
  RetVal_53 = (boolean) _52;
  # DEBUG RetVal => RetVal_53
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_53 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 10> [local count: 536870911]:
  if (IsReturn_11 != 0)
    goto <bb 13>; [67.00%]
  else
    goto <bb 11>; [33.00%]

  <bb 11> [local count: 177167401]:
<L48>:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG StatusFlag => 16
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_ClearStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG D#4 => 16
  Lpuart_Uart_Ip_ClearStatusFlag.part.0 (Base_22);
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG IntSrc => 24
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetIntMode
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _54 ={v} MEM[(const struct LPUART_Type *)Base_22].CTRL;
  _55 = _54 >> 24;
  RetVal_56 = (boolean) _55;
  # DEBUG RetVal => RetVal_56
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG RetVal => NULL
  if (RetVal_56 != 0)
    goto <bb 12>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 12> [local count: 88583700]:
  # DEBUG BEGIN_STMT
  # DEBUG IsError => 1
  # DEBUG BEGIN_STMT
  UartState_23->ReceiveStatus ={v} 8;

  <bb 13> [local count: 1073741824]:
  # IsError_8 = PHI <IsError_7(9), IsError_7(10), IsError_7(11), 1(12)>
  # IsReturn_12 = PHI <IsReturn_11(9), IsReturn_11(10), 1(11), 0(12)>
  # DEBUG IsReturn => IsReturn_12
  # DEBUG IsError => IsError_8
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG StatusFlag => 18
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _57 ={v} MEM[(const struct LPUART_Type *)Base_22].STAT;
  _58 = _57 >> 18;
  RetVal_59 = (boolean) _58;
  # DEBUG RetVal => RetVal_59
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_59 != 0)
    goto <bb 14>; [50.00%]
  else
    goto <bb 17>; [50.00%]

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

  <bb 15> [local count: 268435456]:
<L51>:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG StatusFlag => 18
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_ClearStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _63 ={v} Base_22->STAT;
  _64 = _63 & 1071661055;
  _65 = _64 | 262144;
  Base_22->STAT ={v} _65;
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_22
  # DEBUG IntSrc => 26
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetIntMode
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _60 ={v} MEM[(const struct LPUART_Type *)Base_22].CTRL;
  _61 = _60 >> 26;
  RetVal_62 = (boolean) _61;
  # DEBUG RetVal => RetVal_62
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG RetVal => NULL
  if (RetVal_62 != 0)
    goto <bb 16>; [50.00%]
  else
    goto <bb 17>; [50.00%]

  <bb 16> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  # DEBUG IsError => 1
  # DEBUG BEGIN_STMT
  UartState_23->ReceiveStatus ={v} 9;

  <bb 17> [local count: 1073741824]:
  # IsError_9 = PHI <IsError_8(13), IsError_8(14), IsError_8(15), 1(16)>
  # IsReturn_13 = PHI <IsReturn_12(13), IsReturn_12(14), 1(15), 0(16)>
  # DEBUG IsReturn => IsReturn_13
  # DEBUG IsError => IsError_9
  # DEBUG BEGIN_STMT
  if (IsReturn_13 != 0)
    goto <bb 24>; [50.00%]
  else
    goto <bb 18>; [50.00%]

  <bb 18> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  if (IsError_9 != 0)
    goto <bb 19>; [50.00%]
  else
    goto <bb 24>; [50.00%]

  <bb 19> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _2 = UartUserCfg_24->TransferType;
  if (_2 == 1)
    goto <bb 20>; [34.00%]
  else
    goto <bb 21>; [66.00%]

  <bb 20> [local count: 91268055]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (Instance_20(D));
  goto <bb 22>; [100.00%]

  <bb 21> [local count: 177167401]:
  # DEBUG BEGIN_STMT
  _3 = UartUserCfg_24->RxDMAChannel;
  Dma_Ip_SetLogicChannelCommand (_3, 1);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_CompleteReceiveUsingDma (Instance_20(D));

  <bb 22> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _4 = UartUserCfg_24->Callback;
  if (_4 != 0B)
    goto <bb 23>; [70.00%]
  else
    goto <bb 24>; [30.00%]

  <bb 23> [local count: 187904819]:
  # DEBUG BEGIN_STMT
  _5 = UartUserCfg_24->CallbackParam;
  _4 (Instance_20(D), 3, _5);

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

}


Lpuart_Uart_Ip_TxCompleteIrqHandler (const uint8 Instance)
{
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  const struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  long unsigned int _2;
  <unnamed type> _3;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _4;
  void * _5;

  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_8(D);
  UartState_10 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_10
  # DEBUG BEGIN_STMT
  UartUserCfg_11 = Lpuart_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_11
  # DEBUG BEGIN_STMT
  _2 ={v} UartState_10->TxSize;
  if (_2 == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 3> [local count: 536870911]:
  # DEBUG BEGIN_STMT
  _3 = UartUserCfg_11->TransferType;
  if (_3 == 1)
    goto <bb 4>; [20.24%]
  else
    goto <bb 5>; [79.76%]

  <bb 4> [local count: 108662672]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_CompleteSendDataUsingInt (Instance_8(D));

  <bb 5> [local count: 536870911]:
  # DEBUG BEGIN_STMT
  _4 = UartUserCfg_11->Callback;
  if (_4 != 0B)
    goto <bb 6>; [70.00%]
  else
    goto <bb 7>; [30.00%]

  <bb 6> [local count: 375809638]:
  # DEBUG BEGIN_STMT
  _5 = UartUserCfg_11->CallbackParam;
  _4 (Instance_8(D), 2, _5);

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

}


Lpuart_Uart_Ip_TxEmptyIrqHandler (const uint8 Instance)
{
  struct LPUART_Type * Base;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  const struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  long unsigned int _2;
  long unsigned int _3;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _4;
  void * _5;
  long unsigned int _6;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_9(D);
  Base_11 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_11
  # DEBUG BEGIN_STMT
  UartState_12 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_12
  # DEBUG BEGIN_STMT
  UartUserCfg_13 = Lpuart_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_13
  # DEBUG BEGIN_STMT
  _2 ={v} UartState_12->TxSize;
  if (_2 != 0)
    goto <bb 3>; [33.00%]
  else
    goto <bb 8>; [67.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_PutData (Instance_9(D));
  # DEBUG BEGIN_STMT
  _3 ={v} UartState_12->TxSize;
  if (_3 == 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 4> [local count: 177167401]:
  _4 = UartUserCfg_13->Callback;
  if (_4 != 0B)
    goto <bb 5>; [70.00%]
  else
    goto <bb 6>; [30.00%]

  <bb 5> [local count: 124017181]:
  # DEBUG BEGIN_STMT
  _5 = UartUserCfg_13->CallbackParam;
  _4 (Instance_9(D), 1, _5);

  <bb 6> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  _6 ={v} UartState_12->TxSize;
  if (_6 == 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 7> [local count: 177167401]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_11
  # DEBUG IntSrc => 23
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _19 ={v} Base_11->CTRL;
  _20 = _19 & 4286578687;
  Base_11->CTRL ={v} _20;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_11
  # DEBUG IntSrc => 22
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _16 ={v} Base_11->CTRL;
  _17 = _16 & 4290772991;
  _18 = _17 | 4194304;
  Base_11->CTRL ={v} _18;

  <bb 8> [local count: 1073741824]:
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  return;

}


Lpuart_Uart_Ip_RxIrqHandler (const uint8 Instance)
{
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  const struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  long unsigned int _2;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _3;
  void * _4;
  long unsigned int _5;
  void (*<T4ed>) (const uint8, const Lpuart_Uart_Ip_EventType, void *) _6;
  void * _7;

  <bb 2> [local count: 1073741821]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_10(D);
  UartState_12 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_12
  # DEBUG BEGIN_STMT
  UartUserCfg_13 = Lpuart_Uart_Ip_apUserConfig[_1];
  # DEBUG UartUserCfg => UartUserCfg_13
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_GetData (Instance_10(D));
  # DEBUG BEGIN_STMT
  _2 ={v} UartState_12->RxSize;
  if (_2 == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 5>; [50.00%]

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

  <bb 4> [local count: 375809637]:
  # DEBUG BEGIN_STMT
  _4 = UartUserCfg_13->CallbackParam;
  _3 (Instance_10(D), 0, _4);

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

  <bb 6> [local count: 354334801]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (Instance_10(D));
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_13->Callback;
  if (_6 != 0B)
    goto <bb 7>; [70.00%]
  else
    goto <bb 8>; [30.00%]

  <bb 7> [local count: 248034361]:
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_13->CallbackParam;
  _6 (Instance_10(D), 2, _7);

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

}


Lpuart_Uart_Ip_IrqHandler (const uint8 Instance)
{
  boolean RetVal;
  boolean RetVal;
  boolean RetVal;
  boolean RetVal;
  boolean RetVal;
  boolean RetVal;
  volatile boolean x;
  boolean IsReturn;
  const struct Lpuart_Uart_Ip_StateStructureType * UartState;
  struct LPUART_Type * Base;
  _Bool _1;
  int _2;
  _Bool x.2_17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _22;
  long unsigned int _23;
  long unsigned int _25;
  long unsigned int _26;
  long unsigned int _27;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _32;
  long unsigned int _33;
  long unsigned int _35;
  long unsigned int _36;

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

  <bb 19> [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
  _2 = (int) Instance_8(D);
  Base_10 = Lpuart_Uart_Ip_apBases[_2];
  # DEBUG Base => Base_10
  # DEBUG BEGIN_STMT
  UartState_11 = Lpuart_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_11
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  if (UartState_11 == 0B)
    goto <bb 5>; [30.00%]
  else
    goto <bb 6>; [70.00%]

  <bb 5> [local count: 32212]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_10
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_Getchar
  # DEBUG BEGIN_STMT
  _18 ={v} MEM[(const struct LPUART_Type *)Base_10].DATA;
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_ClearErrorFlags (Base_10);
  goto <bb 18>; [100.00%]

  <bb 6> [local count: 75162]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_ErrIrqHandler (Instance_8(D));
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_10
  # DEBUG StatusFlag => 21
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _19 ={v} MEM[(const struct LPUART_Type *)Base_10].STAT;
  _20 = _19 >> 21;
  RetVal_21 = (boolean) _20;
  # DEBUG RetVal => RetVal_21
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_21 != 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 7> [local count: 37581]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_10
  # DEBUG IntSrc => 21
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetIntMode
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _22 ={v} MEM[(const struct LPUART_Type *)Base_10].CTRL;
  _23 = _22 >> 21;
  RetVal_24 = (boolean) _23;
  # DEBUG RetVal => RetVal_24
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG RetVal => NULL
  if (RetVal_24 != 0)
    goto <bb 8>; [33.00%]
  else
    goto <bb 9>; [67.00%]

  <bb 8> [local count: 12402]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_RxIrqHandler (Instance_8(D));
  goto <bb 10>; [100.00%]

  <bb 9> [local count: 25179]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_10
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_Getchar
  # DEBUG BEGIN_STMT
  _25 ={v} MEM[(const struct LPUART_Type *)Base_10].DATA;

  <bb 10> [local count: 75162]:
  # IsReturn_3 = PHI <0(6), 1(9), 1(8)>
  # DEBUG Base => NULL
  # DEBUG IsReturn => IsReturn_3
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_10
  # DEBUG StatusFlag => 23
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _26 ={v} MEM[(const struct LPUART_Type *)Base_10].STAT;
  _27 = _26 >> 23;
  RetVal_28 = (boolean) _27;
  # DEBUG RetVal => RetVal_28
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_28 != 0)
    goto <bb 11>; [50.00%]
  else
    goto <bb 14>; [50.00%]

  <bb 11> [local count: 37581]:
  if (IsReturn_3 != 0)
    goto <bb 14>; [50.00%]
  else
    goto <bb 12>; [50.00%]

  <bb 12> [local count: 18790]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_10
  # DEBUG IntSrc => 23
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetIntMode
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _29 ={v} MEM[(const struct LPUART_Type *)Base_10].CTRL;
  _30 = _29 >> 23;
  RetVal_31 = (boolean) _30;
  # DEBUG RetVal => RetVal_31
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG RetVal => NULL
  if (RetVal_31 != 0)
    goto <bb 13>; [33.00%]
  else
    goto <bb 14>; [67.00%]

  <bb 13> [local count: 6201]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_TxEmptyIrqHandler (Instance_8(D));
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 1

  <bb 14> [local count: 75162]:
  # IsReturn_4 = PHI <IsReturn_3(10), IsReturn_3(11), 0(12), 1(13)>
  # DEBUG IsReturn => IsReturn_4
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_10
  # DEBUG StatusFlag => 22
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _32 ={v} MEM[(const struct LPUART_Type *)Base_10].STAT;
  _33 = _32 >> 22;
  RetVal_34 = (boolean) _33;
  # DEBUG RetVal => RetVal_34
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_34 != 0)
    goto <bb 15>; [50.00%]
  else
    goto <bb 18>; [50.00%]

  <bb 15> [local count: 37581]:
  if (IsReturn_4 != 0)
    goto <bb 18>; [50.00%]
  else
    goto <bb 16>; [50.00%]

  <bb 16> [local count: 18790]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_10
  # DEBUG IntSrc => 22
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetIntMode
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _35 ={v} MEM[(const struct LPUART_Type *)Base_10].CTRL;
  _36 = _35 >> 22;
  RetVal_37 = (boolean) _36;
  # DEBUG RetVal => RetVal_37
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG RetVal => NULL
  if (RetVal_37 != 0)
    goto <bb 17>; [33.00%]
  else
    goto <bb 18>; [67.00%]

  <bb 17> [local count: 6201]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_TxCompleteIrqHandler (Instance_8(D));

  <bb 18> [local count: 107374]:
  # DEBUG BEGIN_STMT
  return;

}


Lpuart_Uart_Ip_SetRxBuffer (const uint8 Instance, uint8 * RxBuff, const uint32 RxSize)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  _Bool _2;
  _Bool _3;
  int _4;
  _Bool x.2_12;
  _Bool x.2_13;
  _Bool x.2_14;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Instance_5(D) <= 2;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_14 ={v} x;
  if (x.2_14 != 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
  _2 = RxBuff_7(D) != 0B;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_13 ={v} x;
  if (x.2_13 != 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
  _3 = RxSize_8(D) != 0;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_12 ={v} x;
  if (x.2_12 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 9> [local count: 26844]:

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

  <bb 12> [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
  _4 = (int) Instance_5(D);
  UartState_9 = Lpuart_Uart_Ip_apStateStructuresArray[_4];
  # DEBUG UartState => UartState_9
  # DEBUG BEGIN_STMT
  UartState_9->RxBuff = RxBuff_7(D);
  # DEBUG BEGIN_STMT
  UartState_9->RxSize ={v} RxSize_8(D);
  # DEBUG BEGIN_STMT
  return 0;

}


Lpuart_Uart_Ip_SetTxBuffer (const uint8 Instance, const uint8 * TxBuff, const uint32 TxSize)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  _Bool _2;
  _Bool _3;
  int _4;
  _Bool x.2_12;
  _Bool x.2_13;
  _Bool x.2_14;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Instance_5(D) <= 2;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_14 ={v} x;
  if (x.2_14 != 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
  _2 = TxBuff_7(D) != 0B;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_13 ={v} x;
  if (x.2_13 != 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
  _3 = TxSize_8(D) != 0;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_12 ={v} x;
  if (x.2_12 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 9> [local count: 26844]:

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

  <bb 12> [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
  _4 = (int) Instance_5(D);
  UartState_9 = Lpuart_Uart_Ip_apStateStructuresArray[_4];
  # DEBUG UartState => UartState_9
  # DEBUG BEGIN_STMT
  UartState_9->TxBuff = TxBuff_7(D);
  # DEBUG BEGIN_STMT
  UartState_9->TxSize ={v} TxSize_8(D);
  # DEBUG BEGIN_STMT
  return 0;

}


Lpuart_Uart_Ip_GetBaudRate (const uint8 Instance, uint32 * ConfiguredBaudRate)
{
  volatile boolean x;
  volatile boolean x;
  const struct Lpuart_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  _Bool _2;
  int _3;
  long unsigned int _4;
  _Bool x.2_10;
  _Bool x.2_11;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Instance_5(D) <= 2;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_11 ={v} x;
  if (x.2_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 = ConfiguredBaudRate_7(D) != 0B;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_10 ={v} x;
  if (x.2_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) Instance_5(D);
  UartState_8 = Lpuart_Uart_Ip_apStateStructuresArray[_3];
  # DEBUG UartState => UartState_8
  # DEBUG BEGIN_STMT
  _4 = UartState_8->BaudRate;
  *ConfiguredBaudRate_7(D) = _4;
  return;

}


Lpuart_Uart_Ip_SetBaudRate (const uint8 Instance, const Lpuart_Uart_Ip_BaudrateType DesiredBaudrate, const uint32 ClockFrequency)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  Lpuart_Uart_Ip_StatusType Status;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  struct LPUART_Type * Base;
  uint32 MaxOsr;
  uint32 BaudDiff;
  uint32 CalculatedBaud;
  uint32 TempDiff;
  uint32 Osr;
  uint16 SbrTemp;
  uint16 Idx;
  uint16 Sbr;
  _Bool _1;
  int _2;
  _Bool _3;
  _Bool _4;
  _Bool _5;
  _Bool _6;
  long unsigned int _7;
  _Bool _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;
  long unsigned int _37;
  long unsigned int _40;
  _Bool x.2_56;
  _Bool x.2_57;
  _Bool x.2_58;
  _Bool x.2_59;
  long unsigned int _60;
  long unsigned int _61;

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

  <bb 32> [local count: 107374]:

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

  <bb 36> [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
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ExpectedBaud => DesiredBaudrate_36(D)
  # DEBUG BEGIN_STMT
  _2 = (int) Instance_34(D);
  Base_38 = Lpuart_Uart_Ip_apBases[_2];
  # DEBUG Base => Base_38
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  UartState_39 = Lpuart_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_39
  # DEBUG BEGIN_STMT
  # DEBUG Status => 1
  # DEBUG BEGIN_STMT
  _3 = UartState_39 != 0B;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_56 ={v} x;
  if (x.2_56 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 31>; [50.00%]

  <bb 31> [local count: 53687]:

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

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

  <bb 6> [local count: 53687]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _4 ={v} UartState_39->IsTxBusy;
  if (_4 != 0)
    goto <bb 28>; [35.00%]
  else
    goto <bb 7>; [65.00%]

  <bb 7> [local count: 34897]:
  _5 ={v} UartState_39->IsRxBusy;
  if (_5 != 0)
    goto <bb 28>; [35.00%]
  else
    goto <bb 8>; [65.00%]

  <bb 8> [local count: 22683]:
  # DEBUG BEGIN_STMT
  _6 = ClockFrequency_41(D) != 0;
  x ={v} _6;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_59 ={v} x;
  if (x.2_59 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 30>; [50.00%]

  <bb 30> [local count: 11341]:

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

  <bb 34> [local count: 113413980]:
  goto <bb 9>; [100.00%]

  <bb 10> [local count: 11341]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _7 = DesiredBaudrate_36(D) * 5;
  _8 = _7 <= ClockFrequency_41(D);
  x ={v} _8;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_58 ={v} x;
  if (x.2_58 != 0)
    goto <bb 12>; [50.00%]
  else
    goto <bb 29>; [50.00%]

  <bb 29> [local count: 5671]:

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

  <bb 33> [local count: 56706990]:
  goto <bb 11>; [100.00%]

  <bb 12> [local count: 5671]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Osr => 4
  # DEBUG BEGIN_STMT
  _9 = DesiredBaudrate_36(D) * 4;
  _10 = ClockFrequency_41(D) / _9;
  Sbr_42 = (uint16) _10;
  # DEBUG Sbr => Sbr_42
  # DEBUG BEGIN_STMT
  _37 = _10 & 65535;
  _11 = _37 * 4;
  CalculatedBaud_43 = ClockFrequency_41(D) / _11;
  # DEBUG CalculatedBaud => CalculatedBaud_43
  # DEBUG BEGIN_STMT
  if (DesiredBaudrate_36(D) < CalculatedBaud_43)
    goto <bb 13>; [50.00%]
  else
    goto <bb 14>; [50.00%]

  <bb 13> [local count: 2835]:
  # DEBUG BEGIN_STMT
  BaudDiff_45 = CalculatedBaud_43 - DesiredBaudrate_36(D);
  # DEBUG BaudDiff => BaudDiff_45
  goto <bb 15>; [100.00%]

  <bb 14> [local count: 2835]:
  # DEBUG BEGIN_STMT
  BaudDiff_44 = DesiredBaudrate_36(D) - CalculatedBaud_43;
  # DEBUG BaudDiff => BaudDiff_44

  <bb 15> [local count: 5671]:
  # BaudDiff_28 = PHI <BaudDiff_45(13), BaudDiff_44(14)>
  # DEBUG BaudDiff => BaudDiff_28
  # DEBUG BEGIN_STMT
  MaxOsr_46 = ClockFrequency_41(D) / DesiredBaudrate_36(D);
  # DEBUG MaxOsr => MaxOsr_46
  # DEBUG BEGIN_STMT
  if (MaxOsr_46 > 32)
    goto <bb 23>; [50.00%]
  else
    goto <bb 16>; [50.00%]

  <bb 16> [local count: 2835]:
  # DEBUG MaxOsr => MaxOsr_46
  # DEBUG BEGIN_STMT
  if (MaxOsr_46 > 4)
    goto <bb 23>; [50.00%]
  else
    goto <bb 25>; [50.00%]

  <bb 17> [local count: 34411]:
  # DEBUG BEGIN_STMT
  _12 = _15 * DesiredBaudrate_36(D);
  _13 = ClockFrequency_41(D) / _12;
  SbrTemp_47 = (uint16) _13;
  # DEBUG SbrTemp => SbrTemp_47
  # DEBUG BEGIN_STMT
  _40 = _13 & 65535;
  _14 = _15 * _40;
  CalculatedBaud_48 = ClockFrequency_41(D) / _14;
  # DEBUG CalculatedBaud => CalculatedBaud_48
  # DEBUG BEGIN_STMT
  if (DesiredBaudrate_36(D) < CalculatedBaud_48)
    goto <bb 18>; [50.00%]
  else
    goto <bb 19>; [50.00%]

  <bb 18> [local count: 17205]:
  # DEBUG BEGIN_STMT
  TempDiff_50 = CalculatedBaud_48 - DesiredBaudrate_36(D);
  # DEBUG TempDiff => TempDiff_50
  goto <bb 20>; [100.00%]

  <bb 19> [local count: 17205]:
  # DEBUG BEGIN_STMT
  TempDiff_49 = DesiredBaudrate_36(D) - CalculatedBaud_48;
  # DEBUG TempDiff => TempDiff_49

  <bb 20> [local count: 34411]:
  # TempDiff_25 = PHI <TempDiff_50(18), TempDiff_49(19)>
  # DEBUG TempDiff => TempDiff_25
  # DEBUG BEGIN_STMT
  if (TempDiff_25 <= BaudDiff_30)
    goto <bb 21>; [50.00%]
  else
    goto <bb 22>; [50.00%]

  <bb 21> [local count: 17205]:
  # DEBUG BEGIN_STMT
  # DEBUG BaudDiff => TempDiff_25
  # DEBUG BEGIN_STMT
  # DEBUG Osr => _15
  # DEBUG BEGIN_STMT
  # DEBUG Sbr => SbrTemp_47

  <bb 22> [local count: 34411]:
  # Sbr_18 = PHI <Sbr_19(20), SbrTemp_47(21)>
  # Osr_22 = PHI <Osr_23(20), _15(21)>
  # BaudDiff_29 = PHI <BaudDiff_30(20), TempDiff_25(21)>
  # DEBUG BaudDiff => BaudDiff_29
  # DEBUG Osr => Osr_22
  # DEBUG Sbr => Sbr_18
  # DEBUG BEGIN_STMT
  Idx_51 = Idx_21 + 1;
  # DEBUG Idx => Idx_51
  goto <bb 24>; [100.00%]

  <bb 23> [local count: 4253]:
  # MaxOsr_55 = PHI <MaxOsr_46(16), 32(15)>
  # DEBUG MaxOsr => NULL

  <bb 24> [local count: 38664]:
  # Sbr_19 = PHI <Sbr_42(23), Sbr_18(22)>
  # Idx_21 = PHI <5(23), Idx_51(22)>
  # Osr_23 = PHI <4(23), Osr_22(22)>
  # CalculatedBaud_26 = PHI <CalculatedBaud_43(23), CalculatedBaud_48(22)>
  # BaudDiff_30 = PHI <BaudDiff_28(23), BaudDiff_29(22)>
  # DEBUG BaudDiff => BaudDiff_30
  # DEBUG CalculatedBaud => CalculatedBaud_26
  # DEBUG Osr => Osr_23
  # DEBUG Idx => Idx_21
  # DEBUG Sbr => Sbr_19
  # DEBUG BEGIN_STMT
  _15 = (long unsigned int) Idx_21;
  if (_15 <= MaxOsr_55)
    goto <bb 17>; [89.00%]
  else
    goto <bb 25>; [11.00%]

  <bb 25> [local count: 5671]:
  # Sbr_20 = PHI <Sbr_42(16), Sbr_19(24)>
  # Osr_24 = PHI <4(16), Osr_23(24)>
  # CalculatedBaud_27 = PHI <CalculatedBaud_43(16), CalculatedBaud_26(24)>
  # DEBUG CalculatedBaud => CalculatedBaud_27
  # DEBUG Osr => Osr_24
  # DEBUG Sbr => Sbr_20
  # DEBUG BEGIN_STMT
  if (Osr_24 <= 7)
    goto <bb 26>; [50.00%]
  else
    goto <bb 27>; [50.00%]

  <bb 26> [local count: 2835]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_38
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_EnableBothEdgeSamplingCmd
  # DEBUG BEGIN_STMT
  _60 ={v} Base_38->BAUD;
  _61 = _60 | 131072;
  Base_38->BAUD ={v} _61;

  <bb 27> [local count: 5671]:
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  _16 = Osr_24 + 4294967295;
  Lpuart_Uart_Ip_SetOversamplingRatio (Base_38, _16);
  # DEBUG BEGIN_STMT
  _17 = (long unsigned int) Sbr_20;
  Lpuart_Uart_Ip_SetBaudRateDivisor (Base_38, _17);
  # DEBUG BEGIN_STMT
  UartState_39->BaudRate = CalculatedBaud_27;
  # DEBUG BEGIN_STMT
  # DEBUG Status => 0

  <bb 28> [local count: 36675]:
  # Status_31 = PHI <2(7), 0(27), 2(6)>
  # DEBUG Status => Status_31
  # DEBUG BEGIN_STMT
  return Status_31;

}


Lpuart_Uart_Ip_AbortReceivingData (const uint8 Instance)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  Lpuart_Uart_Ip_StatusType RetVal;
  boolean IsReturn;
  struct LPUART_Type * Base;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  int _2;
  _Bool _3;
  _Bool _4;
  _Bool _5;
  <unnamed type> _6;
  long unsigned int _7;
  _Bool x.2_23;
  _Bool x.2_24;
  _Bool x.2_25;
  long unsigned int _26;
  long unsigned int _27;

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

  <bb 18> [local count: 107374]:

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

  <bb 21> [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) Instance_13(D);
  Base_15 = Lpuart_Uart_Ip_apBases[_2];
  # DEBUG Base => Base_15
  # DEBUG BEGIN_STMT
  UartState_16 = Lpuart_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_16
  # DEBUG BEGIN_STMT
  UartUserCfg_17 = Lpuart_Uart_Ip_apUserConfig[_2];
  # DEBUG UartUserCfg => UartUserCfg_17
  # DEBUG BEGIN_STMT
  _3 = UartState_16 != 0B;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_24 ={v} x;
  if (x.2_24 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 17>; [50.00%]

  <bb 17> [local count: 53687]:

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

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

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

  <bb 16> [local count: 26844]:

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

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

  <bb 8> [local count: 26844]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 1
  # DEBUG BEGIN_STMT
  _5 ={v} UartState_16->IsRxBusy;
  if (_5 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 9> [local count: 13422]:
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 1

  <bb 10> [local count: 26844]:
  # IsReturn_8 = PHI <0(8), 1(9)>
  # RetVal_9 = PHI <1(8), 0(9)>
  # DEBUG RetVal => RetVal_9
  # DEBUG IsReturn => IsReturn_8
  # DEBUG BEGIN_STMT
  if (IsReturn_8 != 0)
    goto <bb 15>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 11> [local count: 13422]:
  # DEBUG BEGIN_STMT
  UartState_16->ReceiveStatus ={v} 6;
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_17->TransferType;
  if (_6 == 1)
    goto <bb 12>; [34.00%]
  else
    goto <bb 13>; [66.00%]

  <bb 12> [local count: 4563]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (Instance_13(D));
  goto <bb 14>; [100.00%]

  <bb 13> [local count: 8858]:
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_17->RxDMAChannel;
  Dma_Ip_SetLogicChannelCommand (_7, 1);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_CompleteReceiveUsingDma (Instance_13(D));

  <bb 14> [local count: 13422]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_ClearErrorFlags (Base_15);
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_15
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_FlushRxBuffer
  # DEBUG BEGIN_STMT
  _26 ={v} Base_15->FIFO;
  _27 = _26 | 16384;
  Base_15->FIFO ={v} _27;
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0

  <bb 15> [local count: 26844]:
  # RetVal_10 = PHI <RetVal_9(10), 0(14)>
  # DEBUG RetVal => RetVal_10
  # DEBUG BEGIN_STMT
  return RetVal_10;

}


Lpuart_Uart_Ip_GetReceiveStatus (const uint8 Instance, uint32 * BytesRemaining)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  const struct Lpuart_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  int _2;
  _Bool _3;
  _Bool _4;
  _Bool _5;
  <unnamed type> _6;
  long unsigned int _7;
  long unsigned int _8;
  Lpuart_Uart_Ip_StatusType _18;
  _Bool x.2_19;
  _Bool x.2_20;
  _Bool x.2_21;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Instance_10(D) <= 2;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_21 ={v} x;
  if (x.2_21 != 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 DmaLogicChnParam => 3
  # DEBUG BEGIN_STMT
  _2 = (int) Instance_10(D);
  UartState_12 = Lpuart_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_12
  # DEBUG BEGIN_STMT
  UartUserCfg_13 = Lpuart_Uart_Ip_apUserConfig[_2];
  # DEBUG UartUserCfg => UartUserCfg_13
  # DEBUG BEGIN_STMT
  _3 = UartState_12 != 0B;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_20 ={v} x;
  if (x.2_20 != 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_13 != 0B;
  x ={v} _4;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_19 ={v} x;
  if (x.2_19 != 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
  if (BytesRemaining_14(D) != 0B)
    goto <bb 9>; [70.00%]
  else
    goto <bb 14>; [30.00%]

  <bb 9> [local count: 18790]:
  # DEBUG BEGIN_STMT
  _5 ={v} UartState_12->IsRxBusy;
  if (_5 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 10> [local count: 9395]:
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_13->TransferType;
  if (_6 == 1)
    goto <bb 11>; [51.12%]
  else
    goto <bb 12>; [48.88%]

  <bb 11> [local count: 4803]:
  # DEBUG BEGIN_STMT
  _7 ={v} UartState_12->RxSize;
  *BytesRemaining_14(D) = _7;
  goto <bb 14>; [100.00%]

  <bb 12> [local count: 4592]:
  # DEBUG BEGIN_STMT
  _8 = UartUserCfg_13->RxDMAChannel;
  Dma_Ip_GetLogicChannelParam (_8, 3, BytesRemaining_14(D));
  goto <bb 14>; [100.00%]

  <bb 13> [local count: 9395]:
  # DEBUG BEGIN_STMT
  *BytesRemaining_14(D) = 0;

  <bb 14> [local count: 26844]:
  # DEBUG BEGIN_STMT
  _18 ={v} UartState_12->ReceiveStatus;
  return _18;

}


Lpuart_Uart_Ip_AsyncReceive (const uint8 Instance, uint8 * RxBuff, const uint32 RxSize)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  boolean IsReturn;
  Lpuart_Uart_Ip_StatusType RetVal;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  _Bool _1;
  _Bool _2;
  _Bool _3;
  int _4;
  _Bool _5;
  _Bool _6;
  _Bool _7;
  <unnamed type> _8;
  _Bool _9;
  _Bool x.2_29;
  _Bool x.2_30;
  _Bool x.2_31;
  _Bool x.2_32;
  _Bool x.2_33;
  _Bool x.2_34;

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

  <bb 26> [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 = RxBuff_17(D) != 0B;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_31 ={v} x;
  if (x.2_31 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 25>; [50.00%]

  <bb 25> [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
  _3 = RxSize_18(D) != 0;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_30 ={v} x;
  if (x.2_30 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 24>; [50.00%]

  <bb 24> [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
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _4 = (int) Instance_15(D);
  UartUserCfg_19 = Lpuart_Uart_Ip_apUserConfig[_4];
  # DEBUG UartUserCfg => UartUserCfg_19
  # DEBUG BEGIN_STMT
  UartState_20 = Lpuart_Uart_Ip_apStateStructuresArray[_4];
  # DEBUG UartState => UartState_20
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  _5 = UartState_20 != 0B;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_29 ={v} x;
  if (x.2_29 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 23>; [50.00%]

  <bb 23> [local count: 13422]:

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

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

  <bb 10> [local count: 13422]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  SchM_Enter_Uart_UART_EXCLUSIVE_AREA_03 ();
  # DEBUG BEGIN_STMT
  _6 ={v} UartState_20->IsRxBusy;
  if (_6 != 0)
    goto <bb 11>; [33.00%]
  else
    goto <bb 12>; [67.00%]

  <bb 11> [local count: 4429]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03 ();
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 2
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 1

  <bb 12> [local count: 13422]:
  # RetVal_10 = PHI <0(10), 2(11)>
  # IsReturn_12 = PHI <0(10), 1(11)>
  # DEBUG IsReturn => IsReturn_12
  # DEBUG RetVal => RetVal_10
  # DEBUG BEGIN_STMT
  if (IsReturn_12 != 0)
    goto <bb 20>; [67.00%]
  else
    goto <bb 13>; [33.00%]

  <bb 13> [local count: 4429]:
  # DEBUG BEGIN_STMT
  UartState_20->IsRxBusy ={v} 1;
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03 ();
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_19 != 0B;
  x ={v} _7;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_34 ={v} x;
  if (x.2_34 != 0)
    goto <bb 15>; [50.00%]
  else
    goto <bb 22>; [50.00%]

  <bb 22> [local count: 2215]:

  <bb 14> [local count: 22145925]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 28> [local count: 22145925]:
  goto <bb 14>; [100.00%]

  <bb 15> [local count: 2215]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _8 = UartUserCfg_19->TransferType;
  _9 = _8 <= 1;
  x ={v} _9;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_33 ={v} x;
  if (x.2_33 != 0)
    goto <bb 17>; [50.00%]
  else
    goto <bb 21>; [50.00%]

  <bb 21> [local count: 1107]:

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

  <bb 27> [local count: 11072963]:
  goto <bb 16>; [100.00%]

  <bb 17> [local count: 1107]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  if (_8 == 1)
    goto <bb 18>; [34.00%]
  else
    goto <bb 19>; [66.00%]

  <bb 18> [local count: 376]:
  # DEBUG BEGIN_STMT
  RetVal_28 = Lpuart_Uart_Ip_StartReceiveDataUsingInt (Instance_15(D), RxBuff_17(D), RxSize_18(D));
  # DEBUG RetVal => RetVal_28
  goto <bb 20>; [100.00%]

  <bb 19> [local count: 731]:
  # DEBUG BEGIN_STMT
  RetVal_26 = Lpuart_Uart_Ip_StartReceiveDataUsingDma (Instance_15(D), RxBuff_17(D), RxSize_18(D));
  # DEBUG RetVal => RetVal_26

  <bb 20> [local count: 10100]:
  # RetVal_11 = PHI <RetVal_10(12), RetVal_28(18), RetVal_26(19)>
  # DEBUG RetVal => RetVal_11
  # DEBUG BEGIN_STMT
  return RetVal_11;

}


Lpuart_Uart_Ip_StartGetData (const uint8 Instance, uint32 * StartTime, uint32 * ElapsedTicks, uint32 TimeoutTicks)
{
  boolean RetVal;
  boolean RetVal;
  const uint32 Lpuart_Uart_Ip_StatusRegMask[4];
  const Lpuart_Uart_Ip_StatusType Lpuart_Uart_Ip_ReceiveStatusArray[4];
  const Lpuart_Uart_Ip_StatusFlagType Lpuart_Uart_Ip_StatusFlagTypeArray[4];
  uint32 Mask;
  uint8 StatusIndex;
  struct LPUART_Type * Base;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  int _1;
  _Bool _3;
  int _4;
  <unnamed type> _5;
  <unnamed type> _7;
  long unsigned int _9;
  long unsigned int _10;
  _Bool _11;
  long unsigned int _41;
  long unsigned int _42;
  long unsigned int _44;
  long unsigned int _45;
  long unsigned int _47;
  long unsigned int _48;
  long unsigned int _49;
  long unsigned int _50;
  long unsigned int _51;

  <bb 2> [local count: 13097219]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) Instance_22(D);
  UartState_24 = Lpuart_Uart_Ip_apStateStructuresArray[_1];
  # DEBUG UartState => UartState_24
  # DEBUG BEGIN_STMT
  Base_25 = Lpuart_Uart_Ip_apBases[_1];
  # DEBUG Base => Base_25
  # DEBUG BEGIN_STMT
  # DEBUG StatusIndex => 0
  # DEBUG BEGIN_STMT
  # DEBUG Mask => 0
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_StatusFlagTypeArray = *.LC0;
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_ReceiveStatusArray = *.LC1;
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_StatusRegMask = *.LC2;
  # DEBUG BEGIN_STMT
  goto <bb 13>; [100.00%]

  <bb 16> [local count: 114863532]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_25
  # DEBUG StatusFlag => 21
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _41 ={v} MEM[(const struct LPUART_Type *)Base_25].STAT;
  _42 = _41 >> 21;
  RetVal_43 = (boolean) _42;
  # DEBUG RetVal => RetVal_43
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_43 != 0)
    goto <bb 5>; [5.50%]
  else
    goto <bb 4>; [94.50%]

  <bb 4> [local count: 1014686025]:
  _3 = Lpuart_Uart_Ip_CheckTimeout (StartTime_29(D), ElapsedTicks_30(D), TimeoutTicks_31(D), 0);
  if (_3 != 0)
    goto <bb 5>; [5.50%]
  else
    goto <bb 17>; [94.50%]

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

  <bb 5> [local count: 114863532]:
  # StatusIndex_17 = PHI <0(4), 0(3)>
  # Mask_6 = PHI <Mask_15(4), Mask_15(3)>
  goto <bb 9>; [100.00%]

  <bb 6> [local count: 459454129]:
  # DEBUG BEGIN_STMT
  _4 = (int) StatusIndex_12;
  _5 = Lpuart_Uart_Ip_StatusFlagTypeArray[_4];
  # DEBUG Base => Base_25
  # DEBUG StatusFlag => _5
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _44 ={v} MEM[(const struct LPUART_Type *)Base_25].STAT;
  _45 = _44 >> _5;
  RetVal_46 = (boolean) _45;
  # DEBUG RetVal => RetVal_46
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_46 != 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 7> [local count: 229727064]:
  # DEBUG BEGIN_STMT
  _7 = Lpuart_Uart_Ip_ReceiveStatusArray[_4];
  UartState_24->ReceiveStatus ={v} _7;
  # DEBUG BEGIN_STMT
  _9 = Lpuart_Uart_Ip_StatusRegMask[_4];
  Mask_36 = _9 | Mask_14;
  # DEBUG Mask => Mask_36

  <bb 8> [local count: 459454129]:
  # Mask_13 = PHI <Mask_14(6), Mask_36(7)>
  # DEBUG Mask => Mask_13
  # DEBUG BEGIN_STMT
  StatusIndex_37 = StatusIndex_12 + 1;
  # DEBUG StatusIndex => StatusIndex_37

  <bb 9> [local count: 574317662]:
  # StatusIndex_12 = PHI <StatusIndex_17(5), StatusIndex_37(8)>
  # Mask_14 = PHI <Mask_6(5), Mask_13(8)>
  # DEBUG Mask => Mask_14
  # DEBUG StatusIndex => StatusIndex_12
  # DEBUG BEGIN_STMT
  if (StatusIndex_12 != 4)
    goto <bb 6>; [80.00%]
  else
    goto <bb 10>; [20.00%]

  <bb 10> [local count: 114863532]:
  # Mask_2 = PHI <Mask_14(9)>
  # DEBUG BEGIN_STMT
  if (Mask_2 != 0)
    goto <bb 11>; [3.66%]
  else
    goto <bb 12>; [96.34%]

  <bb 11> [local count: 4204005]:
  # Mask_52 = PHI <Mask_2(10)>
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_25
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetReceiverCmd
  # DEBUG BEGIN_STMT
  _50 ={v} Base_25->CTRL;
  _51 = _50 & 4294705151;
  Base_25->CTRL ={v} _51;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_25
  # DEBUG Mask => Mask_52
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_ClearStatusFlagWithMask
  # DEBUG BEGIN_STMT
  _47 ={v} Base_25->STAT;
  _48 = _47 & 1071661055;
  _49 = _48 | Mask_52;
  Base_25->STAT ={v} _49;
  goto <bb 15>; [100.00%]

  <bb 12> [local count: 110659527]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_GetData (Instance_22(D));

  <bb 13> [local count: 123756746]:
  # Mask_15 = PHI <0(2), 0(12)>
  # DEBUG Mask => Mask_15
  # DEBUG BEGIN_STMT
  _10 ={v} UartState_24->RxSize;
  if (_10 != 0)
    goto <bb 14>; [96.34%]
  else
    goto <bb 15>; [3.66%]

  <bb 14> [local count: 119227249]:
  _11 = Lpuart_Uart_Ip_CheckTimeout (StartTime_29(D), ElapsedTicks_30(D), TimeoutTicks_31(D), 0);
  if (_11 != 0)
    goto <bb 15>; [3.66%]
  else
    goto <bb 16>; [96.34%]

  <bb 15> [local count: 13097220]:
  # DEBUG Base => NULL
  # DEBUG Mask => NULL
  Lpuart_Uart_Ip_StatusFlagTypeArray ={v} {CLOBBER};
  Lpuart_Uart_Ip_ReceiveStatusArray ={v} {CLOBBER};
  Lpuart_Uart_Ip_StatusRegMask ={v} {CLOBBER};
  return;

}


Lpuart_Uart_Ip_SyncReceive (const uint8 Instance, uint8 * RxBuff, const uint32 RxSize, const uint32 Timeout)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  Lpuart_Uart_Ip_StatusType RetVal;
  boolean IsReturn;
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  struct LPUART_Type * Base;
  _Bool _1;
  _Bool _2;
  _Bool _3;
  int _4;
  _Bool _5;
  _Bool _6;
  long unsigned int TimeoutTicks.13_7;
  long unsigned int TimeoutTicks.14_8;
  _Bool _9;
  <unnamed type> _10;
  long unsigned int _11;
  <unnamed type> _12;
  _Bool x.2_47;
  _Bool x.2_48;
  _Bool x.2_49;
  _Bool x.2_50;
  long unsigned int _51;
  long unsigned int _52;
  long unsigned int _53;
  long unsigned int _54;
  long unsigned int _55;
  long unsigned int _56;
  long unsigned int _57;
  long unsigned int _58;

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

  <bb 25> [local count: 107374]:

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

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

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

  <bb 24> [local count: 53687]:

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

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

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

  <bb 23> [local count: 26844]:

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

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

  <bb 8> [local count: 26844]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _4 = (int) Instance_21(D);
  Base_25 = Lpuart_Uart_Ip_apBases[_4];
  # DEBUG Base => Base_25
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ElapsedTicks = 0;
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  UartState_27 = Lpuart_Uart_Ip_apStateStructuresArray[_4];
  # DEBUG UartState => UartState_27
  # DEBUG BEGIN_STMT
  _5 = UartState_27 != 0B;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_47 ={v} x;
  if (x.2_47 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 22>; [50.00%]

  <bb 22> [local count: 13422]:

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

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

  <bb 10> [local count: 13422]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  SchM_Enter_Uart_UART_EXCLUSIVE_AREA_02 ();
  # DEBUG BEGIN_STMT
  _6 ={v} UartState_27->IsRxBusy;
  if (_6 != 0)
    goto <bb 11>; [33.00%]
  else
    goto <bb 12>; [67.00%]

  <bb 11> [local count: 4429]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02 ();
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 2
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 1

  <bb 12> [local count: 13422]:
  # IsReturn_13 = PHI <0(10), 1(11)>
  # RetVal_14 = PHI <0(10), 2(11)>
  # DEBUG RetVal => RetVal_14
  # DEBUG IsReturn => IsReturn_13
  # DEBUG BEGIN_STMT
  if (IsReturn_13 != 0)
    goto <bb 21>; [67.00%]
  else
    goto <bb 13>; [33.00%]

  <bb 13> [local count: 4429]:
  # DEBUG BEGIN_STMT
  UartState_27->IsRxBusy ={v} 1;
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02 ();
  # DEBUG BEGIN_STMT
  UartState_27->RxBuff = RxBuff_23(D);
  # DEBUG BEGIN_STMT
  UartState_27->RxSize ={v} RxSize_24(D);
  # DEBUG BEGIN_STMT
  UartState_27->ReceiveStatus ={v} 2;
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_25
  # DEBUG IntSrc => 21
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _54 ={v} Base_25->CTRL;
  _55 = _54 & 4292870143;
  Base_25->CTRL ={v} _55;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_25
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetReceiverCmd
  # DEBUG BEGIN_STMT
  _51 ={v} Base_25->CTRL;
  _52 = _51 & 4294705151;
  _53 = _52 | 262144;
  Base_25->CTRL ={v} _53;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, Timeout_35(D), 0);
  # DEBUG BEGIN_STMT
  TimeoutTicks.13_7 = TimeoutTicks;
  Lpuart_Uart_Ip_StartGetData (Instance_21(D), &StartTime, &ElapsedTicks, TimeoutTicks.13_7);
  # DEBUG BEGIN_STMT
  TimeoutTicks.14_8 = TimeoutTicks;
  _9 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.14_8, 0);
  if (_9 != 0)
    goto <bb 14>; [50.00%]
  else
    goto <bb 15>; [50.00%]

  <bb 14> [local count: 2215]:
  # DEBUG BEGIN_STMT
  UartState_27->ReceiveStatus ={v} 3;

  <bb 15> [local count: 4429]:
  # DEBUG BEGIN_STMT
  _10 ={v} UartState_27->ReceiveStatus;
  if (_10 == 2)
    goto <bb 16>; [34.00%]
  else
    goto <bb 17>; [66.00%]

  <bb 16> [local count: 1506]:
  # DEBUG BEGIN_STMT
  UartState_27->ReceiveStatus ={v} 0;

  <bb 17> [local count: 4429]:
  # DEBUG BEGIN_STMT
  _11 ={v} UartState_27->RxSize;
  if (_11 == 0)
    goto <bb 18>; [50.00%]
  else
    goto <bb 20>; [50.00%]

  <bb 18> [local count: 2215]:
  _12 ={v} UartState_27->ReceiveStatus;
  if (_12 == 5)
    goto <bb 19>; [34.00%]
  else
    goto <bb 20>; [66.00%]

  <bb 19> [local count: 753]:
  # DEBUG BEGIN_STMT
  UartState_27->ReceiveStatus ={v} 0;

  <bb 20> [local count: 4429]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_25
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetReceiverCmd
  # DEBUG BEGIN_STMT
  _57 ={v} Base_25->CTRL;
  _58 = _57 & 4294705151;
  Base_25->CTRL ={v} _58;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  UartState_27->IsRxBusy ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_25
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_Getchar
  # DEBUG BEGIN_STMT
  _56 ={v} MEM[(const struct LPUART_Type *)Base_25].DATA;
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  RetVal_43 ={v} UartState_27->ReceiveStatus;
  # DEBUG RetVal => RetVal_43

  <bb 21> [local count: 13422]:
  # RetVal_15 = PHI <RetVal_14(12), RetVal_43(20)>
  # DEBUG RetVal => RetVal_15
  # DEBUG BEGIN_STMT
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return RetVal_15;

}


Lpuart_Uart_Ip_AbortSendingData (const uint8 Instance)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  struct LPUART_Type * Base;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  int _2;
  _Bool _3;
  _Bool _4;
  _Bool _5;
  <unnamed type> _6;
  long unsigned int _7;
  _Bool x.2_19;
  _Bool x.2_20;
  _Bool x.2_21;
  long unsigned int _22;
  long unsigned int _23;

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

  <bb 16> [local count: 107374]:

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

  <bb 19> [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) Instance_10(D);
  Base_12 = Lpuart_Uart_Ip_apBases[_2];
  # DEBUG Base => Base_12
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  UartState_13 = Lpuart_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_13
  # DEBUG BEGIN_STMT
  UartUserCfg_14 = Lpuart_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.2_20 ={v} x;
  if (x.2_20 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 15>; [50.00%]

  <bb 15> [local count: 53687]:

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

  <bb 18> [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.2_19 ={v} x;
  if (x.2_19 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 14>; [50.00%]

  <bb 14> [local count: 26844]:

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

  <bb 17> [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->IsTxBusy;
  if (_5 != 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 9> [local count: 13422]:
  # DEBUG RetVal => 0
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  UartState_13->TransmitStatus ={v} 6;
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_14->TransferType;
  if (_6 == 1)
    goto <bb 10>; [34.00%]
  else
    goto <bb 11>; [66.00%]

  <bb 10> [local count: 4563]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_CompleteSendDataUsingInt (Instance_10(D));
  goto <bb 12>; [100.00%]

  <bb 11> [local count: 8858]:
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_14->TxDMAChannel;
  Dma_Ip_SetLogicChannelCommand (_7, 1);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_CompleteSendUsingDma (Instance_10(D));

  <bb 12> [local count: 13422]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_12
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_FlushTxBuffer
  # DEBUG BEGIN_STMT
  _22 ={v} Base_12->FIFO;
  _23 = _22 | 32768;
  Base_12->FIFO ={v} _23;
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0

  <bb 13> [local count: 26844]:
  # DEBUG IsReturn => NULL
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  return 0;

}


Lpuart_Uart_Ip_GetTransmitStatus (const uint8 Instance, uint32 * BytesRemaining)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  const struct Lpuart_Uart_Ip_StateStructureType * UartState;
  _Bool _1;
  int _2;
  _Bool _3;
  _Bool _4;
  _Bool _5;
  <unnamed type> _6;
  long unsigned int _7;
  long unsigned int _8;
  Lpuart_Uart_Ip_StatusType _18;
  _Bool x.2_19;
  _Bool x.2_20;
  _Bool x.2_21;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Instance_10(D) <= 2;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_21 ={v} x;
  if (x.2_21 != 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 DmaLogicChnParam => 3
  # DEBUG BEGIN_STMT
  _2 = (int) Instance_10(D);
  UartState_12 = Lpuart_Uart_Ip_apStateStructuresArray[_2];
  # DEBUG UartState => UartState_12
  # DEBUG BEGIN_STMT
  UartUserCfg_13 = Lpuart_Uart_Ip_apUserConfig[_2];
  # DEBUG UartUserCfg => UartUserCfg_13
  # DEBUG BEGIN_STMT
  _3 = UartState_12 != 0B;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_20 ={v} x;
  if (x.2_20 != 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_13 != 0B;
  x ={v} _4;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_19 ={v} x;
  if (x.2_19 != 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
  if (BytesRemaining_14(D) != 0B)
    goto <bb 9>; [70.00%]
  else
    goto <bb 14>; [30.00%]

  <bb 9> [local count: 18790]:
  # DEBUG BEGIN_STMT
  _5 ={v} UartState_12->IsTxBusy;
  if (_5 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 10> [local count: 9395]:
  # DEBUG BEGIN_STMT
  _6 = UartUserCfg_13->TransferType;
  if (_6 == 1)
    goto <bb 11>; [51.12%]
  else
    goto <bb 12>; [48.88%]

  <bb 11> [local count: 4803]:
  # DEBUG BEGIN_STMT
  _7 ={v} UartState_12->TxSize;
  *BytesRemaining_14(D) = _7;
  # DEBUG BEGIN_STMT
  goto <bb 14>; [100.00%]

  <bb 12> [local count: 4592]:
  # DEBUG BEGIN_STMT
  _8 = UartUserCfg_13->TxDMAChannel;
  Dma_Ip_GetLogicChannelParam (_8, 3, BytesRemaining_14(D));
  goto <bb 14>; [100.00%]

  <bb 13> [local count: 9395]:
  # DEBUG BEGIN_STMT
  *BytesRemaining_14(D) = 0;

  <bb 14> [local count: 26844]:
  # DEBUG BEGIN_STMT
  _18 ={v} UartState_12->TransmitStatus;
  return _18;

}


Lpuart_Uart_Ip_AsyncSend (const uint8 Instance, const uint8 * TxBuff, const uint32 TxSize)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  boolean IsReturn;
  Lpuart_Uart_Ip_StatusType RetVal;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  const struct Lpuart_Uart_Ip_UserConfigType * UartUserCfg;
  _Bool _1;
  _Bool _2;
  _Bool _3;
  int _4;
  _Bool _5;
  _Bool _6;
  _Bool _7;
  <unnamed type> _8;
  _Bool _9;
  _Bool x.2_29;
  _Bool x.2_30;
  _Bool x.2_31;
  _Bool x.2_32;
  _Bool x.2_33;
  _Bool x.2_34;

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

  <bb 26> [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 = TxBuff_17(D) != 0B;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_31 ={v} x;
  if (x.2_31 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 25>; [50.00%]

  <bb 25> [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
  _3 = TxSize_18(D) != 0;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_30 ={v} x;
  if (x.2_30 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 24>; [50.00%]

  <bb 24> [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
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _4 = (int) Instance_15(D);
  UartUserCfg_19 = Lpuart_Uart_Ip_apUserConfig[_4];
  # DEBUG UartUserCfg => UartUserCfg_19
  # DEBUG BEGIN_STMT
  UartState_20 = Lpuart_Uart_Ip_apStateStructuresArray[_4];
  # DEBUG UartState => UartState_20
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  _5 = UartState_20 != 0B;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_29 ={v} x;
  if (x.2_29 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 23>; [50.00%]

  <bb 23> [local count: 13422]:

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

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

  <bb 10> [local count: 13422]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  SchM_Enter_Uart_UART_EXCLUSIVE_AREA_01 ();
  # DEBUG BEGIN_STMT
  _6 ={v} UartState_20->IsTxBusy;
  if (_6 != 0)
    goto <bb 11>; [33.00%]
  else
    goto <bb 12>; [67.00%]

  <bb 11> [local count: 4429]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01 ();
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 2
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 1

  <bb 12> [local count: 13422]:
  # RetVal_10 = PHI <0(10), 2(11)>
  # IsReturn_12 = PHI <0(10), 1(11)>
  # DEBUG IsReturn => IsReturn_12
  # DEBUG RetVal => RetVal_10
  # DEBUG BEGIN_STMT
  if (IsReturn_12 != 0)
    goto <bb 20>; [67.00%]
  else
    goto <bb 13>; [33.00%]

  <bb 13> [local count: 4429]:
  # DEBUG BEGIN_STMT
  UartState_20->IsTxBusy ={v} 1;
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01 ();
  # DEBUG BEGIN_STMT
  _7 = UartUserCfg_19 != 0B;
  x ={v} _7;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_34 ={v} x;
  if (x.2_34 != 0)
    goto <bb 15>; [50.00%]
  else
    goto <bb 22>; [50.00%]

  <bb 22> [local count: 2215]:

  <bb 14> [local count: 22145925]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 28> [local count: 22145925]:
  goto <bb 14>; [100.00%]

  <bb 15> [local count: 2215]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _8 = UartUserCfg_19->TransferType;
  _9 = _8 <= 1;
  x ={v} _9;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_33 ={v} x;
  if (x.2_33 != 0)
    goto <bb 17>; [50.00%]
  else
    goto <bb 21>; [50.00%]

  <bb 21> [local count: 1107]:

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

  <bb 27> [local count: 11072963]:
  goto <bb 16>; [100.00%]

  <bb 17> [local count: 1107]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  if (_8 == 1)
    goto <bb 18>; [34.00%]
  else
    goto <bb 19>; [66.00%]

  <bb 18> [local count: 376]:
  # DEBUG BEGIN_STMT
  RetVal_28 = Lpuart_Uart_Ip_StartSendDataUsingInt (Instance_15(D), TxBuff_17(D), TxSize_18(D));
  # DEBUG RetVal => RetVal_28
  goto <bb 20>; [100.00%]

  <bb 19> [local count: 731]:
  # DEBUG BEGIN_STMT
  RetVal_26 = Lpuart_Uart_Ip_StartSendDataUsingDma (Instance_15(D), TxBuff_17(D), TxSize_18(D));
  # DEBUG RetVal => RetVal_26

  <bb 20> [local count: 10100]:
  # RetVal_11 = PHI <RetVal_10(12), RetVal_28(18), RetVal_26(19)>
  # DEBUG RetVal => RetVal_11
  # DEBUG BEGIN_STMT
  return RetVal_11;

}


Lpuart_Uart_Ip_SyncSend (const uint8 Instance, const uint8 * TxBuff, const uint32 TxSize, const uint32 Timeout)
{
  boolean RetVal;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  Lpuart_Uart_Ip_StatusType RetVal;
  boolean IsReturn;
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  struct Lpuart_Uart_Ip_StateStructureType * UartState;
  struct LPUART_Type * Base;
  _Bool _1;
  _Bool _2;
  _Bool _3;
  int _4;
  _Bool _6;
  _Bool _7;
  long unsigned int TimeoutTicks.5_8;
  _Bool _9;
  long unsigned int _10;
  long unsigned int TimeoutTicks.6_11;
  _Bool _12;
  long unsigned int TimeoutTicks.7_13;
  _Bool _14;
  _Bool x.2_51;
  _Bool x.2_52;
  _Bool x.2_53;
  _Bool x.2_54;
  long unsigned int _55;
  long unsigned int _56;
  long unsigned int _57;
  long unsigned int _58;
  long unsigned int _59;
  long unsigned int _60;
  long unsigned int _61;
  long unsigned int _62;
  long unsigned int _63;
  long unsigned int _65;
  long unsigned int _66;

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

  <bb 28> [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
  _2 = TxBuff_26(D) != 0B;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_53 ={v} x;
  if (x.2_53 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 27>; [50.00%]

  <bb 27> [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
  _3 = TxSize_27(D) != 0;
  x ={v} _3;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_52 ={v} x;
  if (x.2_52 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 26>; [50.00%]

  <bb 26> [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
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ElapsedTicks = 0;
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 0
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _4 = (int) Instance_24(D);
  Base_29 = Lpuart_Uart_Ip_apBases[_4];
  # DEBUG Base => Base_29
  # DEBUG BEGIN_STMT
  UartState_30 = Lpuart_Uart_Ip_apStateStructuresArray[_4];
  # DEBUG UartState => UartState_30
  # DEBUG BEGIN_STMT
  _6 = UartState_30 != 0B;
  x ={v} _6;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_51 ={v} x;
  if (x.2_51 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 25>; [50.00%]

  <bb 25> [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
  SchM_Enter_Uart_UART_EXCLUSIVE_AREA_00 ();
  # DEBUG BEGIN_STMT
  _7 ={v} UartState_30->IsTxBusy;
  if (_7 != 0)
    goto <bb 11>; [33.00%]
  else
    goto <bb 12>; [67.00%]

  <bb 11> [local count: 4429]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00 ();
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 2
  # DEBUG BEGIN_STMT
  # DEBUG IsReturn => 1

  <bb 12> [local count: 13422]:
  # IsReturn_15 = PHI <0(10), 1(11)>
  # RetVal_16 = PHI <0(10), 2(11)>
  # DEBUG RetVal => RetVal_16
  # DEBUG IsReturn => IsReturn_15
  # DEBUG BEGIN_STMT
  if (IsReturn_15 != 0)
    goto <bb 24>; [67.00%]
  else
    goto <bb 13>; [33.00%]

  <bb 13> [local count: 4429]:
  # DEBUG BEGIN_STMT
  UartState_30->IsTxBusy ={v} 1;
  # DEBUG BEGIN_STMT
  SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00 ();
  # DEBUG BEGIN_STMT
  UartState_30->TxBuff = TxBuff_26(D);
  # DEBUG BEGIN_STMT
  UartState_30->TxSize ={v} TxSize_27(D);
  # DEBUG BEGIN_STMT
  UartState_30->TransmitStatus ={v} 2;
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_29
  # DEBUG IntSrc => 23
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _60 ={v} Base_29->CTRL;
  _61 = _60 & 4286578687;
  Base_29->CTRL ={v} _61;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_29
  # DEBUG IntSrc => 22
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _58 ={v} Base_29->CTRL;
  _59 = _58 & 4290772991;
  Base_29->CTRL ={v} _59;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_29
  # DEBUG Enable => 1
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetTransmitterCmd
  # DEBUG BEGIN_STMT
  _55 ={v} Base_29->CTRL;
  _56 = _55 & 4294443007;
  _57 = _56 | 524288;
  Base_29->CTRL ={v} _57;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, Timeout_38(D), 0);
  # DEBUG BEGIN_STMT
  goto <bb 17>; [100.00%]

  <bb 14> [local count: 57207]:
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_PutData (Instance_24(D));
  # DEBUG BEGIN_STMT

  <bb 15> [local count: 534766]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_29
  # DEBUG StatusFlag => 23
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _62 ={v} MEM[(const struct LPUART_Type *)Base_29].STAT;
  _63 = _62 >> 23;
  RetVal_64 = (boolean) _63;
  # DEBUG RetVal => RetVal_64
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_64 != 0)
    goto <bb 30>; [5.50%]
  else
    goto <bb 16>; [94.50%]

  <bb 30> [local count: 29412]:
  goto <bb 18>; [100.00%]

  <bb 16> [local count: 505354]:
  TimeoutTicks.5_8 = TimeoutTicks;
  _9 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.5_8, 0);
  if (_9 != 0)
    goto <bb 29>; [5.50%]
  else
    goto <bb 31>; [94.50%]

  <bb 31> [local count: 477560]:
  goto <bb 15>; [100.00%]

  <bb 29> [local count: 27794]:

  <bb 17> [local count: 32224]:

  <bb 18> [local count: 61636]:
  # DEBUG BEGIN_STMT
  _10 ={v} UartState_30->TxSize;
  if (_10 != 0)
    goto <bb 19>; [96.34%]
  else
    goto <bb 20>; [3.66%]

  <bb 19> [local count: 59380]:
  TimeoutTicks.6_11 = TimeoutTicks;
  _12 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.6_11, 0);
  if (_12 != 0)
    goto <bb 20>; [3.66%]
  else
    goto <bb 14>; [96.34%]

  <bb 20> [local count: 4429]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_29
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetTransmitterCmd
  # DEBUG BEGIN_STMT
  _65 ={v} Base_29->CTRL;
  _66 = _65 & 4294443007;
  Base_29->CTRL ={v} _66;
  # DEBUG Base => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  TimeoutTicks.7_13 = TimeoutTicks;
  _14 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.7_13, 0);
  if (_14 != 0)
    goto <bb 21>; [50.00%]
  else
    goto <bb 22>; [50.00%]

  <bb 21> [local count: 2215]:
  # DEBUG BEGIN_STMT
  UartState_30->TransmitStatus ={v} 3;
  goto <bb 23>; [100.00%]

  <bb 22> [local count: 2215]:
  # DEBUG BEGIN_STMT
  UartState_30->TransmitStatus ={v} 0;

  <bb 23> [local count: 4429]:
  # DEBUG BEGIN_STMT
  UartState_30->IsTxBusy ={v} 0;
  # DEBUG BEGIN_STMT
  RetVal_47 ={v} UartState_30->TransmitStatus;
  # DEBUG RetVal => RetVal_47

  <bb 24> [local count: 13422]:
  # RetVal_17 = PHI <RetVal_16(12), RetVal_47(23)>
  # DEBUG RetVal => RetVal_17
  # DEBUG BEGIN_STMT
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return RetVal_17;

}


Lpuart_Uart_Ip_Deinit (const uint8 Instance)
{
  boolean RetVal;
  volatile boolean x;
  volatile boolean x;
  struct LPUART_Type * Base;
  uint32 ElapsedTicks;
  uint32 TimeoutTicks;
  uint32 StartTime;
  _Bool _1;
  int _2;
  struct Lpuart_Uart_Ip_StateStructureType * _3;
  _Bool _4;
  long unsigned int TimeoutTicks.3_5;
  _Bool _6;
  _Bool x.2_19;
  _Bool x.2_20;
  long unsigned int _21;
  long unsigned int _22;
  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;
  long unsigned int _33;
  long unsigned int _34;
  long unsigned int _35;
  long unsigned int _36;
  long unsigned int _37;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Instance_9(D) <= 2;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_20 ={v} x;
  if (x.2_20 != 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
  _2 = (int) Instance_9(D);
  Base_12 = Lpuart_Uart_Ip_apBases[_2];
  # DEBUG Base => Base_12
  # DEBUG BEGIN_STMT
  _3 = Lpuart_Uart_Ip_apStateStructuresArray[_2];
  _4 = _3 != 0B;
  x ={v} _4;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_19 ={v} x;
  if (x.2_19 != 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
  Lpuart_Uart_Ip_StartTimeout (&StartTime, &TimeoutTicks, 500000, 0);
  # DEBUG BEGIN_STMT

  <bb 7> [local count: 501865]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_12
  # DEBUG StatusFlag => 22
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_GetStatusFlag
  # DEBUG BEGIN_STMT
  # DEBUG RetVal => 0
  # DEBUG BEGIN_STMT
  _21 ={v} MEM[(const struct LPUART_Type *)Base_12].STAT;
  _22 = _21 >> 22;
  RetVal_23 = (boolean) _22;
  # DEBUG RetVal => RetVal_23
  # DEBUG BEGIN_STMT
  # DEBUG Base => NULL
  # DEBUG StatusFlag => NULL
  # DEBUG RetVal => NULL
  if (RetVal_23 != 0)
    goto <bb 9>; [5.50%]
  else
    goto <bb 8>; [94.50%]

  <bb 8> [local count: 474262]:
  TimeoutTicks.3_5 = TimeoutTicks;
  _6 = Lpuart_Uart_Ip_CheckTimeout (&StartTime, &ElapsedTicks, TimeoutTicks.3_5, 0);
  if (_6 != 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
  # DEBUG Base => Base_12
  # DEBUG IntSrc => 23
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _36 ={v} Base_12->CTRL;
  _37 = _36 & 4286578687;
  Base_12->CTRL ={v} _37;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_12
  # DEBUG IntSrc => 22
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _34 ={v} Base_12->CTRL;
  _35 = _34 & 4290772991;
  Base_12->CTRL ={v} _35;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_12
  # DEBUG IntSrc => 21
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _32 ={v} Base_12->CTRL;
  _33 = _32 & 4292870143;
  Base_12->CTRL ={v} _33;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_12
  # DEBUG IntSrc => 27
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _30 ={v} Base_12->CTRL;
  _31 = _30 & 4160749567;
  Base_12->CTRL ={v} _31;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_12
  # DEBUG IntSrc => 24
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _28 ={v} Base_12->CTRL;
  _29 = _28 & 4278190079;
  Base_12->CTRL ={v} _29;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_12
  # DEBUG IntSrc => 26
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _26 ={v} Base_12->CTRL;
  _27 = _26 & 4227858431;
  Base_12->CTRL ={v} _27;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_12
  # DEBUG IntSrc => 25
  # DEBUG Enable => 0
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_SetIntMode
  # DEBUG BEGIN_STMT
  _24 ={v} Base_12->CTRL;
  _25 = _24 & 4261412863;
  Base_12->CTRL ={v} _25;
  # DEBUG Base => NULL
  # DEBUG IntSrc => NULL
  # DEBUG Enable => NULL
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_apStateStructuresArray[_2] = 0B;
  StartTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  ElapsedTicks ={v} {CLOBBER};
  return;

}


Lpuart_Uart_Ip_Init (const uint8 Instance, const struct Lpuart_Uart_Ip_UserConfigType * UserConfig)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  uint32 Index;
  struct LPUART_Type * Base;
  _Bool _1;
  _Bool _2;
  int _3;
  struct Lpuart_Uart_Ip_StateStructureType * _4;
  _Bool _5;
  unsigned char _6;
  _Bool _7;
  long unsigned int _8;
  long unsigned int _9;
  _Bool _10;
  struct Lpuart_Uart_Ip_StateStructureType * _11;
  <unnamed type> _12;
  <unnamed type> _13;
  _Bool _14;
  <unnamed type> _15;
  <unnamed type> _16;
  _Bool _17;
  uint8 * _18;
  unsigned char _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  <unnamed type> _23;
  <unnamed type> _24;
  <unnamed type> _25;
  <unnamed type> _26;
  <unnamed type> _27;
  long unsigned int _28;
  int iftmp.0_30;
  int iftmp.1_31;
  _Bool x.2_52;
  _Bool x.2_53;
  _Bool x.2_54;
  _Bool x.2_55;
  _Bool x.2_56;
  _Bool x.2_57;
  _Bool x.2_58;
  long unsigned int _59;
  long unsigned int _60;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _1 = Instance_35(D) <= 2;
  x ={v} _1;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_56 ={v} x;
  if (x.2_56 != 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 = UserConfig_37(D) != 0B;
  x ={v} _2;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_55 ={v} x;
  if (x.2_55 != 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 = (int) Instance_35(D);
  _4 = Lpuart_Uart_Ip_apStateStructuresArray[_3];
  _5 = _4 == 0B;
  x ={v} _5;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_54 ={v} x;
  if (x.2_54 != 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
  _6 = UserConfig_37(D)->BaudOverSamplingRatio;
  _7 = _6 <= 32;
  x ={v} _7;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_53 ={v} x;
  if (x.2_53 != 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
  _8 = UserConfig_37(D)->BaudRateDivisor;
  _9 = _8 + 4294967295;
  _10 = _9 <= 8190;
  x ={v} _10;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_52 ={v} x;
  if (x.2_52 != 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
  Base_38 = Lpuart_Uart_Ip_apBases[_3];
  # DEBUG Base => Base_38
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _11 = UserConfig_37(D)->StateStruct;
  Lpuart_Uart_Ip_apStateStructuresArray[_3] = _11;
  # DEBUG BEGIN_STMT
  # DEBUG UartStatePtr => _11
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_apUserConfig[_3] = UserConfig_37(D);
  # DEBUG BEGIN_STMT
  # DEBUG ClearStructPtr => _11
  # DEBUG BEGIN_STMT
  _12 = UserConfig_37(D)->TransferType;
  if (_12 != 0)
    goto <bb 15>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 13> [local count: 3355]:
  _13 = UserConfig_37(D)->BitCountPerChar;
  if (_13 <= 1)
    goto <bb 15>; [41.00%]
  else
    goto <bb 14>; [59.00%]

  <bb 14> [local count: 1980]:

  <bb 15> [local count: 6711]:
  # iftmp.0_30 = PHI <1(13), 0(14), 1(12)>
  _14 = (_Bool) iftmp.0_30;
  x ={v} _14;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_57 ={v} x;
  if (x.2_57 != 0)
    goto <bb 17>; [50.00%]
  else
    goto <bb 32>; [50.00%]

  <bb 32> [local count: 3355]:

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

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

  <bb 17> [local count: 3355]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  _15 = UserConfig_37(D)->BitCountPerChar;
  if (_15 != 3)
    goto <bb 20>; [66.00%]
  else
    goto <bb 18>; [34.00%]

  <bb 18> [local count: 1141]:
  _16 = UserConfig_37(D)->ParityMode;
  if (_16 == 0)
    goto <bb 20>; [50.00%]
  else
    goto <bb 19>; [50.00%]

  <bb 19> [local count: 570]:

  <bb 20> [local count: 3355]:
  # iftmp.1_31 = PHI <1(18), 0(19), 1(17)>
  _17 = (_Bool) iftmp.1_31;
  x ={v} _17;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.2_58 ={v} x;
  if (x.2_58 != 0)
    goto <bb 30>; [50.00%]
  else
    goto <bb 31>; [50.00%]

  <bb 31> [local count: 1678]:
  goto <bb 21>; [100.00%]

  <bb 30> [local count: 1678]:
  goto <bb 23>; [100.00%]

  <bb 38> [local count: 16777216]:

  <bb 21> [local count: 16777216]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 38>; [100.00%]

  <bb 22> [local count: 53693]:
  # DEBUG BEGIN_STMT
  _18 = _11 + Index_29;
  *_18 = 0;
  # DEBUG BEGIN_STMT
  Index_51 = Index_29 + 1;
  # DEBUG Index => Index_51

  <bb 23> [local count: 55370]:
  # Index_29 = PHI <Index_51(22), 0(30)>
  # DEBUG x => NULL
  # DEBUG Index => Index_29
  # DEBUG BEGIN_STMT
  if (Index_29 != 32)
    goto <bb 22>; [96.97%]
  else
    goto <bb 24>; [3.03%]

  <bb 24> [local count: 1678]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_38
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_Hw_Init
  # DEBUG BEGIN_STMT
  Base_38->BAUD ={v} 251658244;
  # DEBUG BEGIN_STMT
  Base_38->STAT ={v} 3223306240;
  # DEBUG BEGIN_STMT
  Base_38->CTRL ={v} 0;
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  _19 = UserConfig_37(D)->BaudOverSamplingRatio;
  if (_19 <= 7)
    goto <bb 25>; [50.00%]
  else
    goto <bb 26>; [50.00%]

  <bb 25> [local count: 839]:
  # DEBUG BEGIN_STMT
  # DEBUG Base => Base_38
  # DEBUG INLINE_ENTRY Lpuart_Uart_Ip_EnableBothEdgeSamplingCmd
  # DEBUG BEGIN_STMT
  _59 ={v} Base_38->BAUD;
  _60 = _59 | 131072;
  Base_38->BAUD ={v} _60;

  <bb 26> [local count: 1678]:
  # DEBUG Base => NULL
  # DEBUG BEGIN_STMT
  _20 = (long unsigned int) _19;
  _21 = _20 + 4294967295;
  Lpuart_Uart_Ip_SetOversamplingRatio (Base_38, _21);
  # DEBUG BEGIN_STMT
  _22 = UserConfig_37(D)->BaudRateDivisor;
  Lpuart_Uart_Ip_SetBaudRateDivisor (Base_38, _22);
  # DEBUG BEGIN_STMT
  _23 = UserConfig_37(D)->ParityMode;
  if (_23 != 0)
    goto <bb 27>; [50.00%]
  else
    goto <bb 28>; [50.00%]

  <bb 27> [local count: 839]:
  # DEBUG BEGIN_STMT
  _24 = UserConfig_37(D)->BitCountPerChar;
  Lpuart_Uart_Ip_SetBitCountPerChar (Base_38, _24, 1);
  goto <bb 29>; [100.00%]

  <bb 28> [local count: 839]:
  # DEBUG BEGIN_STMT
  _25 = UserConfig_37(D)->BitCountPerChar;
  Lpuart_Uart_Ip_SetBitCountPerChar (Base_38, _25, 0);

  <bb 29> [local count: 1678]:
  # DEBUG BEGIN_STMT
  _26 = UserConfig_37(D)->ParityMode;
  Lpuart_Uart_Ip_SetParityMode (Base_38, _26);
  # DEBUG BEGIN_STMT
  _27 = UserConfig_37(D)->StopBitsCount;
  Lpuart_Uart_Ip_SetStopBitCount (Base_38, _27);
  # DEBUG BEGIN_STMT
  _11->TransmitStatus ={v} 0;
  # DEBUG BEGIN_STMT
  _11->ReceiveStatus ={v} 0;
  # DEBUG BEGIN_STMT
  _28 = UserConfig_37(D)->BaudRate;
  _11->BaudRate = _28;
  return;

}


Lpuart_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;

}


Lpuart_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;

}


Lpuart_Uart_Ip_ClearErrorFlags (struct LPUART_Type * Base)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG Mask => 983040
  # DEBUG BEGIN_STMT
  _1 ={v} Base_5(D)->STAT;
  _2 = _1 & 1071661055;
  _3 = _2 | 983040;
  Base_5(D)->STAT ={v} _3;
  return;

}


Lpuart_Uart_Ip_Getchar10 (const struct LPUART_Type * Base)
{
  uint16 ReadData;
  long unsigned int _1;
  long unsigned int _2;
  short unsigned int _3;
  short unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  short unsigned int _7;
  short unsigned int _8;
  long unsigned int _9;
  short unsigned int _10;
  unsigned char _15;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 ={v} Base_12(D)->CTRL;
  _2 = _1 >> 30;
  _3 = (short unsigned int) _2;
  _4 = _3 << 9;
  ReadData_13 = _4 & 512;
  # DEBUG ReadData => ReadData_13
  # DEBUG BEGIN_STMT
  _5 ={v} Base_12(D)->CTRL;
  _6 = _5 >> 31;
  _7 = (short unsigned int) _6;
  _8 = _7 << 8;
  ReadData_14 = _8 | ReadData_13;
  # DEBUG ReadData => ReadData_14
  # DEBUG BEGIN_STMT
  _9 ={v} Base_12(D)->DATA;
  _15 = (unsigned char) _9;
  _10 = (short unsigned int) _15;
  ReadData_16 = _10 | ReadData_14;
  # DEBUG ReadData => ReadData_16
  # DEBUG BEGIN_STMT
  return ReadData_16;

}


Lpuart_Uart_Ip_Getchar9 (const struct LPUART_Type * Base)
{
  uint16 ReadData;
  long unsigned int _1;
  long unsigned int _2;
  short unsigned int _3;
  short unsigned int _4;
  long unsigned int _5;
  short unsigned int _6;
  unsigned char _9;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 ={v} Base_8(D)->CTRL;
  _2 = _1 >> 31;
  _3 = (short unsigned int) _2;
  _4 = _3 << 8;
  # DEBUG ReadData => _4
  # DEBUG BEGIN_STMT
  _5 ={v} Base_8(D)->DATA;
  _9 = (unsigned char) _5;
  _6 = (short unsigned int) _9;
  ReadData_10 = _4 | _6;
  # DEBUG ReadData => ReadData_10
  # DEBUG BEGIN_STMT
  return ReadData_10;

}


Lpuart_Uart_Ip_Putchar10 (struct LPUART_Type * Base, uint16 Data)
{
  uint32 CtrlRegVal;
  uint8 TenthDataBit;
  uint8 NinthDataBit;
  short unsigned int _1;
  unsigned char _2;
  short unsigned int _3;
  unsigned char _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;
  unsigned char _11;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG D#3 => &Base_12(D)->DATA
  # DEBUG DataRegBytes => D#3
  # DEBUG BEGIN_STMT
  _1 = Data_13(D) >> 8;
  _2 = (unsigned char) _1;
  NinthDataBit_14 = _2 & 1;
  # DEBUG NinthDataBit => NinthDataBit_14
  # DEBUG BEGIN_STMT
  _3 = Data_13(D) >> 9;
  _4 = (unsigned char) _3;
  TenthDataBit_15 = _4 & 1;
  # DEBUG TenthDataBit => TenthDataBit_15
  # DEBUG BEGIN_STMT
  CtrlRegVal_17 ={v} Base_12(D)->CTRL;
  # DEBUG CtrlRegVal => CtrlRegVal_17
  # DEBUG BEGIN_STMT
  _5 = CtrlRegVal_17 & 3221225471;
  _6 = (long unsigned int) NinthDataBit_14;
  _7 = _6 << 30;
  CtrlRegVal_18 = _5 | _7;
  # DEBUG CtrlRegVal => CtrlRegVal_18
  # DEBUG BEGIN_STMT
  _8 = CtrlRegVal_18 & 2147483647;
  _9 = (long unsigned int) TenthDataBit_15;
  _10 = _9 << 31;
  CtrlRegVal_19 = _8 | _10;
  # DEBUG CtrlRegVal => CtrlRegVal_19
  # DEBUG BEGIN_STMT
  Base_12(D)->CTRL ={v} CtrlRegVal_19;
  # DEBUG BEGIN_STMT
  _11 = (unsigned char) Data_13(D);
  MEM[(volatile uint8 *)Base_12(D) + 28B] ={v} _11;
  return;

}


Lpuart_Uart_Ip_Putchar9 (struct LPUART_Type * Base, uint16 Data)
{
  uint8 NinthDataBit;
  short unsigned int _1;
  unsigned char _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  unsigned char _8;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG D#2 => &Base_9(D)->DATA
  # DEBUG DataRegBytes => D#2
  # DEBUG BEGIN_STMT
  _1 = Data_10(D) >> 8;
  _2 = (unsigned char) _1;
  NinthDataBit_11 = _2 & 1;
  # DEBUG NinthDataBit => NinthDataBit_11
  # DEBUG BEGIN_STMT
  _3 ={v} Base_9(D)->CTRL;
  _4 = _3 & 3221225471;
  _5 = (long unsigned int) NinthDataBit_11;
  _6 = _5 << 30;
  _7 = _4 | _6;
  Base_9(D)->CTRL ={v} _7;
  # DEBUG BEGIN_STMT
  _8 = (unsigned char) Data_10(D);
  MEM[(volatile uint8 *)Base_9(D) + 28B] ={v} _8;
  return;

}


Lpuart_Uart_Ip_SetRxDmaCmd (struct LPUART_Type * Base, boolean Enable)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int iftmp.18_4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 ={v} Base_6(D)->BAUD;
  _2 = _1 & 4292870143;
  if (Enable_7(D) != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870913]:

  <bb 4> [local count: 1073741824]:
  # iftmp.18_4 = PHI <2097152(2), 0(3)>
  _3 = _2 | iftmp.18_4;
  Base_6(D)->BAUD ={v} _3;
  return;

}


Lpuart_Uart_Ip_SetIntMode (struct LPUART_Type * Base, Lpuart_Uart_Ip_InterruptType IntSrc, boolean Enable)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  unsigned int _5;
  long unsigned int _6;
  unsigned int iftmp.4_7;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 ={v} Base_9(D)->CTRL;
  _2 = 1 << IntSrc_10(D);
  _3 = ~_2;
  _4 = _1 & _3;
  if (Enable_11(D) != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870913]:

  <bb 4> [local count: 1073741824]:
  # iftmp.4_7 = PHI <1(2), 0(3)>
  _5 = iftmp.4_7 << IntSrc_10(D);
  _6 = _4 | _5;
  Base_9(D)->CTRL ={v} _6;
  return;

}


Lpuart_Uart_Ip_SetStopBitCount (struct LPUART_Type * Base, Lpuart_Uart_Ip_StopBitCountType StopBitCount)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 ={v} Base_6(D)->BAUD;
  _2 = _1 & 4294959103;
  _3 = StopBitCount_7(D) << 13;
  _4 = _2 | _3;
  Base_6(D)->BAUD ={v} _4;
  return;

}


Lpuart_Uart_Ip_SetParityMode (struct LPUART_Type * Base, Lpuart_Uart_Ip_ParityModeType ParityModeType)
{
  long unsigned 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;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 ={v} Base_10(D)->CTRL;
  _2 = _1 & 4294967293;
  _3 = ParityModeType_11(D) & 4294967294;
  _4 = _2 | _3;
  Base_10(D)->CTRL ={v} _4;
  # DEBUG BEGIN_STMT
  _5 ={v} Base_10(D)->CTRL;
  _6 = _5 & 4294967294;
  _7 = ParityModeType_11(D) & 1;
  _8 = _6 | _7;
  Base_10(D)->CTRL ={v} _8;
  return;

}


Lpuart_Uart_Ip_SetBitCountPerChar (struct LPUART_Type * Base, Lpuart_Uart_Ip_BitCountPerCharType BitCountPerChar, boolean Parity)
{
  uint32 TmpBitCountPerChar;
  long unsigned 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;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG TmpBitCountPerChar => BitCountPerChar_16(D)
  # DEBUG BEGIN_STMT
  if (Parity_17(D) != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  TmpBitCountPerChar_18 = BitCountPerChar_16(D) + 1;
  # DEBUG TmpBitCountPerChar => TmpBitCountPerChar_18

  <bb 4> [local count: 1073741824]:
  # TmpBitCountPerChar_13 = PHI <BitCountPerChar_16(D)(2), TmpBitCountPerChar_18(3)>
  # DEBUG TmpBitCountPerChar => TmpBitCountPerChar_13
  # DEBUG BEGIN_STMT
  if (TmpBitCountPerChar_13 == 3)
    goto <bb 5>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 5> [local count: 365072220]:
  # DEBUG BEGIN_STMT
  _1 ={v} Base_21(D)->BAUD;
  _2 = _1 | 536870912;
  Base_21(D)->BAUD ={v} _2;
  goto <bb 12>; [100.00%]

  <bb 6> [local count: 708669605]:
  # DEBUG BEGIN_STMT
  if (BitCountPerChar_16(D) == 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 7> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  if (Parity_17(D) != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 8> [local count: 177167401]:
  # DEBUG BEGIN_STMT
  _3 ={v} Base_21(D)->CTRL;
  _4 = _3 & 4294965231;
  Base_21(D)->CTRL ={v} _4;
  goto <bb 11>; [100.00%]

  <bb 9> [local count: 177167401]:
  # DEBUG BEGIN_STMT
  _5 ={v} Base_21(D)->CTRL;
  _6 = _5 | 2048;
  Base_21(D)->CTRL ={v} _6;
  goto <bb 11>; [100.00%]

  <bb 10> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  TmpBitCountPerChar_19 = TmpBitCountPerChar_13 + 4294967295;
  # DEBUG TmpBitCountPerChar => TmpBitCountPerChar_19
  # DEBUG BEGIN_STMT
  _7 ={v} Base_21(D)->CTRL;
  _8 = _7 & 4294967279;
  _9 = TmpBitCountPerChar_19 << 4;
  _10 = _8 | _9;
  Base_21(D)->CTRL ={v} _10;

  <bb 11> [local count: 708669605]:
  # DEBUG BEGIN_STMT
  _11 ={v} Base_21(D)->BAUD;
  _12 = _11 & 3758096383;
  Base_21(D)->BAUD ={v} _12;

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

}


Lpuart_Uart_Ip_SetOversamplingRatio (struct LPUART_Type * Base, uint32 OverSamplingRatio)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 ={v} Base_7(D)->BAUD;
  _2 = _1 & 3774873599;
  _3 = OverSamplingRatio_8(D) << 24;
  _4 = _3 & 520093696;
  _5 = _2 | _4;
  Base_7(D)->BAUD ={v} _5;
  return;

}


Lpuart_Uart_Ip_SetBaudRateDivisor (struct LPUART_Type * Base, uint32 baudRateDivisor)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 ={v} Base_6(D)->BAUD;
  _2 = _1 & 4294959104;
  _3 = baudRateDivisor_7(D) & 8191;
  _4 = _2 | _3;
  Base_6(D)->BAUD ={v} _4;
  return;

}


