V "GNAT Lib v15"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -g
A -gnatp
A -gnatg
A -mcpu=arm1176jzf-s
A -mfloat-abi=hard
A -mfpu=vfpv2
A -mtls-dialect=gnu
A -marm
A -mlibarch=armv6kz+fp
A -march=armv6kz+fp
P ZX

RN
RV NO_EXCEPTIONS
RV NO_FLOATING_POINT
RV NO_IMPLEMENTATION_PRAGMAS

U system.double_real%b	s-dourea.adb		4fde531a NE OL PK GE
W interfaces%s		interfac.ads		interfac.ali
Z system%s		system.ads		system.ali
N A69:16:s-dorepr.adb codepeer modified rep32
N A83:16:s-dorepr.adb codepeer modified rep64
N A97:16:s-dorepr.adb codepeer modified rep80
N A184:7 codepeer intentional "test always false" "code deals with infinity"
N A208:7 codepeer intentional "test always false" "code deals with infinity"

U system.double_real%s	s-dourea.ads		21586562 BN NE OL PU PK GE
W system%s		system.ads		system.ali

D interfac.ads		20250808065140 9111f9c1 interfaces%s
D system.ads		20250808065140 d0bef732 system%s
D s-dourea.ads		20250808065140 f1e69250 system.double_real%s
D s-dourea.adb		20250808065140 be38c14a system.double_real%b
D s-dorepr.adb		20250808065140 e195a66d system.double_real.product
G a e
G c Z s b [double_real system 42 16 none]
X 1 interfac.ads
47K9*Interfaces 247e15 5|34w6 34r22 67r32 81r32 95r50
92M9*Unsigned_32 5|67r43
95M9*Unsigned_64 5|81r43 95r61
X 2 system.ads
37K9*System 156e11 3|42r9 123r5 4|32r14 270r5 5|36r11 102r19
91n23*High_Order_First{91E9} 5|102r46
92e4*Default_Bit_Order{91E9} 5|102r26
X 3 s-dourea.ads
40F9 Num 46r16 49r28 52r45 55r35 59r29 62r30 65r30 68r26 71r36 72r36 73r36
. 74r36 88r36 90r36 92r37 94r36 96r37 4|34r25 37r30 41r26 46r33 47r29 59r35
. 60r20 61r20 62r20 72r29 73r20 74r20 75r20 85r30 86r20 87r20 88r20 98r30
. 104r26 110r36 130r36 150r36 176r36 177r16 201r20 244r25 252r21 252r28 260r36
. 262r36 5|40r25 40r39 40r53 57r25 57r39 57r53 58r11 64r12 68r24 82r24 96r24
. 131r30 132r20 134r31 154r26 155r20 157r19
42k16*Double_Real 2|37k9 3|40z9 123l12 123e23 4|32b21 270l12 270t23 5|36r18
45R9*Double_T 47e14 49r40 52r28 55r47 59r41 62r42 65r42 68r38 71r22 71r48
. 72r22 72r48 73r22 73r48 74r22 74r48 78r25 78r42 79r25 79r42 80r25 80r42
. 81r25 81r42 85r22 85r39 88r22 90r22 92r23 94r22 96r23 100r25 102r25 104r26
. 106r25 108r26 114r44 119r30 4|46r45 47r41 59r47 72r41 85r42 98r42 104r38
. 110r22 110r48 111r20 117r25 117r42 118r21 119r21 120r21 130r22 130r48 131r20
. 137r25 137r42 138r21 139r21 140r21 150r22 150r48 151r20 161r25 161r42 162r20
. 176r22 176r48 178r16 200r25 200r42 202r20 227r22 227r39 228r20 242r44 251r30
. 5|131r42 154r38
46*7 Hi{40F9} 49m54 52r55 82r20 89r9 91r9 91r27 93r9 93r27 95r9 95r27 97r9
. 97r27 101r9 101r16 103r9 103r16 103r30 103r37 105r9 105r16 105r30 105r37
. 107r9 107r16 107r30 107r37 109r9 109r16 109r30 109r37 4|111r43 114r31 118r44
. 118r50 120r51 120r66 123r32 131r44 134r31 138r45 138r51 140r51 140r66 143r32
. 151r44 154r25 154r48 155r20 157r34 162r44 162r50 165r25 165r48 166r20 168r34
. 168r47 168r68 182r20 187r15 192r24 192r30 195r16 205r25 205r48 206r20 206r27
. 211r15 211r22 214r15 214r22 217r15 217r22 220r31 228r43 231r25 231r48 232r20
. 234r34 234r53 252r46 258r17
46*11 Lo{40F9} 49m63 89r27 91r45 93r45 95r45 97r45 101r30 101r37 103r51 103r58
. 105r51 105r59 107r51 107r58 109r51 109r59 4|114r37 114r44 119r44 119r50
. 120r58 123r39 123r47 134r37 134r44 139r45 139r51 140r58 143r39 143r47 157r40
. 157r47 168r40 168r54 168r61 193m9 193r18 193r25 193r33 195r23 220r37 234r40
. 234r60 234r67 234r74 259r15 260r52 262r49
49V13*To_Double{45R9} 49b13 49>24 4|244s14
49*24 N{40F9} 49r60
52V13*To_Single{40F9} 52b13 52>24
52r24 D{45R9} 52r53
55V13*Quick_Two_Sum{45R9} 55>28 55>31 4|59b13 66l8 66t21 114s14 120s33 123s14
. 134s14 140s33 143s14 157s17 168s17 197s14 219s12 220s14 234s17
55*28 A{40F9} 56r18 56r38 4|59b28 60r27 61r31
55*31 B{40F9} 56r47 4|59b31 60r31 62r27
59V13*Two_Sum{45R9} 59>22 59>25 4|72b13 79l8 79t15 111s32 118s33 119s33
59*22 A{40F9} 4|72b22 73r27 74r31 75r28
59*25 B{40F9} 4|72b25 73r31 75r44
62V13*Two_Diff{45R9} 62>23 62>26 4|85b13 92l8 92t16 131s32 138s33 139s33
. 192s12
62*23 A{40F9} 4|85b23 86r27 87r31 88r28
62*26 B{40F9} 4|85b26 86r31 88r44
65V13*Two_Prod{45R9} 65>23 65>26 4|98b13 151s32 162s32 191s12
65*23 A{40F9} 4|98b23
65*26 B{40F9} 4|98b26
68V13*Two_Sqr{45R9} 68>22 4|104b13 228s32
68*22 A{40F9} 4|104b22
71V14*"+"{45R9} 71>18 71>32 4|110b14 115l9 115t11
71r18 A{45R9} 4|110b18 111r41 114r42
71*32 B{40F9} 4|110b32 111r47
72V14*"-"{45R9} 72>18 72>32 4|130b14 135l9 135t11
72r18 A{45R9} 4|130b18 131r42 134r42
72*32 B{40F9} 4|130b32 131r48
73V14*"*"{45R9} 73>18 73>32 4|150b14 159l9 159t11 212s18 215s18
73r18 A{45R9} 4|150b18 151r42 157r45
73*32 B{40F9} 4|150b32 151r48 157r52
74V14*"/"{45R9} 74>18 74>32 4|176b14 198l9 198t11
74r18 A{45R9} 4|176b18 182r18 187r13 192r22 193r23
74*32 B{40F9} 75r18 4|176b32 181r23 181r43 182r25 187r20 191r22 195r29
78V14*"+"{45R9} 78>18 78>21 4|117b14 124l9 124t11
78r18 A{45R9} 4|117b18 118r42 119r42
78r21 B{45R9} 4|117b21 118r48 119r48
79V14*"-"{45R9} 79>18 79>21 4|137b14 144l9 144t11 212s14 215s14
79r18 A{45R9} 4|137b18 138r43 139r43
79r21 B{45R9} 4|137b21 138r49 139r49
80V14*"*"{45R9} 80>18 80>21 4|161b14 170l9 170t11
80r18 A{45R9} 4|161b18 162r42 168r45 168r59
80r21 B{45R9} 4|161b21 162r48 168r52 168r66
81V14*"/"{45R9} 81>18 81>21 4|200b14 221l9 221t11
81r18 A{45R9} 4|200b18 206r18 211r13 212r12
81r21 B{45R9} 82r18 4|200b21 205r23 205r46 206r25 211r20 212r16 214r20 215r16
. 217r20
85V13*Sqr{45R9} 85>18 4|227b13 236l8 236t11
85r18 A{45R9} 4|227b18 228r41 234r51 234r58 234r65 234r72
88V14*"="{boolean} 88b14 88>18 88>32
88r18 A{45R9} 89r7 89r25
88*32 B{40F9} 89r14
90V14*"<"{boolean} 90b14 90>18 90>32
90r18 A{45R9} 91r7 91r25 91r43
90*32 B{40F9} 91r14 91r32
92V14*"<="{boolean} 92b14 92>19 92>33
92r19 A{45R9} 93r7 93r25 93r43
92*33 B{40F9} 93r14 93r32
94V14*">"{boolean} 94b14 94>18 94>32
94r18 A{45R9} 95r7 95r25 95r43
94*32 B{40F9} 95r14 95r32
96V14*">="{boolean} 96b14 96>19 96>33 120s20
96r19 A{45R9} 97r7 97r25 97r43
96*33 B{40F9} 97r14 97r32
100V14*"="{boolean} 100b14 100>18 100>21
100r18 A{45R9} 101r7 101r28
100r21 B{45R9} 101r14 101r35
102V14*"<"{boolean} 102b14 102>18 102>21
102r18 A{45R9} 103r7 103r28 103r49
102r21 B{45R9} 103r14 103r35 103r56
104V14*"<="{boolean} 104b14 104>19 104>22
104r19 A{45R9} 105r7 105r28 105r49
104r22 B{45R9} 105r14 105r35 105r57
106V14*">"{boolean} 106b14 106>18 106>21
106r18 A{45R9} 107r7 107r28 107r49
106r21 B{45R9} 107r14 107r35 107r56
108V14*">="{boolean} 108b14 108>19 108>22
108r19 A{45R9} 109r7 109r28 109r49
108r22 B{45R9} 109r14 109r35 109r57
113M12 Uns 114r32 4|242r32
114v13*From_Unsigned 114>28 4|242b13 245l8 245t21
114*28 U{113M12} 4|242b28 244r30
118M12 Uns 119r47 4|251r47 260r20 260r31 262r20 262r31 266r17
119v13*To_Unsigned 119>26 4|251b13 268l8 268t19
119r26 D{45R9} 120r18 4|251b26 252r44 258r15 259r13 260r50 262r47
X 4 s-dourea.adb
34V13 Is_NaN{boolean} 34b13 34>21 37s54
34*21 N{3|40F9} 34r49 34r54
37V13 Is_Infinity{boolean} 37b13 37>26 154s10 165s10 181s10 205s10 231s10
. 5|137s10 160s10
37*26 N{3|40F9} 37r62 37r66
41V13 Is_Zero{boolean} 41b13 41>22 154s37 165s37 181s34 205s37 231s37 5|137s34
. 160s34
41*22 N{3|40F9} 41r50 41r55
45K12 Product 48l8 48e15 51b17 98r59 104r55 5|38b14 172l5 172t12
46V16 Two_Prod{3|45R9} 46>26 46>29 98r67 5|131b13 148l8 148t16
46*26 A{3|40F9} 5|131b23 132r27 141r17
46*29 B{3|40F9} 5|131b26 132r31 142r17
47V16 Two_Sqr{3|45R9} 47>25 104r63 5|154b13 170l8 170t15
47*25 A{3|40F9} 5|154b22 155r27 155r31 164r17
60*7 S{3|40F9} 61r27 65r15
61*7 V{3|40F9} 62r31
62*7 E{3|40F9} 65r18
73*7 S{3|40F9} 74r27 75r33 78r15
74*7 V{3|40F9} 75r37 75r48
75*7 E{3|40F9} 78r18
86*7 S{3|40F9} 87r27 88r33 91r15
87*7 V{3|40F9} 88r37 88r48
88*7 E{3|40F9} 91r18
111r7 S{3|45R9} 114r29 114r35
118r7 S1{3|45R9} 120r48 120r55
119r7 S2{3|45R9} 120r63 123r44
120r7 S3{3|45R9} 123r29 123r36
131r7 D{3|45R9} 134r29 134r35
138r7 D1{3|45R9} 140r48 140r55
139r7 D2{3|45R9} 140r63 143r44
140r7 D3{3|45R9} 143r29 143r36
151r7 P{3|45R9} 154r23 154r46 155r18 157r32 157r38
162r7 P{3|45R9} 165r23 165r46 166r18 168r32 168r38
177*7 Q1{3|40F9} 187m7 191r25 197r29
177*11 Q2{3|40F9} 195m7 197r33
178r7 P{3|45R9} 191m7 192r28 193r31
178r10 R{3|45R9} 192m7 193m7 193r16 195r14 195r21
201*7 Q1{3|40F9} 211m7 212r20 219r27
201*11 Q2{3|40F9} 214m7 215r20 219r31
201*15 Q3{3|40F9} 217m7 220r42
202r7 R{3|45R9} 212m7 214r13 215m7 215r12 217r13
202r10 S{3|45R9} 219m7 220r29 220r35
228r7 Q{3|45R9} 231r23 231r46 232r18 234r32 234r38
252*7 Hi{3|40F9} 258r10 260r25 262r25 266r22
X 5 s-dorepr.adb
40U14 Split 40>21 40<30 40<44 57b14 125l8 125t13 141s10 142s10 164s10
40*21 N{3|40F9} 57b21 68r31 82r31 96r31 119r16 123r16
40*30 Hi{3|40F9} 57b30 119m10 122m10
40*44 Lo{3|40F9} 57b44 120m10 123m10
58*7 X{3|40F9} 76m16 90m16 109m16 118r10 122r16 123r20
67m16 Rep32{1|92M9} 68m49 68r49 69r53 74m16 74r25
68*16 Temp{3|40F9} 76r21
81m16 Rep64{1|95M9} 82m49 82r49 83r53 88m16 88r25
82*16 Temp{3|40F9} 90r21
95a16 Rep80(1|95M9) 96m49 96r49 97r53 103m19 103r32 104m19 104r32 106m19
. 106r32
96*16 Temp{3|40F9} 109r21
132*7 P{3|40F9} 137r23 137r43 138r18 144r29 146r18
134*7 Ahi{3|40F9} 141m20 144r17 144r34
134*12 Alo{3|40F9} 141m25 144r46 144r59
134*17 Bhi{3|40F9} 142m20 144r23 144r52
134*22 Blo{3|40F9} 142m25 144r40 144r65
134*27 E{3|40F9} 144m10 146r21
155*7 Q{3|40F9} 160r23 160r43 161r18 166r27 168r18
157*7 Hi{3|40F9} 164m20 166r17 166r22 166r38
157*11 Lo{3|40F9} 164m24 166r43 166r49 166r54
157*15 E{3|40F9} 166m10 168r21