Parsed function:pfe_bus_err_cfg_irq_unmask_all
Parsed function:pfe_bus_err_cfg_irq_unmask
Parsed function:pfe_bus_err_cfg_irq_mask
Parsed function:pfe_bus_err_cfg_isr
Dump after hash based groups
Congruence classes: 5 (unique hash values: 5), with total: 5 items
Class size histogram [num of members]: number of classe number of classess
[1]: 5 classes


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


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


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


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



Item count: 5
Congruent classes before: 5, after: 5
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%

pfe_bus_err_cfg_irq_unmask_all (addr_t base_va)
{
  unsigned int _1;
  volatile uint32_t * _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_3(D) + 212;
  _2 = (volatile uint32_t *) _1;
  *_2 ={v} 2097151;
  # DEBUG BEGIN_STMT
  return;

}


pfe_bus_err_cfg_irq_unmask (addr_t base_va)
{
  uint32_t reg;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 212;
  _2 = (volatile uint32_t *) _1;
  _3 ={v} *_2;
  reg_6 = _3 | 1;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} reg_6;
  # DEBUG BEGIN_STMT
  return;

}


pfe_bus_err_cfg_irq_mask (addr_t base_va)
{
  uint32_t reg;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 212;
  _2 = (volatile uint32_t *) _1;
  _3 ={v} *_2;
  reg_6 = _3 & 4294967294;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} reg_6;
  # DEBUG BEGIN_STMT
  return;

}


pfe_bus_err_cfg_isr (addr_t base_va)
{
  static const pfe_hm_evt_t event_id[20] = {60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79};
  uint8_t index;
  uint32_t trig_en_interrupts;
  errno_t ret;
  uint32_t reg_src;
  uint32_t reg_en;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;
  unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  long unsigned int _7;
  int _8;
  <unnamed type> _9;
  long unsigned int _10;
  long unsigned int _11;

  <bb 2> [local count: 181710157]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 2
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG index => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_18(D) + 212;
  _2 = (volatile uint32_t *) _1;
  reg_en_20 ={v} *_2;
  # DEBUG reg_en => reg_en_20
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = reg_en_20 & 4294967294;
  *_2 ={v} _3;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = base_va_18(D) + 208;
  _5 = (volatile uint32_t *) _4;
  reg_src_22 ={v} *_5;
  # DEBUG reg_src => reg_src_22
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_5 ={v} reg_src_22;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = reg_en_20 & reg_src_22;
  trig_en_interrupts_24 = _6 & 2097150;
  # DEBUG trig_en_interrupts => trig_en_interrupts_24
  # DEBUG BEGIN_STMT
  if (trig_en_interrupts_24 != 0)
    goto <bb 3>; [65.00%]
  else
    goto <bb 8>; [35.00%]

  <bb 3> [local count: 118111602]:
  # DEBUG BEGIN_STMT
  trig_en_interrupts_25 = trig_en_interrupts_24 >> 1;
  # DEBUG trig_en_interrupts => trig_en_interrupts_25
  # DEBUG BEGIN_STMT
  goto <bb 7>; [100.00%]

  <bb 4> [local count: 955630223]:
  # DEBUG BEGIN_STMT
  _7 = trig_en_interrupts_13 & 1;
  if (_7 != 0)
    goto <bb 5>; [33.00%]
  else
    goto <bb 6>; [67.00%]

  <bb 5> [local count: 315357974]:
  # DEBUG BEGIN_STMT
  _8 = (int) index_14;
  _9 = event_id[_8];
  pfe_hm_report (5, 2, _9, "");

  <bb 6> [local count: 955630223]:
  # DEBUG BEGIN_STMT
  trig_en_interrupts_27 = trig_en_interrupts_13 >> 1;
  # DEBUG trig_en_interrupts => trig_en_interrupts_27
  # DEBUG BEGIN_STMT
  index_28 = index_14 + 1;
  # DEBUG index => index_28

  <bb 7> [local count: 1073741824]:
  # trig_en_interrupts_13 = PHI <trig_en_interrupts_25(3), trig_en_interrupts_27(6)>
  # index_14 = PHI <0(3), index_28(6)>
  # DEBUG index => index_14
  # DEBUG trig_en_interrupts => trig_en_interrupts_13
  # DEBUG BEGIN_STMT
  if (trig_en_interrupts_13 != 0)
    goto <bb 4>; [89.00%]
  else
    goto <bb 8>; [11.00%]

  <bb 8> [local count: 181710156]:
  # ret_12 = PHI <2(2), 0(7)>
  # DEBUG ret => ret_12
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _10 = ~reg_src_22;
  _11 = _10 & reg_en_20;
  *_2 ={v} _11;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return ret_12;

}


