Dnia Sun, 08 Apr 2012 18:56:26 +0200, Michoo napisal:

> On 08.04.2012 15:04, slawek wrote:
>>
>>
>> Dziecko drogie, a jaka jest różnica pomiędzy jawnie napisanym if(a > b)
>> - a operacją porównywania a > b ?
> A ty nie wiesz?

Oj, dzieci, dzieci ;)

>
>>
>> Na poziomie kodu maszynowego - żadna. Musi być jakieś cmp, musi być
>> potem skutek tego cmp. Nie ma się co szamotać, że "uda się bez if" - bo
>> te if będzie dalej, tyle że zagrzebane w nieczytelnym kodzie.
> W tym przypadku akurat to nie ma sensu, ale stosuje się konstrukcje,
> gdzie używa się wynik porównania w obliczeniach zamiast if po to aby:
> - nie psuć pipeline

Yhy.

> - nie wykonywać niepotrzebnych skoków
> - nie powiększać kodu

Zacznij od przeczytania, co to jest SSA. Obie formy tego, co programista
napisze kompilują się prędzej czy później do właśnie SSA, zanim
staną się kodem maszynowym. Kompilator generując kod dba o to, co
napisałeś, ale jeżeli rzeczy typu rozmieszczenie danych w pamięci
nie przeszkadzają, forma zapisu programisty ma niewiele wspólnego
z tym, do czego to się parsuje, nie mówiąc o kodzie maszynowym.

>
> A w przypadku shaderów było to na początku niezbędne (brak instrukcji
> skoku).

Widać na tym polu kompilatory były bardzo prymitywne, albo język
był prymitywny. Zresztą, GPU ma inną architekturę i skok może
powodować "divergent warps", jeżeli efektem nie są predykaty.

Edek