On 17.12.2014 15:27, M.M. wrote:
> On Wednesday, December 17, 2014 2:24:57 PM UTC+1, g...@g...com wrote:
>> Jezeli dana procedura (taka jak np. liczenie sinusa) gwarantuje,
>> ze dla tego samego argumentu zawsze uzyskamy ten sam wynik
> Wystarczy ze gwarantuje taką samą dokładność dla określonego zbioru
> argumentów.
>
>
> Swoją drogą, szkoda że w C++ nie można przy argumencie procedury
> napisać, że dany argument będzie przyjmował wartości tylko z małego
> zbioru. Wtedy kompilator miałbym lepsze możliwości optymalizacji.
>
>
> np.
> f( int x@{1:50%,0:20%,2:10%,other} ) {
> return sin(x);
> }
>
> Kompilator mógłby stablicować dla sin dla 1, 0 i 2, a że 1
> przychodzi statystycznie w 50%, to mógłby 'górnym ifem' sprawdzać,
> czy x==1.

Nie, tablicowanie to inny sposób działania programu.
Chcesz tablicowania, zrób to ręcznie (ile to, 10 linijak jak się
rozpiszesz).

>
> if( x==1 ) return sin(1);
> if( x==0 ) return sin(0);
> if( x==2 ) return sin(2);
> return sin(x);


> Z kolei gdy się nie poda statystyki wystąpień, to kompilator mógłby
> wziąć wartości z pgo.
>
> Dalej, gdy nie ma other, to w ogóle kompilator mógłby wygenerować
> ultra zoptymalizowany kod:
>
> f( int x@{1:60%,0:40%} ) {
> return x==1 ? sin(1) : sin(0);
> }

Kompilator musiałby mieć gwarancje, że innej liczby nie będzie.
Przykładowe uruchomiania przy -fprofile-generate to za mało.
A skoro wpisujesz to ręcznie, to możesz wpisać sam, jak powyżej.

Kompilator ma wykonywać za programistę mechzniczne czynności,
nie myśleć ;-)

pzdr
bartekltg