local analysis of OsIf_Timer_System_MicrosToTicks
   scanning: _1 = OsIf_abMdlInit[0];
  scanning: if (_1 != 0)
  scanning: x ={v} 0;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: x.0_14 ={v} x;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: if (x.0_14 != 0)
  scanning: _2 = OsIf_apxInternalCfg[0];
  scanning: if (_2 == 0B)
  scanning: x ={v} 0;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: x.0_15 ={v} x;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: if (x.0_15 != 0)
  scanning: _3 = (long long unsigned int) Micros_10(D);
  scanning: _4 = OsIf_au32InternalFrequencies[0];
  scanning: _5 = (long long unsigned int) _4;
  scanning: interim_11 = _3 * _5;
  scanning: interim_12 = interim_11 / 1000000;
  scanning: _6 = interim_11 <= 4294967295999999;
  scanning: x ={v} _6;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: x.0_16 ={v} x;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: if (x.0_16 != 0)
  scanning: ticks_13 = (uint32) interim_12;
  scanning: return ticks_7;


 local analysis of OsIf_Timer_System_SetTimerFrequency
   scanning: _1 = OsIf_abMdlInit[0];
  scanning: if (_1 != 0)
  scanning: x ={v} 0;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: x.0_7 ={v} x;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: if (x.0_7 != 0)
  scanning: _2 = OsIf_apxInternalCfg[0];
  scanning: if (_2 == 0B)
  scanning: x ={v} 0;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: x.0_8 ={v} x;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: if (x.0_8 != 0)
  scanning: OsIf_au32InternalFrequencies[0] = Freq_5(D);
  scanning: return;


 local analysis of OsIf_Timer_System_GetElapsed
   scanning: _1 = OsIf_abMdlInit[0];
  scanning: if (_1 != 0)
  scanning: x ={v} 0;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: x.0_9 ={v} x;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: if (x.0_9 != 0)
  scanning: _2 = OsIf_apxInternalCfg[0];
  scanning: if (_2 == 0B)
  scanning: x ={v} 0;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: x.0_10 ={v} x;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: if (x.0_10 != 0)
  scanning: Elapsed_8 = OsIf_Timer_System_Internal_GetElapsed (CurrentRef_6(D));
  scanning: return Elapsed_3;


 local analysis of OsIf_Timer_System_GetCounter
   scanning: _1 = OsIf_abMdlInit[0];
  scanning: if (_1 != 0)
  scanning: x ={v} 0;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: x.0_6 ={v} x;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: if (x.0_6 != 0)
  scanning: _2 = OsIf_apxInternalCfg[0];
  scanning: if (_2 == 0B)
  scanning: x ={v} 0;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: x.0_7 ={v} x;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: if (x.0_7 != 0)
  scanning: _8 ={v} MEM[(struct S32_SysTick_Type *)3758153744B].CVR;
    Volatile stmt is not const/pure
    Indirect ref read is not const
  scanning: _9 = _8 & 16777215;
  scanning: return Counter_3;


 local analysis of OsIf_Timer_System_Init
   scanning: _1 = OsIf_apxPredefinedConfig[0];
  scanning: if (_1 == 0B)
  scanning: x ={v} 0;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: x.0_9 ={v} x;
    Volatile stmt is not const/pure
    Volatile operand is not const/pure
  scanning: if (x.0_9 != 0)
  scanning: OsIf_abMdlInit[0] = 1;
  scanning: OsIf_apxInternalCfg[0] = _1;
  scanning: _2 = _1->counterFrequency;
    Indirect ref read is not const
  scanning: OsIf_au32InternalFrequencies[0] = _2;
  scanning: OsIf_Timer_System_Internal_Init ();
  scanning: return;


 local analysis of OsIf_Timer_System_Internal_GetElapsed
   scanning: _1 ={v} MEM[(struct S32_SysTick_Type *)3758153744B].CVR;
    Volatile stmt is not const/pure
    Indirect ref read is not const
  scanning: CurrentVal_7 = _1 & 16777215;
  scanning: _2 = *CurrentRef_8(D);
    Indirect ref read is not const
  scanning: if (_2 < CurrentVal_7)
  scanning: _3 ={v} MEM[(struct S32_SysTick_Type *)3758153744B].RVR;
    Volatile stmt is not const/pure
    Indirect ref read is not const
  scanning: _4 = _2 - CurrentVal_7;
  scanning: dif_10 = _3 + _4;
  scanning: dif_9 = _2 - CurrentVal_7;
  scanning: *CurrentRef_8(D) = CurrentVal_7;
    Indirect ref write is not const/pure
  scanning: return dif_5;


 local analysis of OsIf_Timer_System_Internal_Init
   scanning: MEM[(struct S32_SysTick_Type *)3758153744B].CSRr ={v} 0;
    Volatile stmt is not const/pure
    Indirect ref write is not const/pure
  scanning: MEM[(struct S32_SysTick_Type *)3758153744B].RVR ={v} 16777215;
    Volatile stmt is not const/pure
    Indirect ref write is not const/pure
  scanning: MEM[(struct S32_SysTick_Type *)3758153744B].CVR ={v} 0;
    Volatile stmt is not const/pure
    Indirect ref write is not const/pure
  scanning: MEM[(struct S32_SysTick_Type *)3758153744B].CSRr ={v} 5;
    Volatile stmt is not const/pure
    Indirect ref write is not const/pure
  scanning: return;
