|
@@ -4,6 +4,7 @@ Parsed function:UART_Receive_Data
|
|
|
Parsed function:UART_Send_Data
|
|
|
Parsed function:UART_Query_Data
|
|
|
Parsed function:TestDelay
|
|
|
+Parsed function:CanIf_SendMessage
|
|
|
Parsed function:Can_DummyDelay
|
|
|
Parsed function:CanIf_CurrentIcomConfiguration
|
|
|
Parsed function:CanIf_RxIndication
|
|
@@ -13,42 +14,42 @@ Parsed function:CanIf_ControllerBusOff
|
|
|
Parsed function:Can_GetMsgInfo
|
|
|
Parsed function:Can_CreatePduInfo
|
|
|
Dump after hash based groups
|
|
|
-Congruence classes: 14 (unique hash values: 14), with total: 14 items
|
|
|
+Congruence classes: 15 (unique hash values: 15), with total: 15 items
|
|
|
Class size histogram [num of members]: number of classe number of classess
|
|
|
-[1]: 14 classes
|
|
|
+[1]: 15 classes
|
|
|
|
|
|
|
|
|
Dump after WPA based types groups
|
|
|
-Congruence classes: 14 (unique hash values: 14), with total: 14 items
|
|
|
+Congruence classes: 15 (unique hash values: 15), with total: 15 items
|
|
|
Class size histogram [num of members]: number of classe number of classess
|
|
|
-[1]: 14 classes
|
|
|
+[1]: 15 classes
|
|
|
|
|
|
|
|
|
-Worklist has been filled with: 1
|
|
|
+Worklist has been filled with: 4
|
|
|
Address reference subdivision created: 0 new classes.
|
|
|
Dump after callgraph-based congruence reduction
|
|
|
-Congruence classes: 14 (unique hash values: 14), with total: 14 items
|
|
|
+Congruence classes: 15 (unique hash values: 15), with total: 15 items
|
|
|
Class size histogram [num of members]: number of classe number of classess
|
|
|
-[1]: 14 classes
|
|
|
+[1]: 15 classes
|
|
|
|
|
|
|
|
|
Init called for 0 items (0.00%).
|
|
|
Dump after full equality comparison of groups
|
|
|
-Congruence classes: 14 (unique hash values: 14), with total: 14 items
|
|
|
+Congruence classes: 15 (unique hash values: 15), with total: 15 items
|
|
|
Class size histogram [num of members]: number of classe number of classess
|
|
|
-[1]: 14 classes
|
|
|
+[1]: 15 classes
|
|
|
|
|
|
|
|
|
-Worklist has been filled with: 1
|
|
|
+Worklist has been filled with: 4
|
|
|
Address reference subdivision created: 0 new classes.
|
|
|
-Congruence classes: 14 (unique hash values: 14), with total: 14 items
|
|
|
+Congruence classes: 15 (unique hash values: 15), with total: 15 items
|
|
|
Class size histogram [num of members]: number of classe number of classess
|
|
|
-[1]: 14 classes
|
|
|
+[1]: 15 classes
|
|
|
|
|
|
|
|
|
|
|
|
-Item count: 14
|
|
|
-Congruent classes before: 14, after: 14
|
|
|
+Item count: 15
|
|
|
+Congruent classes before: 15, after: 15
|
|
|
Average class size before: 1.00, after: 1.00
|
|
|
Average non-singular class size: 0.00, count: 0
|
|
|
Equal symbols: 0
|
|
@@ -56,11 +57,9 @@ Fraction of visited symbols: 0.00%
|
|
|
|
|
|
main ()
|
|
|
{
|
|
|
- volatile Std_ReturnType CAN_Write_Status;
|
|
|
- static struct Can_PduType Can_PduInfo;
|
|
|
- unsigned char pinValue.30_1;
|
|
|
+ static struct Can_Msg_Type Can_MsgInfo;
|
|
|
+ unsigned char pinValue.34_1;
|
|
|
unsigned char _2;
|
|
|
- unsigned char _3;
|
|
|
|
|
|
<bb 2> [local count: 107374]:
|
|
|
# DEBUG BEGIN_STMT
|
|
@@ -72,7 +71,6 @@ main ()
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG BEGIN_STMT
|
|
|
# DEBUG u8TimeOut => 100
|
|
|
# DEBUG BEGIN_STMT
|
|
|
CanIf_bTxFlag = 0;
|
|
@@ -118,58 +116,24 @@ main ()
|
|
|
# DEBUG BEGIN_STMT
|
|
|
Can_Init (0B);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG id => 85
|
|
|
- # DEBUG idFrame => 2
|
|
|
- # DEBUG swPduHandle => 0
|
|
|
- # DEBUG length => 8
|
|
|
- # DEBUG sdu => &Can_au8Sdu8bytes
|
|
|
- # DEBUG INLINE_ENTRY NULL
|
|
|
- # DEBUG BEGIN_STMT
|
|
|
- # DEBUG BEGIN_STMT
|
|
|
- # DEBUG BEGIN_STMT
|
|
|
- # DEBUG id => 2147483733
|
|
|
- # DEBUG BEGIN_STMT
|
|
|
- # DEBUG id => 2147483733
|
|
|
- # DEBUG BEGIN_STMT
|
|
|
- # DEBUG PduInfo$id => 2147483733
|
|
|
+ Can_SetControllerMode (0, 1);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG PduInfo$swPduHandle => 0
|
|
|
+ Can_MsgInfo.id = 403846230;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG PduInfo$length => 8
|
|
|
+ Can_MsgInfo.idFrame = 2;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG PduInfo$sdu => &Can_au8Sdu8bytes
|
|
|
+ Can_MsgInfo.length = 8;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG D#1 => {CLOBBER}
|
|
|
- # DEBUG PduInfo$id => D#1
|
|
|
- # DEBUG D#2 => {CLOBBER}
|
|
|
- # DEBUG PduInfo$swPduHandle => D#2
|
|
|
- # DEBUG D#3 => {CLOBBER}
|
|
|
- # DEBUG PduInfo$length => D#3
|
|
|
- # DEBUG D#4 => {CLOBBER}
|
|
|
- # DEBUG PduInfo$sdu => D#4
|
|
|
- # DEBUG id => NULL
|
|
|
- # DEBUG idFrame => NULL
|
|
|
- # DEBUG swPduHandle => NULL
|
|
|
- # DEBUG length => NULL
|
|
|
- # DEBUG sdu => NULL
|
|
|
- MEM[(struct *)&Can_PduInfo] = 2147483733;
|
|
|
- MEM[(struct *)&Can_PduInfo + 4B] = 0;
|
|
|
- MEM[(struct *)&Can_PduInfo + 6B] = 8;
|
|
|
- MEM[(struct *)&Can_PduInfo + 8B] = &Can_au8Sdu8bytes;
|
|
|
- # DEBUG BEGIN_STMT
|
|
|
- Can_SetControllerMode (0, 1);
|
|
|
+ Can_MsgInfo.sdu = &Can_au8Sdu8bytes;
|
|
|
|
|
|
<bb 3> [local count: 1073741824]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- pinValue.30_1 ={v} pinValue;
|
|
|
- _2 = ~pinValue.30_1;
|
|
|
+ pinValue.34_1 ={v} pinValue;
|
|
|
+ _2 = ~pinValue.34_1;
|
|
|
pinValue ={v} _2;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _3 = Can_Write (1, &Can_PduInfo);
|
|
|
- CAN_Write_Status ={v} _3;
|
|
|
- # DEBUG BEGIN_STMT
|
|
|
- Can_MainFunction_Write ();
|
|
|
+ CanIf_SendMessage (0, Can_MsgInfo);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
TestDelay (100000);
|
|
|
# DEBUG BEGIN_STMT
|
|
@@ -189,13 +153,13 @@ main ()
|
|
|
UART_Callback (uint32 hwInstance, Lpuart_Uart_Ip_EventType event, void * userData)
|
|
|
{
|
|
|
uint32_t temp;
|
|
|
- long unsigned int bufferIdx.26_1;
|
|
|
+ long unsigned int bufferIdx.30_1;
|
|
|
long unsigned int _2;
|
|
|
unsigned char _3;
|
|
|
uint8_t * _4;
|
|
|
short unsigned int _5;
|
|
|
long unsigned int _6;
|
|
|
- long unsigned int bufferIdx.29_7;
|
|
|
+ long unsigned int bufferIdx.33_7;
|
|
|
long unsigned int _8;
|
|
|
unsigned char _9;
|
|
|
|
|
@@ -210,15 +174,15 @@ UART_Callback (uint32 hwInstance, Lpuart_Uart_Ip_EventType event, void * userDat
|
|
|
|
|
|
<bb 3> [local count: 536870913]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- bufferIdx.26_1 = bufferIdx;
|
|
|
- if (bufferIdx.26_1 <= 480)
|
|
|
+ bufferIdx.30_1 = bufferIdx;
|
|
|
+ if (bufferIdx.30_1 <= 480)
|
|
|
goto <bb 4>; [33.00%]
|
|
|
else
|
|
|
goto <bb 5>; [67.00%]
|
|
|
|
|
|
<bb 4> [local count: 177167401]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _2 = bufferIdx.26_1 + 20;
|
|
|
+ _2 = bufferIdx.30_1 + 20;
|
|
|
bufferIdx = _2;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
_3 = (unsigned char) hwInstance_15(D);
|
|
@@ -239,8 +203,8 @@ UART_Callback (uint32 hwInstance, Lpuart_Uart_Ip_EventType event, void * userDat
|
|
|
temp_17 = 20 - _6;
|
|
|
# DEBUG temp => temp_17
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- bufferIdx.29_7 = bufferIdx;
|
|
|
- _8 = bufferIdx.29_7 + temp_17;
|
|
|
+ bufferIdx.33_7 = bufferIdx;
|
|
|
+ _8 = bufferIdx.33_7 + temp_17;
|
|
|
bufferIdx = _8;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
_9 = (unsigned char) hwInstance_15(D);
|
|
@@ -252,7 +216,7 @@ UART_Callback (uint32 hwInstance, Lpuart_Uart_Ip_EventType event, void * userDat
|
|
|
}
|
|
|
|
|
|
|
|
|
-UART_Receive_Data (uint8 recvChannel, uint8 * RxBuffer, uint32 T_timeout)
|
|
|
+UART_Receive_Data (uint8 recvChannel, uint8 * rxBuffer, uint32 T_timeout)
|
|
|
{
|
|
|
uint32 timeout;
|
|
|
uint32 T_bytesRemaining;
|
|
@@ -261,13 +225,13 @@ UART_Receive_Data (uint8 recvChannel, uint8 * RxBuffer, uint32 T_timeout)
|
|
|
int _1;
|
|
|
uint8_t * _2;
|
|
|
unsigned char _3;
|
|
|
- unsigned char R_Uart_Status.23_4;
|
|
|
+ unsigned char R_Uart_Status.27_4;
|
|
|
<unnamed type> _5;
|
|
|
- <unnamed type> Uart_ReceiveStatus.24_6;
|
|
|
- <unnamed type> Uart_ReceiveStatus.25_7;
|
|
|
+ <unnamed type> Uart_ReceiveStatus.28_6;
|
|
|
+ <unnamed type> Uart_ReceiveStatus.29_7;
|
|
|
uint32 _9;
|
|
|
|
|
|
- <bb 2> [local count: 144011449]:
|
|
|
+ <bb 2> [local count: 208561115]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
Uart_ReceiveStatus ={v} 6;
|
|
@@ -277,68 +241,75 @@ UART_Receive_Data (uint8 recvChannel, uint8 * RxBuffer, uint32 T_timeout)
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG retVal => 1
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _1 = (int) recvChannel_15(D);
|
|
|
+ if (rxBuffer_15(D) == 0B)
|
|
|
+ goto <bb 9>; [30.95%]
|
|
|
+ else
|
|
|
+ goto <bb 3>; [69.05%]
|
|
|
+
|
|
|
+ <bb 3> [local count: 144011450]:
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ _1 = (int) recvChannel_16(D);
|
|
|
_2 = &RX_Buffer[_1][0];
|
|
|
- Uart_SetBuffer (recvChannel_15(D), _2, 20, 1);
|
|
|
+ Uart_SetBuffer (recvChannel_16(D), _2, 20, 1);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _3 = Uart_AsyncReceive (recvChannel_15(D), RxBuffer_17(D), 20);
|
|
|
+ _3 = Uart_AsyncReceive (recvChannel_16(D), rxBuffer_15(D), 20);
|
|
|
R_Uart_Status ={v} _3;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- R_Uart_Status.23_4 ={v} R_Uart_Status;
|
|
|
- if (R_Uart_Status.23_4 != 0)
|
|
|
- goto <bb 3>; [20.24%]
|
|
|
+ R_Uart_Status.27_4 ={v} R_Uart_Status;
|
|
|
+ if (R_Uart_Status.27_4 != 0)
|
|
|
+ goto <bb 4>; [20.24%]
|
|
|
else
|
|
|
- goto <bb 9>; [79.76%]
|
|
|
+ goto <bb 10>; [79.76%]
|
|
|
|
|
|
- <bb 3> [local count: 29147917]:
|
|
|
+ <bb 4> [local count: 29147917]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_Abort (recvChannel_15(D), 1);
|
|
|
+ Uart_Abort (recvChannel_16(D), 1);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- goto <bb 8>; [100.00%]
|
|
|
+ goto <bb 9>; [100.00%]
|
|
|
|
|
|
- <bb 9> [local count: 114863532]:
|
|
|
+ <bb 10> [local count: 114863533]:
|
|
|
|
|
|
- <bb 4> [local count: 1073741824]:
|
|
|
- # timeout_8 = PHI <T_timeout_14(D)(9), timeout_22(10)>
|
|
|
+ <bb 5> [local count: 1073741824]:
|
|
|
+ # timeout_8 = PHI <T_timeout_14(D)(10), timeout_22(11)>
|
|
|
# DEBUG timeout => timeout_8
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _5 = Uart_GetStatus (recvChannel_15(D), &T_bytesRemaining, 1);
|
|
|
+ _5 = Uart_GetStatus (recvChannel_16(D), &T_bytesRemaining, 1);
|
|
|
Uart_ReceiveStatus ={v} _5;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_ReceiveStatus.24_6 ={v} Uart_ReceiveStatus;
|
|
|
- if (Uart_ReceiveStatus.24_6 != 0)
|
|
|
- goto <bb 5>; [94.50%]
|
|
|
+ Uart_ReceiveStatus.28_6 ={v} Uart_ReceiveStatus;
|
|
|
+ if (Uart_ReceiveStatus.28_6 != 0)
|
|
|
+ goto <bb 6>; [94.50%]
|
|
|
else
|
|
|
- goto <bb 6>; [5.50%]
|
|
|
+ goto <bb 7>; [5.50%]
|
|
|
|
|
|
- <bb 5> [local count: 1014686024]:
|
|
|
+ <bb 6> [local count: 1014686025]:
|
|
|
timeout_22 = timeout_8 + 4294967295;
|
|
|
# DEBUG timeout => timeout_22
|
|
|
if (timeout_22 != 0)
|
|
|
- goto <bb 10>; [94.50%]
|
|
|
+ goto <bb 11>; [94.50%]
|
|
|
else
|
|
|
- goto <bb 6>; [5.50%]
|
|
|
+ goto <bb 7>; [5.50%]
|
|
|
|
|
|
- <bb 10> [local count: 958878293]:
|
|
|
- goto <bb 4>; [100.00%]
|
|
|
+ <bb 11> [local count: 958878294]:
|
|
|
+ goto <bb 5>; [100.00%]
|
|
|
|
|
|
- <bb 6> [local count: 114863532]:
|
|
|
+ <bb 7> [local count: 114863532]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_ReceiveStatus.25_7 ={v} Uart_ReceiveStatus;
|
|
|
- if (Uart_ReceiveStatus.25_7 != 0)
|
|
|
- goto <bb 7>; [33.00%]
|
|
|
+ Uart_ReceiveStatus.29_7 ={v} Uart_ReceiveStatus;
|
|
|
+ if (Uart_ReceiveStatus.29_7 != 0)
|
|
|
+ goto <bb 8>; [33.00%]
|
|
|
else
|
|
|
- goto <bb 8>; [67.00%]
|
|
|
+ goto <bb 9>; [67.00%]
|
|
|
|
|
|
- <bb 7> [local count: 37904965]:
|
|
|
+ <bb 8> [local count: 37904965]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_Abort (recvChannel_15(D), 1);
|
|
|
+ Uart_Abort (recvChannel_16(D), 1);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG retVal => 1
|
|
|
|
|
|
- <bb 8> [local count: 144011449]:
|
|
|
- # _9 = PHI <1(3), 0(6), 1(7)>
|
|
|
+ <bb 9> [local count: 208561114]:
|
|
|
+ # _9 = PHI <1(2), 1(4), 0(7), 1(8)>
|
|
|
# DEBUG retVal => NULL
|
|
|
T_bytesRemaining ={v} {CLOBBER};
|
|
|
return _9;
|
|
@@ -346,7 +317,7 @@ UART_Receive_Data (uint8 recvChannel, uint8 * RxBuffer, uint32 T_timeout)
|
|
|
}
|
|
|
|
|
|
|
|
|
-UART_Send_Data (uint8 transChannel, const uint8 * pBuffer, uint32 sendLength, uint32 T_timeout)
|
|
|
+UART_Send_Data (uint8 transChannel, const uint8 * txBuffer, uint32 sendLength, uint32 T_timeout)
|
|
|
{
|
|
|
uint32 retVal;
|
|
|
uint32 timeout;
|
|
@@ -354,14 +325,14 @@ UART_Send_Data (uint8 transChannel, const uint8 * pBuffer, uint32 sendLength, ui
|
|
|
volatile Uart_StatusType Uart_TransmitStatus;
|
|
|
volatile Std_ReturnType T_Uart_Status;
|
|
|
unsigned char _1;
|
|
|
- unsigned char T_Uart_Status.20_2;
|
|
|
+ unsigned char T_Uart_Status.24_2;
|
|
|
<unnamed type> _3;
|
|
|
- <unnamed type> Uart_TransmitStatus.21_4;
|
|
|
- <unnamed type> Uart_TransmitStatus.22_5;
|
|
|
+ <unnamed type> Uart_TransmitStatus.25_4;
|
|
|
+ <unnamed type> Uart_TransmitStatus.26_5;
|
|
|
Std_ReturnType _8;
|
|
|
Std_ReturnType _25;
|
|
|
|
|
|
- <bb 2> [local count: 144011449]:
|
|
|
+ <bb 2> [local count: 208561115]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
Uart_TransmitStatus ={v} 6;
|
|
@@ -371,79 +342,86 @@ UART_Send_Data (uint8 transChannel, const uint8 * pBuffer, uint32 sendLength, ui
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG retVal => 1
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_SetBuffer (transChannel_15(D), pBuffer_16(D), sendLength_17(D), 0);
|
|
|
+ if (txBuffer_15(D) == 0B)
|
|
|
+ goto <bb 10>; [30.95%]
|
|
|
+ else
|
|
|
+ goto <bb 3>; [69.05%]
|
|
|
+
|
|
|
+ <bb 3> [local count: 144011450]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _1 = Uart_AsyncSend (transChannel_15(D), pBuffer_16(D), sendLength_17(D));
|
|
|
+ Uart_SetBuffer (transChannel_16(D), txBuffer_15(D), sendLength_17(D), 0);
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ _1 = Uart_AsyncSend (transChannel_16(D), txBuffer_15(D), sendLength_17(D));
|
|
|
T_Uart_Status ={v} _1;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- T_Uart_Status.20_2 ={v} T_Uart_Status;
|
|
|
- if (T_Uart_Status.20_2 != 0)
|
|
|
- goto <bb 3>; [20.24%]
|
|
|
+ T_Uart_Status.24_2 ={v} T_Uart_Status;
|
|
|
+ if (T_Uart_Status.24_2 != 0)
|
|
|
+ goto <bb 4>; [20.24%]
|
|
|
else
|
|
|
- goto <bb 10>; [79.76%]
|
|
|
+ goto <bb 11>; [79.76%]
|
|
|
|
|
|
- <bb 3> [local count: 29147917]:
|
|
|
+ <bb 4> [local count: 29147917]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_Abort (transChannel_15(D), 0);
|
|
|
+ Uart_Abort (transChannel_16(D), 0);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- goto <bb 9>; [100.00%]
|
|
|
+ goto <bb 10>; [100.00%]
|
|
|
|
|
|
- <bb 10> [local count: 114863532]:
|
|
|
+ <bb 11> [local count: 114863533]:
|
|
|
|
|
|
- <bb 4> [local count: 1073741824]:
|
|
|
- # timeout_6 = PHI <T_timeout_14(D)(10), timeout_23(11)>
|
|
|
+ <bb 5> [local count: 1073741824]:
|
|
|
+ # timeout_6 = PHI <T_timeout_14(D)(11), timeout_23(12)>
|
|
|
# DEBUG timeout => timeout_6
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _3 = Uart_GetStatus (transChannel_15(D), &T_bytesRemaining, 0);
|
|
|
+ _3 = Uart_GetStatus (transChannel_16(D), &T_bytesRemaining, 0);
|
|
|
Uart_TransmitStatus ={v} _3;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_TransmitStatus.21_4 ={v} Uart_TransmitStatus;
|
|
|
- if (Uart_TransmitStatus.21_4 != 0)
|
|
|
- goto <bb 5>; [94.50%]
|
|
|
+ Uart_TransmitStatus.25_4 ={v} Uart_TransmitStatus;
|
|
|
+ if (Uart_TransmitStatus.25_4 != 0)
|
|
|
+ goto <bb 6>; [94.50%]
|
|
|
else
|
|
|
- goto <bb 6>; [5.50%]
|
|
|
+ goto <bb 7>; [5.50%]
|
|
|
|
|
|
- <bb 5> [local count: 1014686024]:
|
|
|
+ <bb 6> [local count: 1014686025]:
|
|
|
timeout_23 = timeout_6 + 4294967295;
|
|
|
# DEBUG timeout => timeout_23
|
|
|
if (timeout_23 != 0)
|
|
|
- goto <bb 11>; [94.50%]
|
|
|
+ goto <bb 12>; [94.50%]
|
|
|
else
|
|
|
- goto <bb 6>; [5.50%]
|
|
|
+ goto <bb 7>; [5.50%]
|
|
|
|
|
|
- <bb 11> [local count: 958878293]:
|
|
|
- goto <bb 4>; [100.00%]
|
|
|
+ <bb 12> [local count: 958878294]:
|
|
|
+ goto <bb 5>; [100.00%]
|
|
|
|
|
|
- <bb 6> [local count: 114863532]:
|
|
|
+ <bb 7> [local count: 114863532]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_TransmitStatus.22_5 ={v} Uart_TransmitStatus;
|
|
|
- if (Uart_TransmitStatus.22_5 != 0)
|
|
|
- goto <bb 7>; [33.00%]
|
|
|
+ Uart_TransmitStatus.26_5 ={v} Uart_TransmitStatus;
|
|
|
+ if (Uart_TransmitStatus.26_5 != 0)
|
|
|
+ goto <bb 8>; [33.00%]
|
|
|
else
|
|
|
- goto <bb 8>; [67.00%]
|
|
|
+ goto <bb 9>; [67.00%]
|
|
|
|
|
|
- <bb 7> [local count: 37904965]:
|
|
|
+ <bb 8> [local count: 37904965]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_Abort (transChannel_15(D), 0);
|
|
|
+ Uart_Abort (transChannel_16(D), 0);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG retVal => 1
|
|
|
|
|
|
- <bb 8> [local count: 114863532]:
|
|
|
- # retVal_7 = PHI <1(7), 0(6)>
|
|
|
+ <bb 9> [local count: 114863532]:
|
|
|
+ # retVal_7 = PHI <1(8), 0(7)>
|
|
|
# DEBUG retVal => retVal_7
|
|
|
# DEBUG BEGIN_STMT
|
|
|
_25 = (Std_ReturnType) retVal_7;
|
|
|
|
|
|
- <bb 9> [local count: 144011449]:
|
|
|
- # _8 = PHI <1(3), _25(8)>
|
|
|
+ <bb 10> [local count: 208561114]:
|
|
|
+ # _8 = PHI <1(2), 1(4), _25(9)>
|
|
|
T_bytesRemaining ={v} {CLOBBER};
|
|
|
return _8;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
-UART_Query_Data (uint8 transChannel, uint8 recvChannel, const uint8 * pBuffer, uint32 sendLength, uint8 * RxBuffer, uint32 T_timeout)
|
|
|
+UART_Query_Data (uint8 transChannel, uint8 recvChannel, const uint8 * txBuffer, uint32 sendLength, uint8 * rxBuffer, uint32 T_timeout)
|
|
|
{
|
|
|
uint32 retVal;
|
|
|
uint32 timeout;
|
|
@@ -455,19 +433,19 @@ UART_Query_Data (uint8 transChannel, uint8 recvChannel, const uint8 * pBuffer, u
|
|
|
int _1;
|
|
|
uint8_t * _2;
|
|
|
unsigned char _3;
|
|
|
- unsigned char T_Uart_Status.14_4;
|
|
|
+ unsigned char T_Uart_Status.18_4;
|
|
|
unsigned char _5;
|
|
|
- unsigned char T_Uart_Status.15_6;
|
|
|
+ unsigned char T_Uart_Status.19_6;
|
|
|
<unnamed type> _7;
|
|
|
<unnamed type> _8;
|
|
|
- <unnamed type> Uart_TransmitStatus.16_9;
|
|
|
- <unnamed type> Uart_ReceiveStatus.17_10;
|
|
|
- <unnamed type> Uart_TransmitStatus.18_11;
|
|
|
- <unnamed type> Uart_ReceiveStatus.19_12;
|
|
|
+ <unnamed type> Uart_TransmitStatus.20_9;
|
|
|
+ <unnamed type> Uart_ReceiveStatus.21_10;
|
|
|
+ <unnamed type> Uart_TransmitStatus.22_11;
|
|
|
+ <unnamed type> Uart_ReceiveStatus.23_12;
|
|
|
Std_ReturnType _15;
|
|
|
Std_ReturnType _42;
|
|
|
|
|
|
- <bb 2> [local count: 215864393]:
|
|
|
+ <bb 2> [local count: 381663300]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
@@ -480,118 +458,131 @@ UART_Query_Data (uint8 transChannel, uint8 recvChannel, const uint8 * pBuffer, u
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG retVal => 1
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _1 = (int) recvChannel_24(D);
|
|
|
+ if (txBuffer_24(D) == 0B)
|
|
|
+ goto <bb 16>; [18.09%]
|
|
|
+ else
|
|
|
+ goto <bb 3>; [81.91%]
|
|
|
+
|
|
|
+ <bb 3> [local count: 312620409]:
|
|
|
+ if (rxBuffer_25(D) == 0B)
|
|
|
+ goto <bb 16>; [30.95%]
|
|
|
+ else
|
|
|
+ goto <bb 4>; [69.05%]
|
|
|
+
|
|
|
+ <bb 4> [local count: 215864392]:
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ _1 = (int) recvChannel_26(D);
|
|
|
_2 = &RX_Buffer[_1][0];
|
|
|
- Uart_SetBuffer (recvChannel_24(D), _2, 20, 1);
|
|
|
+ Uart_SetBuffer (recvChannel_26(D), _2, 20, 1);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _3 = Uart_AsyncReceive (recvChannel_24(D), RxBuffer_26(D), 20);
|
|
|
+ _3 = Uart_AsyncReceive (recvChannel_26(D), rxBuffer_25(D), 20);
|
|
|
R_Uart_Status ={v} _3;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- T_Uart_Status.14_4 ={v} T_Uart_Status;
|
|
|
- if (T_Uart_Status.14_4 != 0)
|
|
|
- goto <bb 3>; [34.00%]
|
|
|
+ T_Uart_Status.18_4 ={v} T_Uart_Status;
|
|
|
+ if (T_Uart_Status.18_4 != 0)
|
|
|
+ goto <bb 5>; [34.00%]
|
|
|
else
|
|
|
- goto <bb 4>; [66.00%]
|
|
|
+ goto <bb 6>; [66.00%]
|
|
|
|
|
|
- <bb 3> [local count: 73393894]:
|
|
|
+ <bb 5> [local count: 73393893]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_Abort (recvChannel_24(D), 1);
|
|
|
+ Uart_Abort (recvChannel_26(D), 1);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- goto <bb 14>; [100.00%]
|
|
|
+ goto <bb 16>; [100.00%]
|
|
|
|
|
|
- <bb 4> [local count: 142470500]:
|
|
|
+ <bb 6> [local count: 142470499]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_SetBuffer (transChannel_29(D), pBuffer_30(D), sendLength_31(D), 0);
|
|
|
+ Uart_SetBuffer (transChannel_30(D), txBuffer_24(D), sendLength_31(D), 0);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _5 = Uart_AsyncSend (transChannel_29(D), pBuffer_30(D), sendLength_31(D));
|
|
|
+ _5 = Uart_AsyncSend (transChannel_30(D), txBuffer_24(D), sendLength_31(D));
|
|
|
T_Uart_Status ={v} _5;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- T_Uart_Status.15_6 ={v} T_Uart_Status;
|
|
|
- if (T_Uart_Status.15_6 != 0)
|
|
|
- goto <bb 5>; [20.24%]
|
|
|
+ T_Uart_Status.19_6 ={v} T_Uart_Status;
|
|
|
+ if (T_Uart_Status.19_6 != 0)
|
|
|
+ goto <bb 7>; [20.24%]
|
|
|
else
|
|
|
- goto <bb 15>; [79.76%]
|
|
|
+ goto <bb 17>; [79.76%]
|
|
|
|
|
|
- <bb 5> [local count: 28836029]:
|
|
|
+ <bb 7> [local count: 28836029]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_Abort (transChannel_29(D), 0);
|
|
|
+ Uart_Abort (transChannel_30(D), 0);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- goto <bb 14>; [100.00%]
|
|
|
+ goto <bb 16>; [100.00%]
|
|
|
|
|
|
- <bb 15> [local count: 113634471]:
|
|
|
+ <bb 17> [local count: 113634470]:
|
|
|
|
|
|
- <bb 6> [local count: 1073741824]:
|
|
|
- # timeout_13 = PHI <T_timeout_23(D)(15), timeout_39(16)>
|
|
|
+ <bb 8> [local count: 1073741824]:
|
|
|
+ # timeout_13 = PHI <T_timeout_23(D)(17), timeout_39(18)>
|
|
|
# DEBUG timeout => timeout_13
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _7 = Uart_GetStatus (transChannel_29(D), &T_bytesRemaining, 0);
|
|
|
+ _7 = Uart_GetStatus (transChannel_30(D), &T_bytesRemaining, 0);
|
|
|
Uart_TransmitStatus ={v} _7;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _8 = Uart_GetStatus (recvChannel_24(D), &T_bytesRemaining, 1);
|
|
|
+ _8 = Uart_GetStatus (recvChannel_26(D), &T_bytesRemaining, 1);
|
|
|
Uart_ReceiveStatus ={v} _8;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_TransmitStatus.16_9 ={v} Uart_TransmitStatus;
|
|
|
- if (Uart_TransmitStatus.16_9 != 0)
|
|
|
- goto <bb 7>; [96.34%]
|
|
|
+ Uart_TransmitStatus.20_9 ={v} Uart_TransmitStatus;
|
|
|
+ if (Uart_TransmitStatus.20_9 != 0)
|
|
|
+ goto <bb 9>; [96.34%]
|
|
|
else
|
|
|
- goto <bb 9>; [3.66%]
|
|
|
+ goto <bb 11>; [3.66%]
|
|
|
|
|
|
- <bb 7> [local count: 1034442875]:
|
|
|
- Uart_ReceiveStatus.17_10 ={v} Uart_ReceiveStatus;
|
|
|
- if (Uart_ReceiveStatus.17_10 != 0)
|
|
|
- goto <bb 8>; [96.34%]
|
|
|
+ <bb 9> [local count: 1034442875]:
|
|
|
+ Uart_ReceiveStatus.21_10 ={v} Uart_ReceiveStatus;
|
|
|
+ if (Uart_ReceiveStatus.21_10 != 0)
|
|
|
+ goto <bb 10>; [96.34%]
|
|
|
else
|
|
|
- goto <bb 9>; [3.66%]
|
|
|
+ goto <bb 11>; [3.66%]
|
|
|
|
|
|
- <bb 8> [local count: 996582265]:
|
|
|
+ <bb 10> [local count: 996582265]:
|
|
|
timeout_39 = timeout_13 + 4294967295;
|
|
|
# DEBUG timeout => timeout_39
|
|
|
if (timeout_39 != 0)
|
|
|
- goto <bb 16>; [96.34%]
|
|
|
+ goto <bb 18>; [96.34%]
|
|
|
else
|
|
|
- goto <bb 9>; [3.66%]
|
|
|
+ goto <bb 11>; [3.66%]
|
|
|
|
|
|
- <bb 16> [local count: 960107353]:
|
|
|
- goto <bb 6>; [100.00%]
|
|
|
+ <bb 18> [local count: 960107353]:
|
|
|
+ goto <bb 8>; [100.00%]
|
|
|
|
|
|
- <bb 9> [local count: 113634471]:
|
|
|
+ <bb 11> [local count: 113634471]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_TransmitStatus.18_11 ={v} Uart_TransmitStatus;
|
|
|
- if (Uart_TransmitStatus.18_11 != 0)
|
|
|
- goto <bb 10>; [33.00%]
|
|
|
+ Uart_TransmitStatus.22_11 ={v} Uart_TransmitStatus;
|
|
|
+ if (Uart_TransmitStatus.22_11 != 0)
|
|
|
+ goto <bb 12>; [33.00%]
|
|
|
else
|
|
|
- goto <bb 11>; [67.00%]
|
|
|
+ goto <bb 13>; [67.00%]
|
|
|
|
|
|
- <bb 10> [local count: 37499375]:
|
|
|
+ <bb 12> [local count: 37499375]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_Abort (transChannel_29(D), 0);
|
|
|
+ Uart_Abort (transChannel_30(D), 0);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG retVal => 1
|
|
|
|
|
|
- <bb 11> [local count: 113634471]:
|
|
|
+ <bb 13> [local count: 113634471]:
|
|
|
# DEBUG retVal => NULL
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_ReceiveStatus.19_12 ={v} Uart_ReceiveStatus;
|
|
|
- if (Uart_ReceiveStatus.19_12 != 0)
|
|
|
- goto <bb 12>; [33.00%]
|
|
|
+ Uart_ReceiveStatus.23_12 ={v} Uart_ReceiveStatus;
|
|
|
+ if (Uart_ReceiveStatus.23_12 != 0)
|
|
|
+ goto <bb 14>; [33.00%]
|
|
|
else
|
|
|
- goto <bb 13>; [67.00%]
|
|
|
+ goto <bb 15>; [67.00%]
|
|
|
|
|
|
- <bb 12> [local count: 37499375]:
|
|
|
+ <bb 14> [local count: 37499375]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- Uart_Abort (recvChannel_24(D), 1);
|
|
|
+ Uart_Abort (recvChannel_26(D), 1);
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG retVal => 1
|
|
|
|
|
|
- <bb 13> [local count: 113634471]:
|
|
|
- # retVal_14 = PHI <1(12), 0(11)>
|
|
|
+ <bb 15> [local count: 113634471]:
|
|
|
+ # retVal_14 = PHI <1(14), 0(13)>
|
|
|
# DEBUG retVal => retVal_14
|
|
|
# DEBUG BEGIN_STMT
|
|
|
_42 = (Std_ReturnType) retVal_14;
|
|
|
|
|
|
- <bb 14> [local count: 215864394]:
|
|
|
- # _15 = PHI <1(3), 1(5), _42(13)>
|
|
|
+ <bb 16> [local count: 381663302]:
|
|
|
+ # _15 = PHI <1(3), 1(5), 1(7), _42(15), 1(2)>
|
|
|
T_bytesRemaining ={v} {CLOBBER};
|
|
|
return _15;
|
|
|
|
|
@@ -601,9 +592,9 @@ UART_Query_Data (uint8 transChannel, uint8 recvChannel, const uint8 * pBuffer, u
|
|
|
TestDelay (uint32 delay)
|
|
|
{
|
|
|
static volatile uint32 DelayTimer = 0;
|
|
|
- long unsigned int DelayTimer.12_1;
|
|
|
+ long unsigned int DelayTimer.16_1;
|
|
|
long unsigned int _2;
|
|
|
- long unsigned int DelayTimer.13_3;
|
|
|
+ long unsigned int DelayTimer.17_3;
|
|
|
|
|
|
<bb 2> [local count: 118111600]:
|
|
|
# DEBUG BEGIN_STMT
|
|
@@ -612,14 +603,14 @@ TestDelay (uint32 delay)
|
|
|
|
|
|
<bb 3> [local count: 955630223]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- DelayTimer.12_1 ={v} DelayTimer;
|
|
|
- _2 = DelayTimer.12_1 + 1;
|
|
|
+ DelayTimer.16_1 ={v} DelayTimer;
|
|
|
+ _2 = DelayTimer.16_1 + 1;
|
|
|
DelayTimer ={v} _2;
|
|
|
|
|
|
<bb 4> [local count: 1073741824]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- DelayTimer.13_3 ={v} DelayTimer;
|
|
|
- if (DelayTimer.13_3 < delay_6(D))
|
|
|
+ DelayTimer.17_3 ={v} DelayTimer;
|
|
|
+ if (DelayTimer.17_3 < delay_6(D))
|
|
|
goto <bb 3>; [89.00%]
|
|
|
else
|
|
|
goto <bb 5>; [11.00%]
|
|
@@ -632,6 +623,101 @@ TestDelay (uint32 delay)
|
|
|
}
|
|
|
|
|
|
|
|
|
+CanIf_SendMessage (uint8 ControllerId, struct Can_Msg_Type CanMsg)
|
|
|
+{
|
|
|
+ Can_HwHandleType Hth;
|
|
|
+ uint8 u8TimeOut;
|
|
|
+ Std_ReturnType retVal;
|
|
|
+ volatile Std_ReturnType CAN_Write_Status;
|
|
|
+ volatile struct Can_PduType Can_PduInfo;
|
|
|
+ short unsigned int _1;
|
|
|
+ long unsigned int _2;
|
|
|
+ <unnamed type> _3;
|
|
|
+ unsigned char _4;
|
|
|
+ uint8 * _5;
|
|
|
+ unsigned char _6;
|
|
|
+ unsigned char CAN_Write_Status.12_7;
|
|
|
+ _Bool CanIf_bTxFlag.14_8;
|
|
|
+ _Bool CanIf_bTxFlag.15_9;
|
|
|
+
|
|
|
+ <bb 2> [local count: 138405320]:
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ # DEBUG retVal => 1
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ # DEBUG u8TimeOut => 100
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ _1 = (short unsigned int) ControllerId_14(D);
|
|
|
+ Hth_15 = _1 + 1;
|
|
|
+ # DEBUG Hth => Hth_15
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ _2 = CanMsg.id;
|
|
|
+ _3 = CanMsg.idFrame;
|
|
|
+ _4 = CanMsg.length;
|
|
|
+ _5 = CanMsg.sdu;
|
|
|
+ Can_PduInfo ={v} Can_CreatePduInfo (_2, _3, 0, _4, _5);
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ _6 = Can_Write (Hth_15, &Can_PduInfo);
|
|
|
+ CAN_Write_Status ={v} _6;
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ CanIf_bTxFlag = 0;
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ CAN_Write_Status.12_7 ={v} CAN_Write_Status;
|
|
|
+ if (CAN_Write_Status.12_7 == 0)
|
|
|
+ goto <bb 9>; [50.00%]
|
|
|
+ else
|
|
|
+ goto <bb 6>; [50.00%]
|
|
|
+
|
|
|
+ <bb 9> [local count: 69202660]:
|
|
|
+ goto <bb 4>; [100.00%]
|
|
|
+
|
|
|
+ <bb 3> [local count: 1004539164]:
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ Can_MainFunction_Write ();
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ Can_DummyDelay (100);
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ u8TimeOut_23 = u8TimeOut_11 + 255;
|
|
|
+ # DEBUG u8TimeOut => u8TimeOut_23
|
|
|
+
|
|
|
+ <bb 4> [local count: 1073741824]:
|
|
|
+ # u8TimeOut_11 = PHI <u8TimeOut_23(3), 100(9)>
|
|
|
+ # DEBUG u8TimeOut => u8TimeOut_11
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ CanIf_bTxFlag.14_8 = CanIf_bTxFlag;
|
|
|
+ if (CanIf_bTxFlag.14_8 != 0)
|
|
|
+ goto <bb 6>; [5.50%]
|
|
|
+ else
|
|
|
+ goto <bb 5>; [94.50%]
|
|
|
+
|
|
|
+ <bb 5> [local count: 1014686024]:
|
|
|
+ if (u8TimeOut_11 != 0)
|
|
|
+ goto <bb 3>; [99.00%]
|
|
|
+ else
|
|
|
+ goto <bb 6>; [1.00%]
|
|
|
+
|
|
|
+ <bb 6> [local count: 138405321]:
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ CanIf_bTxFlag.15_9 = CanIf_bTxFlag;
|
|
|
+ if (CanIf_bTxFlag.15_9 != 0)
|
|
|
+ goto <bb 8>; [50.00%]
|
|
|
+ else
|
|
|
+ goto <bb 7>; [50.00%]
|
|
|
+
|
|
|
+ <bb 7> [local count: 69202660]:
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ # DEBUG retVal => 1
|
|
|
+
|
|
|
+ <bb 8> [local count: 138405321]:
|
|
|
+ # retVal_10 = PHI <0(6), 1(7)>
|
|
|
+ # DEBUG retVal => retVal_10
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ return retVal_10;
|
|
|
+
|
|
|
+}
|
|
|
+
|
|
|
+
|
|
|
Can_DummyDelay (uint32 loops)
|
|
|
{
|
|
|
volatile uint32 contor2;
|
|
@@ -730,7 +816,7 @@ CanIf_RxIndication (const struct Can_HwType * Mailbox, const struct PduInfoType
|
|
|
uint8 * _4;
|
|
|
unsigned char CanIf_u8RxIndicationCnt.2_5;
|
|
|
int _6;
|
|
|
- struct Can_MsgType * _7;
|
|
|
+ struct Can_Msg_Type * _7;
|
|
|
unsigned char _8;
|
|
|
long unsigned int _14;
|
|
|
long unsigned int _15;
|
|
@@ -739,8 +825,6 @@ CanIf_RxIndication (const struct Can_HwType * Mailbox, const struct PduInfoType
|
|
|
# DEBUG BEGIN_STMT
|
|
|
CanIf_bRxFlag = 1;
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG BEGIN_STMT
|
|
|
- # DEBUG BEGIN_STMT
|
|
|
_1 = Mailbox_11(D)->CanId;
|
|
|
_2 = PduInfoPtr_12(D)->SduLength;
|
|
|
_3 = (unsigned char) _2;
|
|
@@ -753,7 +837,7 @@ CanIf_RxIndication (const struct Can_HwType * Mailbox, const struct PduInfoType
|
|
|
# DEBUG INLINE_ENTRY Can_GetMsgInfo
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _14 = _1 & 2147483647;
|
|
|
+ _14 = _1 & 1073741823;
|
|
|
# DEBUG CanMsgInfo$id => _14
|
|
|
# DEBUG BEGIN_STMT
|
|
|
_15 = _1 >> 30;
|
|
@@ -832,7 +916,7 @@ Can_GetMsgInfo (Can_IdType id, uint8 length, uint8 * sdu)
|
|
|
<bb 2> [local count: 1073741824]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- _1 = id_3(D) & 2147483647;
|
|
|
+ _1 = id_3(D) & 1073741823;
|
|
|
# DEBUG CanMsgInfo$id => _1
|
|
|
# DEBUG BEGIN_STMT
|
|
|
_2 = id_3(D) >> 30;
|
|
@@ -861,51 +945,69 @@ Can_GetMsgInfo (Can_IdType id, uint8 length, uint8 * sdu)
|
|
|
|
|
|
Can_CreatePduInfo (Can_IdType id, CAN_IdFrameType idFrame, PduIdType swPduHandle, uint8 length, uint8 * sdu)
|
|
|
{
|
|
|
- <bb 2> [local count: 1073741824]:
|
|
|
+ long unsigned int _1;
|
|
|
+
|
|
|
+ <bb 2> [local count: 1073741823]:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- switch (idFrame_2(D)) <default: <L8> [25.00%], case 1: <L1> [25.00%], case 2: <L2> [25.00%], case 3: <L3> [25.00%]>
|
|
|
+ switch (idFrame_3(D)) <default: <L4> [20.00%], case 0: <L0> [20.00%], case 1: <L1> [20.00%], case 2: <L2> [20.00%], case 3: <L3> [20.00%]>
|
|
|
|
|
|
- <bb 3> [local count: 268435456]:
|
|
|
+ <bb 3> [local count: 214748364]:
|
|
|
+<L0>:
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ id_8 = id_4(D) & 2047;
|
|
|
+ # DEBUG id => id_8
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ goto <bb 8>; [100.00%]
|
|
|
+
|
|
|
+ <bb 4> [local count: 214748364]:
|
|
|
<L1>:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- id_5 = id_3(D) | 1073741824;
|
|
|
- # DEBUG id => id_5
|
|
|
+ _1 = id_4(D) & 2047;
|
|
|
+ id_7 = _1 | 1073741824;
|
|
|
+ # DEBUG id => id_7
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- goto <bb 6>; [100.00%]
|
|
|
+ goto <bb 8>; [100.00%]
|
|
|
|
|
|
- <bb 4> [local count: 268435456]:
|
|
|
+ <bb 5> [local count: 214748364]:
|
|
|
<L2>:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- id_4 = id_3(D) | 2147483648;
|
|
|
- # DEBUG id => id_4
|
|
|
+ id_6 = id_4(D) | 2147483648;
|
|
|
+ # DEBUG id => id_6
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- goto <bb 6>; [100.00%]
|
|
|
+ goto <bb 8>; [100.00%]
|
|
|
|
|
|
- <bb 5> [local count: 268435456]:
|
|
|
+ <bb 6> [local count: 214748364]:
|
|
|
<L3>:
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- id_6 = id_3(D) | 3221225472;
|
|
|
- # DEBUG id => id_6
|
|
|
+ id_5 = id_4(D) | 3221225472;
|
|
|
+ # DEBUG id => id_5
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ goto <bb 8>; [100.00%]
|
|
|
+
|
|
|
+ <bb 7> [local count: 214748364]:
|
|
|
+<L4>:
|
|
|
+ # DEBUG BEGIN_STMT
|
|
|
+ id_9 = id_4(D) & 2047;
|
|
|
+ # DEBUG id => id_9
|
|
|
# DEBUG BEGIN_STMT
|
|
|
|
|
|
- <bb 6> [local count: 1073741824]:
|
|
|
- # id_1 = PHI <id_3(D)(2), id_5(3), id_4(4), id_6(5)>
|
|
|
-<L8>:
|
|
|
- # DEBUG id => id_1
|
|
|
+ <bb 8> [local count: 1073741824]:
|
|
|
+ # id_2 = PHI <id_8(3), id_7(4), id_6(5), id_5(6), id_9(7)>
|
|
|
+ # DEBUG id => id_2
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG PduInfo$id => id_1
|
|
|
+ # DEBUG PduInfo$id => id_2
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG PduInfo$swPduHandle => swPduHandle_8(D)
|
|
|
+ # DEBUG PduInfo$swPduHandle => swPduHandle_11(D)
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG PduInfo$length => length_9(D)
|
|
|
+ # DEBUG PduInfo$length => length_12(D)
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- # DEBUG PduInfo$sdu => sdu_10(D)
|
|
|
+ # DEBUG PduInfo$sdu => sdu_13(D)
|
|
|
# DEBUG BEGIN_STMT
|
|
|
- MEM[(struct *)&<retval>] = id_1;
|
|
|
- MEM[(struct *)&<retval> + 4B] = swPduHandle_8(D);
|
|
|
- MEM[(struct *)&<retval> + 6B] = length_9(D);
|
|
|
- MEM[(struct *)&<retval> + 8B] = sdu_10(D);
|
|
|
+ MEM[(struct *)&<retval>] = id_2;
|
|
|
+ MEM[(struct *)&<retval> + 4B] = swPduHandle_11(D);
|
|
|
+ MEM[(struct *)&<retval> + 6B] = length_12(D);
|
|
|
+ MEM[(struct *)&<retval> + 8B] = sdu_13(D);
|
|
|
# DEBUG D#1 => {CLOBBER}
|
|
|
# DEBUG PduInfo$id => D#1
|
|
|
# DEBUG D#2 => {CLOBBER}
|