[ZawzietyRobaczek]

#programowanie #programowanie15k #jezykc

Czy można jakoś zoptymalizować poniższy warunek, tak zeby nie używać "if", czyli zastosować tzn. "branchless":

 if (pp_wall_start > RC_walls_start) RC_walls_start = pp_wall_start;

Próbowałem w ten sposób, ale wolałbym bez mnożenia no i nie do końća mi działało:

RC_walls_start = pp_wall_start * (pp_wall_start > RC_walls_start);

[ZawzietyRobaczek]

@ZawzietyRobaczek: w sumie to znalazlem coś:

 int min(int x, int y)
 {
 return y ^ ((x ^ y) & -(x <

[Saly]

@ZawzietyRobaczek: https://gcc.godbolt.org/z/7qzrjzWdb , intrukcja cmovl, inna sprawa, to wątpie, że to jest optymalniejsze niż wersja z ifem

[Passer93]

@ZawzietyRobaczek: A optymalizujesz na podstawie profilera czy tak dla zasady? xD

[mackarr]

@ZawzietyRobaczek: 1. Użyj profilera, bo może optymalizujesz coś niepotrzebnie. 2. Sprawdź jak często wpadasz w tego brancha i jeśli więcej niż 50% to może lepiej odwrócić warunek. 3. Operator potrójny bywa czasami szybszy, ale nie wiem czy w tym przypadku.

[ponton]

jeśli więcej niż 50% to może lepiej odwrócić warunek

@mackarr: a tego nie załatwi branch prediction w CPU?

[n.....f]

@ZawzietyRobaczek: Niepotrzebnie optymalizujesz taki warunek, nie zajmuj się warunkiem tylko unikaj najlepiej sprawdzania tego warunku i zrób tak żeby dane były odgórnie poprawne by nie było ich sprawdzać warunkami. Przykład z mnożeniem który podałeś działa bo warunek większości zwróci jeden lub zero, a gdy mnożymy coś przez zero to będzie zero, gdy jeden to mamy tą liczbę więc zastępujemy warunek if. Po prostu przy zerze zawołaj alternatywną metodę. Sposób z

[Hauleth]

@ZawzietyRobaczek: Ale wiesz, że if w kodzie źródłowym wcale nie oznacza, że wygenerowany kod będzie zawierał skok warunkowy? Zbytnia kombinacja może wręcz obniżyć wydajność zamiast ją poprawić. Walnij profile i zobacz czy w ogóle jest sens się w to bawić.

[mackarr]

@ponton: Powinno, ale po kilku przejściach (zależy od predyktora np. 2bit + jakieś heurystyki w kompilatorze).

[ZawzietyRobaczek]

@Saly: @Passer93: @mackarr: @ponton: @nycaff: @Hauleth: robie pod starszą architekturą - kompilje pod gcc 6.5 coś i testuje różne rozwiazania.. to akurat wyszło gorzej :) ale np. kiedy jeden fragment kodu zaminieniłem na fixed point to zyskałem bardzo dużo, ale z kolei jak wszytko zamienmilem na fixed point to wrecz odwrtonie, wiec sprawdzam kroczek po kroczku :)

[n.....f]

@ZawzietyRobaczek Uwierz mi takiego warunku się nie optymalizuje. Spróbuj go po prostu uniknąć wymuszając na start poprawne dane wejściowe poprawiając architekturę projektu.