callgraph:

OsIf_Timer_System_MicrosToTicks/11 (OsIf_Timer_System_MicrosToTicks) @06ac1460
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @067255e0
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)OsIf_au32InternalFrequencies/6 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_SetTimerFrequency/10 (OsIf_Timer_System_SetTimerFrequency) @06ac11c0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725540
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)OsIf_au32InternalFrequencies/6 (write)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_GetElapsed/9 (OsIf_Timer_System_GetElapsed) @06abee00
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725600
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: OsIf_Timer_System_Internal_GetElapsed/3 (inlined) (114826 (estimated locally),0.27 per call) 
OsIf_Timer_System_GetCounter/8 (OsIf_Timer_System_GetCounter) @06abe9a0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725640
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_Init/7 (OsIf_Timer_System_Init) @06abed20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725660
  References: OsIf_apxPredefinedConfig/12 (read)OsIf_abMdlInit/4 (write)OsIf_apxInternalCfg/5 (write)OsIf_au32InternalFrequencies/6 (write)
  Referring: 
  Availability: available
  Function flags: count:461526 (estimated locally) body optimize_size
  Called by: 
  Calls: OsIf_Timer_System_Internal_Init/1 (inlined) (354152 (estimated locally),0.77 per call) 
OsIf_Timer_System_Internal_GetElapsed/3 (OsIf_Timer_System_Internal_GetElapsed) @06a61ee0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  Aux: @06725380
  References: 
  Referring: 
  Function OsIf_Timer_System_Internal_GetElapsed/3 is inline copy in OsIf_Timer_System_GetElapsed/9
  Availability: local
  Function flags: count:114826 (estimated locally) body local optimize_size
  Called by: OsIf_Timer_System_GetElapsed/9 (inlined) (114826 (estimated locally),0.27 per call) 
  Calls: 
OsIf_Timer_System_Internal_Init/1 (OsIf_Timer_System_Internal_Init) @06a619a0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  Aux: @067256c0
  References: 
  Referring: 
  Function OsIf_Timer_System_Internal_Init/1 is inline copy in OsIf_Timer_System_Init/7
  Availability: local
  Function flags: count:354152 (estimated locally) body local optimize_size
  Called by: OsIf_Timer_System_Init/7 (inlined) (354152 (estimated locally),0.77 per call) 
  Calls: 


 ordered call graph: reduced for nothrow
