AVR Studio 5 ignoriert Code Zeilen

[Laber K. (laberkeks010)]

Hallo,
bei mir scheint AVR Studio 5 gewisse Zeilen einfach zu ignorieren. 
Speziell geht es um sie Zeilen 10 bis 13:

  if (adc1_Offset == 0x8000)
  {
    InitWithZero = true;
    adc1_Offset = 0x0000;
...

Beim debuggen behält ''adc1_Offset '' stehts den Wert 0x8000. Auch 
"InitWithZero" wird nicht auf True gestellt.
Schaut man sich die ensprechende Assembler-Code an, so tauchen die 
beiden Variablen gar nicht auf!!

Was mach ich denn falsch? Oder ist das ein Bug?
HILFE!!? :'(

/******************************************************************************/
/**///  LoadUpHighSide()
/******************************************************************************/
uint16_t LoadUpHighSide(void)
{  AVR_Func_USART_SendString("\n\nLoadUpHighSide");
  static uint16_t adc1_Offset = 0x8000;
  uint8_t InitWithZero = false;
  
  //////  get iAct (i_L) offset  ////////////////////////////////////////////
  if (adc1_Offset == 0x8000)
  {
    InitWithZero = true;
    adc1_Offset = 0x0000;
    
    // first start executed before
    while(  !(ADCA_CH1_INTFLAGS&0x01)&0x01 );
    ADCA_INTFLAGS = 0b0010;    //clear ADC1 flag
    adc1_Offset = ADCA_CH1_RES-0x1234;
    
    for (uint8_t i=1; i<=3; i++)
    {
      ADCA_CTRLA |= (0b0010<<2);  // ([3210]<<2): channel 1
      while(  !(ADCA_CH1_INTFLAGS&0x01)&0x01 );
      ADCA_INTFLAGS = 0b0010;    //clear ADC1 flag
      adc1_Offset += (ADCA_CH1_RES);
      adc1_Offset+=10;
    }
    
    adc1_Offset = adc1_Offset>>2;  //div 4
    adc1_Offset = adc1_Offset - 512;
  }
  
  //////  ADC1 conversion (iAct,i_L)  ////////////////////////////////////////
  ADCA_CTRLA |= (0b0010<<2);
  while(  !(ADCA_CH1_INTFLAGS&0x01)&0x01 );
  ADCA_INTFLAGS = 0x02;    //clear ADC1 flag
  
  //////  get values  ////////////////////////////////////////////
  uint16_t iSet = 512 - LOADUP_CURRENT_ADC;
  uint16_t iAct = (ADCA_CH1_RES >> 2) - adc1_Offset;
  
  //////  select current sensor  ////////////////////////////////////////////////
  #if CURRENT_SENSOR_I_MAX == 50    // sensor range =  -50A ...  +50A
    iAct = ( (iAct+512) >> 1 );  // (iL-512)/2 + 512
  #elif CURRENT_SENSOR_I_MAX == 100  // sensor range = -100A ... +100A
    //  do nothing
  #else
    #error define 'CURRENT_SENSOR_I_MAX'
  #endif
  
  //////  control current to 2 A  ////////////////////////////////////////////
  uint16_t LoadUpPWM = CurrentControl(iSet, iAct, InitWithZero, boost, 0x0000);
  LoadUpPWM = LoadUpPWM>>7;
  TCF0_CCA = LoadUpPWM;
  TCF0_CCC = LoadUpPWM;
  
  return 0x1234;
}

  if (adc1_Offset == 0x8000)
000004B8  LDS R24,0x21C9    Load direct from data space 
000004BA  LDS R25,0x21CA    Load direct from data space 
000004BC  SUBI R24,0x00    Subtract immediate 
000004BD  SBCI R25,0x80    Subtract immediate with carry 
000004BE  BREQ PC+0x03    Branch if equal 
000004BF  LDI R20,0x00    Load immediate 
000004C0  RJMP PC+0x0030    Relative jump 
--- D:\dSeb work\AVRStudio5\LeoCode NightBuild\EM\default/.././main.c ----------
    while(  !(ADCA_CH1_INTFLAGS&0x01)&0x01 );
000004C1  LDS R24,0x022B    Load direct from data space 
000004C3  SBRS R24,0    Skip if bit in register set 
000004C4  RJMP PC-0x0003    Relative jump 
    ADCA_INTFLAGS = 0b0010;    //clear ADC1 flag
000004C5  LDI R24,0x02    Load immediate 
000004C6  STS 0x0206,R24    Store direct to data space 
    adc1_Offset = ADCA_CH1_RES-0x1234;
000004C8  LDS R18,0x022C    Load direct from data space 
000004CA  LDS R19,0x022D    Load direct from data space 
000004CC  SUBI R18,0x34    Subtract immediate 
000004CD  SBCI R19,0x12    Subtract immediate with carry 
000004CE  LDI R20,0x01    Load immediate 
      ADCA_INTFLAGS = 0b0010;    //clear ADC1 flag
000004CF  LDI R21,0x02    Load immediate 
      ADCA_CTRLA |= (0b0010<<2);  // ([3210]<<2): channel 1
000004D0  LDS R24,0x0200    Load direct from data space 
000004D2  ORI R24,0x08    Logical OR with immediate 
000004D3  STS 0x0200,R24    Store direct to data space 
      while(  !(ADCA_CH1_INTFLAGS&0x01)&0x01 );
000004D5  LDS R24,0x022B    Load direct from data space 
000004D7  SBRS R24,0    Skip if bit in register set 
000004D8  RJMP PC-0x0003    Relative jump 
      ADCA_INTFLAGS = 0b0010;    //clear ADC1 flag
000004D9  STS 0x0206,R21    Store direct to data space 
      adc1_Offset += (ADCA_CH1_RES);
000004DB  LDS R24,0x022C    Load direct from data space 
000004DD  LDS R25,0x022D    Load direct from data space 
      adc1_Offset+=10;
000004DF  ADIW R24,0x0A    Add immediate to word 
000004E0  ADD R18,R24    Add without carry 
000004E1  ADC R19,R25    Add with carry 
    for (uint8_t i=1; i<=3; i++)
000004E2  SUBI R20,0xFF    Subtract immediate 
--- D:\dSeb work\AVRStudio5\LeoCode NightBuild\EM\default/.././main.c ----------
000004E3  CPI R20,0x04    Compare with immediate 
000004E4  BRNE PC-0x14    Branch if not equal 
    adc1_Offset = adc1_Offset>>2;  //div 4
000004E5  LSR R19    Logical shift right 
000004E6  ROR R18    Rotate right through carry 
000004E7  LSR R19    Logical shift right 
000004E8  ROR R18    Rotate right through carry 
    adc1_Offset = adc1_Offset - 512;
000004E9  SUBI R18,0x00    Subtract immediate 
000004EA  SBCI R19,0x02    Subtract immediate with carry 
000004EB  STS 0x21C9,R18    Store direct to data space 
000004ED  STS 0x21CA,R19    Store direct to data space 
000004EF  LDI R20,0x01    Load immediate 
  ADCA_CTRLA |= (0b0010<<2);
000004F0  LDS R24,0x0200    Load direct from data space 
000004F2  ORI R24,0x08    Logical OR with immediate 
000004F3  STS 0x0200,R24    Store direct to data space

[Karl H. (kbuchegg)]

Laber Keks schrieb:

>

>   if (adc1_Offset == 0x8000)
>   {
>     InitWithZero = true;
>     adc1_Offset = 0x0000;
> ...
>

>
> Beim debuggen behält ''adc1_Offset '' stehts den Wert 0x8000. Auch
> "InitWithZero" wird nicht auf True gestellt.
> Schaut man sich die ensprechende Assembler-Code an, so tauchen die
> beiden Variablen gar nicht auf!!

IntWithZero schon.

> Was mach ich denn falsch?

Du hast den Optimizer eingeschaltet?

Wozu soll der Compiler hier

>   if (adc1_Offset == 0x8000)
>   {
>     InitWithZero = true;
>     adc1_Offset = 0x0000;

adc1_Offset auf 0 setzen, wenn es gleich darauf hier

>     // first start executed before
>     while(  !(ADCA_CH1_INTFLAGS&0x01)&0x01 );
>     ADCA_INTFLAGS = 0b0010;    //clear ADC1 flag
>     adc1_Offset = ADCA_CH1_RES-0x1234;

sowieso wieder einen anderen Wert bekommt?
Dazwischen gibt es keine Möglichkeit, dass adc1_Offset irgendwie 
ausgewertet werden könnte, d.h. wenn das Programm erst mal hier 
angelangt ist, spielt es keine Rolle, ob adc1_Offset zwischendurch mal 0 
war oder nicht.
Deshalb wird der Optimizer die Zuweisung mit 0x0000 wohl rausgeschmissen 
haben.

[mR.mP3 (Gast)]

Moin Moin, Hab mich jetz nicht durch deinen Code gekämpft aber,

Ich hatte das Problem auch schonmal das der Code offentsichtlich nicht 
berücksichtigt wurde. Es lag schlicht und einfach am volatile, das dem 
Compiler sagt das die Variable nicht weg optimiert werden soll.

probier es einfach mal aus.

Grüße

[Krapao (Gast)]

> Schaut man sich die ensprechende Assembler-Code an, so tauchen die
> beiden Variablen gar nicht auf!!

adc1_Offset ist in den Speicheradressen 0x21C9 und 0x21CA beheimatet. 
Dessen Zuweisung
    adc1_Offset = 0x0000;
kann der Compiler wegoptimieren, weil adc1_Offset nicht volatile ist und 
ein paar Zeilen später ein anderer Wert gesetzt wird.
    adc1_Offset = ADCA_CH1_RES-0x1234;

InitWithZero ist eine nicht statische lokale Variable, d.h. der 
Compiler kann versuchen die in einem Register zu halten, und die 
Zuweisung
InitWithZero = true;
kann der Compiler bis max. vor die schliessende Klammer
    adc1_Offset = adc1_Offset - 512;
  }
verzögern. Und genau das macht er.
000004EF  LDI R20,0x01    Load immediate
ist die Zuweisung.

[Laber K. (laberkeks010)]

SUper! Vielen Dank!
Der Optimierer hat in der Tat zugeschlagen. Hatte die Zeilen auch 
teilweise nur eingetragen um bei Debuggen eine Änderung zu erzwingen.

Werde mir jetzt erstmal eure Antworten noch genau anschauen...

[Klaus (Gast)]

mR.mP3 schrieb:
> Ich hatte das Problem auch schonmal das der Code offentsichtlich nicht
> berücksichtigt wurde. Es lag schlicht und einfach am volatile, das dem
> Compiler sagt das die Variable nicht weg optimiert werden soll.

NEIN! NEIN! NEIN! Nicht einfach nen volatile irgendwo hinschmeißen, um 
den Optimizer an seiner korrekten arbeit zu hindern. Volatile bitte nur, 
wo der Optimizer durch Interrupts nicht wissen kann, dann eine Variable 
noch gebraucht wird.