Оптимизация функции с "<" и ">"

[Alex Cones]

Мож^WКак оптимизировать следующую функцию?

Function InRect(X, Y, X1, Y1, X2, Y2 : Integer) : Boolean;
Begin
 If (X>X1) And (X<X2) And
    (Y>Y1) And (Y<Y2) Then Result := TRUE
                      Else Result := FALSE;
End;

[Sibedir]

Что вы имеете в виду под - оптимизировать? Сократить код или уменьшить время выполнения?

[Alex Cones]

Разумеется уменьшить время.

Как внутри маш. кода происходит > и <?
Может анализируя это можно провести оптимизацию?

[Sibedir]

Ну для начала

Result := (X>X1) And (X<X2) And (Y>Y1) And (Y<Y2);

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

Как внутри маш. кода происходит > и <?

View->Debug->CPU

[Sibedir]

{$B-}

Думаю, вы это и так знаете, к тому же она и поумолчанию отключина. Так на всякий случай.

[Utkin]

Сам IF истинное условие выполняет быстрей, чем ложное, постарайся сделать так, чтобы истинное условие наступало чаще. Можно попытаться перестроить выражения через математические операции, или через сравнение с константой (например, если самое меньшее число принять за нуль)
и сравнить время выполнения (например, в цикле на миллион сравнений).
Например:

if ((x2-x1)<(x-x1)) and аналогично для y then ...

Также условия можно попытаться разбить на 2 и более. Ведь если одно условие не выполняется, то нет смысла проверять остальные это же and.

[rdama]

Сделать Вложенные if и отказаться от and.
Function InRect(X, Y, X1, Y1, X2, Y2 : Integer) : Boolean;
Begin
Result := False;
If (X>X1) then
if (X<X2) then
if (Y>Y1) then
if (Y<Y2) then
Result := TRUE;
end;

Итак что происходит при таком варианте написания.
Как только не выполняется хотя бы одно условие программа выходит из этой процедуры. Т.е. если не выполняется 1 условие то на все остальные программа даже не тратит ресурсы системы.

А в твоем варианте с and ты обрекаешь программу на проверку всех 4 условий.

[Utkin]

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

Сделать Вложенные if и отказаться от and.
Function InRect(X, Y, X1, Y1, X2, Y2 : Integer) : Boolean;
Begin
Result := False;
If (X>X1) then
if (X<X2) then
if (Y>Y1) then
if (Y<Y2) then
Result := TRUE;
end;

Итак что происходит при таком варианте написания.
Как только не выполняется хотя бы одно условие программа выходит из этой процедуры. Т.е. если не выполняется 1 условие то на все остальные программа даже не тратит ресурсы системы.

А в твоем варианте с and ты обрекаешь программу на проверку всех 4 условий.

А что если точки будут часто находиться в прямоугольной области? Тогда твой код будет гораздо медленней предыдущего.

[rdama]

Ну да есть такая кухня.
Вот для потестить.
program rdtsc_view;

{$APPTYPE CONSOLE}

uses
SysUtils,
windows;

Function InRectO(X, Y, X1, Y1, X2, Y2 : Integer) : Boolean;
Begin
If (X>X1) And (X<X2) And
(Y>Y1) And (Y<Y2) Then Result := TRUE
Else Result := FALSE;
End;

Function InRectM(X, Y, X1, Y1, X2, Y2 : Integer) : Boolean;
Begin
Result := False;
If (X>X1) then
if (X<X2) then
if (Y>Y1) then
if (Y<Y2) then
Result := TRUE;
end;

function tsc: Int64;
var ts: record
case byte of
1: (count: Int64);
2: (b, a: cardinal);
end;
begin
asm
db $F;
db $31;
mov [ts.a], edx
mov [ts.b], eax
end;
tsc:=ts.count;
end;

function calibrate_runtime:Int64;
var i:byte; tstsc,tetsc,crtm:Int64;
begin
tstsc:=tsc;
crtm:=tsc-tstsc;
for i:=0 to 9 do
begin
tstsc:=tsc;
crtm:=tsc-tstsc;
if tetsc<crtm then crtm:=tetsc;
end;
calibrate_runtime:=crtm;
end;

var St,En,Tm,Tm1:Int64;
I:Integer;

begin
for I := 0 to 9 do
begin
Writeln('Parameters | Orig | Modify ');
St:= tsc;
InRectO(0,50,50,0,25,25);
En:= tsc;
Tm:=En-St;
St:= tsc;
InRectM(0,50,50,0,25,25);
En:= tsc;
Tm1:=En-St;
Writeln('InRect(0,50,50,0,25,25) | '+IntToStr(Tm)+' | '+IntToStr(Tm1));
St:= tsc;
InRectO(100,100,80,50,120,140);
En:= tsc;
Tm:=En-St;
St:= tsc;
InRectM(100,100,80,50,120,140);
En:= tsc;
Tm1:=En-St;
Writeln('InRect(100,100,80,50,120,1 40) | '+IntToStr(Tm)+' | '+IntToStr(Tm1));
St:= tsc;
InRectO(80,100,80,50,40,140);
En:= tsc;
Tm:=En-St;
St:= tsc;
InRectM(80,100,80,50,40,140);
En:= tsc;
Tm1:=En-St;
Writeln('InRect(80,100,80,50,40,140 ) | '+IntToStr(Tm)+' | '+IntToStr(Tm1));
St:= tsc;
InRectO(150,50,50,0,225,125);
En:= tsc;
Tm:=En-St;
St:= tsc;
InRectM(150,50,50,0,225,125);
En:= tsc;
Tm1:=En-St;
Writeln('InRect(150,50,50,0,225,125 ) | '+IntToStr(Tm)+' | '+IntToStr(Tm1));
end;
Readln;
end.