OsIf_Timer_System_MicrosToTicks/11 (OsIf_Timer_System_MicrosToTicks) @06ac1460
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @067255e0
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)OsIf_au32InternalFrequencies/6 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_SetTimerFrequency/10 (OsIf_Timer_System_SetTimerFrequency) @06ac11c0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725540
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)OsIf_au32InternalFrequencies/6 (write)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_GetElapsed/9 (OsIf_Timer_System_GetElapsed) @06abee00
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725600
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: OsIf_Timer_System_Internal_GetElapsed/3 (inlined) (114826 (estimated locally),0.27 per call) 
OsIf_Timer_System_GetCounter/8 (OsIf_Timer_System_GetCounter) @06abe9a0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725640
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_Init/7 (OsIf_Timer_System_Init) @06abed20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725660
  References: OsIf_apxPredefinedConfig/12 (read)OsIf_abMdlInit/4 (write)OsIf_apxInternalCfg/5 (write)OsIf_au32InternalFrequencies/6 (write)
  Referring: 
  Availability: available
  Function flags: count:461526 (estimated locally) body optimize_size
  Called by: 
  Calls: OsIf_Timer_System_Internal_Init/1 (inlined) (354152 (estimated locally),0.77 per call) 
OsIf_Timer_System_Internal_GetElapsed/3 (OsIf_Timer_System_Internal_GetElapsed) @06a61ee0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  Aux: @06725380
  References: 
  Referring: 
  Function OsIf_Timer_System_Internal_GetElapsed/3 is inline copy in OsIf_Timer_System_GetElapsed/9
  Availability: local
  Function flags: count:114826 (estimated locally) body local optimize_size
  Called by: OsIf_Timer_System_GetElapsed/9 (inlined) (114826 (estimated locally),0.27 per call) 
  Calls: 
OsIf_Timer_System_Internal_Init/1 (OsIf_Timer_System_Internal_Init) @06a619a0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  Aux: @067256c0
  References: 
  Referring: 
  Function OsIf_Timer_System_Internal_Init/1 is inline copy in OsIf_Timer_System_Init/7
  Availability: local
  Function flags: count:354152 (estimated locally) body local optimize_size
  Called by: OsIf_Timer_System_Init/7 (inlined) (354152 (estimated locally),0.77 per call) 
  Calls: 



MALLOC LATTICE Initial:
OsIf_Timer_System_MicrosToTicks: malloc_bottom
OsIf_Timer_System_SetTimerFrequency: malloc_bottom
OsIf_Timer_System_GetElapsed: malloc_bottom
OsIf_Timer_System_GetCounter: malloc_bottom
OsIf_Timer_System_Init: malloc_bottom
OsIf_Timer_System_Internal_GetElapsed: malloc_bottom
OsIf_Timer_System_Internal_Init: malloc_bottom


MALLOC LATTICE after propagation:
OsIf_Timer_System_MicrosToTicks: malloc_bottom
OsIf_Timer_System_SetTimerFrequency: malloc_bottom
OsIf_Timer_System_GetElapsed: malloc_bottom
OsIf_Timer_System_GetCounter: malloc_bottom
OsIf_Timer_System_Init: malloc_bottom
OsIf_Timer_System_Internal_GetElapsed: malloc_bottom
OsIf_Timer_System_Internal_Init: malloc_bottom
callgraph:

OsIf_Timer_System_MicrosToTicks/11 (OsIf_Timer_System_MicrosToTicks) @06ac1460
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725460
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)OsIf_au32InternalFrequencies/6 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_SetTimerFrequency/10 (OsIf_Timer_System_SetTimerFrequency) @06ac11c0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @067255e0
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)OsIf_au32InternalFrequencies/6 (write)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_GetElapsed/9 (OsIf_Timer_System_GetElapsed) @06abee00
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725540
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: OsIf_Timer_System_Internal_GetElapsed/3 (inlined) (114826 (estimated locally),0.27 per call) 
OsIf_Timer_System_GetCounter/8 (OsIf_Timer_System_GetCounter) @06abe9a0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725480
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_Init/7 (OsIf_Timer_System_Init) @06abed20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725380
  References: OsIf_apxPredefinedConfig/12 (read)OsIf_abMdlInit/4 (write)OsIf_apxInternalCfg/5 (write)OsIf_au32InternalFrequencies/6 (write)
  Referring: 
  Availability: available
  Function flags: count:461526 (estimated locally) body optimize_size
  Called by: 
  Calls: OsIf_Timer_System_Internal_Init/1 (inlined) (354152 (estimated locally),0.77 per call) 
