Parsed function:ECU3_KATECH_Logic_1000ms
Parsed function:ECU3_KATECH_Logic_200ms
Parsed function:ECU3_KATECH_Logic_100ms
Parsed function:ECU3_KATECH_Logic_20ms
Parsed function:ECU3_KATECH_Logic_10ms
Parsed function:ECU3_KATECH_Logic_5ms
Parsed function:ECU3_KATECH_Logic_2ms
Parsed function:ECU3_KATECH_Logic_init
Dump after hash based groups
Congruence classes: 3 (unique hash values: 3), with total: 8 items
Class size histogram [num of members]: number of classe number of classess
[1]: 2 classes
[6]: 1 classes


Dump after WPA based types groups
Congruence classes: 3 (unique hash values: 3), with total: 8 items
Class size histogram [num of members]: number of classe number of classess
[1]: 2 classes
[6]: 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: 3), with total: 8 items
Class size histogram [num of members]: number of classe number of classess
[1]: 2 classes
[6]: 1 classes


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


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



Item count: 8
Congruent classes before: 3, after: 3
Average class size before: 2.67, after: 2.67
Average non-singular class size: 6.00, count: 1
Equal symbols: 5
Fraction of visited symbols: 62.50%

Semantic equality hit:ECU3_KATECH_Logic_init->ECU3_KATECH_Logic_5ms
Assembler symbol names:ECU3_KATECH_Logic_init->ECU3_KATECH_Logic_5ms

Symbols to be put in SSA form
{ D.7723 }
Incremental SSA update started at block: 0
Number of blocks in CFG: 3
Number of blocks to update: 2 ( 67%)



Analyzing function: ECU3_KATECH_Logic_5ms/3
;; 1 loops found
;;
;; Loop 0
;;  header 0, latch 1
;;  depth 0, outer -1
;;  nodes: 0 1 2
;; 2 succs { 1 }

Analyzing function body size: ECU3_KATECH_Logic_5ms

IPA function summary for ECU3_KATECH_Logic_5ms/3 inlinable
  global time:     12.000000
  self size:       4
  global size:     0
  min size:       0
  self stack:      0
  global stack:    0
    size:0.000000, time:0.000000
    size:3.000000, time:2.000000,  executed if:(not inlined)
  calls:
    ECU3_KATECH_Logic_init/1 function not considered for inlining
      loop depth: 0 freq:1.00 size: 1 time: 10callee size: 1 stack: 0

Unified; Wrapper has been created.

Semantic equality hit:ECU3_KATECH_Logic_init->ECU3_KATECH_Logic_20ms
Assembler symbol names:ECU3_KATECH_Logic_init->ECU3_KATECH_Logic_20ms

Symbols to be put in SSA form
{ D.7724 }
Incremental SSA update started at block: 0
Number of blocks in CFG: 3
Number of blocks to update: 2 ( 67%)



Analyzing function: ECU3_KATECH_Logic_20ms/5
;; 1 loops found
;;
;; Loop 0
;;  header 0, latch 1
;;  depth 0, outer -1
;;  nodes: 0 1 2
;; 2 succs { 1 }

Analyzing function body size: ECU3_KATECH_Logic_20ms

IPA function summary for ECU3_KATECH_Logic_20ms/5 inlinable
  global time:     12.000000
  self size:       4
  global size:     0
  min size:       0
  self stack:      0
  global stack:    0
    size:0.000000, time:0.000000
    size:3.000000, time:2.000000,  executed if:(not inlined)
  calls:
    ECU3_KATECH_Logic_init/1 function not considered for inlining
      loop depth: 0 freq:1.00 size: 1 time: 10callee size: 1 stack: 0

Unified; Wrapper has been created.

Semantic equality hit:ECU3_KATECH_Logic_init->ECU3_KATECH_Logic_100ms
Assembler symbol names:ECU3_KATECH_Logic_init->ECU3_KATECH_Logic_100ms

Symbols to be put in SSA form
{ D.7725 }
Incremental SSA update started at block: 0
Number of blocks in CFG: 3
Number of blocks to update: 2 ( 67%)



Analyzing function: ECU3_KATECH_Logic_100ms/6
;; 1 loops found
;;
;; Loop 0
;;  header 0, latch 1
;;  depth 0, outer -1
;;  nodes: 0 1 2
;; 2 succs { 1 }

Analyzing function body size: ECU3_KATECH_Logic_100ms

IPA function summary for ECU3_KATECH_Logic_100ms/6 inlinable
  global time:     12.000000
  self size:       4
  global size:     0
  min size:       0
  self stack:      0
  global stack:    0
    size:0.000000, time:0.000000
    size:3.000000, time:2.000000,  executed if:(not inlined)
  calls:
    ECU3_KATECH_Logic_init/1 function not considered for inlining
      loop depth: 0 freq:1.00 size: 1 time: 10callee size: 1 stack: 0

Unified; Wrapper has been created.

