Reclaiming functions: Reclaiming variables: Clearing address taken flags: Symbol table: GV_RWS2_040_RackAngleCmd/14 (GV_RWS2_040_RackAngleCmd) @06b45510 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: RWS_Angle_Speed/4 (write)RWS_Angle_Speed/4 (write)RWS_Angle_Speed/4 (write)RWS_Angle_Speed/4 (write) Availability: not_available Varpool flags: GV_RWS1_040_RackAngleCmd/13 (GV_RWS1_040_RackAngleCmd) @06b454c8 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: RWS_Angle_Speed/4 (write)RWS_Angle_Speed/4 (write)RWS_Angle_Speed/4 (write)RWS_Angle_Speed/4 (write) Availability: not_available Varpool flags: Cur_RWS_RACK_ANGLE/12 (Cur_RWS_RACK_ANGLE) @06b45480 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: RWS_Angle_Speed/4 (read)RWS_Angle_Speed/4 (write)RWS_Angle_Speed/4 (read)RWS_Angle_Speed/4 (write)RWS_Angle_Speed/4 (read)RWS_Angle_Speed/4 (write)RWS_Angle_Speed/4 (read)RWS_Angle_Speed/4 (write) Availability: not_available Varpool flags: GV_MASTER_RWS_RackAngleCommand/11 (GV_MASTER_RWS_RackAngleCommand) @06b45438 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: RWS_Angle_Speed/4 (read) Availability: not_available Varpool flags: GV_RWA2_040_RackAngleCmd/10 (GV_RWA2_040_RackAngleCmd) @06b407e0 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: Angle_Speed/3 (write)Angle_Speed/3 (write)Angle_Speed/3 (write)Angle_Speed/3 (write)Angle_Speed/3 (write) Availability: not_available Varpool flags: GV_RWA_040_RackAngleCmd/9 (GV_RWA_040_RackAngleCmd) @06b40798 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: Angle_Speed/3 (write)Angle_Speed/3 (write)Angle_Speed/3 (write)Angle_Speed/3 (write)Angle_Speed/3 (write) Availability: not_available Varpool flags: GV_VCU_Vx_Fbk/8 (GV_VCU_Vx_Fbk) @06b40750 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: Angle_Speed/3 (read)Angle_Speed/3 (read) Availability: not_available Varpool flags: Cur_RWA_RACK_ANGLE/7 (Cur_RWA_RACK_ANGLE) @06b40708 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: Angle_Speed/3 (read)Angle_Speed/3 (write)Angle_Speed/3 (read)Angle_Speed/3 (write)Angle_Speed/3 (read)Angle_Speed/3 (write)Angle_Speed/3 (read)Angle_Speed/3 (write) Availability: not_available Varpool flags: GV_MASTER_RWA_RackAngleCommand/6 (GV_MASTER_RWA_RackAngleCommand) @06b406c0 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: Angle_Speed/3 (read)Angle_Speed/3 (read) Availability: not_available Varpool flags: GV_VCU_Drive_Mode/5 (GV_VCU_Drive_Mode) @06b40678 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: Angle_Speed/3 (read) Availability: not_available Varpool flags: RWS_Angle_Speed/4 (RWS_Angle_Speed) @06b387e0 Type: function definition analyzed Visibility: externally_visible public References: GV_MASTER_RWS_RackAngleCommand/11 (read)Cur_RWS_RACK_ANGLE/12 (read)RWS_Angle_Speed_limit/2 (read)Cur_RWS_RACK_ANGLE/12 (write)GV_RWS1_040_RackAngleCmd/13 (write)GV_RWS2_040_RackAngleCmd/14 (write)Cur_RWS_RACK_ANGLE/12 (read)RWS_Angle_Speed_limit/2 (read)Cur_RWS_RACK_ANGLE/12 (write)GV_RWS1_040_RackAngleCmd/13 (write)GV_RWS2_040_RackAngleCmd/14 (write)Cur_RWS_RACK_ANGLE/12 (read)RWS_Angle_Speed_limit/2 (read)Cur_RWS_RACK_ANGLE/12 (write)GV_RWS1_040_RackAngleCmd/13 (write)GV_RWS2_040_RackAngleCmd/14 (write)Cur_RWS_RACK_ANGLE/12 (read)RWS_Angle_Speed_limit/2 (read)Cur_RWS_RACK_ANGLE/12 (write)GV_RWS1_040_RackAngleCmd/13 (write)GV_RWS2_040_RackAngleCmd/14 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: Angle_Speed/3 (Angle_Speed) @06b38540 Type: function definition analyzed Visibility: externally_visible public References: GV_VCU_Drive_Mode/5 (read)GV_MASTER_RWA_RackAngleCommand/6 (read)Cur_RWA_RACK_ANGLE/7 (read)RWA_Angle_Speed_limit/0 (read)Angle_Speed_Gain/1 (read)GV_VCU_Vx_Fbk/8 (read)Cur_RWA_RACK_ANGLE/7 (write)GV_RWA_040_RackAngleCmd/9 (write)GV_RWA2_040_RackAngleCmd/10 (write)Cur_RWA_RACK_ANGLE/7 (read)RWA_Angle_Speed_limit/0 (read)Angle_Speed_Gain/1 (read)GV_VCU_Vx_Fbk/8 (read)Cur_RWA_RACK_ANGLE/7 (write)GV_RWA_040_RackAngleCmd/9 (write)GV_RWA2_040_RackAngleCmd/10 (write)Cur_RWA_RACK_ANGLE/7 (read)RWA_Angle_Speed_limit/0 (read)Cur_RWA_RACK_ANGLE/7 (write)GV_RWA_040_RackAngleCmd/9 (write)GV_RWA2_040_RackAngleCmd/10 (write)Cur_RWA_RACK_ANGLE/7 (read)RWA_Angle_Speed_limit/0 (read)Cur_RWA_RACK_ANGLE/7 (write)GV_RWA_040_RackAngleCmd/9 (write)GV_RWA2_040_RackAngleCmd/10 (write)GV_MASTER_RWA_RackAngleCommand/6 (read)GV_RWA_040_RackAngleCmd/9 (write)GV_RWA2_040_RackAngleCmd/10 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: RWS_Angle_Speed_limit/2 (RWS_Angle_Speed_limit) @06b354c8 Type: variable definition analyzed Visibility: externally_visible public References: Referring: RWS_Angle_Speed/4 (read)RWS_Angle_Speed/4 (read)RWS_Angle_Speed/4 (read)RWS_Angle_Speed/4 (read) Availability: available Varpool flags: initialized Angle_Speed_Gain/1 (Angle_Speed_Gain) @06b35438 Type: variable definition analyzed Visibility: externally_visible public References: Referring: Angle_Speed/3 (read)Angle_Speed/3 (read) Availability: available Varpool flags: initialized RWA_Angle_Speed_limit/0 (RWA_Angle_Speed_limit) @06b353a8 Type: variable definition analyzed Visibility: externally_visible public References: Referring: Angle_Speed/3 (read)Angle_Speed/3 (read)Angle_Speed/3 (read)Angle_Speed/3 (read) Availability: available Varpool flags: initialized RWS_Angle_Speed () { float GV_MASTER_RWS_RackAngleCommand.35_1; float Cur_RWS_RACK_ANGLE.36_2; float RWS_Angle_Speed_limit.41_3; float _4; float Cur_RWS_RACK_ANGLE.44_5; float RWS_Angle_Speed_limit.47_6; float _7; float Cur_RWS_RACK_ANGLE.51_8; float RWS_Angle_Speed_limit.54_9; float _10; float Cur_RWS_RACK_ANGLE.57_11; float RWS_Angle_Speed_limit.60_12; float _13; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_MASTER_RWS_RackAngleCommand.35_1 = GV_MASTER_RWS_RackAngleCommand; Cur_RWS_RACK_ANGLE.36_2 = Cur_RWS_RACK_ANGLE; if (GV_MASTER_RWS_RackAngleCommand.35_1 != Cur_RWS_RACK_ANGLE.36_2) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: # DEBUG BEGIN_STMT if (GV_MASTER_RWS_RackAngleCommand.35_1 < 0.0) goto ; [41.00%] else goto ; [59.00%] [local count: 220117074]: # DEBUG BEGIN_STMT if (GV_MASTER_RWS_RackAngleCommand.35_1 > Cur_RWS_RACK_ANGLE.36_2) goto ; [50.00%] else goto ; [50.00%] [local count: 110058537]: # DEBUG BEGIN_STMT RWS_Angle_Speed_limit.41_3 = RWS_Angle_Speed_limit; _4 = Cur_RWS_RACK_ANGLE.36_2 + RWS_Angle_Speed_limit.41_3; Cur_RWS_RACK_ANGLE = _4; # DEBUG BEGIN_STMT GV_RWS1_040_RackAngleCmd = _4; # DEBUG BEGIN_STMT GV_RWS2_040_RackAngleCmd = _4; [local count: 220117074]: # DEBUG BEGIN_STMT Cur_RWS_RACK_ANGLE.44_5 = Cur_RWS_RACK_ANGLE; if (GV_MASTER_RWS_RackAngleCommand.35_1 < Cur_RWS_RACK_ANGLE.44_5) goto ; [50.00%] else goto ; [50.00%] [local count: 110058537]: # DEBUG BEGIN_STMT RWS_Angle_Speed_limit.47_6 = RWS_Angle_Speed_limit; _7 = Cur_RWS_RACK_ANGLE.44_5 - RWS_Angle_Speed_limit.47_6; Cur_RWS_RACK_ANGLE = _7; # DEBUG BEGIN_STMT GV_RWS1_040_RackAngleCmd = _7; # DEBUG BEGIN_STMT GV_RWS2_040_RackAngleCmd = _7; [local count: 536870913]: # DEBUG BEGIN_STMT if (GV_MASTER_RWS_RackAngleCommand.35_1 > 0.0) goto ; [59.00%] else goto ; [41.00%] [local count: 316753838]: # DEBUG BEGIN_STMT Cur_RWS_RACK_ANGLE.51_8 = Cur_RWS_RACK_ANGLE; if (GV_MASTER_RWS_RackAngleCommand.35_1 < Cur_RWS_RACK_ANGLE.51_8) goto ; [50.00%] else goto ; [50.00%] [local count: 158376919]: # DEBUG BEGIN_STMT RWS_Angle_Speed_limit.54_9 = RWS_Angle_Speed_limit; _10 = Cur_RWS_RACK_ANGLE.51_8 - RWS_Angle_Speed_limit.54_9; Cur_RWS_RACK_ANGLE = _10; # DEBUG BEGIN_STMT GV_RWS1_040_RackAngleCmd = _10; # DEBUG BEGIN_STMT GV_RWS2_040_RackAngleCmd = _10; [local count: 316753838]: # DEBUG BEGIN_STMT Cur_RWS_RACK_ANGLE.57_11 = Cur_RWS_RACK_ANGLE; if (GV_MASTER_RWS_RackAngleCommand.35_1 > Cur_RWS_RACK_ANGLE.57_11) goto ; [50.00%] else goto ; [50.00%] [local count: 158376919]: # DEBUG BEGIN_STMT RWS_Angle_Speed_limit.60_12 = RWS_Angle_Speed_limit; _13 = Cur_RWS_RACK_ANGLE.57_11 + RWS_Angle_Speed_limit.60_12; Cur_RWS_RACK_ANGLE = _13; # DEBUG BEGIN_STMT GV_RWS1_040_RackAngleCmd = _13; # DEBUG BEGIN_STMT GV_RWS2_040_RackAngleCmd = _13; [local count: 1073741824]: return; } Angle_Speed () { long unsigned int GV_VCU_Drive_Mode.0_1; float GV_MASTER_RWA_RackAngleCommand.1_2; float Cur_RWA_RACK_ANGLE.2_3; float RWA_Angle_Speed_limit.6_4; float Angle_Speed_Gain.7_5; float GV_VCU_Vx_Fbk.8_6; float _7; float _8; float _9; float Cur_RWA_RACK_ANGLE.12_10; float RWA_Angle_Speed_limit.15_11; float Angle_Speed_Gain.16_12; float GV_VCU_Vx_Fbk.17_13; float _14; float _15; float _16; float Cur_RWA_RACK_ANGLE.21_17; float RWA_Angle_Speed_limit.24_18; float _19; float Cur_RWA_RACK_ANGLE.27_20; float RWA_Angle_Speed_limit.30_21; float _22; float GV_MASTER_RWA_RackAngleCommand.33_23; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_VCU_Drive_Mode.0_1 = GV_VCU_Drive_Mode; if (GV_VCU_Drive_Mode.0_1 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 365072220]: # DEBUG BEGIN_STMT GV_MASTER_RWA_RackAngleCommand.1_2 = GV_MASTER_RWA_RackAngleCommand; Cur_RWA_RACK_ANGLE.2_3 = Cur_RWA_RACK_ANGLE; if (GV_MASTER_RWA_RackAngleCommand.1_2 != Cur_RWA_RACK_ANGLE.2_3) goto ; [50.00%] else goto ; [50.00%] [local count: 182536110]: # DEBUG BEGIN_STMT if (GV_MASTER_RWA_RackAngleCommand.1_2 < 0.0) goto ; [41.00%] else goto ; [59.00%] [local count: 74839805]: # DEBUG BEGIN_STMT if (GV_MASTER_RWA_RackAngleCommand.1_2 > Cur_RWA_RACK_ANGLE.2_3) goto ; [50.00%] else goto ; [50.00%] [local count: 37419903]: # DEBUG BEGIN_STMT RWA_Angle_Speed_limit.6_4 = RWA_Angle_Speed_limit; Angle_Speed_Gain.7_5 = Angle_Speed_Gain; GV_VCU_Vx_Fbk.8_6 = GV_VCU_Vx_Fbk; _7 = Angle_Speed_Gain.7_5 * GV_VCU_Vx_Fbk.8_6; _8 = RWA_Angle_Speed_limit.6_4 - _7; _9 = Cur_RWA_RACK_ANGLE.2_3 + _8; Cur_RWA_RACK_ANGLE = _9; # DEBUG BEGIN_STMT GV_RWA_040_RackAngleCmd = _9; # DEBUG BEGIN_STMT GV_RWA2_040_RackAngleCmd = _9; [local count: 74839805]: # DEBUG BEGIN_STMT Cur_RWA_RACK_ANGLE.12_10 = Cur_RWA_RACK_ANGLE; if (GV_MASTER_RWA_RackAngleCommand.1_2 < Cur_RWA_RACK_ANGLE.12_10) goto ; [50.00%] else goto ; [50.00%] [local count: 37419903]: # DEBUG BEGIN_STMT RWA_Angle_Speed_limit.15_11 = RWA_Angle_Speed_limit; Angle_Speed_Gain.16_12 = Angle_Speed_Gain; GV_VCU_Vx_Fbk.17_13 = GV_VCU_Vx_Fbk; _14 = Angle_Speed_Gain.16_12 * GV_VCU_Vx_Fbk.17_13; _15 = RWA_Angle_Speed_limit.15_11 - _14; _16 = Cur_RWA_RACK_ANGLE.12_10 - _15; Cur_RWA_RACK_ANGLE = _16; # DEBUG BEGIN_STMT GV_RWA_040_RackAngleCmd = _16; # DEBUG BEGIN_STMT GV_RWA2_040_RackAngleCmd = _16; [local count: 182536110]: # DEBUG BEGIN_STMT if (GV_MASTER_RWA_RackAngleCommand.1_2 > 0.0) goto ; [59.00%] else goto ; [41.00%] [local count: 107696305]: # DEBUG BEGIN_STMT Cur_RWA_RACK_ANGLE.21_17 = Cur_RWA_RACK_ANGLE; if (GV_MASTER_RWA_RackAngleCommand.1_2 < Cur_RWA_RACK_ANGLE.21_17) goto ; [50.00%] else goto ; [50.00%] [local count: 53848152]: # DEBUG BEGIN_STMT RWA_Angle_Speed_limit.24_18 = RWA_Angle_Speed_limit; _19 = Cur_RWA_RACK_ANGLE.21_17 - RWA_Angle_Speed_limit.24_18; Cur_RWA_RACK_ANGLE = _19; # DEBUG BEGIN_STMT GV_RWA_040_RackAngleCmd = _19; # DEBUG BEGIN_STMT GV_RWA2_040_RackAngleCmd = _19; [local count: 107696305]: # DEBUG BEGIN_STMT Cur_RWA_RACK_ANGLE.27_20 = Cur_RWA_RACK_ANGLE; if (GV_MASTER_RWA_RackAngleCommand.1_2 > Cur_RWA_RACK_ANGLE.27_20) goto ; [50.00%] else goto ; [50.00%] [local count: 53848152]: # DEBUG BEGIN_STMT RWA_Angle_Speed_limit.30_21 = RWA_Angle_Speed_limit; _22 = Cur_RWA_RACK_ANGLE.27_20 + RWA_Angle_Speed_limit.30_21; Cur_RWA_RACK_ANGLE = _22; # DEBUG BEGIN_STMT GV_RWA_040_RackAngleCmd = _22; # DEBUG BEGIN_STMT GV_RWA2_040_RackAngleCmd = _22; goto ; [100.00%] [local count: 708669605]: # DEBUG BEGIN_STMT GV_MASTER_RWA_RackAngleCommand.33_23 = GV_MASTER_RWA_RackAngleCommand; GV_RWA_040_RackAngleCmd = GV_MASTER_RWA_RackAngleCommand.33_23; # DEBUG BEGIN_STMT GV_RWA2_040_RackAngleCmd = GV_MASTER_RWA_RackAngleCommand.33_23; [local count: 1073741824]: return; }