OsIf_Timer_System_Internal_GetElapsed/3 (OsIf_Timer_System_Internal_GetElapsed) @06a61ee0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  Aux: @06725600
  References: 
  Referring: 
  Function OsIf_Timer_System_Internal_GetElapsed/3 is inline copy in OsIf_Timer_System_GetElapsed/9
  Availability: local
  Function flags: count:114826 (estimated locally) body local optimize_size
  Called by: OsIf_Timer_System_GetElapsed/9 (inlined) (114826 (estimated locally),0.27 per call) 
  Calls: 
OsIf_Timer_System_Internal_Init/1 (OsIf_Timer_System_Internal_Init) @06a619a0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  Aux: @067253e0
  References: 
  Referring: 
  Function OsIf_Timer_System_Internal_Init/1 is inline copy in OsIf_Timer_System_Init/7
  Availability: local
  Function flags: count:354152 (estimated locally) body local optimize_size
  Called by: OsIf_Timer_System_Init/7 (inlined) (354152 (estimated locally),0.77 per call) 
  Calls: 


 ordered call graph: reduced
OsIf_Timer_System_MicrosToTicks/11 (OsIf_Timer_System_MicrosToTicks) @06ac1460
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725460
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)OsIf_au32InternalFrequencies/6 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_SetTimerFrequency/10 (OsIf_Timer_System_SetTimerFrequency) @06ac11c0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @067255e0
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)OsIf_au32InternalFrequencies/6 (write)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_GetElapsed/9 (OsIf_Timer_System_GetElapsed) @06abee00
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725540
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: OsIf_Timer_System_Internal_GetElapsed/3 (inlined) (114826 (estimated locally),0.27 per call) 
OsIf_Timer_System_GetCounter/8 (OsIf_Timer_System_GetCounter) @06abe9a0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725480
  References: OsIf_abMdlInit/4 (read)OsIf_apxInternalCfg/5 (read)
  Referring: 
  Availability: available
  Function flags: count:429496 (estimated locally) body optimize_size
  Called by: 
  Calls: 
OsIf_Timer_System_Init/7 (OsIf_Timer_System_Init) @06abed20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06725380
  References: OsIf_apxPredefinedConfig/12 (read)OsIf_abMdlInit/4 (write)OsIf_apxInternalCfg/5 (write)OsIf_au32InternalFrequencies/6 (write)
  Referring: 
  Availability: available
  Function flags: count:461526 (estimated locally) body optimize_size
  Called by: 
  Calls: OsIf_Timer_System_Internal_Init/1 (inlined) (354152 (estimated locally),0.77 per call) 
OsIf_Timer_System_Internal_GetElapsed/3 (OsIf_Timer_System_Internal_GetElapsed) @06a61ee0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  Aux: @06725600
  References: 
  Referring: 
  Function OsIf_Timer_System_Internal_GetElapsed/3 is inline copy in OsIf_Timer_System_GetElapsed/9
  Availability: local
  Function flags: count:114826 (estimated locally) body local optimize_size
  Called by: OsIf_Timer_System_GetElapsed/9 (inlined) (114826 (estimated locally),0.27 per call) 
  Calls: 
