IPA constant propagation start: Determining dynamic type for call: u16Data_38 = LPUART_Uart_Getchar10 (pBase_34); Starting walk at: u16Data_38 = LPUART_Uart_Getchar10 (pBase_34); instance pointer: pBase_34 Outer instance pointer: pBase_34 offset: 0 (bits) vtbl reference: Determining dynamic type for call: u16Data_40 = LPUART_Uart_Getchar9 (pBase_34); Starting walk at: u16Data_40 = LPUART_Uart_Getchar9 (pBase_34); instance pointer: pBase_34 Outer instance pointer: pBase_34 offset: 0 (bits) vtbl reference: Determining dynamic type for call: LPUART_Uart_Putchar10 (pBase_24, u16Data_19); Starting walk at: LPUART_Uart_Putchar10 (pBase_24, u16Data_19); instance pointer: pBase_24 Outer instance pointer: pBase_24 offset: 0 (bits) vtbl reference: Determining dynamic type for call: LPUART_Uart_Putchar9 (pBase_24, u16Data_19); Starting walk at: LPUART_Uart_Putchar9 (pBase_24, u16Data_19); instance pointer: pBase_24 Outer instance pointer: pBase_24 offset: 0 (bits) vtbl reference: Determining dynamic type for call: LPUART_Uart_ClearErrorFlags (pBase_3); Starting walk at: LPUART_Uart_ClearErrorFlags (pBase_3); instance pointer: pBase_3 Outer instance pointer: pBase_3 offset: 0 (bits) vtbl reference: Determining dynamic type for call: LPUART_Uart_ClearStatusFlag.part.0 (pBase_20); Starting walk at: LPUART_Uart_ClearStatusFlag.part.0 (pBase_20); instance pointer: pBase_20 Outer instance pointer: pBase_20 offset: 0 (bits) vtbl reference: Determining dynamic type for call: _2 (u32Instance_19(D), pUartState_21, 3, _3); Starting walk at: _2 (u32Instance_19(D), pUartState_21, 3, _3); instance pointer: pUartState_21 Outer instance pointer: pUartState_21 offset: 0 (bits) vtbl reference: Function call may change dynamic type:LPUART_Uart_ClearStatusFlag.part.0 (pBase_20); Function call may change dynamic type:Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (u32Instance_19(D)); Determining dynamic type for call: _2 (u32Instance_19(D), pUartState_21, 3, _3); Starting walk at: _2 (u32Instance_19(D), pUartState_21, 3, _3); instance pointer: _3 Outer instance pointer: _3 offset: 0 (bits) vtbl reference: Function call may change dynamic type:LPUART_Uart_ClearStatusFlag.part.0 (pBase_20); Function call may change dynamic type:Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (u32Instance_19(D)); Determining dynamic type for call: _3 (u32Instance_8(D), pUartState_9, 2, _4); Starting walk at: _3 (u32Instance_8(D), pUartState_9, 2, _4); instance pointer: pUartState_9 Outer instance pointer: pUartState_9 offset: 0 (bits) vtbl reference: Function call may change dynamic type:Lpuart_Uart_Ip_CompleteSendDataUsingInt (u32Instance_8(D)); Determining dynamic type for call: _3 (u32Instance_8(D), pUartState_9, 2, _4); Starting walk at: _3 (u32Instance_8(D), pUartState_9, 2, _4); instance pointer: _4 Outer instance pointer: _4 offset: 0 (bits) vtbl reference: Function call may change dynamic type:Lpuart_Uart_Ip_CompleteSendDataUsingInt (u32Instance_8(D)); Determining dynamic type for call: _3 (u32Instance_9(D), pUartState_11, 1, _4); Starting walk at: _3 (u32Instance_9(D), pUartState_11, 1, _4); instance pointer: pUartState_11 Outer instance pointer: pUartState_11 offset: 0 (bits) vtbl reference: Function call may change dynamic type:Lpuart_Uart_Ip_PutData (u32Instance_9(D)); Determining dynamic type for call: _3 (u32Instance_9(D), pUartState_11, 1, _4); Starting walk at: _3 (u32Instance_9(D), pUartState_11, 1, _4); instance pointer: _4 Outer instance pointer: _4 offset: 0 (bits) vtbl reference: Function call may change dynamic type:Lpuart_Uart_Ip_PutData (u32Instance_9(D)); Determining dynamic type for call: _2 (u32Instance_10(D), pUartState_11, 0, _3); Starting walk at: _2 (u32Instance_10(D), pUartState_11, 0, _3); instance pointer: pUartState_11 Outer instance pointer: pUartState_11 offset: 0 (bits) vtbl reference: Function call may change dynamic type:Lpuart_Uart_Ip_GetData (u32Instance_10(D)); Determining dynamic type for call: _2 (u32Instance_10(D), pUartState_11, 0, _3); Starting walk at: _2 (u32Instance_10(D), pUartState_11, 0, _3); instance pointer: _3 Outer instance pointer: _3 offset: 0 (bits) vtbl reference: Function call may change dynamic type:Lpuart_Uart_Ip_GetData (u32Instance_10(D)); Determining dynamic type for call: _5 (u32Instance_10(D), pUartState_11, 2, _6); Starting walk at: _5 (u32Instance_10(D), pUartState_11, 2, _6); instance pointer: pUartState_11 Outer instance pointer: pUartState_11 offset: 0 (bits) vtbl reference: Function call may change dynamic type:Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (u32Instance_10(D)); Function call may change dynamic type:Lpuart_Uart_Ip_GetData (u32Instance_10(D)); Function call may change dynamic type:_2 (u32Instance_10(D), pUartState_11, 0, _3); Determining dynamic type for call: _5 (u32Instance_10(D), pUartState_11, 2, _6); Starting walk at: _5 (u32Instance_10(D), pUartState_11, 2, _6); instance pointer: _6 Outer instance pointer: _6 offset: 0 (bits) vtbl reference: Function call may change dynamic type:Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (u32Instance_10(D)); Function call may change dynamic type:Lpuart_Uart_Ip_GetData (u32Instance_10(D)); Function call may change dynamic type:_2 (u32Instance_10(D), pUartState_11, 0, _3); Determining dynamic type for call: LPUART_Uart_ClearErrorFlags (pBase_9); Starting walk at: LPUART_Uart_ClearErrorFlags (pBase_9); instance pointer: pBase_9 Outer instance pointer: pBase_9 offset: 0 (bits) vtbl reference: Determining dynamic type for call: LPUART_Uart_SetOversamplingRatio (pBase_41, _17); Starting walk at: LPUART_Uart_SetOversamplingRatio (pBase_41, _17); instance pointer: pBase_41 Outer instance pointer: pBase_41 offset: 0 (bits) vtbl reference: Determining dynamic type for call: LPUART_Uart_SetBaudRateDivisor (pBase_41, _18); Starting walk at: LPUART_Uart_SetBaudRateDivisor (pBase_41, _18); instance pointer: pBase_41 Outer instance pointer: pBase_41 offset: 0 (bits) vtbl reference: Function call may change dynamic type:LPUART_Uart_SetOversamplingRatio (pBase_41, _17); Determining dynamic type for call: LPUART_Uart_ClearErrorFlags (pBase_13); Starting walk at: LPUART_Uart_ClearErrorFlags (pBase_13); instance pointer: pBase_13 Outer instance pointer: pBase_13 offset: 0 (bits) vtbl reference: Function call may change dynamic type:Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (u32Instance_11(D)); Determining dynamic type for call: retVal_25 = Lpuart_Uart_Ip_StartReceiveDataUsingInt (u32Instance_14(D), pRxBuff_16(D), u32RxSize_17(D)); Starting walk at: retVal_25 = Lpuart_Uart_Ip_StartReceiveDataUsingInt (u32Instance_14(D), pRxBuff_16(D), u32RxSize_17(D)); instance pointer: pRxBuff_16(D) Outer instance pointer: pRxBuff_16(D) offset: 0 (bits) vtbl reference: Function call may change dynamic type:SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03 (); Function call may change dynamic type:SchM_Enter_Uart_UART_EXCLUSIVE_AREA_03 (); Function call may change dynamic type:SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03 (); Determining dynamic type for call: LPUART_Uart_ClearStatusFlag.part.0 (pBase_13(D)); Starting walk at: LPUART_Uart_ClearStatusFlag.part.0 (pBase_13(D)); instance pointer: pBase_13(D) Outer instance pointer: pBase_13(D) offset: 0 (bits) vtbl reference: Function call may change dynamic type:_3 = LPUART_Uart_CheckTimeout (u32StartTime_11(D), 0); Function call may change dynamic type:Lpuart_Uart_Ip_GetData (u32Instance_9(D)); Function call may change dynamic type:_1 = LPUART_Uart_CheckTimeout (u32StartTime_11(D), 0); Determining dynamic type for call: Lpuart_Uart_Ip_StartGetData (pBase_22, u32Instance_18(D), _6); Starting walk at: Lpuart_Uart_Ip_StartGetData (pBase_22, u32Instance_18(D), _6); instance pointer: pBase_22 Outer instance pointer: pBase_22 offset: 0 (bits) vtbl reference: Function call may change dynamic type:_6 = OsIf_GetCounter (0); Function call may change dynamic type:SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02 (); Function call may change dynamic type:SchM_Enter_Uart_UART_EXCLUSIVE_AREA_02 (); Function call may change dynamic type:SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02 (); Determining dynamic type for call: retVal_25 = Lpuart_Uart_Ip_StartSendDataUsingInt (u32Instance_14(D), pTxBuff_16(D), u32TxSize_17(D)); Starting walk at: retVal_25 = Lpuart_Uart_Ip_StartSendDataUsingInt (u32Instance_14(D), pTxBuff_16(D), u32TxSize_17(D)); instance pointer: pTxBuff_16(D) Outer instance pointer: pTxBuff_16(D) offset: 0 (bits) vtbl reference: Function call may change dynamic type:SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01 (); Function call may change dynamic type:SchM_Enter_Uart_UART_EXCLUSIVE_AREA_01 (); Function call may change dynamic type:SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01 (); Determining dynamic type for call: LPUART_Uart_SetOversamplingRatio (pBase_33, _17); Starting walk at: LPUART_Uart_SetOversamplingRatio (pBase_33, _17); instance pointer: pBase_33 Outer instance pointer: pBase_33 offset: 0 (bits) vtbl reference: Determining dynamic type for call: LPUART_Uart_SetBaudRateDivisor (pBase_33, _18); Starting walk at: LPUART_Uart_SetBaudRateDivisor (pBase_33, _18); instance pointer: pBase_33 Outer instance pointer: pBase_33 offset: 0 (bits) vtbl reference: Function call may change dynamic type:LPUART_Uart_SetOversamplingRatio (pBase_33, _17); Determining dynamic type for call: LPUART_Uart_SetBitCountPerChar (pBase_33, _21, 0); Starting walk at: LPUART_Uart_SetBitCountPerChar (pBase_33, _21, 0); instance pointer: pBase_33 Outer instance pointer: pBase_33 offset: 0 (bits) vtbl reference: Function call may change dynamic type:LPUART_Uart_SetBaudRateDivisor (pBase_33, _18); Function call may change dynamic type:LPUART_Uart_SetOversamplingRatio (pBase_33, _17); Determining dynamic type for call: LPUART_Uart_SetBitCountPerChar (pBase_33, _20, 1); Starting walk at: LPUART_Uart_SetBitCountPerChar (pBase_33, _20, 1); instance pointer: pBase_33 Outer instance pointer: pBase_33 offset: 0 (bits) vtbl reference: Function call may change dynamic type:LPUART_Uart_SetBaudRateDivisor (pBase_33, _18); Function call may change dynamic type:LPUART_Uart_SetOversamplingRatio (pBase_33, _17); Determining dynamic type for call: LPUART_Uart_SetParityMode (pBase_33, _22); Starting walk at: LPUART_Uart_SetParityMode (pBase_33, _22); instance pointer: pBase_33 Outer instance pointer: pBase_33 offset: 0 (bits) vtbl reference: Function call may change dynamic type:LPUART_Uart_SetBitCountPerChar (pBase_33, _20, 1); Function call may change dynamic type:LPUART_Uart_SetBaudRateDivisor (pBase_33, _18); Function call may change dynamic type:LPUART_Uart_SetOversamplingRatio (pBase_33, _17); Function call may change dynamic type:LPUART_Uart_SetBitCountPerChar (pBase_33, _21, 0); Determining dynamic type for call: LPUART_Uart_SetStopBitCount (pBase_33, _23); Starting walk at: LPUART_Uart_SetStopBitCount (pBase_33, _23); instance pointer: pBase_33 Outer instance pointer: pBase_33 offset: 0 (bits) vtbl reference: Function call may change dynamic type:LPUART_Uart_SetParityMode (pBase_33, _22); Function call may change dynamic type:LPUART_Uart_SetBitCountPerChar (pBase_33, _20, 1); Function call may change dynamic type:LPUART_Uart_SetBaudRateDivisor (pBase_33, _18); Function call may change dynamic type:LPUART_Uart_SetOversamplingRatio (pBase_33, _17); Function call may change dynamic type:LPUART_Uart_SetBitCountPerChar (pBase_33, _21, 0); IPA structures before propagation: Jump functions: Jump functions of caller LPUART_Uart_ClearStatusFlag.part.0/67: Jump functions of caller SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03/66: Jump functions of caller SchM_Enter_Uart_UART_EXCLUSIVE_AREA_03/65: Jump functions of caller OsIf_GetElapsed/64: Jump functions of caller SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02/63: Jump functions of caller SchM_Enter_Uart_UART_EXCLUSIVE_AREA_02/62: Jump functions of caller SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01/61: Jump functions of caller SchM_Enter_Uart_UART_EXCLUSIVE_AREA_01/60: Jump functions of caller SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00/59: Jump functions of caller SchM_Enter_Uart_UART_EXCLUSIVE_AREA_00/58: Jump functions of caller OsIf_MicrosToTicks/57: Jump functions of caller OsIf_GetCounter/56: Jump functions of caller Lpuart_Uart_Ip_GetData/55: callsite Lpuart_Uart_Ip_GetData/55 -> LPUART_Uart_Getchar10/18 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_GetData/55 -> LPUART_Uart_Getchar9/17 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_PutData/54: callsite Lpuart_Uart_Ip_PutData/54 -> LPUART_Uart_Putchar10/15 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffff Unknown VR callsite Lpuart_Uart_Ip_PutData/54 -> LPUART_Uart_Putchar9/14 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53: Jump functions of caller Lpuart_Uart_Ip_StartReceiveDataUsingInt/52: callsite Lpuart_Uart_Ip_StartReceiveDataUsingInt/52 -> LPUART_Uart_ClearErrorFlags/21 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_CompleteSendDataUsingInt/51: Jump functions of caller Lpuart_Uart_Ip_StartSendDataUsingInt/50: Jump functions of caller Lpuart_Uart_Ip_ErrIrqHandler/49: callsite Lpuart_Uart_Ip_ErrIrqHandler/49 -> Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_ErrIrqHandler/49 -> LPUART_Uart_ClearStatusFlag.part.0/67 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR indirect simple callsite, calling param -1, offset 0, for stmt _2 (u32Instance_19(D), pUartState_21, 3, _3); param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 2: CONST: 3 value: 0x3, mask: 0x0 Unknown VR param 3: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_TxCompleteIrqHandler/48: callsite Lpuart_Uart_Ip_TxCompleteIrqHandler/48 -> Lpuart_Uart_Ip_CompleteSendDataUsingInt/51 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR indirect simple callsite, calling param -1, offset 0, for stmt _3 (u32Instance_8(D), pUartState_9, 2, _4); param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 2: CONST: 2 value: 0x2, mask: 0x0 Unknown VR param 3: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_TxEmptyIrqHandler/47: callsite Lpuart_Uart_Ip_TxEmptyIrqHandler/47 -> Lpuart_Uart_Ip_PutData/54 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR indirect simple callsite, calling param -1, offset 0, for stmt _3 (u32Instance_9(D), pUartState_11, 1, _4); param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 2: CONST: 1 value: 0x1, mask: 0x0 Unknown VR param 3: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_RxIrqHandler/46: callsite Lpuart_Uart_Ip_RxIrqHandler/46 -> Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_RxIrqHandler/46 -> Lpuart_Uart_Ip_GetData/55 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR indirect simple callsite, calling param -1, offset 0, for stmt _5 (u32Instance_10(D), pUartState_11, 2, _6); param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 2: CONST: 2 value: 0x2, mask: 0x0 Unknown VR param 3: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR indirect simple callsite, calling param -1, offset 0, for stmt _2 (u32Instance_10(D), pUartState_11, 0, _3); param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 2: CONST: 0 value: 0x0, mask: 0x0 Unknown VR param 3: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_IRQHandler/45: callsite Lpuart_Uart_Ip_IRQHandler/45 -> Lpuart_Uart_Ip_TxCompleteIrqHandler/48 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_IRQHandler/45 -> Lpuart_Uart_Ip_TxEmptyIrqHandler/47 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_IRQHandler/45 -> Lpuart_Uart_Ip_RxIrqHandler/46 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_IRQHandler/45 -> Lpuart_Uart_Ip_ErrIrqHandler/49 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_IRQHandler/45 -> LPUART_Uart_ClearErrorFlags/21 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_SetRxBuffer/44: Jump functions of caller Lpuart_Uart_Ip_SetTxBuffer/43: Jump functions of caller Lpuart_Uart_Ip_GetBaudRate/42: Jump functions of caller Lpuart_Uart_Ip_SetBaudRate/41: callsite Lpuart_Uart_Ip_SetBaudRate/41 -> LPUART_Uart_SetBaudRateDivisor/3 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffff VR [0, 65535] callsite Lpuart_Uart_Ip_SetBaudRate/41 -> LPUART_Uart_SetOversamplingRatio/5 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_AbortReceivingData/40: callsite Lpuart_Uart_Ip_AbortReceivingData/40 -> LPUART_Uart_ClearErrorFlags/21 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_AbortReceivingData/40 -> Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_GetReceiveStatus/39: Jump functions of caller Lpuart_Uart_Ip_AsyncReceive/38: callsite Lpuart_Uart_Ip_AsyncReceive/38 -> Lpuart_Uart_Ip_StartReceiveDataUsingInt/52 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 1: PASS THROUGH: 1, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 2: PASS THROUGH: 2, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_StartGetData/37: callsite Lpuart_Uart_Ip_StartGetData/37 -> LPUART_Uart_CheckTimeout/22 : param 0: PASS THROUGH: 2, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 1: CONST: 0 value: 0x0, mask: 0x0 Unknown VR callsite Lpuart_Uart_Ip_StartGetData/37 -> Lpuart_Uart_Ip_GetData/55 : param 0: PASS THROUGH: 1, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_StartGetData/37 -> LPUART_Uart_ClearStatusFlag.part.0/67 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_StartGetData/37 -> LPUART_Uart_CheckTimeout/22 : param 0: PASS THROUGH: 2, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 1: CONST: 0 value: 0x0, mask: 0x0 Unknown VR Jump functions of caller Lpuart_Uart_Ip_SyncReceive/36: callsite Lpuart_Uart_Ip_SyncReceive/36 -> Lpuart_Uart_Ip_StartGetData/37 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 2: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_AbortSendingData/35: callsite Lpuart_Uart_Ip_AbortSendingData/35 -> Lpuart_Uart_Ip_CompleteSendDataUsingInt/51 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_GetTransmitStatus/34: Jump functions of caller Lpuart_Uart_Ip_AsyncSend/33: callsite Lpuart_Uart_Ip_AsyncSend/33 -> Lpuart_Uart_Ip_StartSendDataUsingInt/50 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 1: PASS THROUGH: 1, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR param 2: PASS THROUGH: 2, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_SyncSend/32: callsite Lpuart_Uart_Ip_SyncSend/32 -> LPUART_Uart_CheckTimeout/22 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: CONST: 0 value: 0x0, mask: 0x0 Unknown VR callsite Lpuart_Uart_Ip_SyncSend/32 -> LPUART_Uart_CheckTimeout/22 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: CONST: 0 value: 0x0, mask: 0x0 Unknown VR callsite Lpuart_Uart_Ip_SyncSend/32 -> Lpuart_Uart_Ip_PutData/54 : param 0: PASS THROUGH: 0, op nop_expr value: 0x0, mask: 0xffffffff Unknown VR Jump functions of caller Lpuart_Uart_Ip_Deinit/31: callsite Lpuart_Uart_Ip_Deinit/31 -> LPUART_Uart_CheckTimeout/22 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: CONST: 0 value: 0x0, mask: 0x0 Unknown VR Jump functions of caller Lpuart_Uart_Ip_Init/30: callsite Lpuart_Uart_Ip_Init/30 -> LPUART_Uart_SetStopBitCount/10 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xff Unknown VR callsite Lpuart_Uart_Ip_Init/30 -> LPUART_Uart_SetParityMode/9 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xff Unknown VR callsite Lpuart_Uart_Ip_Init/30 -> LPUART_Uart_SetBitCountPerChar/8 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xff Unknown VR param 2: CONST: 0 value: 0x0, mask: 0x0 Unknown VR callsite Lpuart_Uart_Ip_Init/30 -> LPUART_Uart_SetBitCountPerChar/8 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xff Unknown VR param 2: CONST: 1 value: 0x1, mask: 0x0 Unknown VR callsite Lpuart_Uart_Ip_Init/30 -> LPUART_Uart_SetBaudRateDivisor/3 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR callsite Lpuart_Uart_Ip_Init/30 -> LPUART_Uart_SetOversamplingRatio/5 : param 0: UNKNOWN value: 0x0, mask: 0xffffffff Unknown VR param 1: UNKNOWN value: 0x0, mask: 0xffffffff VR ~[255, -2] Jump functions of caller LPUART_Uart_CheckTimeout/22: Jump functions of caller LPUART_Uart_ClearErrorFlags/21: Jump functions of caller LPUART_Uart_Getchar10/18: Jump functions of caller LPUART_Uart_Getchar9/17: Jump functions of caller LPUART_Uart_Putchar10/15: Jump functions of caller LPUART_Uart_Putchar9/14: Jump functions of caller LPUART_Uart_SetStopBitCount/10: Jump functions of caller LPUART_Uart_SetParityMode/9: Jump functions of caller LPUART_Uart_SetBitCountPerChar/8: Jump functions of caller LPUART_Uart_SetOversamplingRatio/5: Jump functions of caller LPUART_Uart_SetBaudRateDivisor/3: Propagating constants: Not considering Lpuart_Uart_Ip_IRQHandler for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_SetRxBuffer for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_SetTxBuffer for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_GetBaudRate for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_SetBaudRate for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_AbortReceivingData for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_GetReceiveStatus for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_AsyncReceive for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_SyncReceive for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_AbortSendingData for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_GetTransmitStatus for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_AsyncSend for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_SyncSend for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_Deinit for cloning; -fipa-cp-clone disabled. Not considering Lpuart_Uart_Ip_Init for cloning; -fipa-cp-clone disabled. overall_size: 1327, max_new_size: 11001 - context independent values, size: 12, time_benefit: 1.000000 Decided to specialize for all known contexts, code not going to grow. IPA lattices after all propagation: Lattices: Node: LPUART_Uart_ClearStatusFlag.part.0/67: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_GetData/55: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_PutData/54: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_StartReceiveDataUsingInt/52: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [2]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_CompleteSendDataUsingInt/51: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_StartSendDataUsingInt/50: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [2]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_ErrIrqHandler/49: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_TxCompleteIrqHandler/48: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_TxEmptyIrqHandler/47: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_RxIrqHandler/46: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_IRQHandler/45: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_SetRxBuffer/44: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [2]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_SetTxBuffer/43: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [2]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_GetBaudRate/42: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_SetBaudRate/41: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [2]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_AbortReceivingData/40: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_GetReceiveStatus/39: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_AsyncReceive/38: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [2]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_StartGetData/37: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [2]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: Lpuart_Uart_Ip_SyncReceive/36: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [2]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_AbortSendingData/35: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_GetTransmitStatus/34: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_AsyncSend/33: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [2]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_SyncSend/32: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [2]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_Deinit/31: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: Lpuart_Uart_Ip_Init/30: param [0]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM param [1]: BOTTOM ctxs: BOTTOM Bits unusable (BOTTOM) VARYING AGGS BOTTOM Node: LPUART_Uart_CheckTimeout/22: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: 0 [loc_time: 0, loc_size: 0, prop_time: 0, prop_size: 0] ctxs: VARIABLE Bits: value = 0x0, mask = 0x0 uint32 [0, 0] AGGS VARIABLE Node: LPUART_Uart_ClearErrorFlags/21: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: LPUART_Uart_Getchar10/18: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: LPUART_Uart_Getchar9/17: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: LPUART_Uart_Putchar10/15: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: LPUART_Uart_Putchar9/14: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: LPUART_Uart_SetStopBitCount/10: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: LPUART_Uart_SetParityMode/9: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: LPUART_Uart_SetBitCountPerChar/8: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [2]: 1 [loc_time: 3, loc_size: 23, prop_time: 0, prop_size: 0] 0 [loc_time: 3, loc_size: 22, prop_time: 0, prop_size: 0] ctxs: VARIABLE Bits unusable (BOTTOM) boolean [0, 1] AGGS VARIABLE Node: LPUART_Uart_SetOversamplingRatio/5: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE Node: LPUART_Uart_SetBaudRateDivisor/3: param [0]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE param [1]: VARIABLE ctxs: VARIABLE Bits unusable (BOTTOM) VARYING AGGS VARIABLE IPA decision stage: - Creating a specialized node of LPUART_Uart_CheckTimeout/22 for all known contexts. replacing param #1 timeoutUs with const 0 Propagated bits info for function LPUART_Uart_CheckTimeout.constprop/186: param 1: value = 0x0, mask = 0x0 Propagated bits info for function LPUART_Uart_CheckTimeout/22: param 1: value = 0x0, mask = 0x0 IPA constant propagation end Reclaiming functions: LPUART_Uart_CheckTimeout/22 Reclaiming variables: Clearing address taken flags: Symbol table: LPUART_Uart_CheckTimeout.constprop.0/186 (LPUART_Uart_CheckTimeout.constprop) @075ff620 Type: function definition analyzed Visibility: References: Referring: Clone of LPUART_Uart_CheckTimeout/22 Availability: local Function flags: count:1073741824 (estimated locally) local optimize_size Called by: Lpuart_Uart_Ip_StartGetData/37 (1014686024 (estimated locally),74.32 per call) Lpuart_Uart_Ip_StartGetData/37 (117207686 (estimated locally),8.58 per call) Lpuart_Uart_Ip_Deinit/31 (474262 (estimated locally),2.21 per call) Lpuart_Uart_Ip_SyncSend/32 (505354 (estimated locally),2.35 per call) Lpuart_Uart_Ip_SyncSend/32 (59380 (estimated locally),0.28 per call) Calls: OsIf_MicrosToTicks/57 (1073741824 (estimated locally),1.00 per call) OsIf_GetCounter/56 (1073741824 (estimated locally),1.00 per call) LPUART_Uart_ClearStatusFlag.part.0/67 (LPUART_Uart_ClearStatusFlag.part.0) @068ca7e0 Type: function definition analyzed Visibility: prevailing_def_ironly 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_StartGetData/37 (2162173 (estimated locally),0.16 per call) Lpuart_Uart_Ip_ErrIrqHandler/49 (177167401 (estimated locally),0.17 per call) Calls: SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03/66 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03) @06b25000 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Lpuart_Uart_Ip_AsyncReceive/38 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_AsyncReceive/38 (4429 (estimated locally),0.02 per call) Calls: SchM_Enter_Uart_UART_EXCLUSIVE_AREA_03/65 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_03) @06a97ee0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Lpuart_Uart_Ip_AsyncReceive/38 (13422 (estimated locally),0.06 per call) Calls: OsIf_GetElapsed/64 (OsIf_GetElapsed) @06a97700 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Lpuart_Uart_Ip_SyncReceive/36 (4429 (estimated locally),0.02 per call) Calls: SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02/63 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02) @06a97620 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Lpuart_Uart_Ip_SyncReceive/36 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_SyncReceive/36 (4429 (estimated locally),0.02 per call) Calls: SchM_Enter_Uart_UART_EXCLUSIVE_AREA_02/62 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_02) @06a97540 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Lpuart_Uart_Ip_SyncReceive/36 (13422 (estimated locally),0.06 per call) Calls: SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01/61 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01) @06b17ee0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Lpuart_Uart_Ip_AsyncSend/33 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_AsyncSend/33 (4429 (estimated locally),0.02 per call) Calls: SchM_Enter_Uart_UART_EXCLUSIVE_AREA_01/60 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_01) @06b17e00 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Lpuart_Uart_Ip_AsyncSend/33 (13422 (estimated locally),0.06 per call) Calls: SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00/59 (SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00) @06b177e0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Lpuart_Uart_Ip_SyncSend/32 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_SyncSend/32 (4429 (estimated locally),0.02 per call) Calls: SchM_Enter_Uart_UART_EXCLUSIVE_AREA_00/58 (SchM_Enter_Uart_UART_EXCLUSIVE_AREA_00) @06b17700 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Lpuart_Uart_Ip_SyncSend/32 (13422 (estimated locally),0.06 per call) Calls: OsIf_MicrosToTicks/57 (OsIf_MicrosToTicks) @06b17460 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: LPUART_Uart_CheckTimeout.constprop/186 (1073741824 (estimated locally),1.00 per call) Lpuart_Uart_Ip_SyncReceive/36 (4429 (estimated locally),0.02 per call) Calls: OsIf_GetCounter/56 (OsIf_GetCounter) @06b171c0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: LPUART_Uart_CheckTimeout.constprop/186 (1073741824 (estimated locally),1.00 per call) Lpuart_Uart_Ip_SyncReceive/36 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_SyncSend/32 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_Deinit/31 (53687 (estimated locally),0.25 per call) Calls: Lpuart_Uart_Ip_GetData/55 (Lpuart_Uart_Ip_GetData) @06b057e0 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apUserConfig/28 (read) Referring: Availability: local Function flags: count:1073741824 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_StartGetData/37 (105946464 (estimated locally),7.76 per call) Lpuart_Uart_Ip_RxIrqHandler/46 (1073741821 (estimated locally),1.00 per call) Calls: LPUART_Uart_Getchar10/18 (418115066 (estimated locally),0.39 per call) LPUART_Uart_Getchar9/17 (215392610 (estimated locally),0.20 per call) Lpuart_Uart_Ip_PutData/54 (Lpuart_Uart_Ip_PutData) @06b05540 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apUserConfig/28 (read) Referring: Availability: local Function flags: count:1073741824 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_SyncSend/32 (57207 (estimated locally),0.27 per call) Lpuart_Uart_Ip_TxEmptyIrqHandler/47 (354334802 (estimated locally),0.33 per call) Calls: LPUART_Uart_Putchar10/15 (418115066 (estimated locally),0.39 per call) LPUART_Uart_Putchar9/14 (215392610 (estimated locally),0.20 per call) Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53 (Lpuart_Uart_Ip_CompleteReceiveDataUsingInt) @06b052a0 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: local Function flags: count:1073741824 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_AbortReceivingData/40 (2717 (estimated locally),0.01 per call) Lpuart_Uart_Ip_RxIrqHandler/46 (354334801 (estimated locally),0.33 per call) Lpuart_Uart_Ip_ErrIrqHandler/49 (54331336 (estimated locally),0.05 per call) Calls: Lpuart_Uart_Ip_StartReceiveDataUsingInt/52 (Lpuart_Uart_Ip_StartReceiveDataUsingInt) @06b05000 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: local Function flags: count:1073741824 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_AsyncReceive/38 (224 (estimated locally),0.00 per call) Calls: LPUART_Uart_ClearErrorFlags/21 (1073741824 (estimated locally),1.00 per call) Lpuart_Uart_Ip_CompleteSendDataUsingInt/51 (Lpuart_Uart_Ip_CompleteSendDataUsingInt) @06a70b60 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: local Function flags: count:1073741824 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_AbortSendingData/35 (2717 (estimated locally),0.01 per call) Lpuart_Uart_Ip_TxCompleteIrqHandler/48 (108662672 (estimated locally),0.10 per call) Calls: Lpuart_Uart_Ip_StartSendDataUsingInt/50 (Lpuart_Uart_Ip_StartSendDataUsingInt) @06a70620 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: local Function flags: count:1073741824 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_AsyncSend/33 (224 (estimated locally),0.00 per call) Calls: Lpuart_Uart_Ip_ErrIrqHandler/49 (Lpuart_Uart_Ip_ErrIrqHandler) @06a700e0 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apUserConfig/28 (read) Referring: Availability: local Function flags: count:1073741823 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_IRQHandler/45 (75162 (estimated locally),0.35 per call) Calls: Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53 (54331336 (estimated locally),0.05 per call) LPUART_Uart_ClearStatusFlag.part.0/67 (177167401 (estimated locally),0.17 per call) Indirect call(187904819 (estimated locally),0.18 per call) Lpuart_Uart_Ip_TxCompleteIrqHandler/48 (Lpuart_Uart_Ip_TxCompleteIrqHandler) @06a70d20 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apUserConfig/28 (read) Referring: Availability: local Function flags: count:1073741823 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_IRQHandler/45 (6201 (estimated locally),0.03 per call) Calls: Lpuart_Uart_Ip_CompleteSendDataUsingInt/51 (108662672 (estimated locally),0.10 per call) Indirect call(375809638 (estimated locally),0.35 per call) Lpuart_Uart_Ip_TxEmptyIrqHandler/47 (Lpuart_Uart_Ip_TxEmptyIrqHandler) @06a70a80 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apUserConfig/28 (read) Referring: Availability: local Function flags: count:1073741824 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_IRQHandler/45 (6201 (estimated locally),0.03 per call) Calls: Lpuart_Uart_Ip_PutData/54 (354334802 (estimated locally),0.33 per call) Indirect call(124017181 (estimated locally),0.12 per call) Lpuart_Uart_Ip_RxIrqHandler/46 (Lpuart_Uart_Ip_RxIrqHandler) @06a707e0 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apUserConfig/28 (read) Referring: Availability: local Function flags: count:1073741821 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_IRQHandler/45 (12402 (estimated locally),0.06 per call) Calls: Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53 (354334801 (estimated locally),0.33 per call) Lpuart_Uart_Ip_GetData/55 (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/45 (Lpuart_Uart_Ip_IRQHandler) @06a70540 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: Lpuart_Uart_Ip_TxCompleteIrqHandler/48 (6201 (estimated locally),0.03 per call) Lpuart_Uart_Ip_TxEmptyIrqHandler/47 (6201 (estimated locally),0.03 per call) Lpuart_Uart_Ip_RxIrqHandler/46 (12402 (estimated locally),0.06 per call) Lpuart_Uart_Ip_ErrIrqHandler/49 (75162 (estimated locally),0.35 per call) LPUART_Uart_ClearErrorFlags/21 (32212 (estimated locally),0.15 per call) Lpuart_Uart_Ip_SetRxBuffer/44 (Lpuart_Uart_Ip_SetRxBuffer) @06a702a0 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: Lpuart_Uart_Ip_SetTxBuffer/43 (Lpuart_Uart_Ip_SetTxBuffer) @06a70000 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: Lpuart_Uart_Ip_GetBaudRate/42 (Lpuart_Uart_Ip_GetBaudRate) @06a5db60 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: Lpuart_Uart_Ip_SetBaudRate/41 (Lpuart_Uart_Ip_SetBaudRate) @06a5d540 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: LPUART_Uart_SetBaudRateDivisor/3 (13422 (estimated locally),0.06 per call) LPUART_Uart_SetOversamplingRatio/5 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_AbortReceivingData/40 (Lpuart_Uart_Ip_AbortReceivingData) @06a5d000 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apUserConfig/28 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: LPUART_Uart_ClearErrorFlags/21 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53 (2717 (estimated locally),0.01 per call) Lpuart_Uart_Ip_GetReceiveStatus/39 (Lpuart_Uart_Ip_GetReceiveStatus) @06a5dd20 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apUserConfig/28 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: Lpuart_Uart_Ip_AsyncReceive/38 (Lpuart_Uart_Ip_AsyncReceive) @06a5da80 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apUserConfig/28 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: Lpuart_Uart_Ip_StartReceiveDataUsingInt/52 (224 (estimated locally),0.00 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03/66 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03/66 (4429 (estimated locally),0.02 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_03/65 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_StartGetData/37 (Lpuart_Uart_Ip_StartGetData) @06a5d700 Type: function definition analyzed Visibility: prevailing_def_ironly References: Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: local Function flags: count:13653215 (estimated locally) body local optimize_size Called by: Lpuart_Uart_Ip_SyncReceive/36 (4429 (estimated locally),0.02 per call) Calls: LPUART_Uart_CheckTimeout.constprop/186 (117207686 (estimated locally),8.58 per call) Lpuart_Uart_Ip_GetData/55 (105946464 (estimated locally),7.76 per call) LPUART_Uart_ClearStatusFlag.part.0/67 (2162173 (estimated locally),0.16 per call) LPUART_Uart_CheckTimeout.constprop/186 (1014686024 (estimated locally),74.32 per call) Lpuart_Uart_Ip_SyncReceive/36 (Lpuart_Uart_Ip_SyncReceive) @06a5d460 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: OsIf_MicrosToTicks/57 (4429 (estimated locally),0.02 per call) OsIf_GetElapsed/64 (4429 (estimated locally),0.02 per call) Lpuart_Uart_Ip_StartGetData/37 (4429 (estimated locally),0.02 per call) OsIf_GetCounter/56 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02/63 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02/63 (4429 (estimated locally),0.02 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_02/62 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_AbortSendingData/35 (Lpuart_Uart_Ip_AbortSendingData) @06a5d1c0 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apUserConfig/28 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: Lpuart_Uart_Ip_CompleteSendDataUsingInt/51 (2717 (estimated locally),0.01 per call) Lpuart_Uart_Ip_GetTransmitStatus/34 (Lpuart_Uart_Ip_GetTransmitStatus) @06952e00 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apUserConfig/28 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: Lpuart_Uart_Ip_AsyncSend/33 (Lpuart_Uart_Ip_AsyncSend) @069527e0 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apUserConfig/28 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: Lpuart_Uart_Ip_StartSendDataUsingInt/50 (224 (estimated locally),0.00 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01/61 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01/61 (4429 (estimated locally),0.02 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_01/60 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_SyncSend/32 (Lpuart_Uart_Ip_SyncSend) @06952d20 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: LPUART_Uart_CheckTimeout.constprop/186 (59380 (estimated locally),0.28 per call) LPUART_Uart_CheckTimeout.constprop/186 (505354 (estimated locally),2.35 per call) Lpuart_Uart_Ip_PutData/54 (57207 (estimated locally),0.27 per call) OsIf_GetCounter/56 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00/59 (4429 (estimated locally),0.02 per call) SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00/59 (4429 (estimated locally),0.02 per call) SchM_Enter_Uart_UART_EXCLUSIVE_AREA_00/58 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_Deinit/31 (Lpuart_Uart_Ip_Deinit) @06952a80 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (write) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: LPUART_Uart_CheckTimeout.constprop/186 (474262 (estimated locally),2.21 per call) OsIf_GetCounter/56 (53687 (estimated locally),0.25 per call) Lpuart_Uart_Ip_Init/30 (Lpuart_Uart_Ip_Init) @06952700 Type: function definition analyzed Visibility: externally_visible public References: Lpuart_Uart_Ip_apStateStructuresArray/27 (read)Lpuart_Uart_Ip_apBases/29 (read)Lpuart_Uart_Ip_apStateStructuresArray/27 (write)Lpuart_Uart_Ip_apUserConfig/28 (write) Referring: Availability: available Function flags: count:214748 (estimated locally) body optimize_size Called by: Calls: LPUART_Uart_SetStopBitCount/10 (3355 (estimated locally),0.02 per call) LPUART_Uart_SetParityMode/9 (3355 (estimated locally),0.02 per call) LPUART_Uart_SetBitCountPerChar/8 (1678 (estimated locally),0.01 per call) LPUART_Uart_SetBitCountPerChar/8 (1678 (estimated locally),0.01 per call) LPUART_Uart_SetBaudRateDivisor/3 (3355 (estimated locally),0.02 per call) LPUART_Uart_SetOversamplingRatio/5 (3355 (estimated locally),0.02 per call) Lpuart_Uart_Ip_apBases/29 (Lpuart_Uart_Ip_apBases) @0694e168 Type: variable definition analyzed Visibility: prevailing_def_ironly References: Referring: Lpuart_Uart_Ip_TxEmptyIrqHandler/47 (read)Lpuart_Uart_Ip_GetData/55 (read)Lpuart_Uart_Ip_Init/30 (read)Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53 (read)Lpuart_Uart_Ip_ErrIrqHandler/49 (read)Lpuart_Uart_Ip_Deinit/31 (read)Lpuart_Uart_Ip_SetBaudRate/41 (read)Lpuart_Uart_Ip_SyncSend/32 (read)Lpuart_Uart_Ip_PutData/54 (read)Lpuart_Uart_Ip_StartSendDataUsingInt/50 (read)Lpuart_Uart_Ip_AbortSendingData/35 (read)Lpuart_Uart_Ip_CompleteSendDataUsingInt/51 (read)Lpuart_Uart_Ip_SyncReceive/36 (read)Lpuart_Uart_Ip_AbortReceivingData/40 (read)Lpuart_Uart_Ip_StartReceiveDataUsingInt/52 (read)Lpuart_Uart_Ip_IRQHandler/45 (read) Availability: available Varpool flags: initialized read-only const-value-known Lpuart_Uart_Ip_apUserConfig/28 (Lpuart_Uart_Ip_apUserConfig) @0694e090 Type: variable definition analyzed Visibility: externally_visible public References: Referring: Lpuart_Uart_Ip_GetData/55 (read)Lpuart_Uart_Ip_TxCompleteIrqHandler/48 (read)Lpuart_Uart_Ip_RxIrqHandler/46 (read)Lpuart_Uart_Ip_Init/30 (write)Lpuart_Uart_Ip_AsyncSend/33 (read)Lpuart_Uart_Ip_PutData/54 (read)Lpuart_Uart_Ip_GetTransmitStatus/34 (read)Lpuart_Uart_Ip_AbortSendingData/35 (read)Lpuart_Uart_Ip_AsyncReceive/38 (read)Lpuart_Uart_Ip_GetReceiveStatus/39 (read)Lpuart_Uart_Ip_TxEmptyIrqHandler/47 (read)Lpuart_Uart_Ip_ErrIrqHandler/49 (read)Lpuart_Uart_Ip_AbortReceivingData/40 (read) Availability: available Varpool flags: Lpuart_Uart_Ip_apStateStructuresArray/27 (Lpuart_Uart_Ip_apStateStructuresArray) @0694e000 Type: variable definition analyzed Visibility: prevailing_def_ironly References: Referring: Lpuart_Uart_Ip_TxEmptyIrqHandler/47 (read)Lpuart_Uart_Ip_ErrIrqHandler/49 (read)Lpuart_Uart_Ip_RxIrqHandler/46 (read)Lpuart_Uart_Ip_Init/30 (read)Lpuart_Uart_Ip_StartGetData/37 (read)Lpuart_Uart_Ip_Init/30 (write)Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53 (read)Lpuart_Uart_Ip_Deinit/31 (write)Lpuart_Uart_Ip_StartSendDataUsingInt/50 (read)Lpuart_Uart_Ip_SyncSend/32 (read)Lpuart_Uart_Ip_AsyncSend/33 (read)Lpuart_Uart_Ip_SetRxBuffer/44 (read)Lpuart_Uart_Ip_GetTransmitStatus/34 (read)Lpuart_Uart_Ip_GetData/55 (read)Lpuart_Uart_Ip_PutData/54 (read)Lpuart_Uart_Ip_AbortSendingData/35 (read)Lpuart_Uart_Ip_CompleteSendDataUsingInt/51 (read)Lpuart_Uart_Ip_SyncReceive/36 (read)Lpuart_Uart_Ip_AsyncReceive/38 (read)Lpuart_Uart_Ip_TxCompleteIrqHandler/48 (read)Lpuart_Uart_Ip_GetReceiveStatus/39 (read)Lpuart_Uart_Ip_AbortReceivingData/40 (read)Lpuart_Uart_Ip_SetBaudRate/41 (read)Lpuart_Uart_Ip_GetBaudRate/42 (read)Lpuart_Uart_Ip_SetTxBuffer/43 (read)Lpuart_Uart_Ip_StartReceiveDataUsingInt/52 (read)Lpuart_Uart_Ip_Deinit/31 (read)Lpuart_Uart_Ip_IRQHandler/45 (read) Availability: available Varpool flags: Lpuart_Uart_Ip_apStateStructure/26 (Lpuart_Uart_Ip_apStateStructure) @069fcf30 Type: variable definition analyzed Visibility: externally_visible public References: Referring: Availability: available Varpool flags: LPUART_Uart_CheckTimeout/22 (LPUART_Uart_CheckTimeout) @069408c0 Type: function Body removed by symtab_remove_unreachable_nodes Visibility: prevailing_def_ironly References: Referring: Availability: not_available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: LPUART_Uart_ClearErrorFlags/21 (LPUART_Uart_ClearErrorFlags) @06940620 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/45 (32212 (estimated locally),0.15 per call) Lpuart_Uart_Ip_AbortReceivingData/40 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_StartReceiveDataUsingInt/52 (1073741824 (estimated locally),1.00 per call) Calls: LPUART_Uart_Getchar10/18 (LPUART_Uart_Getchar10) @0693be00 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/55 (418115066 (estimated locally),0.39 per call) Calls: LPUART_Uart_Getchar9/17 (LPUART_Uart_Getchar9) @0693bb60 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/55 (215392610 (estimated locally),0.20 per call) Calls: LPUART_Uart_Putchar10/15 (LPUART_Uart_Putchar10) @0693b620 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/54 (418115066 (estimated locally),0.39 per call) Calls: LPUART_Uart_Putchar9/14 (LPUART_Uart_Putchar9) @0693b380 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/54 (215392610 (estimated locally),0.20 per call) Calls: LPUART_Uart_SetStopBitCount/10 (LPUART_Uart_SetStopBitCount) @068cd8c0 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/30 (3355 (estimated locally),0.02 per call) Calls: LPUART_Uart_SetParityMode/9 (LPUART_Uart_SetParityMode) @068cd620 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/30 (3355 (estimated locally),0.02 per call) Calls: LPUART_Uart_SetBitCountPerChar/8 (LPUART_Uart_SetBitCountPerChar) @068cd380 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/30 (1678 (estimated locally),0.01 per call) Lpuart_Uart_Ip_Init/30 (1678 (estimated locally),0.01 per call) Calls: LPUART_Uart_SetOversamplingRatio/5 (LPUART_Uart_SetOversamplingRatio) @068cab60 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/41 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_Init/30 (3355 (estimated locally),0.02 per call) Calls: LPUART_Uart_SetBaudRateDivisor/3 (LPUART_Uart_SetBaudRateDivisor) @068ca540 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/41 (13422 (estimated locally),0.06 per call) Lpuart_Uart_Ip_Init/30 (3355 (estimated locally),0.02 per call) Calls: ;; Function Lpuart_Uart_Ip_CompleteSendDataUsingInt (Lpuart_Uart_Ip_CompleteSendDataUsingInt, funcdef_no=47, decl_uid=4575, cgraph_uid=48, symbol_order=51) Modification phase of node Lpuart_Uart_Ip_CompleteSendDataUsingInt/51 Lpuart_Uart_Ip_CompleteSendDataUsingInt (uint32 u32Instance) { struct LPUART_Type * pBase; struct Lpuart_Uart_Ip_StateStructureType * pUartState; _1; long unsigned int _9; long unsigned int _10; long unsigned int _11; long unsigned int _12; long unsigned int _13; long unsigned int _14; [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pBase_5 = Lpuart_Uart_Ip_apBases[u32Instance_4(D)]; # DEBUG pBase => pBase_5 # DEBUG BEGIN_STMT pUartState_6 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_4(D)]; # DEBUG pUartState => pUartState_6 # DEBUG BEGIN_STMT _1 ={v} pUartState_6->eTransmitStatus; if (_1 == 2) goto ; [34.00%] else goto ; [66.00%] [local count: 365072220]: # DEBUG BEGIN_STMT pUartState_6->eTransmitStatus ={v} 0; goto ; [100.00%] [local count: 708669605]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_5 # DEBUG intSrc => 23 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _9 ={v} pBase_5->CTRL; _10 = _9 & 4286578687; pBase_5->CTRL ={v} _10; [local count: 1073741824]: # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_5 # DEBUG intSrc => 22 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _13 ={v} pBase_5->CTRL; _14 = _13 & 4290772991; pBase_5->CTRL ={v} _14; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_5 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetTransmitterCmd # DEBUG BEGIN_STMT _11 ={v} pBase_5->CTRL; _12 = _11 & 4294443007; pBase_5->CTRL ={v} _12; # DEBUG pBase => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT pUartState_6->bIsTxBusy ={v} 0; return; } ;; Function Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (Lpuart_Uart_Ip_CompleteReceiveDataUsingInt, funcdef_no=49, decl_uid=4581, cgraph_uid=50, symbol_order=53) Modification phase of node Lpuart_Uart_Ip_CompleteReceiveDataUsingInt/53 Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (uint32 u32Instance) { struct Lpuart_Uart_Ip_StateStructureType * pUartState; struct LPUART_Type * pBase; _1; 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 _18; long unsigned int _19; long unsigned int _20; long unsigned int _21; [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pBase_5 = Lpuart_Uart_Ip_apBases[u32Instance_4(D)]; # DEBUG pBase => pBase_5 # DEBUG BEGIN_STMT pUartState_6 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_4(D)]; # DEBUG pUartState => pUartState_6 # DEBUG BEGIN_STMT # DEBUG pBase => pBase_5 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetReceiverCmd # DEBUG BEGIN_STMT _20 ={v} pBase_5->CTRL; _21 = _20 & 4294705151; pBase_5->CTRL ={v} _21; # DEBUG pBase => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_5 # DEBUG intSrc => 27 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _18 ={v} pBase_5->CTRL; _19 = _18 & 4160749567; pBase_5->CTRL ={v} _19; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_5 # DEBUG intSrc => 24 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _16 ={v} pBase_5->CTRL; _17 = _16 & 4278190079; pBase_5->CTRL ={v} _17; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_5 # DEBUG intSrc => 26 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _14 ={v} pBase_5->CTRL; _15 = _14 & 4227858431; pBase_5->CTRL ={v} _15; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_5 # DEBUG intSrc => 25 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _12 ={v} pBase_5->CTRL; _13 = _12 & 4261412863; pBase_5->CTRL ={v} _13; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_5 # DEBUG intSrc => 21 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _10 ={v} pBase_5->CTRL; _11 = _10 & 4292870143; pBase_5->CTRL ={v} _11; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_5 # DEBUG INLINE_ENTRY LPUART_Uart_Getchar # DEBUG BEGIN_STMT _9 ={v} MEM[(const struct LPUART_Type *)pBase_5].DATA; # DEBUG pBase => NULL # DEBUG BEGIN_STMT pUartState_6->bIsRxBusy ={v} 0; # DEBUG BEGIN_STMT _1 ={v} pUartState_6->eReceiveStatus; if (_1 == 2) goto ; [34.00%] else goto ; [66.00%] [local count: 365072220]: # DEBUG BEGIN_STMT pUartState_6->eReceiveStatus ={v} 0; [local count: 1073741824]: return; } ;; Function Lpuart_Uart_Ip_PutData (Lpuart_Uart_Ip_PutData, funcdef_no=50, decl_uid=4583, cgraph_uid=51, symbol_order=54) Modification phase of node Lpuart_Uart_Ip_PutData/54 Lpuart_Uart_Ip_PutData (uint32 u32Instance) { uint8 u8Data; uint16 u16Data; struct LPUART_Type * pBase; const struct Lpuart_Uart_Ip_UserConfigType * pUartUserCfg; struct Lpuart_Uart_Ip_StateStructureType * pUartState; _1; const uint8 * _2; const uint8 * _3; long unsigned int _4; long unsigned int _5; const uint8 * _6; unsigned char _7; long unsigned int _8; const uint8 * _9; long unsigned int _10; long unsigned int _11; const uint8 * _12; unsigned char _13; short unsigned int _14; short unsigned int _15; const uint8 * _16; long unsigned int _17; long unsigned int _18; [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pBase_24 = Lpuart_Uart_Ip_apBases[u32Instance_23(D)]; # DEBUG pBase => pBase_24 # DEBUG BEGIN_STMT pUartState_25 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_23(D)]; # DEBUG pUartState => pUartState_25 # DEBUG BEGIN_STMT pUartUserCfg_26 = Lpuart_Uart_Ip_apUserConfig[u32Instance_23(D)]; # DEBUG pUartUserCfg => pUartUserCfg_26 # DEBUG BEGIN_STMT _1 = pUartUserCfg_26->eBitCountPerChar; if (_1 <= 1) goto ; [41.00%] else goto ; [59.00%] [local count: 440234148]: # DEBUG BEGIN_STMT _2 = pUartState_25->pTxBuff; u8Data_36 = *_2; # DEBUG u8Data => u8Data_36 # DEBUG BEGIN_STMT _3 = _2 + 1; pUartState_25->pTxBuff = _3; # DEBUG BEGIN_STMT _4 ={v} pUartState_25->u32TxSize; _5 = _4 + 4294967295; pUartState_25->u32TxSize ={v} _5; # DEBUG BEGIN_STMT # DEBUG pBase => pBase_24 # DEBUG data => u8Data_36 # DEBUG INLINE_ENTRY LPUART_Uart_Putchar # DEBUG BEGIN_STMT # DEBUG D#1 => &pBase_24->DATA # DEBUG dataRegBytes => D#1 # DEBUG BEGIN_STMT MEM[(volatile uint8 *)pBase_24 + 28B] ={v} u8Data_36; goto ; [100.00%] [local count: 633507677]: # DEBUG BEGIN_STMT _6 = pUartState_25->pTxBuff; _7 = *_6; u16Data_27 = (uint16) _7; # DEBUG u16Data => u16Data_27 # DEBUG BEGIN_STMT _8 ={v} pUartState_25->u32TxSize; if (_8 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 215392610]: # DEBUG BEGIN_STMT _9 = _6 + 1; pUartState_25->pTxBuff = _9; # DEBUG BEGIN_STMT _10 ={v} pUartState_25->u32TxSize; _11 = _10 + 4294967295; pUartState_25->u32TxSize ={v} _11; goto ; [100.00%] [local count: 418115066]: # DEBUG BEGIN_STMT _12 = _6 + 1; pUartState_25->pTxBuff = _12; # DEBUG BEGIN_STMT _13 = *_12; _14 = (short unsigned int) _13; _15 = _14 << 8; u16Data_29 = _15 | u16Data_27; # DEBUG u16Data => u16Data_29 # DEBUG BEGIN_STMT _16 = _12 + 1; pUartState_25->pTxBuff = _16; # DEBUG BEGIN_STMT _17 ={v} pUartState_25->u32TxSize; _18 = _17 + 4294967294; pUartState_25->u32TxSize ={v} _18; [local count: 633507677]: # u16Data_19 = PHI # DEBUG u16Data => u16Data_19 # DEBUG BEGIN_STMT if (_1 == 2) goto ; [34.00%] else goto ; [66.00%] [local count: 215392610]: # DEBUG BEGIN_STMT LPUART_Uart_Putchar9 (pBase_24, u16Data_19); goto ; [100.00%] [local count: 418115066]: # DEBUG BEGIN_STMT LPUART_Uart_Putchar10 (pBase_24, u16Data_19); [local count: 1073741824]: # DEBUG pBase => NULL # DEBUG data => NULL return; } ;; Function Lpuart_Uart_Ip_GetData (Lpuart_Uart_Ip_GetData, funcdef_no=51, decl_uid=4585, cgraph_uid=52, symbol_order=55) Modification phase of node Lpuart_Uart_Ip_GetData/55 Lpuart_Uart_Ip_GetData (uint32 u32Instance) { uint16 u16Data; struct LPUART_Type * pBase; const struct Lpuart_Uart_Ip_UserConfigType * pUartUserCfg; struct Lpuart_Uart_Ip_StateStructureType * pUartState; _1; uint8 * _2; _3; uint8 * _4; unsigned char _5; unsigned char _6; uint8 * _7; uint8 * _8; long unsigned int _9; long unsigned int _10; long unsigned int _11; uint8 * _12; unsigned char _13; uint8 * _14; uint8 * _15; long unsigned int _16; long unsigned int _17; uint8 * _18; unsigned char _19; uint8 * _20; uint8 * _21; short unsigned int _22; unsigned char _23; uint8 * _24; uint8 * _25; long unsigned int _26; long unsigned int _27; long unsigned int _53; unsigned char _54; [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pBase_34 = Lpuart_Uart_Ip_apBases[u32Instance_33(D)]; # DEBUG pBase => pBase_34 # DEBUG BEGIN_STMT pUartState_35 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_33(D)]; # DEBUG pUartState => pUartState_35 # DEBUG BEGIN_STMT pUartUserCfg_36 = Lpuart_Uart_Ip_apUserConfig[u32Instance_33(D)]; # DEBUG pUartUserCfg => pUartUserCfg_36 # DEBUG BEGIN_STMT _1 = pUartUserCfg_36->eBitCountPerChar; if (_1 <= 1) goto ; [41.00%] else goto ; [59.00%] [local count: 440234148]: # DEBUG BEGIN_STMT _2 = pUartState_35->pRxBuff; # DEBUG pBase => pBase_34 # DEBUG INLINE_ENTRY LPUART_Uart_Getchar # DEBUG BEGIN_STMT _53 ={v} MEM[(const struct LPUART_Type *)pBase_34].DATA; _54 = (unsigned char) _53; # DEBUG pBase => NULL *_2 = _54; # DEBUG BEGIN_STMT _3 = pUartUserCfg_36->eBitCountPerChar; if (_3 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 220117074]: # DEBUG BEGIN_STMT _4 = pUartState_35->pRxBuff; _5 = *_4; _6 = _5 & 127; *_4 = _6; [local count: 440234148]: # DEBUG BEGIN_STMT _7 = pUartState_35->pRxBuff; _8 = _7 + 1; pUartState_35->pRxBuff = _8; # DEBUG BEGIN_STMT _9 ={v} pUartState_35->u32RxSize; _10 = _9 + 4294967295; pUartState_35->u32RxSize ={v} _10; goto ; [100.00%] [local count: 633507677]: # DEBUG BEGIN_STMT if (_1 == 2) goto ; [34.00%] else goto ; [66.00%] [local count: 215392610]: # DEBUG BEGIN_STMT u16Data_40 = LPUART_Uart_Getchar9 (pBase_34); # DEBUG u16Data => u16Data_40 goto ; [100.00%] [local count: 418115066]: # DEBUG BEGIN_STMT u16Data_38 = LPUART_Uart_Getchar10 (pBase_34); # DEBUG u16Data => u16Data_38 [local count: 633507677]: # u16Data_28 = PHI # DEBUG u16Data => u16Data_28 # DEBUG BEGIN_STMT _11 ={v} pUartState_35->u32RxSize; if (_11 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 215392610]: # DEBUG BEGIN_STMT _12 = pUartState_35->pRxBuff; _13 = (unsigned char) u16Data_28; *_12 = _13; # DEBUG BEGIN_STMT _14 = pUartState_35->pRxBuff; _15 = _14 + 1; pUartState_35->pRxBuff = _15; # DEBUG BEGIN_STMT _16 ={v} pUartState_35->u32RxSize; _17 = _16 + 4294967295; pUartState_35->u32RxSize ={v} _17; goto ; [100.00%] [local count: 418115066]: # DEBUG BEGIN_STMT _18 = pUartState_35->pRxBuff; _19 = (unsigned char) u16Data_28; *_18 = _19; # DEBUG BEGIN_STMT _20 = pUartState_35->pRxBuff; _21 = _20 + 1; pUartState_35->pRxBuff = _21; # DEBUG BEGIN_STMT _22 = u16Data_28 >> 8; _23 = (unsigned char) _22; *_21 = _23; # DEBUG BEGIN_STMT _24 = pUartState_35->pRxBuff; _25 = _24 + 1; pUartState_35->pRxBuff = _25; # DEBUG BEGIN_STMT _26 ={v} pUartState_35->u32RxSize; _27 = _26 + 4294967294; pUartState_35->u32RxSize ={v} _27; [local count: 1073741824]: return; } ;; Function LPUART_Uart_CheckTimeout.constprop (LPUART_Uart_CheckTimeout.constprop.0, funcdef_no=53, decl_uid=5509, cgraph_uid=183, symbol_order=186) Modification phase of node LPUART_Uart_CheckTimeout.constprop/186 LPUART_Uart_CheckTimeout.constprop (uint32 startTime) { uint32 timeoutTicks; uint32 currentTime; boolean retVal; uint32 timeoutUs; long unsigned int _4; long unsigned int _6; long unsigned int _7; [local count: 1073741824]: # DEBUG timeoutUs => 0 [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT timeoutTicks_1 = OsIf_MicrosToTicks (0, 0); # DEBUG timeoutTicks => timeoutTicks_1 # DEBUG BEGIN_STMT currentTime_2 = OsIf_GetCounter (0); # DEBUG currentTime => currentTime_2 # DEBUG BEGIN_STMT if (currentTime_2 <= startTime_3(D)) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: # DEBUG BEGIN_STMT _4 = startTime_3(D) - currentTime_2; retVal_5 = timeoutTicks_1 < _4; # DEBUG retVal => retVal_5 goto ; [100.00%] [local count: 536870913]: # DEBUG BEGIN_STMT _6 = startTime_3(D) - currentTime_2; _7 = _6 + 16777215; retVal_8 = timeoutTicks_1 < _7; # DEBUG retVal => retVal_8 [local count: 1073741824]: # retVal_9 = PHI # DEBUG retVal => retVal_9 # DEBUG BEGIN_STMT return retVal_9; } ;; Function Lpuart_Uart_Ip_Init (Lpuart_Uart_Ip_Init, funcdef_no=26, decl_uid=4516, cgraph_uid=27, symbol_order=30) Modification phase of node Lpuart_Uart_Ip_Init/30 Lpuart_Uart_Ip_Init (uint32 u32Instance, const struct Lpuart_Uart_Ip_UserConfigType * pUserConfig) { volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; uint32 u32Index; struct LPUART_Type * pBase; _Bool _1; _Bool _2; struct Lpuart_Uart_Ip_StateStructureType * _3; _Bool _4; unsigned char _5; _Bool _6; long unsigned int _7; long unsigned int _8; _Bool _9; struct Lpuart_Uart_Ip_StateStructureType * _10; _11; _12; _Bool _13; uint8 * _14; unsigned char _15; unsigned int _16; unsigned int _17; long unsigned int _18; _19; _20; _21; _22; _23; long unsigned int _24; int iftmp.0_26; _Bool x.1_47; _Bool x.1_48; _Bool x.1_49; _Bool x.1_50; _Bool x.1_51; _Bool x.1_52; long unsigned int _53; long unsigned int _54; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_30(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_51 ={v} x; if (x.1_51 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _2 = pUserConfig_32(D) != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_50 ={v} x; if (x.1_50 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_30(D)]; _4 = _3 == 0B; x ={v} _4; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_49 ={v} x; if (x.1_49 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _5 = pUserConfig_32(D)->u8BaudOverSamplingRatio; _6 = _5 <= 32; x ={v} _6; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_48 ={v} x; if (x.1_48 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 13422]: [local count: 134217728]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 134217728]: goto ; [100.00%] [local count: 13422]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _7 = pUserConfig_32(D)->u32BaudRateDivisor; _8 = _7 + 4294967295; _9 = _8 <= 8190; x ={v} _9; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_47 ={v} x; if (x.1_47 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 6711]: [local count: 67108864]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 67108864]: goto ; [100.00%] [local count: 6711]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT pBase_33 = Lpuart_Uart_Ip_apBases[u32Instance_30(D)]; # DEBUG pBase => pBase_33 # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT _10 = pUserConfig_32(D)->pStateStruct; Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_30(D)] = _10; # DEBUG BEGIN_STMT # DEBUG pUartStatePtr => _10 # DEBUG BEGIN_STMT Lpuart_Uart_Ip_apUserConfig[u32Instance_30(D)] = pUserConfig_32(D); # DEBUG BEGIN_STMT _11 = pUserConfig_32(D)->eBitCountPerChar; if (_11 != 3) goto ; [66.00%] else goto ; [34.00%] [local count: 2282]: _12 = pUserConfig_32(D)->eParityMode; if (_12 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 1141]: [local count: 6711]: # iftmp.0_26 = PHI <1(13), 0(14), 1(12)> _13 = (_Bool) iftmp.0_26; x ={v} _13; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_52 ={v} x; if (x.1_52 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 3355]: goto ; [100.00%] [local count: 3355]: goto ; [100.00%] [local count: 33554432]: [local count: 33554432]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT goto ; [100.00%] [local count: 80531]: # DEBUG BEGIN_STMT _14 = _10 + u32Index_25; *_14 = 0; # DEBUG BEGIN_STMT u32Index_46 = u32Index_25 + 1; # DEBUG u32Index => u32Index_46 [local count: 83886]: # u32Index_25 = PHI # DEBUG x => NULL # DEBUG pClearStructPtr => NULL # DEBUG u32Index => u32Index_25 # DEBUG BEGIN_STMT if (u32Index_25 != 24) goto ; [96.00%] else goto ; [4.00%] [local count: 3355]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_33 # DEBUG INLINE_ENTRY LPUART_Uart_Init # DEBUG BEGIN_STMT pBase_33->BAUD ={v} 251658244; # DEBUG BEGIN_STMT pBase_33->STAT ={v} 3223306240; # DEBUG BEGIN_STMT pBase_33->CTRL ={v} 0; # DEBUG pBase => NULL # DEBUG BEGIN_STMT _15 = pUserConfig_32(D)->u8BaudOverSamplingRatio; if (_15 <= 7) goto ; [50.00%] else goto ; [50.00%] [local count: 1678]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_33 # DEBUG INLINE_ENTRY LPUART_Uart_EnableBothEdgeSamplingCmd # DEBUG BEGIN_STMT _53 ={v} pBase_33->BAUD; _54 = _53 | 131072; pBase_33->BAUD ={v} _54; [local count: 3355]: # DEBUG pBase => NULL # DEBUG BEGIN_STMT _16 = (unsigned int) _15; _17 = _16 + 4294967295; LPUART_Uart_SetOversamplingRatio (pBase_33, _17); # DEBUG BEGIN_STMT _18 = pUserConfig_32(D)->u32BaudRateDivisor; LPUART_Uart_SetBaudRateDivisor (pBase_33, _18); # DEBUG BEGIN_STMT _19 = pUserConfig_32(D)->eParityMode; if (_19 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 1678]: # DEBUG BEGIN_STMT _20 = pUserConfig_32(D)->eBitCountPerChar; LPUART_Uart_SetBitCountPerChar (pBase_33, _20, 1); goto ; [100.00%] [local count: 1678]: # DEBUG BEGIN_STMT _21 = pUserConfig_32(D)->eBitCountPerChar; LPUART_Uart_SetBitCountPerChar (pBase_33, _21, 0); [local count: 3355]: # DEBUG BEGIN_STMT _22 = pUserConfig_32(D)->eParityMode; LPUART_Uart_SetParityMode (pBase_33, _22); # DEBUG BEGIN_STMT _23 = pUserConfig_32(D)->eStopBitsCount; LPUART_Uart_SetStopBitCount (pBase_33, _23); # DEBUG BEGIN_STMT _10->eTransmitStatus ={v} 0; # DEBUG BEGIN_STMT _10->eReceiveStatus ={v} 0; # DEBUG BEGIN_STMT _24 = pUserConfig_32(D)->u32BaudRate; _10->u32BaudRate = _24; return; } ;; Function Lpuart_Uart_Ip_Deinit (Lpuart_Uart_Ip_Deinit, funcdef_no=27, decl_uid=4518, cgraph_uid=28, symbol_order=31) Modification phase of node Lpuart_Uart_Ip_Deinit/31 Lpuart_Uart_Ip_Deinit (uint32 u32Instance) { boolean retVal; volatile boolean x; volatile boolean x; struct LPUART_Type * pBase; uint32 u32StartTime; _Bool _1; struct Lpuart_Uart_Ip_StateStructureType * _2; _Bool _3; _Bool _4; _Bool x.1_14; _Bool x.1_15; long unsigned int _16; long unsigned int _17; 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; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_7(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_15 ={v} x; if (x.1_15 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pBase_9 = Lpuart_Uart_Ip_apBases[u32Instance_7(D)]; # DEBUG pBase => pBase_9 # DEBUG BEGIN_STMT _2 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_7(D)]; _3 = _2 != 0B; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_14 ={v} x; if (x.1_14 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT u32StartTime_11 = OsIf_GetCounter (0); # DEBUG u32StartTime => u32StartTime_11 # DEBUG BEGIN_STMT [local count: 501865]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG eStatusFlag => 22 # DEBUG INLINE_ENTRY LPUART_Uart_GetStatusFlag # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT _16 ={v} MEM[(const struct LPUART_Type *)pBase_9].STAT; _17 = _16 >> 22; retVal_18 = (boolean) _17; # DEBUG retVal => retVal_18 # DEBUG BEGIN_STMT # DEBUG pBase => NULL # DEBUG eStatusFlag => NULL # DEBUG retVal => NULL if (retVal_18 != 0) goto ; [5.50%] else goto ; [94.50%] [local count: 474262]: _4 = LPUART_Uart_CheckTimeout (u32StartTime_11, 0); if (_4 != 0) goto ; [5.50%] else goto ; [94.50%] [local count: 448178]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG intSrc => 23 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _31 ={v} pBase_9->CTRL; _32 = _31 & 4286578687; pBase_9->CTRL ={v} _32; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG intSrc => 22 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _29 ={v} pBase_9->CTRL; _30 = _29 & 4290772991; pBase_9->CTRL ={v} _30; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG intSrc => 21 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _27 ={v} pBase_9->CTRL; _28 = _27 & 4292870143; pBase_9->CTRL ={v} _28; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG intSrc => 27 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _25 ={v} pBase_9->CTRL; _26 = _25 & 4160749567; pBase_9->CTRL ={v} _26; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG intSrc => 24 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _23 ={v} pBase_9->CTRL; _24 = _23 & 4278190079; pBase_9->CTRL ={v} _24; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG intSrc => 26 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _21 ={v} pBase_9->CTRL; _22 = _21 & 4227858431; pBase_9->CTRL ={v} _22; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG intSrc => 25 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _19 ={v} pBase_9->CTRL; _20 = _19 & 4261412863; pBase_9->CTRL ={v} _20; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_7(D)] = 0B; return; } ;; Function Lpuart_Uart_Ip_SyncSend (Lpuart_Uart_Ip_SyncSend, funcdef_no=28, decl_uid=4522, cgraph_uid=29, symbol_order=32) Modification phase of node Lpuart_Uart_Ip_SyncSend/32 Lpuart_Uart_Ip_SyncSend (uint32 u32Instance, const uint8 * pTxBuff, uint32 u32TxSize) { boolean retVal; volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; Lpuart_Uart_Ip_StatusType retVal; boolean bIsReturn; uint32 u32StartTime; struct Lpuart_Uart_Ip_StateStructureType * pUartState; struct LPUART_Type * pBase; _Bool _1; _Bool _2; _Bool _3; _Bool _4; _Bool _5; _Bool _6; long unsigned int _7; _Bool _8; long unsigned int _9; _Bool x.1_41; _Bool x.1_42; _Bool x.1_43; _Bool x.1_44; long unsigned int _45; long unsigned int _46; long unsigned int _47; long unsigned int _48; long unsigned int _49; long unsigned int _50; long unsigned int _51; long unsigned int _53; long unsigned int _54; long unsigned int _56; long unsigned int _57; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_19(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_44 ={v} x; if (x.1_44 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _2 = pTxBuff_21(D) != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_43 ={v} x; if (x.1_43 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = u32TxSize_22(D) != 0; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_42 ={v} x; if (x.1_42 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG bIsReturn => 0 # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT pBase_23 = Lpuart_Uart_Ip_apBases[u32Instance_19(D)]; # DEBUG pBase => pBase_23 # DEBUG BEGIN_STMT pUartState_24 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_19(D)]; # DEBUG pUartState => pUartState_24 # DEBUG BEGIN_STMT _4 = pUartState_24 != 0B; x ={v} _4; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_41 ={v} x; if (x.1_41 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 13422]: [local count: 134217728]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 134217728]: goto ; [100.00%] [local count: 13422]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT SchM_Enter_Uart_UART_EXCLUSIVE_AREA_00 (); # DEBUG BEGIN_STMT _5 ={v} pUartState_24->bIsTxBusy; if (_5 != 0) goto ; [33.00%] else goto ; [67.00%] [local count: 4429]: # DEBUG BEGIN_STMT SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00 (); # DEBUG BEGIN_STMT # DEBUG retVal => 2 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 1 [local count: 13422]: # bIsReturn_10 = PHI <0(10), 1(11)> # retVal_11 = PHI <0(10), 2(11)> # DEBUG retVal => retVal_11 # DEBUG bIsReturn => bIsReturn_10 # DEBUG BEGIN_STMT if (bIsReturn_10 != 0) goto ; [67.00%] else goto ; [33.00%] [local count: 4429]: # DEBUG BEGIN_STMT pUartState_24->bIsTxBusy ={v} 1; # DEBUG BEGIN_STMT SchM_Exit_Uart_UART_EXCLUSIVE_AREA_00 (); # DEBUG BEGIN_STMT pUartState_24->pTxBuff = pTxBuff_21(D); # DEBUG BEGIN_STMT pUartState_24->u32TxSize ={v} u32TxSize_22(D); # DEBUG BEGIN_STMT pUartState_24->eTransmitStatus ={v} 2; # DEBUG BEGIN_STMT # DEBUG pBase => pBase_23 # DEBUG intSrc => 23 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _50 ={v} pBase_23->CTRL; _51 = _50 & 4286578687; pBase_23->CTRL ={v} _51; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_23 # DEBUG intSrc => 22 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _48 ={v} pBase_23->CTRL; _49 = _48 & 4290772991; pBase_23->CTRL ={v} _49; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_23 # DEBUG enable => 1 # DEBUG INLINE_ENTRY LPUART_Uart_SetTransmitterCmd # DEBUG BEGIN_STMT _45 ={v} pBase_23->CTRL; _46 = _45 & 4294443007; _47 = _46 | 524288; pBase_23->CTRL ={v} _47; # DEBUG pBase => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT u32StartTime_33 = OsIf_GetCounter (0); # DEBUG u32StartTime => u32StartTime_33 # DEBUG BEGIN_STMT goto ; [100.00%] [local count: 57207]: # DEBUG BEGIN_STMT Lpuart_Uart_Ip_PutData (u32Instance_19(D)); # DEBUG BEGIN_STMT [local count: 534766]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG pBase => pBase_23 # DEBUG eStatusFlag => 23 # DEBUG INLINE_ENTRY LPUART_Uart_GetStatusFlag # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT _53 ={v} MEM[(const struct LPUART_Type *)pBase_23].STAT; _54 = _53 >> 23; retVal_55 = (boolean) _54; # DEBUG retVal => retVal_55 # DEBUG BEGIN_STMT # DEBUG pBase => NULL # DEBUG eStatusFlag => NULL # DEBUG retVal => NULL if (retVal_55 != 0) goto ; [5.50%] else goto ; [94.50%] [local count: 29412]: goto ; [100.00%] [local count: 505354]: _6 = LPUART_Uart_CheckTimeout (u32StartTime_33, 0); if (_6 != 0) goto ; [5.50%] else goto ; [94.50%] [local count: 477560]: goto ; [100.00%] [local count: 27794]: [local count: 32224]: [local count: 61636]: # DEBUG BEGIN_STMT _7 ={v} pUartState_24->u32TxSize; if (_7 != 0) goto ; [96.34%] else goto ; [3.66%] [local count: 59380]: _8 = LPUART_Uart_CheckTimeout (u32StartTime_33, 0); if (_8 != 0) goto ; [3.66%] else goto ; [96.34%] [local count: 4429]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_23 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetTransmitterCmd # DEBUG BEGIN_STMT _56 ={v} pBase_23->CTRL; _57 = _56 & 4294443007; pBase_23->CTRL ={v} _57; # DEBUG pBase => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT _9 ={v} pUartState_24->u32TxSize; if (_9 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 2215]: # DEBUG BEGIN_STMT pUartState_24->eTransmitStatus ={v} 3; goto ; [100.00%] [local count: 2215]: # DEBUG BEGIN_STMT pUartState_24->eTransmitStatus ={v} 0; [local count: 4429]: # DEBUG BEGIN_STMT pUartState_24->bIsTxBusy ={v} 0; # DEBUG BEGIN_STMT retVal_40 ={v} pUartState_24->eTransmitStatus; # DEBUG retVal => retVal_40 [local count: 13422]: # retVal_12 = PHI # DEBUG retVal => retVal_12 # DEBUG BEGIN_STMT return retVal_12; } ;; Function Lpuart_Uart_Ip_AsyncSend (Lpuart_Uart_Ip_AsyncSend, funcdef_no=29, decl_uid=4526, cgraph_uid=30, symbol_order=33) Modification phase of node Lpuart_Uart_Ip_AsyncSend/33 Lpuart_Uart_Ip_AsyncSend (uint32 u32Instance, const uint8 * pTxBuff, uint32 u32TxSize) { volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; boolean bIsReturn; Lpuart_Uart_Ip_StatusType retVal; struct Lpuart_Uart_Ip_StateStructureType * pUartState; const struct Lpuart_Uart_Ip_UserConfigType * pUartUserCfg; _Bool _1; _Bool _2; _Bool _3; _Bool _4; _Bool _5; _Bool _6; _7; _Bool _8; _Bool x.1_26; _Bool x.1_27; _Bool x.1_28; _Bool x.1_29; _Bool x.1_30; _Bool x.1_31; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_14(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_29 ={v} x; if (x.1_29 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _2 = pTxBuff_16(D) != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_28 ={v} x; if (x.1_28 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = u32TxSize_17(D) != 0; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_27 ={v} x; if (x.1_27 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT pUartUserCfg_18 = Lpuart_Uart_Ip_apUserConfig[u32Instance_14(D)]; # DEBUG pUartUserCfg => pUartUserCfg_18 # DEBUG BEGIN_STMT pUartState_19 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_14(D)]; # DEBUG pUartState => pUartState_19 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 0 # DEBUG BEGIN_STMT _4 = pUartState_19 != 0B; x ={v} _4; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_26 ={v} x; if (x.1_26 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 13422]: [local count: 134217728]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 134217728]: goto ; [100.00%] [local count: 13422]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT SchM_Enter_Uart_UART_EXCLUSIVE_AREA_01 (); # DEBUG BEGIN_STMT _5 ={v} pUartState_19->bIsTxBusy; if (_5 != 0) goto ; [33.00%] else goto ; [67.00%] [local count: 4429]: # DEBUG BEGIN_STMT SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01 (); # DEBUG BEGIN_STMT # DEBUG retVal => 2 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 1 [local count: 13422]: # retVal_9 = PHI <0(10), 2(11)> # bIsReturn_11 = PHI <0(10), 1(11)> # DEBUG bIsReturn => bIsReturn_11 # DEBUG retVal => retVal_9 # DEBUG BEGIN_STMT if (bIsReturn_11 != 0) goto ; [67.00%] else goto ; [33.00%] [local count: 4429]: # DEBUG BEGIN_STMT pUartState_19->bIsTxBusy ={v} 1; # DEBUG BEGIN_STMT SchM_Exit_Uart_UART_EXCLUSIVE_AREA_01 (); # DEBUG BEGIN_STMT _6 = pUartUserCfg_18 != 0B; x ={v} _6; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_31 ={v} x; if (x.1_31 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 2215]: [local count: 22145925]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 22145925]: goto ; [100.00%] [local count: 2215]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _7 = pUartUserCfg_18->eTransferType; _8 = _7 <= 1; x ={v} _8; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_30 ={v} x; if (x.1_30 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 1107]: [local count: 11072963]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 11072963]: goto ; [100.00%] [local count: 1107]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT if (_7 == 1) goto ; [20.24%] else goto ; [79.76%] [local count: 224]: # DEBUG BEGIN_STMT retVal_25 = Lpuart_Uart_Ip_StartSendDataUsingInt (u32Instance_14(D), pTxBuff_16(D), u32TxSize_17(D)); # DEBUG retVal => retVal_25 [local count: 10100]: # retVal_10 = PHI # DEBUG retVal => retVal_10 # DEBUG BEGIN_STMT return retVal_10; } ;; Function Lpuart_Uart_Ip_GetTransmitStatus (Lpuart_Uart_Ip_GetTransmitStatus, funcdef_no=30, decl_uid=4529, cgraph_uid=31, symbol_order=34) Modification phase of node Lpuart_Uart_Ip_GetTransmitStatus/34 Lpuart_Uart_Ip_GetTransmitStatus (uint32 u32Instance, uint32 * pBytesRemaining) { volatile boolean x; volatile boolean x; volatile boolean x; const struct Lpuart_Uart_Ip_UserConfigType * pUartUserCfg; struct Lpuart_Uart_Ip_StateStructureType * pUartState; _Bool _1; _Bool _2; _Bool _3; _Bool _4; _5; long unsigned int _6; Lpuart_Uart_Ip_StatusType _15; _Bool x.1_16; _Bool x.1_17; _Bool x.1_18; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_8(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_18 ={v} x; if (x.1_18 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pUartState_10 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_8(D)]; # DEBUG pUartState => pUartState_10 # DEBUG BEGIN_STMT pUartUserCfg_11 = Lpuart_Uart_Ip_apUserConfig[u32Instance_8(D)]; # DEBUG pUartUserCfg => pUartUserCfg_11 # DEBUG BEGIN_STMT _2 = pUartState_10 != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_17 ={v} x; if (x.1_17 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = pUartUserCfg_11 != 0B; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_16 ={v} x; if (x.1_16 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT if (pBytesRemaining_12(D) != 0B) goto ; [70.00%] else goto ; [30.00%] [local count: 18790]: # DEBUG BEGIN_STMT _4 ={v} pUartState_10->bIsTxBusy; if (_4 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 9395]: # DEBUG BEGIN_STMT _5 = pUartUserCfg_11->eTransferType; if (_5 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 3194]: # DEBUG BEGIN_STMT _6 ={v} pUartState_10->u32TxSize; *pBytesRemaining_12(D) = _6; goto ; [100.00%] [local count: 9395]: # DEBUG BEGIN_STMT *pBytesRemaining_12(D) = 0; [local count: 26844]: # DEBUG BEGIN_STMT _15 ={v} pUartState_10->eTransmitStatus; return _15; } ;; Function Lpuart_Uart_Ip_AbortSendingData (Lpuart_Uart_Ip_AbortSendingData, funcdef_no=31, decl_uid=4531, cgraph_uid=32, symbol_order=35) Modification phase of node Lpuart_Uart_Ip_AbortSendingData/35 Lpuart_Uart_Ip_AbortSendingData (uint32 u32Instance) { volatile boolean x; volatile boolean x; volatile boolean x; struct LPUART_Type * pBase; const struct Lpuart_Uart_Ip_UserConfigType * pUartUserCfg; struct Lpuart_Uart_Ip_StateStructureType * pUartState; _Bool _1; _Bool _2; _Bool _3; _Bool _4; _5; _Bool x.1_15; _Bool x.1_16; _Bool x.1_17; long unsigned int _18; long unsigned int _19; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_8(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_17 ={v} x; if (x.1_17 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pBase_10 = Lpuart_Uart_Ip_apBases[u32Instance_8(D)]; # DEBUG pBase => pBase_10 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 0 # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT pUartState_11 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_8(D)]; # DEBUG pUartState => pUartState_11 # DEBUG BEGIN_STMT pUartUserCfg_12 = Lpuart_Uart_Ip_apUserConfig[u32Instance_8(D)]; # DEBUG pUartUserCfg => pUartUserCfg_12 # DEBUG BEGIN_STMT _2 = pUartState_11 != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_16 ={v} x; if (x.1_16 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = pUartUserCfg_12 != 0B; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_15 ={v} x; if (x.1_15 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _4 ={v} pUartState_11->bIsTxBusy; if (_4 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 13422]: # DEBUG retVal => 0 # DEBUG bIsReturn => 0 # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pUartState_11->eTransmitStatus ={v} 6; # DEBUG BEGIN_STMT _5 = pUartUserCfg_12->eTransferType; if (_5 == 1) goto ; [20.24%] else goto ; [79.76%] [local count: 2717]: # DEBUG BEGIN_STMT Lpuart_Uart_Ip_CompleteSendDataUsingInt (u32Instance_8(D)); [local count: 13422]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_10 # DEBUG INLINE_ENTRY LPUART_Uart_FlushTxBuffer # DEBUG BEGIN_STMT _18 ={v} pBase_10->FIFO; _19 = _18 | 32768; pBase_10->FIFO ={v} _19; # DEBUG pBase => NULL # DEBUG BEGIN_STMT # DEBUG retVal => 0 [local count: 26844]: # DEBUG bIsReturn => NULL # DEBUG retVal => 0 # DEBUG BEGIN_STMT return 0; } ;; Function Lpuart_Uart_Ip_SyncReceive (Lpuart_Uart_Ip_SyncReceive, funcdef_no=32, decl_uid=4535, cgraph_uid=33, symbol_order=36) Modification phase of node Lpuart_Uart_Ip_SyncReceive/36 Lpuart_Uart_Ip_SyncReceive (uint32 u32Instance, uint8 * pRxBuff, uint32 u32RxSize) { volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; Lpuart_Uart_Ip_StatusType retVal; boolean bIsReturn; uint32 u32TimeoutTicks; uint32 u32ElapsedTime; uint32 u32StartTime; struct Lpuart_Uart_Ip_StateStructureType * pUartState; struct LPUART_Type * pBase; _Bool _1; _Bool _2; _Bool _3; _Bool _4; _Bool _5; long unsigned int _6; _7; long unsigned int _8; _9; _Bool x.1_44; _Bool x.1_45; _Bool x.1_46; _Bool x.1_47; long unsigned int _48; long unsigned int _49; long unsigned int _50; long unsigned int _51; long unsigned int _52; long unsigned int _53; long unsigned int _54; long unsigned int _55; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_18(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_47 ={v} x; if (x.1_47 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _2 = pRxBuff_20(D) != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_46 ={v} x; if (x.1_46 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = u32RxSize_21(D) != 0; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_45 ={v} x; if (x.1_45 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT pBase_22 = Lpuart_Uart_Ip_apBases[u32Instance_18(D)]; # DEBUG pBase => pBase_22 # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG bIsReturn => 0 # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT pUartState_23 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_18(D)]; # DEBUG pUartState => pUartState_23 # DEBUG BEGIN_STMT _4 = pUartState_23 != 0B; x ={v} _4; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_44 ={v} x; if (x.1_44 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 13422]: [local count: 134217728]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 134217728]: goto ; [100.00%] [local count: 13422]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT SchM_Enter_Uart_UART_EXCLUSIVE_AREA_02 (); # DEBUG BEGIN_STMT _5 ={v} pUartState_23->bIsRxBusy; if (_5 != 0) goto ; [33.00%] else goto ; [67.00%] [local count: 4429]: # DEBUG BEGIN_STMT SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02 (); # DEBUG BEGIN_STMT # DEBUG retVal => 2 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 1 [local count: 13422]: # bIsReturn_10 = PHI <0(10), 1(11)> # retVal_11 = PHI <0(10), 2(11)> # DEBUG retVal => retVal_11 # DEBUG bIsReturn => bIsReturn_10 # DEBUG BEGIN_STMT if (bIsReturn_10 != 0) goto ; [67.00%] else goto ; [33.00%] [local count: 4429]: # DEBUG BEGIN_STMT pUartState_23->bIsRxBusy ={v} 1; # DEBUG BEGIN_STMT SchM_Exit_Uart_UART_EXCLUSIVE_AREA_02 (); # DEBUG BEGIN_STMT pUartState_23->pRxBuff = pRxBuff_20(D); # DEBUG BEGIN_STMT pUartState_23->u32RxSize ={v} u32RxSize_21(D); # DEBUG BEGIN_STMT pUartState_23->eReceiveStatus ={v} 2; # DEBUG BEGIN_STMT # DEBUG pBase => pBase_22 # DEBUG intSrc => 21 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetIntMode # DEBUG BEGIN_STMT _51 ={v} pBase_22->CTRL; _52 = _51 & 4292870143; pBase_22->CTRL ={v} _52; # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT # DEBUG pBase => pBase_22 # DEBUG enable => 1 # DEBUG INLINE_ENTRY LPUART_Uart_SetReceiverCmd # DEBUG BEGIN_STMT _48 ={v} pBase_22->CTRL; _49 = _48 & 4294705151; _50 = _49 | 262144; pBase_22->CTRL ={v} _50; # DEBUG pBase => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT _6 = OsIf_GetCounter (0); u32StartTime = _6; # DEBUG BEGIN_STMT Lpuart_Uart_Ip_StartGetData (pBase_22, u32Instance_18(D), _6); # DEBUG BEGIN_STMT u32ElapsedTime_35 = OsIf_GetElapsed (&u32StartTime, 0); # DEBUG u32ElapsedTime => u32ElapsedTime_35 # DEBUG BEGIN_STMT u32TimeoutTicks_37 = OsIf_MicrosToTicks (0, 0); # DEBUG u32TimeoutTicks => u32TimeoutTicks_37 # DEBUG BEGIN_STMT if (u32ElapsedTime_35 >= u32TimeoutTicks_37) goto ; [50.00%] else goto ; [50.00%] [local count: 2215]: # DEBUG BEGIN_STMT pUartState_23->eReceiveStatus ={v} 3; [local count: 4429]: # DEBUG BEGIN_STMT _7 ={v} pUartState_23->eReceiveStatus; if (_7 == 2) goto ; [34.00%] else goto ; [66.00%] [local count: 1506]: # DEBUG BEGIN_STMT pUartState_23->eReceiveStatus ={v} 0; [local count: 4429]: # DEBUG BEGIN_STMT _8 ={v} pUartState_23->u32RxSize; if (_8 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 2215]: _9 ={v} pUartState_23->eReceiveStatus; if (_9 == 5) goto ; [34.00%] else goto ; [66.00%] [local count: 753]: # DEBUG BEGIN_STMT pUartState_23->eReceiveStatus ={v} 0; [local count: 4429]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_22 # DEBUG enable => 0 # DEBUG INLINE_ENTRY LPUART_Uart_SetReceiverCmd # DEBUG BEGIN_STMT _54 ={v} pBase_22->CTRL; _55 = _54 & 4294705151; pBase_22->CTRL ={v} _55; # DEBUG pBase => NULL # DEBUG enable => NULL # DEBUG BEGIN_STMT pUartState_23->bIsRxBusy ={v} 0; # DEBUG BEGIN_STMT # DEBUG pBase => pBase_22 # DEBUG INLINE_ENTRY LPUART_Uart_Getchar # DEBUG BEGIN_STMT _53 ={v} MEM[(const struct LPUART_Type *)pBase_22].DATA; # DEBUG pBase => NULL # DEBUG BEGIN_STMT retVal_42 ={v} pUartState_23->eReceiveStatus; # DEBUG retVal => retVal_42 [local count: 13422]: # retVal_12 = PHI # DEBUG retVal => retVal_12 # DEBUG BEGIN_STMT u32StartTime ={v} {CLOBBER}; return retVal_12; } ;; Function Lpuart_Uart_Ip_AsyncReceive (Lpuart_Uart_Ip_AsyncReceive, funcdef_no=34, decl_uid=4539, cgraph_uid=35, symbol_order=38) Modification phase of node Lpuart_Uart_Ip_AsyncReceive/38 Lpuart_Uart_Ip_AsyncReceive (uint32 u32Instance, uint8 * pRxBuff, uint32 u32RxSize) { volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; volatile boolean x; boolean bIsReturn; Lpuart_Uart_Ip_StatusType retVal; struct Lpuart_Uart_Ip_StateStructureType * pUartState; const struct Lpuart_Uart_Ip_UserConfigType * pUartUserCfg; _Bool _1; _Bool _2; _Bool _3; _Bool _4; _Bool _5; _Bool _6; _7; _Bool _8; _Bool x.1_26; _Bool x.1_27; _Bool x.1_28; _Bool x.1_29; _Bool x.1_30; _Bool x.1_31; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_14(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_29 ={v} x; if (x.1_29 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _2 = pRxBuff_16(D) != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_28 ={v} x; if (x.1_28 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = u32RxSize_17(D) != 0; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_27 ={v} x; if (x.1_27 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT pUartUserCfg_18 = Lpuart_Uart_Ip_apUserConfig[u32Instance_14(D)]; # DEBUG pUartUserCfg => pUartUserCfg_18 # DEBUG BEGIN_STMT pUartState_19 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_14(D)]; # DEBUG pUartState => pUartState_19 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 0 # DEBUG BEGIN_STMT _4 = pUartState_19 != 0B; x ={v} _4; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_26 ={v} x; if (x.1_26 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 13422]: [local count: 134217728]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 134217728]: goto ; [100.00%] [local count: 13422]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT SchM_Enter_Uart_UART_EXCLUSIVE_AREA_03 (); # DEBUG BEGIN_STMT _5 ={v} pUartState_19->bIsRxBusy; if (_5 != 0) goto ; [33.00%] else goto ; [67.00%] [local count: 4429]: # DEBUG BEGIN_STMT SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03 (); # DEBUG BEGIN_STMT # DEBUG retVal => 2 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 1 [local count: 13422]: # retVal_9 = PHI <0(10), 2(11)> # bIsReturn_11 = PHI <0(10), 1(11)> # DEBUG bIsReturn => bIsReturn_11 # DEBUG retVal => retVal_9 # DEBUG BEGIN_STMT if (bIsReturn_11 != 0) goto ; [67.00%] else goto ; [33.00%] [local count: 4429]: # DEBUG BEGIN_STMT pUartState_19->bIsRxBusy ={v} 1; # DEBUG BEGIN_STMT SchM_Exit_Uart_UART_EXCLUSIVE_AREA_03 (); # DEBUG BEGIN_STMT _6 = pUartUserCfg_18 != 0B; x ={v} _6; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_31 ={v} x; if (x.1_31 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 2215]: [local count: 22145925]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 22145925]: goto ; [100.00%] [local count: 2215]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _7 = pUartUserCfg_18->eTransferType; _8 = _7 <= 1; x ={v} _8; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_30 ={v} x; if (x.1_30 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 1107]: [local count: 11072963]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 11072963]: goto ; [100.00%] [local count: 1107]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT if (_7 == 1) goto ; [20.24%] else goto ; [79.76%] [local count: 224]: # DEBUG BEGIN_STMT retVal_25 = Lpuart_Uart_Ip_StartReceiveDataUsingInt (u32Instance_14(D), pRxBuff_16(D), u32RxSize_17(D)); # DEBUG retVal => retVal_25 [local count: 10100]: # retVal_10 = PHI # DEBUG retVal => retVal_10 # DEBUG BEGIN_STMT return retVal_10; } ;; Function Lpuart_Uart_Ip_GetReceiveStatus (Lpuart_Uart_Ip_GetReceiveStatus, funcdef_no=35, decl_uid=4542, cgraph_uid=36, symbol_order=39) Modification phase of node Lpuart_Uart_Ip_GetReceiveStatus/39 Lpuart_Uart_Ip_GetReceiveStatus (uint32 u32Instance, uint32 * pBytesRemaining) { volatile boolean x; volatile boolean x; volatile boolean x; const struct Lpuart_Uart_Ip_UserConfigType * pUartUserCfg; struct Lpuart_Uart_Ip_StateStructureType * pUartState; _Bool _1; _Bool _2; _Bool _3; _Bool _4; _5; long unsigned int _6; Lpuart_Uart_Ip_StatusType _15; _Bool x.1_16; _Bool x.1_17; _Bool x.1_18; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_8(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_18 ={v} x; if (x.1_18 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pUartState_10 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_8(D)]; # DEBUG pUartState => pUartState_10 # DEBUG BEGIN_STMT pUartUserCfg_11 = Lpuart_Uart_Ip_apUserConfig[u32Instance_8(D)]; # DEBUG pUartUserCfg => pUartUserCfg_11 # DEBUG BEGIN_STMT _2 = pUartState_10 != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_17 ={v} x; if (x.1_17 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = pUartUserCfg_11 != 0B; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_16 ={v} x; if (x.1_16 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT if (pBytesRemaining_12(D) != 0B) goto ; [70.00%] else goto ; [30.00%] [local count: 18790]: # DEBUG BEGIN_STMT _4 ={v} pUartState_10->bIsRxBusy; if (_4 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 9395]: # DEBUG BEGIN_STMT _5 = pUartUserCfg_11->eTransferType; if (_5 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 3194]: # DEBUG BEGIN_STMT _6 ={v} pUartState_10->u32RxSize; *pBytesRemaining_12(D) = _6; goto ; [100.00%] [local count: 9395]: # DEBUG BEGIN_STMT *pBytesRemaining_12(D) = 0; [local count: 26844]: # DEBUG BEGIN_STMT _15 ={v} pUartState_10->eReceiveStatus; return _15; } ;; Function Lpuart_Uart_Ip_AbortReceivingData (Lpuart_Uart_Ip_AbortReceivingData, funcdef_no=36, decl_uid=4544, cgraph_uid=37, symbol_order=40) Modification phase of node Lpuart_Uart_Ip_AbortReceivingData/40 Lpuart_Uart_Ip_AbortReceivingData (uint32 u32Instance) { volatile boolean x; volatile boolean x; volatile boolean x; Lpuart_Uart_Ip_StatusType retVal; boolean bIsReturn; struct LPUART_Type * pBase; const struct Lpuart_Uart_Ip_UserConfigType * pUartUserCfg; struct Lpuart_Uart_Ip_StateStructureType * pUartState; _Bool _1; _Bool _2; _Bool _3; _Bool _4; _5; _Bool x.1_19; _Bool x.1_20; _Bool x.1_21; long unsigned int _22; long unsigned int _23; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_11(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_21 ={v} x; if (x.1_21 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pBase_13 = Lpuart_Uart_Ip_apBases[u32Instance_11(D)]; # DEBUG pBase => pBase_13 # DEBUG BEGIN_STMT pUartState_14 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_11(D)]; # DEBUG pUartState => pUartState_14 # DEBUG BEGIN_STMT pUartUserCfg_15 = Lpuart_Uart_Ip_apUserConfig[u32Instance_11(D)]; # DEBUG pUartUserCfg => pUartUserCfg_15 # DEBUG BEGIN_STMT _2 = pUartState_14 != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_20 ={v} x; if (x.1_20 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = pUartUserCfg_15 != 0B; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_19 ={v} x; if (x.1_19 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG bIsReturn => 0 # DEBUG BEGIN_STMT # DEBUG retVal => 1 # DEBUG BEGIN_STMT _4 ={v} pUartState_14->bIsRxBusy; if (_4 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 13422]: # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 1 [local count: 26844]: # bIsReturn_6 = PHI <0(8), 1(9)> # retVal_7 = PHI <1(8), 0(9)> # DEBUG retVal => retVal_7 # DEBUG bIsReturn => bIsReturn_6 # DEBUG BEGIN_STMT if (bIsReturn_6 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 13422]: # DEBUG BEGIN_STMT pUartState_14->eReceiveStatus ={v} 6; # DEBUG BEGIN_STMT _5 = pUartUserCfg_15->eTransferType; if (_5 == 1) goto ; [20.24%] else goto ; [79.76%] [local count: 2717]: # DEBUG BEGIN_STMT Lpuart_Uart_Ip_CompleteReceiveDataUsingInt (u32Instance_11(D)); [local count: 13422]: # DEBUG BEGIN_STMT LPUART_Uart_ClearErrorFlags (pBase_13); # DEBUG BEGIN_STMT # DEBUG pBase => pBase_13 # DEBUG INLINE_ENTRY LPUART_Uart_FlushRxBuffer # DEBUG BEGIN_STMT _22 ={v} pBase_13->FIFO; _23 = _22 | 16384; pBase_13->FIFO ={v} _23; # DEBUG pBase => NULL # DEBUG BEGIN_STMT # DEBUG retVal => 0 [local count: 26844]: # retVal_8 = PHI # DEBUG retVal => retVal_8 # DEBUG BEGIN_STMT return retVal_8; } ;; Function Lpuart_Uart_Ip_SetBaudRate (Lpuart_Uart_Ip_SetBaudRate, funcdef_no=37, decl_uid=4548, cgraph_uid=38, symbol_order=41) Modification phase of node Lpuart_Uart_Ip_SetBaudRate/41 Lpuart_Uart_Ip_SetBaudRate (uint32 u32Instance, Lpuart_Uart_Ip_BaudrateType u32DesiredBaudrate, uint32 u32ClockFrequency) { volatile boolean x; volatile boolean x; volatile boolean x; Lpuart_Uart_Ip_StatusType retVal; boolean bIsReturn; struct Lpuart_Uart_Ip_StateStructureType * pUartState; struct LPUART_Type * pBase; uint32 maxOsr; uint32 baudDiff; uint32 calculatedBaud; uint32 tempDiff; uint32 osr; uint16 i; uint16 sbrTemp; uint16 sbr; _Bool _1; _Bool _2; _Bool _3; _Bool _4; unsigned int _5; _Bool _6; long unsigned int _7; long unsigned int _8; long unsigned int _9; unsigned int _10; long unsigned int _11; int _12; int _13; int _14; long unsigned int _15; long unsigned int _16; long unsigned int _17; long unsigned int _18; long unsigned int _43; long unsigned int _44; _Bool x.1_61; _Bool x.1_62; _Bool x.1_63; long unsigned int _64; long unsigned int _65; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_39(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_61 ={v} x; if (x.1_61 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pBase_41 = Lpuart_Uart_Ip_apBases[u32Instance_39(D)]; # DEBUG pBase => pBase_41 # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pUartState_42 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_39(D)]; # DEBUG pUartState => pUartState_42 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 0 # DEBUG BEGIN_STMT # DEBUG retVal => 1 # DEBUG BEGIN_STMT if (pUartState_42 != 0B) goto ; [70.00%] else goto ; [30.00%] [local count: 75162]: # DEBUG BEGIN_STMT _2 ={v} pUartState_42->bIsTxBusy; if (_2 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 37581]: # DEBUG BEGIN_STMT # DEBUG retVal => 2 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 1 [local count: 75162]: # bIsReturn_32 = PHI <0(5), 1(6)> # retVal_34 = PHI <1(5), 2(6)> # DEBUG retVal => retVal_34 # DEBUG bIsReturn => bIsReturn_32 # DEBUG BEGIN_STMT _3 ={v} pUartState_42->bIsRxBusy; if (_3 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 37581]: if (bIsReturn_32 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 18790]: # DEBUG BEGIN_STMT # DEBUG retVal => 2 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 1 [local count: 107374]: # bIsReturn_33 = PHI <0(4), bIsReturn_32(7), bIsReturn_32(8), 1(9)> # retVal_35 = PHI <1(4), retVal_34(7), retVal_34(8), 2(9)> # DEBUG retVal => retVal_35 # DEBUG bIsReturn => bIsReturn_33 # DEBUG BEGIN_STMT if (bIsReturn_33 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: # DEBUG BEGIN_STMT _4 = u32ClockFrequency_45(D) != 0; x ={v} _4; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_63 ={v} x; if (x.1_63 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _5 = u32DesiredBaudrate_46(D) * 5; _6 = _5 <= u32ClockFrequency_45(D); x ={v} _6; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_62 ={v} x; if (x.1_62 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 13422]: [local count: 134217728]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 134217728]: goto ; [100.00%] [local count: 13422]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG osr => 4 # DEBUG BEGIN_STMT _7 = u32DesiredBaudrate_46(D) * 4; _8 = u32ClockFrequency_45(D) / _7; sbr_47 = (uint16) _8; # DEBUG sbr => sbr_47 # DEBUG BEGIN_STMT _43 = _8 & 65535; _9 = _43 * 4; calculatedBaud_48 = u32ClockFrequency_45(D) / _9; # DEBUG calculatedBaud => calculatedBaud_48 # DEBUG BEGIN_STMT if (u32DesiredBaudrate_46(D) < calculatedBaud_48) goto ; [50.00%] else goto ; [50.00%] [local count: 6711]: # DEBUG BEGIN_STMT baudDiff_50 = calculatedBaud_48 - u32DesiredBaudrate_46(D); # DEBUG baudDiff => baudDiff_50 goto ; [100.00%] [local count: 6711]: # DEBUG BEGIN_STMT baudDiff_49 = u32DesiredBaudrate_46(D) - calculatedBaud_48; # DEBUG baudDiff => baudDiff_49 [local count: 13422]: # baudDiff_29 = PHI # DEBUG baudDiff => baudDiff_29 # DEBUG BEGIN_STMT maxOsr_51 = u32ClockFrequency_45(D) / u32DesiredBaudrate_46(D); # DEBUG maxOsr => maxOsr_51 # DEBUG BEGIN_STMT if (maxOsr_51 > 32) goto ; [50.00%] else goto ; [50.00%] [local count: 6711]: # DEBUG maxOsr => maxOsr_51 # DEBUG BEGIN_STMT if (maxOsr_51 > 4) goto ; [50.00%] else goto ; [50.00%] [local count: 81446]: # DEBUG BEGIN_STMT _10 = _16 * u32DesiredBaudrate_46(D); _11 = u32ClockFrequency_45(D) / _10; sbrTemp_53 = (uint16) _11; # DEBUG sbrTemp => sbrTemp_53 # DEBUG BEGIN_STMT _12 = (int) i_22; _44 = _11 & 65535; _13 = (int) _44; _14 = _12 * _13; _15 = (long unsigned int) _14; calculatedBaud_54 = u32ClockFrequency_45(D) / _15; # DEBUG calculatedBaud => calculatedBaud_54 # DEBUG BEGIN_STMT if (u32DesiredBaudrate_46(D) < calculatedBaud_54) goto ; [50.00%] else goto ; [50.00%] [local count: 40723]: # DEBUG BEGIN_STMT tempDiff_56 = calculatedBaud_54 - u32DesiredBaudrate_46(D); # DEBUG tempDiff => tempDiff_56 goto ; [100.00%] [local count: 40723]: # DEBUG BEGIN_STMT tempDiff_55 = u32DesiredBaudrate_46(D) - calculatedBaud_54; # DEBUG tempDiff => tempDiff_55 [local count: 81446]: # tempDiff_26 = PHI # DEBUG tempDiff => tempDiff_26 # DEBUG BEGIN_STMT if (tempDiff_26 <= baudDiff_31) goto ; [50.00%] else goto ; [50.00%] [local count: 40723]: # DEBUG BEGIN_STMT # DEBUG baudDiff => tempDiff_26 # DEBUG BEGIN_STMT # DEBUG osr => _16 # DEBUG BEGIN_STMT # DEBUG sbr => sbrTemp_53 [local count: 81446]: # sbr_19 = PHI # osr_23 = PHI # baudDiff_30 = PHI # DEBUG baudDiff => baudDiff_30 # DEBUG osr => osr_23 # DEBUG sbr => sbr_19 # DEBUG BEGIN_STMT i_57 = i_22 + 1; # DEBUG i => i_57 goto ; [100.00%] [local count: 10066]: # maxOsr_52 = PHI # DEBUG maxOsr => NULL [local count: 91512]: # sbr_20 = PHI # i_22 = PHI <5(26), i_57(25)> # osr_24 = PHI <4(26), osr_23(25)> # calculatedBaud_27 = PHI # baudDiff_31 = PHI # DEBUG baudDiff => baudDiff_31 # DEBUG calculatedBaud => calculatedBaud_27 # DEBUG osr => osr_24 # DEBUG i => i_22 # DEBUG sbr => sbr_20 # DEBUG BEGIN_STMT _16 = (long unsigned int) i_22; if (_16 <= maxOsr_52) goto ; [89.00%] else goto ; [11.00%] [local count: 13422]: # sbr_21 = PHI # osr_25 = PHI <4(19), osr_24(27)> # calculatedBaud_28 = PHI # DEBUG calculatedBaud => calculatedBaud_28 # DEBUG osr => osr_25 # DEBUG sbr => sbr_21 # DEBUG BEGIN_STMT if (osr_25 <= 7) goto ; [50.00%] else goto ; [50.00%] [local count: 6711]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_41 # DEBUG INLINE_ENTRY LPUART_Uart_EnableBothEdgeSamplingCmd # DEBUG BEGIN_STMT _64 ={v} pBase_41->BAUD; _65 = _64 | 131072; pBase_41->BAUD ={v} _65; [local count: 13422]: # DEBUG pBase => NULL # DEBUG BEGIN_STMT _17 = osr_25 + 4294967295; LPUART_Uart_SetOversamplingRatio (pBase_41, _17); # DEBUG BEGIN_STMT _18 = (long unsigned int) sbr_21; LPUART_Uart_SetBaudRateDivisor (pBase_41, _18); # DEBUG BEGIN_STMT pUartState_42->u32BaudRate = calculatedBaud_28; # DEBUG BEGIN_STMT # DEBUG retVal => 0 [local count: 67109]: # retVal_36 = PHI # DEBUG retVal => retVal_36 # DEBUG BEGIN_STMT return retVal_36; } ;; Function Lpuart_Uart_Ip_GetBaudRate (Lpuart_Uart_Ip_GetBaudRate, funcdef_no=38, decl_uid=4551, cgraph_uid=39, symbol_order=42) Modification phase of node Lpuart_Uart_Ip_GetBaudRate/42 Lpuart_Uart_Ip_GetBaudRate (uint32 u32Instance, uint32 * pConfiguredBaudRate) { volatile boolean x; volatile boolean x; struct Lpuart_Uart_Ip_StateStructureType * pUartState; _Bool _1; _Bool _2; long unsigned int _3; _Bool x.1_9; _Bool x.1_10; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_4(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_10 ={v} x; if (x.1_10 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _2 = pConfiguredBaudRate_6(D) != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_9 ={v} x; if (x.1_9 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pUartState_7 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_4(D)]; # DEBUG pUartState => pUartState_7 # DEBUG BEGIN_STMT _3 = pUartState_7->u32BaudRate; *pConfiguredBaudRate_6(D) = _3; return; } ;; Function Lpuart_Uart_Ip_SetTxBuffer (Lpuart_Uart_Ip_SetTxBuffer, funcdef_no=39, decl_uid=4555, cgraph_uid=40, symbol_order=43) Modification phase of node Lpuart_Uart_Ip_SetTxBuffer/43 Lpuart_Uart_Ip_SetTxBuffer (uint32 u32Instance, const uint8 * pTxBuff, uint32 u32TxSize) { volatile boolean x; volatile boolean x; volatile boolean x; struct Lpuart_Uart_Ip_StateStructureType * pUartState; _Bool _1; _Bool _2; _Bool _3; _Bool x.1_11; _Bool x.1_12; _Bool x.1_13; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_4(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_13 ={v} x; if (x.1_13 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _2 = pTxBuff_6(D) != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_12 ={v} x; if (x.1_12 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = u32TxSize_7(D) != 0; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_11 ={v} x; if (x.1_11 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pUartState_8 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_4(D)]; # DEBUG pUartState => pUartState_8 # DEBUG BEGIN_STMT pUartState_8->pTxBuff = pTxBuff_6(D); # DEBUG BEGIN_STMT pUartState_8->u32TxSize ={v} u32TxSize_7(D); # DEBUG BEGIN_STMT return 0; } ;; Function Lpuart_Uart_Ip_SetRxBuffer (Lpuart_Uart_Ip_SetRxBuffer, funcdef_no=40, decl_uid=4559, cgraph_uid=41, symbol_order=44) Modification phase of node Lpuart_Uart_Ip_SetRxBuffer/44 Lpuart_Uart_Ip_SetRxBuffer (uint32 u32Instance, uint8 * pRxBuff, uint32 u32RxSize) { volatile boolean x; volatile boolean x; volatile boolean x; struct Lpuart_Uart_Ip_StateStructureType * pUartState; _Bool _1; _Bool _2; _Bool _3; _Bool x.1_11; _Bool x.1_12; _Bool x.1_13; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_4(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_13 ={v} x; if (x.1_13 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _2 = pRxBuff_6(D) != 0B; x ={v} _2; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_12 ={v} x; if (x.1_12 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 53687]: [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 536870913]: goto ; [100.00%] [local count: 53687]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT _3 = u32RxSize_7(D) != 0; x ={v} _3; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_11 ={v} x; if (x.1_11 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 26844]: [local count: 268435456]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 268435456]: goto ; [100.00%] [local count: 26844]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pUartState_8 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_4(D)]; # DEBUG pUartState => pUartState_8 # DEBUG BEGIN_STMT pUartState_8->pRxBuff = pRxBuff_6(D); # DEBUG BEGIN_STMT pUartState_8->u32RxSize ={v} u32RxSize_7(D); # DEBUG BEGIN_STMT return 0; } ;; Function Lpuart_Uart_Ip_IRQHandler (Lpuart_Uart_Ip_IRQHandler, funcdef_no=41, decl_uid=4561, cgraph_uid=42, symbol_order=45) Modification phase of node Lpuart_Uart_Ip_IRQHandler/45 Lpuart_Uart_Ip_IRQHandler (uint32 u32Instance) { boolean retVal; boolean retVal; boolean retVal; boolean retVal; boolean retVal; boolean retVal; volatile boolean x; boolean bIsReturn; struct Lpuart_Uart_Ip_StateStructureType * pUartState; struct LPUART_Type * pBase; _Bool _1; _Bool x.1_16; long unsigned int _17; long unsigned int _18; long unsigned int _19; long unsigned int _21; long unsigned int _22; long unsigned int _24; long unsigned int _25; long unsigned int _26; long unsigned int _28; long unsigned int _29; long unsigned int _31; long unsigned int _32; long unsigned int _34; long unsigned int _35; [local count: 214748]: # DEBUG BEGIN_STMT _1 = u32Instance_7(D) <= 15; x ={v} _1; # DEBUG x => x # DEBUG INLINE_ENTRY DevAssert # DEBUG BEGIN_STMT x.1_16 ={v} x; if (x.1_16 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] [local count: 107374]: # DEBUG BEGIN_STMT # DEBUG x => NULL # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT pBase_9 = Lpuart_Uart_Ip_apBases[u32Instance_7(D)]; # DEBUG pBase => pBase_9 # DEBUG BEGIN_STMT pUartState_10 = Lpuart_Uart_Ip_apStateStructuresArray[u32Instance_7(D)]; # DEBUG pUartState => pUartState_10 # DEBUG BEGIN_STMT # DEBUG bIsReturn => 0 # DEBUG BEGIN_STMT if (pUartState_10 == 0B) goto ; [30.00%] else goto ; [70.00%] [local count: 32212]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG INLINE_ENTRY LPUART_Uart_Getchar # DEBUG BEGIN_STMT _17 ={v} MEM[(const struct LPUART_Type *)pBase_9].DATA; # DEBUG pBase => NULL # DEBUG BEGIN_STMT LPUART_Uart_ClearErrorFlags (pBase_9); goto ; [100.00%] [local count: 75162]: # DEBUG BEGIN_STMT Lpuart_Uart_Ip_ErrIrqHandler (u32Instance_7(D)); # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG eStatusFlag => 21 # DEBUG INLINE_ENTRY LPUART_Uart_GetStatusFlag # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT _18 ={v} MEM[(const struct LPUART_Type *)pBase_9].STAT; _19 = _18 >> 21; retVal_20 = (boolean) _19; # DEBUG retVal => retVal_20 # DEBUG BEGIN_STMT # DEBUG pBase => NULL # DEBUG eStatusFlag => NULL # DEBUG retVal => NULL if (retVal_20 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 37581]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG intSrc => 21 # DEBUG INLINE_ENTRY LPUART_Uart_GetIntMode # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT _21 ={v} MEM[(const struct LPUART_Type *)pBase_9].CTRL; _22 = _21 >> 21; retVal_23 = (boolean) _22; # DEBUG retVal => retVal_23 # DEBUG BEGIN_STMT # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG retVal => NULL if (retVal_23 != 0) goto ; [33.00%] else goto ; [67.00%] [local count: 12402]: # DEBUG BEGIN_STMT Lpuart_Uart_Ip_RxIrqHandler (u32Instance_7(D)); goto ; [100.00%] [local count: 25179]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG INLINE_ENTRY LPUART_Uart_Getchar # DEBUG BEGIN_STMT _24 ={v} MEM[(const struct LPUART_Type *)pBase_9].DATA; [local count: 75162]: # bIsReturn_2 = PHI <0(6), 1(9), 1(8)> # DEBUG pBase => NULL # DEBUG bIsReturn => bIsReturn_2 # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG eStatusFlag => 23 # DEBUG INLINE_ENTRY LPUART_Uart_GetStatusFlag # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT _25 ={v} MEM[(const struct LPUART_Type *)pBase_9].STAT; _26 = _25 >> 23; retVal_27 = (boolean) _26; # DEBUG retVal => retVal_27 # DEBUG BEGIN_STMT # DEBUG pBase => NULL # DEBUG eStatusFlag => NULL # DEBUG retVal => NULL if (retVal_27 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 37581]: if (bIsReturn_2 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 18790]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG intSrc => 23 # DEBUG INLINE_ENTRY LPUART_Uart_GetIntMode # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT _28 ={v} MEM[(const struct LPUART_Type *)pBase_9].CTRL; _29 = _28 >> 23; retVal_30 = (boolean) _29; # DEBUG retVal => retVal_30 # DEBUG BEGIN_STMT # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG retVal => NULL if (retVal_30 != 0) goto ; [33.00%] else goto ; [67.00%] [local count: 6201]: # DEBUG BEGIN_STMT Lpuart_Uart_Ip_TxEmptyIrqHandler (u32Instance_7(D)); # DEBUG BEGIN_STMT # DEBUG bIsReturn => 1 [local count: 75162]: # bIsReturn_3 = PHI # DEBUG bIsReturn => bIsReturn_3 # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG eStatusFlag => 22 # DEBUG INLINE_ENTRY LPUART_Uart_GetStatusFlag # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT _31 ={v} MEM[(const struct LPUART_Type *)pBase_9].STAT; _32 = _31 >> 22; retVal_33 = (boolean) _32; # DEBUG retVal => retVal_33 # DEBUG BEGIN_STMT # DEBUG pBase => NULL # DEBUG eStatusFlag => NULL # DEBUG retVal => NULL if (retVal_33 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 37581]: if (bIsReturn_3 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 18790]: # DEBUG BEGIN_STMT # DEBUG pBase => pBase_9 # DEBUG intSrc => 22 # DEBUG INLINE_ENTRY LPUART_Uart_GetIntMode # DEBUG BEGIN_STMT # DEBUG retVal => 0 # DEBUG BEGIN_STMT _34 ={v} MEM[(const struct LPUART_Type *)pBase_9].CTRL; _35 = _34 >> 22; retVal_36 = (boolean) _35; # DEBUG retVal => retVal_36 # DEBUG BEGIN_STMT # DEBUG pBase => NULL # DEBUG intSrc => NULL # DEBUG retVal => NULL if (retVal_36 != 0) goto ; [33.00%] else goto ; [67.00%] [local count: 6201]: # DEBUG BEGIN_STMT Lpuart_Uart_Ip_TxCompleteIrqHandler (u32Instance_7(D)); [local count: 107374]: # DEBUG BEGIN_STMT return; }