Parsed function:undefined_handler
Parsed function:SysTick_Handler
Parsed function:PendSV_Handler
Parsed function:DebugMon_Handler
Parsed function:SVCHandler_main
Parsed function:SVC_Handler
Parsed function:UsageFault_Handler
Parsed function:BusFault_Handler
Parsed function:MemManage_Handler
Parsed function:HardFault_Handler
Parsed function:NMI_Handler
Dump after hash based groups
Congruence classes: 2 (unique hash values: 2), with total: 11 items
Class size histogram [num of members]: number of classe number of classess
[1]: 1 classes
[10]: 1 classes


Dump after WPA based types groups
Congruence classes: 3 (unique hash values: 2), with total: 11 items
Class size histogram [num of members]: number of classe number of classess
[1]: 2 classes
[9]: 1 classes


Worklist has been filled with: 0
Address reference subdivision created: 0 new classes.
Dump after callgraph-based congruence reduction
Congruence classes: 3 (unique hash values: 2), with total: 11 items
Class size histogram [num of members]: number of classe number of classess
[1]: 2 classes
[9]: 1 classes


Init called for 9 items (81.82%).
Dump after full equality comparison of groups
Congruence classes: 3 (unique hash values: 2), with total: 11 items
Class size histogram [num of members]: number of classe number of classess
[1]: 2 classes
[9]: 1 classes


Worklist has been filled with: 0
Address reference subdivision created: 0 new classes.
Congruence classes: 3 (unique hash values: 2), with total: 11 items
Class size histogram [num of members]: number of classe number of classess
[1]: 2 classes
[9]: 1 classes



Item count: 11
Congruent classes before: 3, after: 3
Average class size before: 3.67, after: 3.67
Average non-singular class size: 9.00, count: 1
Equal symbols: 8
Fraction of visited symbols: 72.73%

Semantic equality hit:NMI_Handler->HardFault_Handler
Assembler symbol names:NMI_Handler->HardFault_Handler
Wrapper creation is not profitable (function is too small).
Not unifying; cannot redirect callers nor produce wrapper

Semantic equality hit:NMI_Handler->MemManage_Handler
Assembler symbol names:NMI_Handler->MemManage_Handler
Wrapper creation is not profitable (function is too small).
Not unifying; cannot redirect callers nor produce wrapper

Semantic equality hit:NMI_Handler->BusFault_Handler
Assembler symbol names:NMI_Handler->BusFault_Handler
Wrapper creation is not profitable (function is too small).
Not unifying; cannot redirect callers nor produce wrapper

Semantic equality hit:NMI_Handler->UsageFault_Handler
Assembler symbol names:NMI_Handler->UsageFault_Handler
Wrapper creation is not profitable (function is too small).
Not unifying; cannot redirect callers nor produce wrapper

Semantic equality hit:NMI_Handler->DebugMon_Handler
Assembler symbol names:NMI_Handler->DebugMon_Handler
Wrapper creation is not profitable (function is too small).
Not unifying; cannot redirect callers nor produce wrapper

Semantic equality hit:NMI_Handler->PendSV_Handler
Assembler symbol names:NMI_Handler->PendSV_Handler
Wrapper creation is not profitable (function is too small).
Not unifying; cannot redirect callers nor produce wrapper

Semantic equality hit:NMI_Handler->SysTick_Handler
Assembler symbol names:NMI_Handler->SysTick_Handler
Wrapper creation is not profitable (function is too small).
Not unifying; cannot redirect callers nor produce wrapper

Semantic equality hit:NMI_Handler->SVC_Handler
Assembler symbol names:NMI_Handler->SVC_Handler
Wrapper creation is not profitable (function is too small).
Not unifying; cannot redirect callers nor produce wrapper

undefined_handler ()
{
  <bb 2> [local count: 107374]:

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

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

}


__attribute__((weak))
SysTick_Handler ()
{
  <bb 2> [local count: 107374]:

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

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

}


__attribute__((weak))
PendSV_Handler ()
{
  <bb 2> [local count: 107374]:

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

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

}


__attribute__((weak))
DebugMon_Handler ()
{
  <bb 2> [local count: 107374]:

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

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

}


SVCHandler_main (unsigned int * svc_args)
{
  unsigned int _1;
  sizetype _2;
  unsigned char * _3;
  unsigned char _4;

  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = MEM[(unsigned int *)svc_args_6(D) + 24B];
  _2 = _1 + 4294967294;
  _3 = (unsigned char *) _2;
  _4 = *_3;
  # DEBUG svc_number => (unsigned int) _4
  # DEBUG BEGIN_STMT
  switch (_4) <default: <L6> [20.00%], case 0: <L1> [20.00%], case 1: <L0> [20.00%], case 2: <L2> [20.00%], case 3: <L3> [20.00%]>

  <bb 3> [local count: 214748364]:
<L0>:
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("mov   r0, #0x1");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("msr   CONTROL, r0");
  # DEBUG BEGIN_STMT
  goto <bb 7>; [100.00%]

  <bb 4> [local count: 214748364]:
<L1>:
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("mov   r0, #0x0");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("msr   CONTROL, r0");
  # DEBUG BEGIN_STMT
  goto <bb 7>; [100.00%]

  <bb 5> [local count: 214748364]:
<L2>:
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("mov   r0, #0x0");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" msr BASEPRI, r0");
  # DEBUG BEGIN_STMT
  goto <bb 7>; [100.00%]

  <bb 6> [local count: 214748364]:
<L3>:
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("mov   r0, #0x10");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" msr BASEPRI, r0");
  # DEBUG BEGIN_STMT

  <bb 7> [local count: 1073741824]:
<L6>:
  return;

}


__attribute__((weak))
SVC_Handler ()
{
  <bb 2> [local count: 107374]:

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

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

}


__attribute__((weak))
UsageFault_Handler ()
{
  <bb 2> [local count: 107374]:

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

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

}


__attribute__((weak))
BusFault_Handler ()
{
  <bb 2> [local count: 107374]:

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

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

}


__attribute__((weak))
MemManage_Handler ()
{
  <bb 2> [local count: 107374]:

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

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

}


__attribute__((weak))
HardFault_Handler ()
{
  <bb 2> [local count: 107374]:

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

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

}


__attribute__((weak))
NMI_Handler ()
{
  <bb 2> [local count: 107374]:

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

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

}