OsIf_Timer_System_Internal_Init/1 (OsIf_Timer_System_Internal_Init) @06a619a0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  Aux: @067253e0
  References: 
  Referring: 
  Function OsIf_Timer_System_Internal_Init/1 is inline copy in OsIf_Timer_System_Init/7
  Availability: local
  Function flags: count:354152 (estimated locally) body local optimize_size
  Called by: OsIf_Timer_System_Init/7 (inlined) (354152 (estimated locally),0.77 per call) 
  Calls: 

Function found not to call free: OsIf_Timer_System_Internal_Init
Function found not to call free: OsIf_Timer_System_Internal_GetElapsed
Function found not to call free: OsIf_Timer_System_Init
Function found not to call free: OsIf_Timer_System_GetCounter
Function found not to call free: OsIf_Timer_System_GetElapsed
Function found not to call free: OsIf_Timer_System_SetTimerFrequency
Function found not to call free: OsIf_Timer_System_MicrosToTicks
OsIf_Timer_System_MicrosToTicks (uint32 Micros)
{
  volatile boolean x;
  volatile boolean x;
  volatile boolean x;
  uint32 ticks;
  uint64 interim;
  _Bool _1;
  const struct OsIf_ConfigType * _2;
  long long unsigned int _3;
  long unsigned int _4;
  long long unsigned int _5;
  _Bool _6;
  _Bool x.0_14;
  _Bool x.0_15;
  _Bool x.0_16;

  <bb 2> [local count: 429496]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ticks => 0
  # DEBUG BEGIN_STMT
  # DEBUG CoreId => 0
  # DEBUG BEGIN_STMT
  _1 = OsIf_abMdlInit[0];
  if (_1 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 214748]:
  # DEBUG BEGIN_STMT
  x ={v} 0;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.0_14 ={v} x;
  if (x.0_14 != 0)
    goto <bb 11>; [50.00%]
  else
    goto <bb 12>; [50.00%]

  <bb 12> [local count: 107374]:

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

  <bb 15> [local count: 1073741824]:
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _2 = OsIf_apxInternalCfg[0];
  if (_2 == 0B)
    goto <bb 6>; [30.00%]
  else
    goto <bb 8>; [70.00%]

  <bb 6> [local count: 64424]:
  # DEBUG BEGIN_STMT
  x ={v} 0;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.0_15 ={v} x;
  if (x.0_15 != 0)
    goto <bb 11>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 13> [local count: 32212]:

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

  <bb 16> [local count: 322122547]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 150324]:
  # DEBUG BEGIN_STMT
  _3 = (long long unsigned int) Micros_10(D);
  _4 = OsIf_au32InternalFrequencies[0];
  _5 = (long long unsigned int) _4;
  interim_11 = _3 * _5;
  # DEBUG interim => interim_11
  # DEBUG BEGIN_STMT
  interim_12 = interim_11 / 1000000;
  # DEBUG interim => interim_12
  # DEBUG BEGIN_STMT
  _6 = interim_11 <= 4294967295999999;
  x ={v} _6;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.0_16 ={v} x;
  if (x.0_16 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 14>; [50.00%]

  <bb 14> [local count: 75162]:

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

  <bb 17> [local count: 751619279]:
  goto <bb 9>; [100.00%]

  <bb 10> [local count: 75162]:
  # DEBUG BEGIN_STMT
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  ticks_13 = (uint32) interim_12;
  # DEBUG ticks => ticks_13

  <bb 11> [local count: 214748]:
  # ticks_7 = PHI <0(3), 0(6), ticks_13(10)>
  # DEBUG x => NULL
  # DEBUG x => NULL
  # DEBUG ticks => ticks_7
  # DEBUG BEGIN_STMT
  return ticks_7;

}


