Compileroptimierung für Lokalität der Variablendefinition

[Feierabend]

Hallo Allerseits!

folgendes Beispiel:

int blah()
{
  int a = Wert();
  int b = 0;

  if(Bedingung())
  {
    b = MacheEtwas();
    a += blubb;
  }
  return a;
}

Kann man davon ausgehen, dass ein moderner Compiler (ICC, VC++, usw.) die Variablendefinition int b = 0; zwecks Optimierung in den Anweisungsblock verschiebt?

Danke für Eure Hinweise!

[Badestrand]

Die meisten Compiler sind so gut, dass du dir erst keine Gedanken darüber zu machen brauchst

[Bashar]

Du kannst sogar davon ausgehen, dass die Initialisierung komplett wegfällt, da der Initialwert nirgends benutzt wird.

[2am]

Badestrand schrieb:

Die meisten Compiler sind so gut, dass du dir erst keine Gedanken darüber zu machen brauchst

Das ist wahr. Ich hab das Beispiel nachgebaut und mit dem VC++ übersetzt (Release): Die Funktion wurde in Inline-Code verwandelt, b wurde komplett heraus-optimiert und für a ist ein Register verwendet worden.

[Badestrand]

~*kleinlaut*: Wie macht man sowas eigentlich? :)~

[Checker*amp*Murckser]

@ Badestrand: was?

[Badestrand]

Checker&Murckser schrieb:

@ Badestrand: was?

Wie du das hier herausgefunden hast:
"Die Funktion wurde in Inline-Code verwandelt, b wurde komplett heraus-optimiert und für a ist ein Register verwendet worden."
Oder einfach mit irgendeinem Disassembler ge-disassemble-t?

[Checker*amp*Murckser]

Badestrand schrieb:

Checker&Murckser schrieb:

@ Badestrand: was?

Wie du das hier herausgefunden hast:
"Die Funktion wurde in Inline-Code verwandelt, b wurde komplett heraus-optimiert und für a ist ein Register verwendet worden."
Oder einfach mit irgendeinem Disassembler ge-disassemble-t?

ich hab das nicht rausgefunden^^ - würde mich aber auch interessieren -

[Vellas]

Der g++ und auch Visual Studio bieten eine Option mit der sich ein Assembler-Listing ausgeben lässt. In Visual Studio 2005, geht das über folgende Einstellung in den Projekteingenschaften:
Konfigurationseigenschaften->C/C++->Ausgabedateien->Assemblyausgabe

Greetz

[Badestrand]

Oh man, krasse Sache! Danke!

[Checker*amp*Murckser]

*mich Badestrand anschließ*

[2am]

Du kannst auch einen Breakpoint setzen, und per Alt-8 das Assembly-Listing zur Laufzeit anzeigen lassen. Allerdings ist der Code im Release-Modus stark optimiert, mit anderen Worten: Bleibt das Programm beim Break nicht stehen, ist wahrscheinlich die Stelle mit deinem Breakpoint wegoptimiert worden.

^ funktioniert in VC++