Initial commit of OpenSPARC T2 design and verification files.
[OpenSPARC-T2-DV] / verif / diag / assembly / arch / prm / tso / tso_directed / tso_n1_dekker2_pio.s
CommitLineData
86530b38
AT
1/*
2* ========== Copyright Header Begin ==========================================
3*
4* OpenSPARC T2 Processor File: tso_n1_dekker2_pio.s
5* Copyright (C) 1995-2007 Sun Microsystems, Inc. All Rights Reserved
6* 4150 Network Circle, Santa Clara, California 95054, U.S.A.
7*
8* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
9*
10* This program is free software; you can redistribute it and/or modify
11* it under the terms of the GNU General Public License as published by
12* the Free Software Foundation; version 2 of the License.
13*
14* This program is distributed in the hope that it will be useful,
15* but WITHOUT ANY WARRANTY; without even the implied warranty of
16* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17* GNU General Public License for more details.
18*
19* You should have received a copy of the GNU General Public License
20* along with this program; if not, write to the Free Software
21* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
22*
23* For the avoidance of doubt, and except that if any non-GPL license
24* choice is available it will apply instead, Sun elects to use only
25* the General Public License version 2 (GPLv2) at this time for any
26* software where a choice of GPL license versions is made
27* available with the language indicating that GPLv2 or any later version
28* may be used, or where a choice of which version of the GPL is applied is
29* otherwise unspecified.
30*
31* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
32* CA 95054 USA or visit www.sun.com if you need additional information or
33* have any questions.
34*
35*
36* ========== Copyright Header End ============================================
37*/
38#define MAIN_PAGE_HV_ALSO
39#define addrA_reg %o0
40#define addrB_reg %o1
41#define addrC_reg %o2
42#define data_base_reg %o3
43#define to_reg %o4
44#define my_id_reg %o5
45#define global_cnt_reg %o6
46
47#define test_reg1 %i0
48#define test_reg2 %i1
49
50#define backoff_cnt %i4
51#define backoff_hlp1 %i5
52
53
54#define TIMEOUT 0x100
55#define ITERATIONS 0x2
56
57#include "hboot.s"
58
59.global main
60main:
61ta T_CHANGE_HPRIV
62nop
63th_fork(th_main,%l0)
64
65th_main_0:
66 setx addrA, %l0, addrA_reg !
67 setx addrB, %l0, addrB_reg !
68 setx addrC, %l0, addrC_reg !
69 set TIMEOUT, to_reg ! set timeout count
70 inc to_reg
71 mov to_reg, backoff_hlp1
72 dec to_reg
73 set ITERATIONS, global_cnt_reg !
74 mov %g0, my_id_reg
75
76 add my_id_reg, 0x20, my_id_reg ! this is my ID address
77
78getlock0:
79 set 1, test_reg1 ! load the swap data register
80 set 0x20, test_reg2 ! load the swap data register
81 st test_reg1, [addrA_reg] ! try to acquire lock
82 st test_reg2, [addrC_reg] ! try to acquire lock
83 membar 0x40
84 ld [addrC_reg], test_reg2
85 ld [addrB_reg], test_reg1 ! try to acquire lock
86 tst test_reg1
87 be gotlock0
88 nop
89
90 st %g0, [addrA_reg] ! release
91
92 deccc to_reg ! dec timeout count
93 bne getlock0 ! branch if no timeout
94 nop
95 ba,a bad_end
96 nop
97
98gotlock0:
99
100 subcc test_reg2, 0x20, %g0
101 bne bad_end
102 nop
103
104clearlock0:
105 st %g0, [addrA_reg] ! lock value (0=unlocked)
106 nop;nop;nop;nop; ! wait
107
108
109 mov to_reg, backoff_cnt
110backoff_loop01:
111 nop;nop;nop;nop; ! backoff
112 deccc backoff_cnt
113 bne backoff_loop01
114 nop
115
116 set TIMEOUT, to_reg ! set timeout count again
117
118check_done0:
119 deccc global_cnt_reg
120 be good_end
121 nop
122 ba getlock0
123 nop
124
125
126th_main_1:
127 ba dekker_algo
128th_main_2:
129 ta T_GOOD_TRAP
130th_main_3:
131 ta T_GOOD_TRAP
132th_main_4:
133 ba dekker_algo
134
135dekker_algo:
136 setx addrA, %l0, addrA_reg !
137 setx addrB, %l0, addrB_reg !
138 setx addrC, %l0, addrC_reg !
139 set TIMEOUT, to_reg ! set timeout count
140 inc to_reg
141 mov to_reg, backoff_hlp1
142 dec to_reg
143 set ITERATIONS, global_cnt_reg !
144 mov %g0, my_id_reg
145
146 add my_id_reg, 0x24, my_id_reg
147
148getlock1:
149 set 1, test_reg1 ! load the swap data register
150 set 0x21, test_reg2 ! load the swap data register
151 st test_reg1, [addrB_reg] ! try to acquire lock
152 st test_reg2, [addrC_reg] ! try to acquire lock
153 membar 0x40
154 ld [addrC_reg], test_reg2
155 ld [addrA_reg], test_reg1 ! try to acquire lock
156 tst test_reg1
157 be gotlock1
158 nop
159
160 st %g0, [addrB_reg] ! release
161
162 sub backoff_hlp1, to_reg, backoff_cnt
163backoff_loop10:
164 nop;nop;nop;nop; ! wait - quasi exponential backoff
165 deccc backoff_cnt ! well, kinda linear.
166 bne backoff_loop10
167 nop
168
169 deccc to_reg ! dec timeout count
170 bne getlock1 ! branch if no timeout
171 nop
172 ba,a bad_end
173 nop
174
175gotlock1:
176 subcc test_reg2, 0x21, %g0
177 bne bad_end
178 nop
179
180clearlock1:
181 st %g0, [addrB_reg] ! lock value (0=unlocked)
182
183 set TIMEOUT, to_reg ! set timeout count again
184
185check_done1:
186 deccc global_cnt_reg
187 be good_end
188 nop
189 ba getlock1
190 nop
191
192good_end:
193 ta T_GOOD_TRAP
194bad_end:
195 ta T_BAD_TRAP
196
197
198!==========================
199
200
201SECTION .MY_DATA0 DATA_VA=0xd0100000
202attr_data {
203 Name = .MY_DATA0,
204 VA= 0x0d0100000
205 RA=0xc000000000,
206 PA=0xc000000000,
207 part_0_ctx_nonzero_tsb_config_0,
208 TTE_G=1, TTE_Context=0x44, TTE_V=1, TTE_Size=0, TTE_NFO=0,
209 TTE_IE=0, TTE_Soft2=0, TTE_Diag=0, TTE_Soft=0,
210 TTE_L=0, TTE_CP=1, TTE_CV=0, TTE_E=0, TTE_P=0, TTE_W=1
211 }
212
213 .data
214
215.global addrA
216.align 0x4
217addrA:
218 .word 0x0
219
220.skip 0x1000
221
222
223SECTION .MY_DATA1 DATA_VA=0xd1110000
224attr_data {
225 Name = .MY_DATA1,
226 VA= 0x0d1110000,
227 RA=0xc200000000,
228 PA=0xc200000000,
229 part_0_ctx_nonzero_tsb_config_1,
230 TTE_G=1, TTE_Context=0x44, TTE_V=1, TTE_Size=0, TTE_NFO=0,
231 TTE_IE=0, TTE_Soft2=0, TTE_Diag=0, TTE_Soft=0,
232 TTE_L=0, TTE_CP=1, TTE_CV=0, TTE_E=0, TTE_P=0, TTE_W=1
233 }
234
235 .data
236.global addrB
237.global addrC
238.align 0x4
239addrB:
240 .word 0x0
241.skip 0x1000
242.align 0x4
243addrC:
244 .word 0x0
245
246.global protected_area
247protected_area:
248 .word 0xbeef
249 .skip 0x1000
250 .word 0xbeef
251
252.end