V "GNAT Lib v15"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -g
A -gnatp
A -gnatg
A -march=armv8-a
A -mlittle-endian
A -mabi=lp64
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 system%s		system.ads		system.ali
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 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 3a065969 system.double_real.product
G a e
G c Z s b [double_real system 42 16 none]
X 1 system.ads
37K9*System 156e11 2|42r9 123r5 3|32r14 270r5 4|34r11
X 2 s-dourea.ads
40F9 Num 46r16 49r28 52r45 55r35 59r29 62r30 65r30 68r26 71r36 72r36 73r36
. 74r36 88r36 90r36 92r37 94r36 96r37 3|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 4|38r43 38r55 45r43 45r55 47r12 50r43 50r55 59r43 59r55 75r30 76r20
. 78r11 95r26
42k16*Double_Real 1|37k9 2|40z9 123l12 123e23 3|32b21 270l12 270t23 4|34r18
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 3|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
. 4|75r42 95r38
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 3|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 3|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 3|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 3|59b13 66l8 66t21 114s14 120s33 123s14
. 134s14 140s33 143s14 157s17 168s17 197s14 219s12 220s14 234s17
55*28 A{40F9} 56r18 56r38 3|59b28 60r27 61r31
55*31 B{40F9} 56r47 3|59b31 60r31 62r27
59V13*Two_Sum{45R9} 59>22 59>25 3|72b13 79l8 79t15 111s32 118s33 119s33
59*22 A{40F9} 3|72b22 73r27 74r31 75r28
59*25 B{40F9} 3|72b25 73r31 75r44
62V13*Two_Diff{45R9} 62>23 62>26 3|85b13 92l8 92t16 131s32 138s33 139s33
. 192s12
62*23 A{40F9} 3|85b23 86r27 87r31 88r28
62*26 B{40F9} 3|85b26 86r31 88r44
65V13*Two_Prod{45R9} 65>23 65>26 3|98b13 151s32 162s32 191s12
65*23 A{40F9} 3|98b23
65*26 B{40F9} 3|98b26
68V13*Two_Sqr{45R9} 68>22 3|104b13 228s32
68*22 A{40F9} 3|104b22
71V14*"+"{45R9} 71>18 71>32 3|110b14 115l9 115t11
71r18 A{45R9} 3|110b18 111r41 114r42
71*32 B{40F9} 3|110b32 111r47
72V14*"-"{45R9} 72>18 72>32 3|130b14 135l9 135t11
72r18 A{45R9} 3|130b18 131r42 134r42
72*32 B{40F9} 3|130b32 131r48
73V14*"*"{45R9} 73>18 73>32 3|150b14 159l9 159t11 212s18 215s18
73r18 A{45R9} 3|150b18 151r42 157r45
73*32 B{40F9} 3|150b32 151r48 157r52
74V14*"/"{45R9} 74>18 74>32 3|176b14 198l9 198t11
74r18 A{45R9} 3|176b18 182r18 187r13 192r22 193r23
74*32 B{40F9} 75r18 3|176b32 181r23 181r43 182r25 187r20 191r22 195r29
78V14*"+"{45R9} 78>18 78>21 3|117b14 124l9 124t11
78r18 A{45R9} 3|117b18 118r42 119r42
78r21 B{45R9} 3|117b21 118r48 119r48
79V14*"-"{45R9} 79>18 79>21 3|137b14 144l9 144t11 212s14 215s14
79r18 A{45R9} 3|137b18 138r43 139r43
79r21 B{45R9} 3|137b21 138r49 139r49
80V14*"*"{45R9} 80>18 80>21 3|161b14 170l9 170t11
80r18 A{45R9} 3|161b18 162r42 168r45 168r59
80r21 B{45R9} 3|161b21 162r48 168r52 168r66
81V14*"/"{45R9} 81>18 81>21 3|200b14 221l9 221t11
81r18 A{45R9} 3|200b18 206r18 211r13 212r12
81r21 B{45R9} 82r18 3|200b21 205r23 205r46 206r25 211r20 212r16 214r20 215r16
. 217r20
85V13*Sqr{45R9} 85>18 3|227b13 236l8 236t11
85r18 A{45R9} 3|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 3|242r32
114v13*From_Unsigned 114>28 3|242b13 245l8 245t21
114*28 U{113M12} 3|242b28 244r30
118M12 Uns 119r47 3|251r47 260r20 260r31 262r20 262r31 266r17
119v13*To_Unsigned 119>26 3|251b13 268l8 268t19
119r26 D{45R9} 120r18 3|251b26 252r44 258r15 259r13 260r50 262r47
X 3 s-dourea.adb
34V13 Is_NaN{boolean} 34b13 34>21 37s54
34*21 N{2|40F9} 34r49 34r54
37V13 Is_Infinity{boolean} 37b13 37>26 154s10 165s10 181s10 205s10 231s10
. 4|81s10
37*26 N{2|40F9} 37r62 37r66
41V13 Is_Zero{boolean} 41b13 41>22 154s37 165s37 181s34 205s37 231s37 4|81s34
41*22 N{2|40F9} 41r50 41r55
45K12 Product 48l8 48e15 51b17 98r59 104r55 4|36b14 97l5 97t12
46V16 Two_Prod{2|45R9} 46>26 46>29 98r67 4|75b13 89l8 89t16 95s51
46*26 A{2|40F9} 4|75b23 76r27 85r35
46*29 B{2|40F9} 4|75b26 76r31 85r38
47V16 Two_Sqr{2|45R9} 47>25 104r63 4|95b13
47*25 A{2|40F9} 4|95r61 95r64
60*7 S{2|40F9} 61r27 65r15
61*7 V{2|40F9} 62r31
62*7 E{2|40F9} 65r18
73*7 S{2|40F9} 74r27 75r33 78r15
74*7 V{2|40F9} 75r37 75r48
75*7 E{2|40F9} 78r18
86*7 S{2|40F9} 87r27 88r33 91r15
87*7 V{2|40F9} 88r37 88r48
88*7 E{2|40F9} 91r18
111r7 S{2|45R9} 114r29 114r35
118r7 S1{2|45R9} 120r48 120r55
119r7 S2{2|45R9} 120r63 123r44
120r7 S3{2|45R9} 123r29 123r36
131r7 D{2|45R9} 134r29 134r35
138r7 D1{2|45R9} 140r48 140r55
139r7 D2{2|45R9} 140r63 143r44
140r7 D3{2|45R9} 143r29 143r36
151r7 P{2|45R9} 154r23 154r46 155r18 157r32 157r38
162r7 P{2|45R9} 165r23 165r46 166r18 168r32 168r38
177*7 Q1{2|40F9} 187m7 191r25 197r29
177*11 Q2{2|40F9} 195m7 197r33
178r7 P{2|45R9} 191m7 192r28 193r31
178r10 R{2|45R9} 192m7 193m7 193r16 195r14 195r21
201*7 Q1{2|40F9} 211m7 212r20 219r27
201*11 Q2{2|40F9} 214m7 215r20 219r31
201*15 Q3{2|40F9} 217m7 220r42
202r7 R{2|45R9} 212m7 214r13 215m7 215r12 217r13
202r10 S{2|45R9} 219m7 220r29 220r35
228r7 Q{2|45R9} 231r23 231r46 232r18 234r32 234r38
252*7 Hi{2|40F9} 258r10 260r25 262r25 266r22
X 4 s-dorepr.adb
38V13 Fused_Multiply_Add{2|40F9} 38>33 38>36 38>39 45b13 69l8 69t26 85s15
38*33 A{2|40F9} 45b33 54r31 63r31
38*36 B{2|40F9} 45b36 54r34 63r34
38*39 C{2|40F9} 45b39 54r37 63r37
50V25 Do_FMA{2|40F9} 50>33 50>36 50>39 51b42 54s23
50*33 A{2|40F9}
50*36 B{2|40F9}
50*39 C{2|40F9}
59V25 Do_FMA{2|40F9} 59>33 59>36 59>39 60b42 63s23
59*33 A{2|40F9}
59*36 B{2|40F9}
59*39 C{2|40F9}
76*7 P{2|40F9} 81r23 81r43 82r18 85r42 87r18
78*7 E{2|40F9} 85m10 87r21