vEventGroupSetNumber (void * xEventGroup, UBaseType_t uxEventGroupNumber) { <bb 2> : MEM[(struct EventGroup_t *)xEventGroup_2(D)].uxEventGroupNumber = uxEventGroupNumber_3(D); return; } uxEventGroupGetNumber (void * xEventGroup) { const struct EventGroup_t * pxEventBits; UBaseType_t xReturn; UBaseType_t D.6567; UBaseType_t _7; <bb 2> : pxEventBits_3 = xEventGroup_2(D); if (xEventGroup_2(D) == 0B) goto <bb 3>; [INV] else goto <bb 4>; [INV] <bb 3> : xReturn_6 = 0; goto <bb 5>; [INV] <bb 4> : xReturn_5 = pxEventBits_3->uxEventGroupNumber; <bb 5> : # xReturn_1 = PHI <xReturn_6(3), xReturn_5(4)> _7 = xReturn_1; <bb 6> : <L3>: return _7; } xEventGroupSetBitsFromISR (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToSet, BaseType_t * pxHigherPriorityTaskWoken) { BaseType_t xReturn; BaseType_t D.6562; BaseType_t _7; <bb 2> : xReturn_6 = xTimerPendFunctionCallFromISR (vEventGroupSetBitsCallback, xEventGroup_2(D), uxBitsToSet_3(D), pxHigherPriorityTaskWoken_4(D)); _7 = xReturn_6; <bb 3> : <L0>: return _7; } prvTestWaitCondition (const EventBits_t uxCurrentEventBits, const EventBits_t uxBitsToWaitFor, const BaseType_t xWaitForAllBits) { BaseType_t xWaitConditionMet; BaseType_t D.6560; long unsigned int _1; long unsigned int _2; BaseType_t _10; <bb 2> : xWaitConditionMet_4 = 0; if (xWaitForAllBits_5(D) == 0) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : _1 = uxCurrentEventBits_6(D) & uxBitsToWaitFor_7(D); if (_1 != 0) goto <bb 4>; [INV] else goto <bb 7>; [INV] <bb 4> : xWaitConditionMet_9 = 1; goto <bb 7>; [INV] <bb 5> : _2 = uxCurrentEventBits_6(D) & uxBitsToWaitFor_7(D); if (uxBitsToWaitFor_7(D) == _2) goto <bb 6>; [INV] else goto <bb 7>; [INV] <bb 6> : xWaitConditionMet_8 = 1; <bb 7> : # xWaitConditionMet_3 = PHI <xWaitConditionMet_9(4), xWaitConditionMet_4(5), xWaitConditionMet_8(6), xWaitConditionMet_4(3)> _10 = xWaitConditionMet_3; <bb 8> : <L9>: return _10; } vEventGroupClearBitsCallback (void * pvEventGroup, const uint32_t ulBitsToClear) { <bb 2> : xEventGroupClearBits (pvEventGroup_2(D), ulBitsToClear_3(D)); return; } vEventGroupSetBitsCallback (void * pvEventGroup, const uint32_t ulBitsToSet) { <bb 2> : xEventGroupSetBits (pvEventGroup_2(D), ulBitsToSet_3(D)); return; } vEventGroupDelete (struct EventGroupDef_t * xEventGroup) { uint32_t ulNewBASEPRI; uint32_t ulNewBASEPRI; const struct List_t * pxTasksWaitingForBits; struct EventGroup_t * pxEventBits; struct xLIST_ITEM * _1; const struct MiniListItem_t * _2; struct xLIST_ITEM * _3; long unsigned int _4; <bb 2> : if (xEventGroup_6(D) == 0B) goto <bb 3>; [INV] else goto <bb 6>; [INV] <bb 3> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_14 : "i" 16 : "memory"); <bb 4> : <bb 5> : goto <bb 5>; [INV] <bb 6> : pxEventBits_7 = xEventGroup_6(D); pxTasksWaitingForBits_8 = &pxEventBits_7->xTasksWaitingForBits; vTaskSuspendAll (); goto <bb 12>; [INV] <bb 7> : _1 = pxTasksWaitingForBits_8->xListEnd.pxNext; _2 = &pxTasksWaitingForBits_8->xListEnd; if (_1 == _2) goto <bb 8>; [INV] else goto <bb 11>; [INV] <bb 8> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_15 : "i" 16 : "memory"); <bb 9> : <bb 10> : goto <bb 10>; [INV] <bb 11> : _3 = pxTasksWaitingForBits_8->xListEnd.pxNext; vTaskRemoveFromUnorderedEventList (_3, 33554432); <bb 12> : _4 ={v} pxTasksWaitingForBits_8->uxNumberOfItems; if (_4 != 0) goto <bb 7>; [INV] else goto <bb 13>; [INV] <bb 13> : vPortFree (pxEventBits_7); xTaskResumeAll (); return; } xEventGroupSetBits (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToSet) { uint32_t ulNewBASEPRI; uint32_t ulNewBASEPRI; BaseType_t xMatchFound; struct EventGroup_t * pxEventBits; EventBits_t uxControlBits; EventBits_t uxBitsWaitedFor; EventBits_t uxBitsToClear; const struct List_t * pxList; const struct ListItem_t * pxListEnd; struct ListItem_t * pxNext; struct ListItem_t * pxListItem; EventBits_t D.6545; long unsigned int _1; long unsigned int _2; long unsigned int _3; long unsigned int _4; long unsigned int _5; long unsigned int _6; long unsigned int _7; long unsigned int _8; long unsigned int _9; long unsigned int _10; long unsigned int _11; long unsigned int _12; long unsigned int _13; long unsigned int _14; EventBits_t _35; <bb 2> : uxBitsToClear_22 = 0; pxEventBits_24 = xEventGroup_23(D); xMatchFound_25 = 0; if (xEventGroup_23(D) == 0B) goto <bb 3>; [INV] else goto <bb 6>; [INV] <bb 3> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_46 : "i" 16 : "memory"); <bb 4> : <bb 5> : goto <bb 5>; [INV] <bb 6> : _1 = uxBitsToSet_26(D) & 4278190080; if (_1 != 0) goto <bb 7>; [INV] else goto <bb 10>; [INV] <bb 7> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_47 : "i" 16 : "memory"); <bb 8> : <bb 9> : goto <bb 9>; [INV] <bb 10> : pxList_27 = &pxEventBits_24->xTasksWaitingForBits; pxListEnd_28 = &pxList_27->xListEnd; vTaskSuspendAll (); pxListItem_31 = pxList_27->xListEnd.pxNext; _2 = pxEventBits_24->uxEventBits; _3 = uxBitsToSet_26(D) | _2; pxEventBits_24->uxEventBits = _3; goto <bb 21>; [INV] <bb 11> : pxNext_36 = pxListItem_15->pxNext; uxBitsWaitedFor_37 = pxListItem_15->xItemValue; xMatchFound_38 = 0; uxControlBits_39 = uxBitsWaitedFor_37 & 4278190080; uxBitsWaitedFor_40 = uxBitsWaitedFor_37 & 16777215; _4 = uxControlBits_39 & 67108864; if (_4 == 0) goto <bb 12>; [INV] else goto <bb 14>; [INV] <bb 12> : _5 = pxEventBits_24->uxEventBits; _6 = uxBitsWaitedFor_40 & _5; if (_6 != 0) goto <bb 13>; [INV] else goto <bb 16>; [INV] <bb 13> : xMatchFound_42 = 1; goto <bb 16>; [INV] <bb 14> : _7 = pxEventBits_24->uxEventBits; _8 = uxBitsWaitedFor_40 & _7; if (uxBitsWaitedFor_40 == _8) goto <bb 15>; [INV] else goto <bb 16>; [INV] <bb 15> : xMatchFound_41 = 1; <bb 16> : # xMatchFound_19 = PHI <xMatchFound_42(13), xMatchFound_38(14), xMatchFound_41(15), xMatchFound_38(12)> if (xMatchFound_19 != 0) goto <bb 17>; [INV] else goto <bb 20>; [INV] <bb 17> : _9 = uxControlBits_39 & 16777216; if (_9 != 0) goto <bb 18>; [INV] else goto <bb 19>; [INV] <bb 18> : uxBitsToClear_43 = uxBitsToClear_18 | uxBitsWaitedFor_40; <bb 19> : # uxBitsToClear_16 = PHI <uxBitsToClear_18(17), uxBitsToClear_43(18)> _10 = pxEventBits_24->uxEventBits; _11 = _10 | 33554432; vTaskRemoveFromUnorderedEventList (pxListItem_15, _11); <bb 20> : # uxBitsToClear_17 = PHI <uxBitsToClear_18(16), uxBitsToClear_16(19)> pxListItem_45 = pxNext_36; <bb 21> : # pxListItem_15 = PHI <pxListItem_31(10), pxListItem_45(20)> # uxBitsToClear_18 = PHI <uxBitsToClear_22(10), uxBitsToClear_17(20)> if (pxListItem_15 != pxListEnd_28) goto <bb 11>; [INV] else goto <bb 22>; [INV] <bb 22> : _12 = pxEventBits_24->uxEventBits; _13 = ~uxBitsToClear_18; _14 = _12 & _13; pxEventBits_24->uxEventBits = _14; xTaskResumeAll (); _35 = pxEventBits_24->uxEventBits; <bb 23> : <L23>: return _35; } xEventGroupGetBitsFromISR (struct EventGroupDef_t * xEventGroup) { uint32_t D.6592; uint32_t ulOriginalBASEPRI; uint32_t ulNewBASEPRI; uint32_t D.6591; uint32_t ulNewMaskValue; EventBits_t uxReturn; const struct EventGroup_t * const pxEventBits; UBaseType_t uxSavedInterruptStatus; EventBits_t D.6523; EventBits_t _6; long unsigned int _10; <bb 2> : pxEventBits_2 = xEventGroup_1(D); __asm__ __volatile__(" mrs %0, basepri mov %1, %2 msr basepri, %1 isb dsb " : "=r" ulOriginalBASEPRI_8, "=r" ulNewBASEPRI_9 : "i" 16 : "memory"); _10 = ulOriginalBASEPRI_8; <bb 3> : <L1>: _12 = _10; <bb 4> : uxSavedInterruptStatus_4 = _12; uxReturn_5 = pxEventBits_2->uxEventBits; ulNewMaskValue_7 = uxSavedInterruptStatus_4; __asm__ __volatile__(" msr basepri, %0 " : : "r" ulNewMaskValue_7 : "memory"); <bb 5> : _6 = uxReturn_5; <bb 6> : <L0>: return _6; } xEventGroupClearBitsFromISR (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToClear) { BaseType_t xReturn; BaseType_t D.6521; BaseType_t _6; <bb 2> : xReturn_5 = xTimerPendFunctionCallFromISR (vEventGroupClearBitsCallback, xEventGroup_2(D), uxBitsToClear_3(D), 0B); _6 = xReturn_5; <bb 3> : <L0>: return _6; } xEventGroupClearBits (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToClear) { uint32_t ulNewBASEPRI; uint32_t ulNewBASEPRI; EventBits_t uxReturn; struct EventGroup_t * pxEventBits; EventBits_t D.6519; long unsigned int _1; long unsigned int _2; long unsigned int _3; long unsigned int _4; EventBits_t _13; <bb 2> : pxEventBits_6 = xEventGroup_5(D); if (xEventGroup_5(D) == 0B) goto <bb 3>; [INV] else goto <bb 6>; [INV] <bb 3> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_14 : "i" 16 : "memory"); <bb 4> : <bb 5> : goto <bb 5>; [INV] <bb 6> : _1 = uxBitsToClear_7(D) & 4278190080; if (_1 != 0) goto <bb 7>; [INV] else goto <bb 10>; [INV] <bb 7> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_15 : "i" 16 : "memory"); <bb 8> : <bb 9> : goto <bb 9>; [INV] <bb 10> : vPortEnterCritical (); uxReturn_10 = pxEventBits_6->uxEventBits; _2 = pxEventBits_6->uxEventBits; _3 = ~uxBitsToClear_7(D); _4 = _2 & _3; pxEventBits_6->uxEventBits = _4; vPortExitCritical (); _13 = uxReturn_10; <bb 11> : <L6>: return _13; } xEventGroupWaitBits (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToWaitFor, const BaseType_t xClearOnExit, const BaseType_t xWaitForAllBits, TickType_t xTicksToWait) { uint32_t ulNewBASEPRI; uint32_t ulNewBASEPRI; uint32_t ulNewBASEPRI; uint32_t ulNewBASEPRI; const EventBits_t uxCurrentEventBits; BaseType_t xTimeoutOccurred; BaseType_t xAlreadyYielded; BaseType_t xWaitConditionMet; EventBits_t uxControlBits; EventBits_t uxReturn; struct EventGroup_t * pxEventBits; EventBits_t D.6513; int iftmp.1; long unsigned int _1; long int _2; long unsigned int _3; long unsigned int _4; long unsigned int _5; struct List_t * _6; long unsigned int _7; volatile uint32_t * _8; long unsigned int _9; long int _10; long unsigned int _11; long unsigned int _12; long unsigned int _13; int iftmp.1_20; int iftmp.1_34; int iftmp.1_35; EventBits_t _65; <bb 2> : pxEventBits_27 = xEventGroup_26(D); uxControlBits_28 = 0; xTimeoutOccurred_29 = 0; if (xEventGroup_26(D) == 0B) goto <bb 3>; [INV] else goto <bb 6>; [INV] <bb 3> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_66 : "i" 16 : "memory"); <bb 4> : <bb 5> : goto <bb 5>; [INV] <bb 6> : _1 = uxBitsToWaitFor_30(D) & 4278190080; if (_1 != 0) goto <bb 7>; [INV] else goto <bb 10>; [INV] <bb 7> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_67 : "i" 16 : "memory"); <bb 8> : <bb 9> : goto <bb 9>; [INV] <bb 10> : if (uxBitsToWaitFor_30(D) == 0) goto <bb 11>; [INV] else goto <bb 14>; [INV] <bb 11> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_68 : "i" 16 : "memory"); <bb 12> : <bb 13> : goto <bb 13>; [INV] <bb 14> : _2 = xTaskGetSchedulerState (); if (_2 != 0) goto <bb 16>; [INV] else goto <bb 15>; [INV] <bb 15> : if (xTicksToWait_33(D) == 0) goto <bb 16>; [INV] else goto <bb 17>; [INV] <bb 16> : iftmp.1_35 = 1; goto <bb 18>; [INV] <bb 17> : iftmp.1_34 = 0; <bb 18> : # iftmp.1_20 = PHI <iftmp.1_35(16), iftmp.1_34(17)> if (iftmp.1_20 == 0) goto <bb 19>; [INV] else goto <bb 22>; [INV] <bb 19> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_69 : "i" 16 : "memory"); <bb 20> : <bb 21> : goto <bb 21>; [INV] <bb 22> : vTaskSuspendAll (); uxCurrentEventBits_37 = pxEventBits_27->uxEventBits; xWaitConditionMet_40 = prvTestWaitCondition (uxCurrentEventBits_37, uxBitsToWaitFor_30(D), xWaitForAllBits_38(D)); if (xWaitConditionMet_40 != 0) goto <bb 23>; [INV] else goto <bb 25>; [INV] <bb 23> : uxReturn_48 = uxCurrentEventBits_37; xTicksToWait_49 = 0; if (xClearOnExit_41(D) != 0) goto <bb 24>; [INV] else goto <bb 32>; [INV] <bb 24> : _3 = pxEventBits_27->uxEventBits; _4 = ~uxBitsToWaitFor_30(D); _5 = _3 & _4; pxEventBits_27->uxEventBits = _5; goto <bb 32>; [INV] <bb 25> : if (xTicksToWait_33(D) == 0) goto <bb 26>; [INV] else goto <bb 27>; [INV] <bb 26> : uxReturn_46 = uxCurrentEventBits_37; xTimeoutOccurred_47 = 1; goto <bb 32>; [INV] <bb 27> : if (xClearOnExit_41(D) != 0) goto <bb 28>; [INV] else goto <bb 29>; [INV] <bb 28> : uxControlBits_42 = uxControlBits_28 | 16777216; <bb 29> : # uxControlBits_18 = PHI <uxControlBits_28(27), uxControlBits_42(28)> if (xWaitForAllBits_38(D) != 0) goto <bb 30>; [INV] else goto <bb 31>; [INV] <bb 30> : uxControlBits_43 = uxControlBits_18 | 67108864; <bb 31> : # uxControlBits_19 = PHI <uxControlBits_18(29), uxControlBits_43(30)> _6 = &pxEventBits_27->xTasksWaitingForBits; _7 = uxBitsToWaitFor_30(D) | uxControlBits_19; vTaskPlaceOnUnorderedEventList (_6, _7, xTicksToWait_33(D)); uxReturn_45 = 0; <bb 32> : # xTicksToWait_14 = PHI <xTicksToWait_49(24), xTicksToWait_33(D)(26), xTicksToWait_33(D)(31), xTicksToWait_49(23)> # uxReturn_15 = PHI <uxReturn_48(24), uxReturn_46(26), uxReturn_45(31), uxReturn_48(23)> xAlreadyYielded_52 = xTaskResumeAll (); if (xTicksToWait_14 != 0) goto <bb 33>; [INV] else goto <bb 41>; [INV] <bb 33> : if (xAlreadyYielded_52 == 0) goto <bb 34>; [INV] else goto <bb 35>; [INV] <bb 34> : _8 = 3758157060B; *_8 ={v} 268435456; __asm__ __volatile__("dsb" : : : "memory"); __asm__ __volatile__("isb"); <bb 35> : uxReturn_57 = uxTaskResetEventItemValue (); _9 = uxReturn_57 & 33554432; if (_9 == 0) goto <bb 36>; [INV] else goto <bb 40>; [INV] <bb 36> : vPortEnterCritical (); uxReturn_59 = pxEventBits_27->uxEventBits; _10 = prvTestWaitCondition (uxReturn_59, uxBitsToWaitFor_30(D), xWaitForAllBits_38(D)); if (_10 != 0) goto <bb 37>; [INV] else goto <bb 39>; [INV] <bb 37> : if (xClearOnExit_41(D) != 0) goto <bb 38>; [INV] else goto <bb 39>; [INV] <bb 38> : _11 = pxEventBits_27->uxEventBits; _12 = ~uxBitsToWaitFor_30(D); _13 = _11 & _12; pxEventBits_27->uxEventBits = _13; <bb 39> : xTimeoutOccurred_62 = 1; vPortExitCritical (); <bb 40> : # uxReturn_16 = PHI <uxReturn_57(35), uxReturn_59(39)> uxReturn_64 = uxReturn_16 & 16777215; <bb 41> : # uxReturn_17 = PHI <uxReturn_15(32), uxReturn_64(40)> _65 = uxReturn_17; <bb 42> : <L45>: return _65; } xEventGroupSync (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToSet, const EventBits_t uxBitsToWaitFor, TickType_t xTicksToWait) { uint32_t ulNewBASEPRI; uint32_t ulNewBASEPRI; uint32_t ulNewBASEPRI; BaseType_t xTimeoutOccurred; BaseType_t xAlreadyYielded; struct EventGroup_t * pxEventBits; EventBits_t uxReturn; EventBits_t uxOriginalBitValue; EventBits_t D.6469; int iftmp.0; long unsigned int _1; long int _2; long unsigned int _3; long unsigned int _4; long unsigned int _5; long unsigned int _6; long unsigned int _7; struct List_t * _8; long unsigned int _9; volatile uint32_t * _10; long unsigned int _11; long unsigned int _12; long unsigned int _13; long unsigned int _14; long unsigned int _15; int iftmp.0_20; int iftmp.0_33; int iftmp.0_34; EventBits_t _59; <bb 2> : pxEventBits_27 = xEventGroup_26(D); xTimeoutOccurred_28 = 0; _1 = uxBitsToWaitFor_29(D) & 4278190080; if (_1 != 0) goto <bb 3>; [INV] else goto <bb 6>; [INV] <bb 3> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_60 : "i" 16 : "memory"); <bb 4> : <bb 5> : goto <bb 5>; [INV] <bb 6> : if (uxBitsToWaitFor_29(D) == 0) goto <bb 7>; [INV] else goto <bb 10>; [INV] <bb 7> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_61 : "i" 16 : "memory"); <bb 8> : <bb 9> : goto <bb 9>; [INV] <bb 10> : _2 = xTaskGetSchedulerState (); if (_2 != 0) goto <bb 12>; [INV] else goto <bb 11>; [INV] <bb 11> : if (xTicksToWait_32(D) == 0) goto <bb 12>; [INV] else goto <bb 13>; [INV] <bb 12> : iftmp.0_34 = 1; goto <bb 14>; [INV] <bb 13> : iftmp.0_33 = 0; <bb 14> : # iftmp.0_20 = PHI <iftmp.0_34(12), iftmp.0_33(13)> if (iftmp.0_20 == 0) goto <bb 15>; [INV] else goto <bb 18>; [INV] <bb 15> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_62 : "i" 16 : "memory"); <bb 16> : <bb 17> : goto <bb 17>; [INV] <bb 18> : vTaskSuspendAll (); uxOriginalBitValue_36 = pxEventBits_27->uxEventBits; xEventGroupSetBits (xEventGroup_26(D), uxBitsToSet_37(D)); _3 = uxOriginalBitValue_36 | uxBitsToSet_37(D); _4 = uxBitsToWaitFor_29(D) & _3; if (uxBitsToWaitFor_29(D) == _4) goto <bb 19>; [INV] else goto <bb 20>; [INV] <bb 19> : uxReturn_43 = uxOriginalBitValue_36 | uxBitsToSet_37(D); _5 = pxEventBits_27->uxEventBits; _6 = ~uxBitsToWaitFor_29(D); _7 = _5 & _6; pxEventBits_27->uxEventBits = _7; xTicksToWait_45 = 0; goto <bb 23>; [INV] <bb 20> : if (xTicksToWait_32(D) != 0) goto <bb 21>; [INV] else goto <bb 22>; [INV] <bb 21> : _8 = &pxEventBits_27->xTasksWaitingForBits; _9 = uxBitsToWaitFor_29(D) | 83886080; vTaskPlaceOnUnorderedEventList (_8, _9, xTicksToWait_32(D)); uxReturn_42 = 0; goto <bb 23>; [INV] <bb 22> : uxReturn_39 = pxEventBits_27->uxEventBits; xTimeoutOccurred_40 = 1; <bb 23> : # xTicksToWait_16 = PHI <xTicksToWait_45(19), xTicksToWait_32(D)(21), xTicksToWait_32(D)(22)> # uxReturn_17 = PHI <uxReturn_43(19), uxReturn_42(21), uxReturn_39(22)> xAlreadyYielded_47 = xTaskResumeAll (); if (xTicksToWait_16 != 0) goto <bb 24>; [INV] else goto <bb 31>; [INV] <bb 24> : if (xAlreadyYielded_47 == 0) goto <bb 25>; [INV] else goto <bb 26>; [INV] <bb 25> : _10 = 3758157060B; *_10 ={v} 268435456; __asm__ __volatile__("dsb" : : : "memory"); __asm__ __volatile__("isb"); <bb 26> : uxReturn_52 = uxTaskResetEventItemValue (); _11 = uxReturn_52 & 33554432; if (_11 == 0) goto <bb 27>; [INV] else goto <bb 30>; [INV] <bb 27> : vPortEnterCritical (); uxReturn_54 = pxEventBits_27->uxEventBits; _12 = uxReturn_54 & uxBitsToWaitFor_29(D); if (uxBitsToWaitFor_29(D) == _12) goto <bb 28>; [INV] else goto <bb 29>; [INV] <bb 28> : _13 = pxEventBits_27->uxEventBits; _14 = ~uxBitsToWaitFor_29(D); _15 = _13 & _14; pxEventBits_27->uxEventBits = _15; <bb 29> : vPortExitCritical (); xTimeoutOccurred_57 = 1; <bb 30> : # uxReturn_18 = PHI <uxReturn_52(26), uxReturn_54(29)> uxReturn_58 = uxReturn_18 & 16777215; <bb 31> : # uxReturn_19 = PHI <uxReturn_17(23), uxReturn_58(30)> _59 = uxReturn_19; <bb 32> : <L30>: return _59; } xEventGroupCreate () { struct EventGroup_t * pxEventBits; struct EventGroupDef_t * D.6439; struct List_t * _1; struct EventGroupDef_t * _8; <bb 2> : pxEventBits_5 = pvPortMalloc (28); if (pxEventBits_5 != 0B) goto <bb 3>; [INV] else goto <bb 4>; [INV] <bb 3> : pxEventBits_5->uxEventBits = 0; _1 = &pxEventBits_5->xTasksWaitingForBits; vListInitialise (_1); <bb 4> : _8 = pxEventBits_5; <bb 5> : <L3>: return _8; }