E. Pohyblivářádováčárka

Transkript

1 E. Pohyblivářádováčárka pevná a pohyblivá řádová čárka formát US Air Force MIL-STD-1750A základní operace normalizace přetečení a nenaplnění formátbflm 1 přímý kód sčítání a odčítání násobení, dělení a posuvy obvody pro posuv aditivní kód sčítání a odčítání formátbflm 2 formát ANSI/IEEE Std JPO 2005/6 c A. Pluháček

2 pevná a pohyblivá řádová čárka řádová mřížka(dosud uvažovaná)... pevná řádová čárka = omezený rozsah čísel změna rozsahu(ale nikoliv změna přesnosti!): vhodné(konstantní) měřítko proměnné měřítko(mění se podle potřeby) pohyblivá řádová čárka (M, E) A=M z E M mantisa... Jakéčíslice? E exponent nebo charakteristika... Kam umístit čárku? znaménko(a) = znaménko(m) JPO 2005/6 E 1 c A. Pluháček

3 pohyblivá řádová čárka příklad formátu Příklady 1 a 2:(US Air Force MIL-STD-1750A) 24 bitů D (M) 8bitů D (E) dvojková čárka dvojková čárka D (M)... doplňkovýkód,modul Z=2, t.j D (E)... doplňkovýkód,modul Z=256, t.j A A = D (M)=1, M= 0, D (E)=11 2 E=11 2 =3 10 A = 0, = 101,1 2 = 5, A FF 16 = D (M)=0, M=0, D (E)= E= 1 2 = 1 10 A=0, =0, =0, JPO 2005/6 E 2 c A. Pluháček

4 základní operace i násobení a dělení: M 1 z E 1 M 2 z E 2 = M 1 M 2 z E 1+E 2 základní princip(pouze!): M 1 z E 1 M 2 ze 2 = M 1 M 2 z E 1 E 2 (M 1, E 1 ) (M 2, E 2 )=(M 1 M 2, E 1 +E 2 ) (M 1, E 1 ) /(M 2, E 2 )=(M 1 /M 2, E 1 E 2 ) sčítání: M 1 z E 1 + M 2 z E 2=? JPO 2005/6 E 3 c A. Pluháček

5 základní operace ii Příklad 3: A F = D (M)=1, M= 0, D (E)=110 2 E=110 2 =6 10 (MIL-STD-1750A) A = 0, = 101,1 2 = 5,5 10 F ,5 10 A ,5 10 vizpř.1 obecně: M z E = M z j z E j = M j z E j,popř. M z E = M z j z E+j = M j z E+j jinak: (M, E)=(M j, E j), popř. (M, E)=(M j, E+j) } M j?ztrátupřesnosti?? platnost vztahů? M j?přeplnění? JPO 2005/6 E 4 c A. Pluháček

6 základní operace iii sčítání(2): úprava na stejný exponent (M 1, E 1 )+(M 2, E 2 )=(M 1, E)+(M 2, E)= =(M 1 + M 2, E), neboť M 1 ze +M 2 ze = (M 1 + M 2 ) ze Pokud je to možné, provádět posuv mantisy příslušející většímu exponentu vlevo(a tento exponent snižovat). Není-li to již možné, provádět posuv mantisy příslušející většímu exponentu vpravo(a tento exponent zvyšovat). zjednodušení algoritmu vyloučit posuv mantis vlevo, tzn. připustit pouze normalizovaný tvar: mantisa je posunuta co nejvíce vlevo, popř. exponent je nejmenší možný JPO 2005/6 E 5 c A. Pluháček

