Marking local functions: Marking externally visible functions: RWS_Angle_Speed Angle_Speed Marking externally visible variables: RWS_Angle_Speed_limit Angle_Speed_Gain RWA_Angle_Speed_limit Clearing variable flags: Reclaiming functions: Reclaiming variables: Clearing address taken flags: Symbol table: GV_RWS2_040_RackAngleCmd/14 (GV_RWS2_040_RackAngleCmd) @06aeb990 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) @06aeb948 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) @06aeb900 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) @06aeb8b8 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) @06ae8c60 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) @06ae8c18 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) @06ae8bd0 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: Angle_Speed/3 (read)Angle_Speed/3 (read)Angle_Speed/3 (read)Angle_Speed/3 (read) Availability: not_available Varpool flags: Cur_RWA_RACK_ANGLE/7 (Cur_RWA_RACK_ANGLE) @06ae8b88 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) @06ae8b40 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: Angle_Speed/3 (read) Availability: not_available Varpool flags: GV_VCU_Drive_Mode/5 (GV_VCU_Drive_Mode) @06ae8af8 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) @06adfa80 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) @06adf7e0 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)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)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) @06adc828 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) @06adc798 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 RWA_Angle_Speed_limit/0 (RWA_Angle_Speed_limit) @06adc708 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.39_1; float Cur_RWS_RACK_ANGLE.40_2; float RWS_Angle_Speed_limit.45_3; float _4; float Cur_RWS_RACK_ANGLE.48_5; float RWS_Angle_Speed_limit.51_6; float _7; float Cur_RWS_RACK_ANGLE.55_8; float RWS_Angle_Speed_limit.58_9; float _10; float Cur_RWS_RACK_ANGLE.61_11; float RWS_Angle_Speed_limit.64_12; float _13; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_MASTER_RWS_RackAngleCommand.39_1 = GV_MASTER_RWS_RackAngleCommand; Cur_RWS_RACK_ANGLE.40_2 = Cur_RWS_RACK_ANGLE; if (GV_MASTER_RWS_RackAngleCommand.39_1 != Cur_RWS_RACK_ANGLE.40_2) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: # DEBUG BEGIN_STMT if (GV_MASTER_RWS_RackAngleCommand.39_1 < 0.0) goto ; [41.00%] else goto ; [59.00%] [local count: 220117074]: # DEBUG BEGIN_STMT if (GV_MASTER_RWS_RackAngleCommand.39_1 > Cur_RWS_RACK_ANGLE.40_2) goto ; [50.00%] else goto ; [50.00%] [local count: 110058537]: # DEBUG BEGIN_STMT RWS_Angle_Speed_limit.45_3 = RWS_Angle_Speed_limit; _4 = Cur_RWS_RACK_ANGLE.40_2 + RWS_Angle_Speed_limit.45_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.48_5 = Cur_RWS_RACK_ANGLE; if (GV_MASTER_RWS_RackAngleCommand.39_1 < Cur_RWS_RACK_ANGLE.48_5) goto ; [50.00%] else goto ; [50.00%] [local count: 110058537]: # DEBUG BEGIN_STMT RWS_Angle_Speed_limit.51_6 = RWS_Angle_Speed_limit; _7 = Cur_RWS_RACK_ANGLE.48_5 - RWS_Angle_Speed_limit.51_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.39_1 > 0.0) goto ; [59.00%] else goto ; [41.00%] [local count: 316753838]: # DEBUG BEGIN_STMT Cur_RWS_RACK_ANGLE.55_8 = Cur_RWS_RACK_ANGLE; if (GV_MASTER_RWS_RackAngleCommand.39_1 < Cur_RWS_RACK_ANGLE.55_8) goto ; [50.00%] else goto ; [50.00%] [local count: 158376919]: # DEBUG BEGIN_STMT RWS_Angle_Speed_limit.58_9 = RWS_Angle_Speed_limit; _10 = Cur_RWS_RACK_ANGLE.55_8 - RWS_Angle_Speed_limit.58_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.61_11 = Cur_RWS_RACK_ANGLE; if (GV_MASTER_RWS_RackAngleCommand.39_1 > Cur_RWS_RACK_ANGLE.61_11) goto ; [50.00%] else goto ; [50.00%] [local count: 158376919]: # DEBUG BEGIN_STMT RWS_Angle_Speed_limit.64_12 = RWS_Angle_Speed_limit; _13 = Cur_RWS_RACK_ANGLE.61_11 + RWS_Angle_Speed_limit.64_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 Angle_Speed_Gain.25_19; float GV_VCU_Vx_Fbk.26_20; float _21; float _22; float _23; float Cur_RWA_RACK_ANGLE.29_24; float RWA_Angle_Speed_limit.31_25; float Angle_Speed_Gain.32_26; float GV_VCU_Vx_Fbk.33_27; float _28; float _29; float _30; [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; Angle_Speed_Gain.25_19 = Angle_Speed_Gain; GV_VCU_Vx_Fbk.26_20 = GV_VCU_Vx_Fbk; _21 = Angle_Speed_Gain.25_19 * GV_VCU_Vx_Fbk.26_20; _22 = RWA_Angle_Speed_limit.24_18 - _21; _23 = Cur_RWA_RACK_ANGLE.21_17 - _22; Cur_RWA_RACK_ANGLE = _23; # DEBUG BEGIN_STMT GV_RWA_040_RackAngleCmd = _23; # DEBUG BEGIN_STMT GV_RWA2_040_RackAngleCmd = _23; [local count: 107696305]: # DEBUG BEGIN_STMT Cur_RWA_RACK_ANGLE.29_24 = Cur_RWA_RACK_ANGLE; if (GV_MASTER_RWA_RackAngleCommand.1_2 > Cur_RWA_RACK_ANGLE.29_24) goto ; [50.00%] else goto ; [50.00%] [local count: 53848152]: # DEBUG BEGIN_STMT RWA_Angle_Speed_limit.31_25 = RWA_Angle_Speed_limit; Angle_Speed_Gain.32_26 = Angle_Speed_Gain; GV_VCU_Vx_Fbk.33_27 = GV_VCU_Vx_Fbk; _28 = Angle_Speed_Gain.32_26 * GV_VCU_Vx_Fbk.33_27; _29 = RWA_Angle_Speed_limit.31_25 - _28; _30 = Cur_RWA_RACK_ANGLE.29_24 + _29; Cur_RWA_RACK_ANGLE = _30; # DEBUG BEGIN_STMT GV_RWA_040_RackAngleCmd = _30; # DEBUG BEGIN_STMT GV_RWA2_040_RackAngleCmd = _30; goto ; [100.00%] [local count: 182536110]: # DEBUG BEGIN_STMT GV_RWA_040_RackAngleCmd = GV_MASTER_RWA_RackAngleCommand.1_2; # DEBUG BEGIN_STMT GV_RWA2_040_RackAngleCmd = GV_MASTER_RWA_RackAngleCommand.1_2; [local count: 1073741824]: return; }