V "GNAT Lib v6"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=i586
P ZX

RN
RV NO_EXCEPTIONS
RV NO_LONG_LONG_INTEGERS
RV SPARK_05

U system.atomic_primitives%b  s-atopri.adb	cc39f920 NE OL PK
W system%s		system.ads		system.ali

U system.atomic_primitives%s  s-atopri.ads	e62be7ce BN NE OL PR PK
W system%s		system.ads		system.ali

D system.ads		20151123113124 2da59038 system%s
D s-atopri.ads		20120723080122 cb8e77f6 system.atomic_primitives%s
D s-atopri.adb		20120806081210 07b78ed6 system.atomic_primitives%b
X 1 system.ads
37K9*System 200e11 2|36r9 180r5 3|32r14 201r5
67M9*Address 2|68r15 73r15 78r15 83r15 88r18 108r18 116r18 124r18 144r37
. 146r38 148r38 150r38 153r19 158r19 163r19 168r19 3|38r37 51r38 64r38 77r38
. 91r19 120r19 149r19 178r19
X 2 s-atopri.ads
36K16*Atomic_Primitives 1|37k9 2|180l12 180e29 3|32b21 201l12 201t29
39M9*uint
41M9*uint8 69r44 89r18 90r18 90r32 144r53 154r26 155r19 3|38r53 40r10 92r26
. 93r19 95r16 100r13
44M9*uint16 74r44 109r18 110r18 110r33 146r54 159r26 160r19 3|51r54 53r10
. 121r26 122r19 124r16 129r13
47M9*uint32 79r44 117r18 118r18 118r33 148r54 164r26 165r19 3|64r54 66r10
. 150r26 151r19 153r16 158r13
50M9*uint64 84r44 125r18 126r18 126r33 150r54 169r26 170r19 3|77r54 79r10
. 179r26 180r19 182r16 187r13
53N4*Relaxed 61r39
54N4*Consume
55N4*Acquire 3|41r37 54r38 67r38 80r38
56N4*Release
57N4*Acq_Rel
58N4*Seq_Cst 69r28 74r28 79r28 84r28
59N4*Last 61r50
61I12*Mem_Model{integer} 69r15 74r15 79r15 84r15
67V13*Atomic_Load_8{41M9} 68>7 69>7 70b30 3|41s17
68m7 Ptr{1|67M9}
69i7 Model{61I12}
72V13*Atomic_Load_16{44M9} 73>7 74>7 75b30 3|54s17
73m7 Ptr{1|67M9}
74i7 Model{61I12}
77V13*Atomic_Load_32{47M9} 78>7 79>7 80b30 3|67s17
78m7 Ptr{1|67M9}
79i7 Model{61I12}
82V13*Atomic_Load_64{50M9} 83>7 84>7 85b30 3|80s17
83m7 Ptr{1|67M9}
84i7 Model{61I12}
87V13*Sync_Compare_And_Swap_8{41M9} 88>7 89>7 90>7 92b19 3|101s23
88m7 Ptr{1|67M9}
89m7 Expected{41M9}
90m7 Desired{41M9}
107V13*Sync_Compare_And_Swap_16{44M9} 108>7 109>7 110>7 112b19 3|130s23
108m7 Ptr{1|67M9}
109m7 Expected{44M9}
110m7 Desired{44M9}
115V13*Sync_Compare_And_Swap_32{47M9} 116>7 117>7 118>7 120b19 3|159s23
116m7 Ptr{1|67M9}
117m7 Expected{47M9}
118m7 Desired{47M9}
123V13*Sync_Compare_And_Swap_64{50M9} 124>7 125>7 126>7 128b19 3|188s23
124m7 Ptr{1|67M9}
125m7 Expected{50M9}
126m7 Desired{50M9}
144V13*Lock_Free_Read_8{41M9} 144>31 172r19 3|38b13 45l8 45t24
144m31 Ptr{1|67M9} 3|38b31 41r32
146V13*Lock_Free_Read_16{44M9} 146>32 173r19 3|51b13 58l8 58t25
146m32 Ptr{1|67M9} 3|51b32 54r33
148V13*Lock_Free_Read_32{47M9} 148>32 174r19 3|64b13 71l8 71t25
148m32 Ptr{1|67M9} 3|64b32 67r33
150V13*Lock_Free_Read_64{50M9} 150>32 175r19 3|77b13 84l8 84t25
150m32 Ptr{1|67M9} 3|77b32 80r33
152V13*Lock_Free_Try_Write_8{boolean} 153>8 154=8 155>8 176r19 3|90b13 113l8
. 113t29
153m8 Ptr{1|67M9} 3|91b8 101r48
154m8 Expected{41M9} 3|92b8 98r10 101r53 106r23 107m13
155m8 Desired{41M9} 3|93b8 98r22 101r63
157V13*Lock_Free_Try_Write_16{boolean} 158>8 159=8 160>8 177r19 3|119b13
. 142l8 142t30
158m8 Ptr{1|67M9} 3|120b8 130r49
159m8 Expected{44M9} 3|121b8 127r10 130r54 135r23 136m13
160m8 Desired{44M9} 3|122b8 127r22 130r64
162V13*Lock_Free_Try_Write_32{boolean} 163>8 164=8 165>8 178r19 3|148b13
. 171l8 171t30
163m8 Ptr{1|67M9} 3|149b8 159r49
164m8 Expected{47M9} 3|150b8 156r10 159r54 164r23 165m13
165m8 Desired{47M9} 3|151b8 156r22 159r64
167V13*Lock_Free_Try_Write_64{boolean} 168>8 169=8 170>8 179r19 3|177b13
. 200l8 200t30
168m8 Ptr{1|67M9} 3|178b8 188r49
169m8 Expected{50M9} 3|179b8 185r10 188r54 193r23 194m13
170m8 Desired{50M9} 3|180b8 185r22 188r64
X 3 s-atopri.adb
95m7 Actual{2|41M9} 101m13 106r13 107r25
124m7 Actual{2|44M9} 130m13 135r13 136r25
153m7 Actual{2|47M9} 159m13 164r13 165r25
182m7 Actual{2|50M9} 188m13 193r13 194r25