114 lines
3.7 KiB
Plaintext
114 lines
3.7 KiB
Plaintext
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
|
|
|