Parsed function:CompletePllRdivMfiMfnOdiv2SdmenSsscgbypSpreadctlStepnoStepsize Parsed function:SetPllRdivMfiMfnOdiv2SdmenSsscgbypSpreadctlStepnoStepsize Parsed function:ResetPllRdivMfiMfnOdiv2SdmenSsscgbypSpreadctlStepnoStepsize Parsed function:Callback_PllEmptyComplete Parsed function:Callback_PllEmpty Dump after hash based groups Congruence classes: 6 (unique hash values: 6), with total: 6 items Class size histogram [num of members]: number of classe number of classess [1]: 6 classes Dump after WPA based types groups Congruence classes: 6 (unique hash values: 6), with total: 6 items Class size histogram [num of members]: number of classe number of classess [1]: 6 classes Worklist has been filled with: 5 Address reference subdivision created: 0 new classes. Dump after callgraph-based congruence reduction Congruence classes: 6 (unique hash values: 6), with total: 6 items Class size histogram [num of members]: number of classe number of classess [1]: 6 classes Init called for 0 items (0.00%). Dump after full equality comparison of groups Congruence classes: 6 (unique hash values: 6), with total: 6 items Class size histogram [num of members]: number of classe number of classess [1]: 6 classes Worklist has been filled with: 5 Address reference subdivision created: 0 new classes. Congruence classes: 6 (unique hash values: 6), with total: 6 items Class size histogram [num of members]: number of classe number of classess [1]: 6 classes Item count: 6 Congruent classes before: 6, after: 6 Average class size before: 1.00, after: 1.00 Average non-singular class size: 0.00, count: 0 Equal symbols: 0 Fraction of visited symbols: 0.00% CompletePllRdivMfiMfnOdiv2SdmenSsscgbypSpreadctlStepnoStepsize (Clock_Ip_NameType PllName) { uint32 instance; uint32 PllLockStatus; uint32 TimeoutTicks; uint32 ElapsedTime; uint32 StartTime; boolean TimeoutOccurred; clock_pll_status_t pllStatus; int _1; unsigned char _2; volatile struct PLL_Type * _3; long unsigned int _4; signed int _5; long unsigned int _7; long unsigned int _8; long unsigned int TimeoutTicks.0_9; [local count: 276913048]: # DEBUG BEGIN_STMT # DEBUG pllStatus => 2 # DEBUG BEGIN_STMT # DEBUG TimeoutOccurred => 0 # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT _1 = (int) PllName_13(D); _2 = clockFeatures[_1][0]; instance_15 = (uint32) _2; # DEBUG instance => instance_15 # DEBUG BEGIN_STMT _3 = pll[instance_15]; _4 ={v} _3->PLLCR; _5 = (signed int) _4; if (_5 >= 0) goto ; [41.48%] else goto ; [58.52%] [local count: 114863532]: # DEBUG BEGIN_STMT ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10000); [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT Clock_Ip_TimeDelay (); # DEBUG BEGIN_STMT _7 ={v} _3->PLLSR; _8 = _7 >> 2; PllLockStatus_18 = _8 & 1; # DEBUG PllLockStatus => PllLockStatus_18 # DEBUG BEGIN_STMT TimeoutTicks.0_9 = TimeoutTicks; TimeoutOccurred_20 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.0_9); # DEBUG TimeoutOccurred => TimeoutOccurred_20 # DEBUG BEGIN_STMT if (PllLockStatus_18 == 0) goto ; [94.50%] else goto ; [5.50%] [local count: 1014686024]: if (TimeoutOccurred_20 != 0) goto ; [5.50%] else goto ; [94.50%] [local count: 958878294]: goto ; [100.00%] [local count: 114863532]: # TimeoutOccurred_6 = PHI # DEBUG BEGIN_STMT if (TimeoutOccurred_6 != 0) goto ; [47.77%] else goto ; [52.23%] [local count: 54870309]: # DEBUG BEGIN_STMT UpdateClockState (PllName_13(D), 0); # DEBUG BEGIN_STMT # DEBUG pllStatus => 1 [local count: 276913047]: # pllStatus_10 = PHI <1(7), 0(2), 2(6)> # DEBUG pllStatus => pllStatus_10 # DEBUG BEGIN_STMT StartTime ={v} {CLOBBER}; ElapsedTime ={v} {CLOBBER}; TimeoutTicks ={v} {CLOBBER}; return pllStatus_10; } SetPllRdivMfiMfnOdiv2SdmenSsscgbypSpreadctlStepnoStepsize (const struct Clock_Ip_PllConfigType * config) { uint32 TimeoutTicks; uint32 ElapsedTime; uint32 StartTime; boolean TimeoutOccurred; uint32 value; uint32 instance; _1; int _2; unsigned char _3; short unsigned int _4; short 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 TimeoutTicks.1_14; long unsigned int _15; long unsigned int _16; _17; volatile struct PLL_Type * _18; unsigned char _19; long unsigned int _20; long unsigned int _21; long unsigned int _22; unsigned char _23; long unsigned int _24; long unsigned int _25; short unsigned int _27; long unsigned int _28; unsigned char _29; long unsigned int _30; long unsigned int _31; long unsigned int _32; unsigned char _33; unsigned char _34; long unsigned int _35; long unsigned int _36; long unsigned int _37; long unsigned int _38; short unsigned int _39; long unsigned int _40; long unsigned int _41; short unsigned int _42; long unsigned int _43; long unsigned int _44; long unsigned int _45; long unsigned int _46; long unsigned int _47; _48; long unsigned int iftmp.2_49; short unsigned int _56; [local count: 696142619]: # DEBUG BEGIN_STMT _1 = config_54(D)->name; _2 = (int) _1; _3 = clockFeatures[_2][0]; instance_55 = (uint32) _3; # DEBUG instance => instance_55 # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG TimeoutOccurred => 0 # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT _4 = config_54(D)->enable; if (_4 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 348071309]: # DEBUG BEGIN_STMT _6 ={v} MEM[(struct MC_ME_Type *)1076740096B].PRTN1_COFB1_STAT; _7 = _6 & 16777216; if (_7 == 0) goto ; [33.00%] else goto ; [67.00%] [local count: 114863532]: # DEBUG BEGIN_STMT _8 ={v} MEM[(struct MC_ME_Type *)1076740096B].PRTN1_COFB1_CLKEN; _9 = _8 | 16777216; MEM[(struct MC_ME_Type *)1076740096B].PRTN1_COFB1_CLKEN ={v} _9; # DEBUG BEGIN_STMT _10 ={v} MEM[(struct MC_ME_Type *)1076740096B].PRTN1_PCONF; _11 = _10 | 1; MEM[(struct MC_ME_Type *)1076740096B].PRTN1_PCONF ={v} _11; # DEBUG BEGIN_STMT _12 ={v} MEM[(struct MC_ME_Type *)1076740096B].PRTN1_PUPD; _13 = _12 | 1; MEM[(struct MC_ME_Type *)1076740096B].PRTN1_PUPD ={v} _13; # DEBUG BEGIN_STMT MEM[(struct MC_ME_Type *)1076740096B].CTL_KEY ={v} 23280; # DEBUG BEGIN_STMT MEM[(struct MC_ME_Type *)1076740096B].CTL_KEY ={v} 42255; # DEBUG BEGIN_STMT ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10000); [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT TimeoutTicks.1_14 = TimeoutTicks; TimeoutOccurred_64 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.1_14); # DEBUG TimeoutOccurred => TimeoutOccurred_64 # DEBUG BEGIN_STMT _15 ={v} MEM[(struct MC_ME_Type *)1076740096B].PRTN1_COFB1_STAT; _16 = _15 & 16777216; if (_16 == 0) goto ; [94.50%] else goto ; [5.50%] [local count: 1014686025]: if (TimeoutOccurred_64 != 0) goto ; [5.50%] else goto ; [94.50%] [local count: 958878292]: goto ; [100.00%] [local count: 114863532]: # TimeoutOccurred_26 = PHI # DEBUG BEGIN_STMT if (TimeoutOccurred_26 != 0) goto ; [33.00%] else goto ; [67.00%] [local count: 37904965]: # DEBUG BEGIN_STMT _17 = config_54(D)->name; ReportClockErrors (1, _17); [local count: 348071309]: # DEBUG BEGIN_STMT _18 = pll[instance_55]; value_66 ={v} _18->PLLDV; # DEBUG value => value_66 # DEBUG BEGIN_STMT value_67 = value_66 & 4294938368; # DEBUG value => value_67 # DEBUG BEGIN_STMT _19 = config_54(D)->predivider; _20 = (long unsigned int) _19; _21 = _20 << 12; _22 = _21 & 28672; _23 = config_54(D)->mulFactorDiv; _24 = (long unsigned int) _23; _25 = _22 | _24; value_68 = _25 | value_67; # DEBUG value => value_68 # DEBUG BEGIN_STMT _18->PLLDV ={v} value_68; # DEBUG BEGIN_STMT value_70 ={v} _18->PLLFD; # DEBUG value => value_70 # DEBUG BEGIN_STMT value_71 = value_70 & 3221192704; # DEBUG value => value_71 # DEBUG BEGIN_STMT _27 = config_54(D)->numeratorFracLoopDiv; _56 = _27 & 32767; _28 = (long unsigned int) _56; value_72 = _28 | value_71; # DEBUG value => value_72 # DEBUG BEGIN_STMT _29 = config_54(D)->sigmaDelta; _30 = (long unsigned int) _29; _31 = _30 << 30; _32 = _31 & 1073741824; value_73 = _32 | value_72; # DEBUG value => value_73 # DEBUG BEGIN_STMT _18->PLLFD ={v} value_73; # DEBUG BEGIN_STMT _33 = config_54(D)->modulationFrequency; if (_33 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 174035654]: [local count: 348071309]: # iftmp.2_49 = PHI <1073741824(9), 0(10)> _34 = config_54(D)->modulationType; _35 = (long unsigned int) _34; _36 = _35 << 29; _37 = _36 & 536870912; _38 = _37 | iftmp.2_49; _39 = config_54(D)->incrementStep; _5 = _39 & 2047; _40 = (long unsigned int) _5; _41 = _38 | _40; _42 = config_54(D)->modulationPeriod; _43 = (long unsigned int) _42; _44 = _43 << 16; _45 = _44 & 67043328; value_75 = _41 | _45; # DEBUG value => value_75 # DEBUG BEGIN_STMT _18->PLLFM ={v} value_75; # DEBUG BEGIN_STMT _46 ={v} _18->PLLCR; _47 = _46 & 2147483647; _18->PLLCR ={v} _47; # DEBUG BEGIN_STMT _48 = config_54(D)->name; UpdateClockState (_48, 255); [local count: 696142618]: StartTime ={v} {CLOBBER}; ElapsedTime ={v} {CLOBBER}; TimeoutTicks ={v} {CLOBBER}; return; } ResetPllRdivMfiMfnOdiv2SdmenSsscgbypSpreadctlStepnoStepsize (const struct Clock_Ip_PllConfigType * config) { uint32 instance; _1; int _2; unsigned char _3; long unsigned int _4; long unsigned int _5; volatile struct PLL_Type * _6; long unsigned int _7; long unsigned int _8; [local count: 1073741824]: # DEBUG BEGIN_STMT _1 = config_11(D)->name; _2 = (int) _1; _3 = clockFeatures[_2][0]; instance_12 = (uint32) _3; # DEBUG instance => instance_12 # DEBUG BEGIN_STMT _4 ={v} MEM[(struct MC_ME_Type *)1076740096B].PRTN1_COFB1_STAT; _5 = _4 & 16777216; if (_5 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: # DEBUG BEGIN_STMT _6 = pll[instance_12]; _7 ={v} _6->PLLCR; _8 = _7 | 2147483648; _6->PLLCR ={v} _8; [local count: 1073741824]: # DEBUG BEGIN_STMT UpdateClockState (_1, 0); return; } Callback_PllEmptyComplete (Clock_Ip_NameType PllName) { [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT return 0; } Callback_PllEmpty (const struct Clock_Ip_PllConfigType * config) { [local count: 1073741824]: # DEBUG BEGIN_STMT return; }