Semantic equality hit:ECU3_KATECH_Logic_init->ECU3_KATECH_Logic_200ms
Assembler symbol names:ECU3_KATECH_Logic_init->ECU3_KATECH_Logic_200ms

Symbols to be put in SSA form
{ D.7726 }
Incremental SSA update started at block: 0
Number of blocks in CFG: 3
Number of blocks to update: 2 ( 67%)



Analyzing function: ECU3_KATECH_Logic_200ms/7
;; 1 loops found
;;
;; Loop 0
;;  header 0, latch 1
;;  depth 0, outer -1
;;  nodes: 0 1 2
;; 2 succs { 1 }

Analyzing function body size: ECU3_KATECH_Logic_200ms

IPA function summary for ECU3_KATECH_Logic_200ms/7 inlinable
  global time:     12.000000
  self size:       4
  global size:     0
  min size:       0
  self stack:      0
  global stack:    0
    size:0.000000, time:0.000000
    size:3.000000, time:2.000000,  executed if:(not inlined)
  calls:
    ECU3_KATECH_Logic_init/1 function not considered for inlining
      loop depth: 0 freq:1.00 size: 1 time: 10callee size: 1 stack: 0

Unified; Wrapper has been created.

Semantic equality hit:ECU3_KATECH_Logic_init->ECU3_KATECH_Logic_1000ms
Assembler symbol names:ECU3_KATECH_Logic_init->ECU3_KATECH_Logic_1000ms

Symbols to be put in SSA form
{ D.7727 }
Incremental SSA update started at block: 0
Number of blocks in CFG: 3
Number of blocks to update: 2 ( 67%)



Analyzing function: ECU3_KATECH_Logic_1000ms/8
;; 1 loops found
;;
;; Loop 0
;;  header 0, latch 1
;;  depth 0, outer -1
;;  nodes: 0 1 2
;; 2 succs { 1 }

Analyzing function body size: ECU3_KATECH_Logic_1000ms

IPA function summary for ECU3_KATECH_Logic_1000ms/8 inlinable
  global time:     12.000000
  self size:       4
  global size:     0
  min size:       0
  self stack:      0
  global stack:    0
    size:0.000000, time:0.000000
    size:3.000000, time:2.000000,  executed if:(not inlined)
  calls:
    ECU3_KATECH_Logic_init/1 function not considered for inlining
      loop depth: 0 freq:1.00 size: 1 time: 10callee size: 1 stack: 0

Unified; Wrapper has been created.


Reclaiming functions:
Reclaiming variables:
Clearing address taken flags:
ECU3_KATECH_Logic_1000ms ()
{
  <bb 2> [local count: 1073741824]:
  ECU3_KATECH_Logic_init (); [tail call]
  return;

}


ECU3_KATECH_Logic_200ms ()
{
  <bb 2> [local count: 1073741824]:
  ECU3_KATECH_Logic_init (); [tail call]
  return;

}


ECU3_KATECH_Logic_100ms ()
{
  <bb 2> [local count: 1073741824]:
  ECU3_KATECH_Logic_init (); [tail call]
  return;

}


ECU3_KATECH_Logic_20ms ()
{
  <bb 2> [local count: 1073741824]:
  ECU3_KATECH_Logic_init (); [tail call]
  return;

}


ECU3_KATECH_Logic_10ms ()
{
  unsigned char _1;
  short unsigned int _2;
  unsigned char _3;
  short unsigned int _4;
  short unsigned int GV_DIN_CH1.0_5;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = Digital_Read (0);
  _2 = (short unsigned int) _1;
  GV_DIN_CH1 = _2;
  # DEBUG BEGIN_STMT
  _3 = Digital_Read (1);
  _4 = (short unsigned int) _3;
  GV_DIN_CH2 = _4;
  # DEBUG BEGIN_STMT
  GV_DIN_CH1.0_5 = GV_DIN_CH1;
  Emergency_Switch = GV_DIN_CH1.0_5;
  # DEBUG BEGIN_STMT
  ACU_Arc_check ();
  # DEBUG BEGIN_STMT
  ACU_Arc_check1 ();
  # DEBUG BEGIN_STMT
  ACU_Arc_check2 ();
  # DEBUG BEGIN_STMT
  ACU_Arc_check3 ();
  # DEBUG BEGIN_STMT
  IDB_Arc_check ();
  # DEBUG BEGIN_STMT
  RCU_Arc_check ();
  # DEBUG BEGIN_STMT
  RWA1_Arc_check ();
  # DEBUG BEGIN_STMT
  RWA2_Arc_check ();
  # DEBUG BEGIN_STMT
  ECU_check ();
  return;

}


ECU3_KATECH_Logic_5ms ()
{
  <bb 2> [local count: 1073741824]:
  ECU3_KATECH_Logic_init (); [tail call]
  return;

}


ECU3_KATECH_Logic_2ms ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  System_Check_Func ();
  return;

}


ECU3_KATECH_Logic_init ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