7 základní operace iv Příklad 4: A normalizovanýtvarčísla 5,5 10 (př.1) F nenormalizovanýtvarčísla 5,5 10 (př.3) F = obrazmantisyvdoplňkovémkódu= možný aritmetický posuv o 3 místa vlevo (MIL-STD-1750A) sčítání(3): srovnat na větší z exponentů: M 1 z E 1 + M 2 z E 2 =(M 1 z E 1 E 2 + M 2 ) z E 2 =(M 1 + M 2 z E 2 E 1 ) z E 1 (M 1, E 1 )+(M 2, E 2 ) =(M 1 (E 2 E 1 )+M 2, E 2 ) =(M 1 + M 2 (E 1 E 2 ), E 1 ) odčítání analogicky: (M 1, E 1 ) (M 2, E 2 )=(M 1 (E 2 E 1 ) M 2, E 2 ) =(M 1 M 2 (E 1 E 2 ), E 1 ) JPO 2005/6 E 6 c A. Pluháček

8 rozklad operandů a složení výsledku před vlastní operacíjetřeba operandyrozložit po operací je třeba výsledek složit Příklad 5: (MIL-STD-1750A) E 1 =4 E 2 =1 E 1 > E 2 M 1 =0,101 2 M 2 =0,1 2 E 1 E 2 =3 M 1 =0,101 2 M 2 = M 2 3 M 2 =0, E= E 1 M=0,101+0,0001=0, E= = JPO 2005/6 E 7 c A. Pluháček (opraveno)

9 Příklad 6: úpravy řádové mřížky E 1 = E 2 =2 M 1 =0,11 2 M 2 =0,1 2 E=2 (MIL-STD-1750A) 0,11+0,1=1,01=D (M) M <0 špatně! rozšířená řádová mřížka pro mantisu: 00,11+00,1=01,01=D (01,01 2 ) mantisa: 01,01 1=00,101 pozkrácení:0,101 exponent(zvýšenío1): 2+1=3 výsledek: =3+2 rozšířenířádovémřížky,posuv(nebo neposuv )anásledné zkrácení lze provést mimo registry, tzn. v kombinačních obvodech(sčítačka, obvod pro posuv a multiplexor) alternativní řešení: posuv operandů vpravo a příslušná úprava výsledku JPO 2005/6 E 8 c A. Pluháček

10 normalizace Příklad 7: (MIL-STD-1750A) E 1 =5 E 2 =4 E 1 > E 2 D (M 1 )=00,1000 D (M 2 )=11,0001 E 1 E 2 =1 posuv D (M 2 )o1místovpravo D (M 2 ) 11,10001 E= E 1 =5 00, , , normalizovaný tvar: Na konci každé operace je nutno výsledek převést na normalizovaný tvar normalizace. Pak lze výsledek použít jako operand. JPO 2005/6 E 9 c A. Pluháček

11 normalizovaný obraz nuly Příklad 8: FB 0, E 1 = 5 E 2 =0 E 1 < E 2 (MIL-STD-1750A) 0, = E= E 2 =0 =0, přičíst0asložit výsledek=032a1900 0, , , špatně! Nula nesmí mít větší exponent než jiné číslo! normalizovaný obraz nuly nejmenší možný exponent Př. (MIL-STD-1750A): D (E)=80 16 E= mantisu lze posouvat, ale exponent nelze snižovat JPO 2005/6 E 10 c A. Pluháček

12 přetečení a nenaplnění výsledekoperace: (M, E) A=M z E požadováno: E min E Emax např. 128 E 127 E > Emax přeplnění(nebo přetečení) angl. overflow E < E min nenaplnění(nebopodtečení) angl. underflow E z E 0 A 0 JPO 2005/6 E 11 c A. Pluháček

13 jiný formát Příklad: formát označovaný dále BFLM P(M) A(E) M dvojkováčárka(pro Mipro E) mantisa: přímý kód znaménko a absolutní hodnota exponent: aditivní kód(kód s posunutou nulou) pozn.: FormátBFLMjejakýsi kříženec formátuibm-360a dále diskutovaného formátu ANSI/IEEE Std JPO 2005/6 E 12 c A. Pluháček

14 přímý kód Přímý kód: P(X) ± absolutní hodnota znaménkový bit: Z 1 2 Z Př.: X P(X) +0, kladná +0, nula +0, , , záporná 0, nula 0, , Z Z X JPO 2005/6 E 13 c A. Pluháček