OsIf_Timer_System_SetTimerFrequency (uint32 Freq)
{
  volatile boolean x;
  volatile boolean x;
  _Bool _1;
  const struct OsIf_ConfigType * _2;
  _Bool x.0_7;
  _Bool x.0_8;

  <bb 2> [local count: 429496]:
  # DEBUG BEGIN_STMT
  # DEBUG CoreId => 0
  # DEBUG BEGIN_STMT
  _1 = OsIf_abMdlInit[0];
  if (_1 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 214748]:
  # DEBUG BEGIN_STMT
  x ={v} 0;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.0_7 ={v} x;
  if (x.0_7 != 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 10> [local count: 107374]:

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

  <bb 12> [local count: 1073741824]:
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _2 = OsIf_apxInternalCfg[0];
  if (_2 == 0B)
    goto <bb 6>; [30.00%]
  else
    goto <bb 8>; [70.00%]

  <bb 6> [local count: 64424]:
  # DEBUG BEGIN_STMT
  x ={v} 0;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.0_8 ={v} x;
  if (x.0_8 != 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 11> [local count: 32212]:

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

  <bb 13> [local count: 322122547]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 150324]:
  # DEBUG BEGIN_STMT
  OsIf_au32InternalFrequencies[0] = Freq_5(D);

  <bb 9> [local count: 289910]:
  # DEBUG x => NULL
  # DEBUG x => NULL
  return;

}


OsIf_Timer_System_GetElapsed (uint32 * const CurrentRef)
{
  volatile boolean x;
  volatile boolean x;
  uint32 Elapsed;
  _Bool _1;
  const struct OsIf_ConfigType * _2;
  _Bool x.0_9;
  _Bool x.0_10;

  <bb 2> [local count: 429496]:
  # DEBUG BEGIN_STMT
  # DEBUG Elapsed => 0
  # DEBUG BEGIN_STMT
  # DEBUG CoreId => 0
  # DEBUG BEGIN_STMT
  _1 = OsIf_abMdlInit[0];
  if (_1 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 214748]:
  # DEBUG BEGIN_STMT
  x ={v} 0;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.0_9 ={v} x;
  if (x.0_9 != 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 10> [local count: 107374]:

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

  <bb 12> [local count: 1073741824]:
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _2 = OsIf_apxInternalCfg[0];
  if (_2 == 0B)
    goto <bb 6>; [46.53%]
  else
    goto <bb 8>; [53.47%]

  <bb 6> [local count: 99922]:
  # DEBUG BEGIN_STMT
  x ={v} 0;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.0_10 ={v} x;
  if (x.0_10 != 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 11> [local count: 49961]:

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

  <bb 13> [local count: 499612071]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 114826]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Elapsed_8 = OsIf_Timer_System_Internal_GetElapsed (CurrentRef_6(D));
  # DEBUG Elapsed => Elapsed_8

  <bb 9> [local count: 272161]:
  # Elapsed_3 = PHI <0(3), 0(6), Elapsed_8(8)>
  # DEBUG x => NULL
  # DEBUG x => NULL
  # DEBUG Elapsed => Elapsed_3
  # DEBUG BEGIN_STMT
  return Elapsed_3;

}


OsIf_Timer_System_GetCounter ()
{
  volatile boolean x;
  volatile boolean x;
  uint32 Counter;
  _Bool _1;
  const struct OsIf_ConfigType * _2;
  _Bool x.0_6;
  _Bool x.0_7;
  long unsigned int _8;
  long unsigned int _9;

  <bb 2> [local count: 429496]:
  # DEBUG BEGIN_STMT
  # DEBUG Counter => 0
  # DEBUG BEGIN_STMT
  # DEBUG CoreId => 0
  # DEBUG BEGIN_STMT
  _1 = OsIf_abMdlInit[0];
  if (_1 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 214748]:
  # DEBUG BEGIN_STMT
  x ={v} 0;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.0_6 ={v} x;
  if (x.0_6 != 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 10> [local count: 107374]:

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

  <bb 12> [local count: 1073741824]:
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 214748]:
  # DEBUG BEGIN_STMT
  _2 = OsIf_apxInternalCfg[0];
  if (_2 == 0B)
    goto <bb 6>; [30.00%]
  else
    goto <bb 8>; [70.00%]

  <bb 6> [local count: 64424]:
  # DEBUG BEGIN_STMT
  x ={v} 0;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.0_7 ={v} x;
  if (x.0_7 != 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 11> [local count: 32212]:

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

  <bb 13> [local count: 322122547]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 150324]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY OsIf_Timer_System_Internal_GetCounter
  # DEBUG BEGIN_STMT
  _8 ={v} MEM[(struct S32_SysTick_Type *)3758153744B].CVR;
  _9 = _8 & 16777215;
  # DEBUG Counter => _9

  <bb 9> [local count: 289910]:
  # Counter_3 = PHI <0(3), 0(6), _9(8)>
  # DEBUG x => NULL
  # DEBUG x => NULL
  # DEBUG Counter => Counter_3
  # DEBUG BEGIN_STMT
  return Counter_3;

}


OsIf_Timer_System_Init ()
{
  volatile boolean x;
  const struct OsIf_ConfigType * _1;
  long unsigned int _2;
  _Bool x.0_9;

  <bb 2> [local count: 461526]:
  # DEBUG BEGIN_STMT
  # DEBUG CoreId => 0
  # DEBUG BEGIN_STMT
  _1 = OsIf_apxPredefinedConfig[0];
  if (_1 == 0B)
    goto <bb 3>; [46.53%]
  else
    goto <bb 5>; [53.47%]

  <bb 3> [local count: 214748]:
  # DEBUG BEGIN_STMT
  x ={v} 0;
  # DEBUG x => x
  # DEBUG INLINE_ENTRY DevAssert
  # DEBUG BEGIN_STMT
  x.0_9 ={v} x;
  if (x.0_9 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 6> [local count: 107374]:

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

  <bb 7> [local count: 1073741824]:
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 354152]:
  # DEBUG x => NULL
  # DEBUG BEGIN_STMT
  OsIf_abMdlInit[0] = 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  OsIf_apxInternalCfg[0] = _1;
  # DEBUG BEGIN_STMT
  _2 = _1->counterFrequency;
  OsIf_au32InternalFrequencies[0] = _2;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  OsIf_Timer_System_Internal_Init ();
  return;

}


OsIf_Timer_System_Internal_GetElapsed (uint32 * const CurrentRef)
{
  uint32 dif;
  uint32 CurrentVal;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 ={v} MEM[(struct S32_SysTick_Type *)3758153744B].CVR;
  CurrentVal_7 = _1 & 16777215;
  # DEBUG CurrentVal => CurrentVal_7
  # DEBUG BEGIN_STMT
  # DEBUG dif => 0
  # DEBUG BEGIN_STMT
  _2 = *CurrentRef_8(D);
  if (_2 < CurrentVal_7)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _3 ={v} MEM[(struct S32_SysTick_Type *)3758153744B].RVR;
  _4 = _2 - CurrentVal_7;
  dif_10 = _3 + _4;
  # DEBUG dif => dif_10
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  dif_9 = _2 - CurrentVal_7;
  # DEBUG dif => dif_9

  <bb 5> [local count: 1073741824]:
  # dif_5 = PHI <dif_10(3), dif_9(4)>
  # DEBUG dif => dif_5
  # DEBUG BEGIN_STMT
  *CurrentRef_8(D) = CurrentVal_7;
  # DEBUG BEGIN_STMT
  return dif_5;

}


OsIf_Timer_System_Internal_Init ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  MEM[(struct S32_SysTick_Type *)3758153744B].CSRr ={v} 0;
  # DEBUG BEGIN_STMT
  MEM[(struct S32_SysTick_Type *)3758153744B].RVR ={v} 16777215;
  # DEBUG BEGIN_STMT
  MEM[(struct S32_SysTick_Type *)3758153744B].CVR ={v} 0;
  # DEBUG BEGIN_STMT
  MEM[(struct S32_SysTick_Type *)3758153744B].CSRr ={v} 5;
  return;

}