Условие IF, вопрос

[doktor255]

На скриншоте ассемблер, а не процессор. А то что в Caption cpu написано, ну так на заборе тоже пишут. Что -то ни кто не повторяет. Речь о ассемблере? Не вопрос. Я в ассемблере не очень разбираюсь, но что я точно знаю, что код выполняется построчно. В первом блоке я вижу шесть строк кода, во втором пять. Какой быстрее выполнится? Поразмышляй на досуге.

[eval]

безтолку, горох об стену

[doktor255]

Конечно без толку, если ты даже на факты (программу) смотреть не хочешь.

[eval]

если вы измеряете количеством срок кода, то дальше говорить что воду в ступе толочь..
порыскайте к примеру как циклы ифами разворачивают для ускорения, может чего и поймете

[BDA]

Думаю, doktor255 имеет ввиду количество инструкций, а не строк кода, только из-за плохого знания ассемблера не разобрался в происходящих там действиях. Повторил эксперимент JUDASа, только теперь процедуры содержали один вариант из тестирующихся, а не оба один за другим (из-за этого были "лишние" инструкции, а некоторых не хватало).
1)

var
  x: integer;
procedure TForm1.Button1Click(Sender: TObject);
var
  a, b: integer;
begin
  if x < a then
    if x < b then
      x := 1;
end;

Unit1.pas.31: if x < a then
004A3B60 3B05AC224B00     cmp eax,[$004b22ac]
004A3B66 7E12             jle $004a3b7a
Unit1.pas.32: if x < b then
004A3B68 3B15AC224B00     cmp edx,[$004b22ac]
004A3B6E 7E0A             jle $004a3b7a
Unit1.pas.33: x := 1;
004A3B70 C705AC224B000100 mov [$004b22ac],$00000001

2)

var
  x: integer;
procedure TForm1.Button1Click(Sender: TObject);
var
  a, b: integer;
begin
  if (x < a) and (x < b) then
    x := 1;
end;

Unit1.pas.35: if (x < a) and (x < b) then
004A3B60 3B05AC224B00     cmp eax,[$004b22ac]
004A3B66 7E12             jle $004a3b7a
004A3B68 3B15AC224B00     cmp edx,[$004b22ac]
004A3B6E 7E0A             jle $004a3b7a
Unit1.pas.36: x := 1;
004A3B70 C705AC224B000100 mov [$004b22ac],$00000001

Как видно, количество инструкций совпало.

[eval]

мало того что кол-во совпало, так и они одни и теже, что какбы намекает.
и это при одних настройках, а вот поменяйте к примеру то что уже говорил Serge_Bliznykov еще в самом начале, и посмотреть во что выльеться
вот про то я и говорил тоже еще в самом начале, что надо по месту в конкретном случае смотреть, а не в "общем", т.к. такого не бывает

[Serge_Bliznykov]

Сообщение от BDA

Как видно, количество инструкций совпало.

А если включить опцию компилятора {$B+}

The $B+ State:In the $B+ state, the compiler generates code for complete boolean expression evaluation.

Ассемблерный код для if (x < a) and (x < b) then как то поменяется?


UPDATED
eval, когда писал свой пост сегодня, ваш ответ ещё не видел. А по сути мы об одном и том же написали.

кстати, проверил.
с коротким вычислением у меня в Delphi код выглядит так:
boolean_short.jpg

если включить полное вычисление:

var
  x: integer;

{$B+}
procedure TForm1.Button1Click(Sender: TObject);
var
  a, b: integer;
begin
  if (x < a) and (x < b) then
    x := 1;
end;

то код разительно меняется:
boolean_complete.jpg

p.s. а вообще, зачем всё это?!!!!
Ну очевидно же, что если при проверке условий не используются "тяжёлые" по производительности функции, то выигрыша в любом случае ПРАКТИЧЕСКИ не будет (нужно крутить циклы в миллиарды раз, чтобы хоть какое-то время выполнения засечь). Выигрыша в пару наносекунд добиваться явно не стоит. Поэтому нужно писать наглядный (и надёжный) код, а не думать, как съэкономить пару тактов процессорного времени. Тут же, имхо, явно не тот случай.

[Пепел Феникса]

Сообщение от doktor255

На скриншоте ассемблер, а не процессор. А то что в Caption cpu написано, ну так на заборе тоже пишут. Что -то ни кто не повторяет. Речь о ассемблере? Не вопрос. Я в ассемблере не очень разбираюсь, но что я точно знаю, что код выполняется построчно. В первом блоке я вижу шесть строк кода, во втором пять. Какой быстрее выполнится? Поразмышляй на досуге.

по количеству инструкций судить нельзя, Интел это не RISC процессор, где каждая инструкция за такт идет.
кстати говоря там на скриншоте коды не одинаковы, в первом случае включая обнуление переменной инструкций 7.
во втором случае нет кода обнуления переменной, и обхода этого обнуления при провале последней инструкции, и итого инструкций 5.
то есть код должен был быть идентичным.

кстати для тестов лучше брать значения из эдитов, и оптимизатор не влезет тогда.
и еще вместо присвоения значения переменной делать вызов функции.

Оптимизации таких выражений описаны много раз.