15 A+B A nebo A B A sčítání a odčítání v přímém kódu sčítání ne za=zb ano aa+ ab aa přenos 1 za... znaménko A aa... A zb... znaménko B ab... B přeplnění odčítání ano za=zb ne aa ab aa 0 1 přenos 0 0 aa aa za za konec JPO 2005/6 E 14 c A. Pluháček

16 násobení, dělení a posuvy v přímém kódu znaménko: XOR absolutní hodnota nezáporné číslo násobení a dělení nezáporných čísel již bylo diskutováno aritmetický posuv: znaménkový bit se nemění; posouvá se část obsahující absolutní hodnotu; vypadne-li nenulový bit při posuvu doleva, dochází k přeplnění; vypadne-li nenulový bit při posuvu doprava, dochází k ztrátě přesnosti JPO 2005/6 E 15 c A. Pluháček

17 obvody pro posuv obvodangl.nazývaný barrelshifter JPO 2005/6 E 16 c A. Pluháček

18 Aditivní kód: A(X)=X+ K K= 1 2 Z K= 1 2 Z ε aditivní kód A(X) Z K K X < Z K Zde budeme uvažovat K= 1 2 Z 1,tzn. A(X)=X+ 1 2 Z 1 takže 1 2 Z+1 X 1 2 Z první bit znaménko K 0 Z K Př.: X A(X) X JPO 2005/6 E 17 c A. Pluháček

19 sčítání a odčítání v aditivním kódu i A(A+B)=A(A)+A(B) K A(A B)=A(A) A(B)+ K A(A+B)=A(A)+A(B) 1 2 Z+1 A(A B)=A(A) A(B)+ 1 2 Z Z +1 2 Z (mod Z) 1 2 Z Z +1 2 Z přeplnění: (mod Z) negacebituvnejvyššímřádu sčítání: stejná znaménka sčítanců a jiné znaménko výsledku odčítání: znaménka menšence a menšitele se liší a liší se znaménka menšence a výsledku (odvození analogické jako u doplňkového kódu) JPO 2005/6 E 18 c A. Pluháček

20 sčítání a odčítání v aditivním kódu ii a n b n p n q n s n q n = s n q n s n q n s n q n s n q n s n q n s n q n s n q n = s n over=q n s n JPO 2005/6 E 19 c A. Pluháček

21 sčítání a odčítání v aditivním kódu iii JPO 2005/6 E 20 c A. Pluháček

22 vlastnosti formátu BFLM P(M) A(E) M dvojkováčárka(pro Mipro E) obraz nejmenšího možného exponentu = 0 normalizovaný obraz nuly = nula (se znaménkem plus či mínus) porovnání: A B A B 0 obrazyčísel AaBlzeodečístjakočísla vpřímémkóduavpevnéřádovéčárce normalizovaný tvar nenulového čísla má v nejvyšším řádu M vždyjedničku tulzezezápisuvypustit lze použít princip skryté jedničky JPO 2005/6 E 21 c A. Pluháček

23 formát ANSI/IEEE Std i ANSI/IEEE Std jednoduchý formát 32b 8b E b ± M dvojkováčárka(pro Mipro E) 8b 23b s g f g=0af=0 ( 1) s 0 g=0af 0 ( 1) s f g 1, 254 ( 1) s (1+f) 2 g 127 g=255af=0 ( 1) s g=255af 0 NaN JPO 2005/6 E 22 c A. Pluháček

24 ANSI/IEEE Std ii Příklad: 5,5 10? 5,5 10 =101,1 2 =(1,011 10) 2 f=0, g=(127+2) 10 = obrazčísla 5,5 10 : = = = =C0B JPO 2005/6 E 23 c A. Pluháček

25 ANSI/IEEE Std iii ANSI/IEEE Std dvojitý formát 64b g... 11b f... 52b g=0af=0 ( 1) s 0 g=0af 0 ( 1) s f g 1, 2046 ( 1) s (1+f) 2 g 1023 g=2047af=0 ( 1) s g=2047af 0 NaN JPO 2005/6 E 24 c A. Pluháček