PWM_for_dirve_mode ()
{
  unsigned char GV_Operation_Mode.0_1;
  unsigned char GV_PWM_1.1_2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  GV_Operation_Mode.0_1 = GV_Operation_Mode;
  if (GV_Operation_Mode.0_1 == 1)
    goto <bb 3>; [51.12%]
  else
    goto <bb 6>; [48.88%]

  <bb 3> [local count: 548896821]:
  # DEBUG BEGIN_STMT
  GV_PWM_1.1_2 = GV_PWM_1;
  if (GV_PWM_1.1_2 == 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 4> [local count: 274448410]:
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (0, 5.0e+1);
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (1, 0.0);
  # DEBUG BEGIN_STMT
  GV_PWM_1 = 1;
  # DEBUG BEGIN_STMT
  GV_PWM_2 = 0;
  goto <bb 7>; [100.00%]

  <bb 5> [local count: 274448410]:
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (0, 0.0);
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (1, 0.0);
  # DEBUG BEGIN_STMT
  GV_PWM_1 = 0;
  # DEBUG BEGIN_STMT
  GV_PWM_2 = 0;
  goto <bb 7>; [100.00%]

  <bb 6> [local count: 524845004]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (1, 0.0);
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (0, 0.0);
  # DEBUG BEGIN_STMT
  GV_PWM_2 = 0;
  # DEBUG BEGIN_STMT
  GV_PWM_1 = 0;

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

}