Text file
src/runtime/sys_windows_amd64.s
Documentation: runtime
1// Copyright 2011 The Go Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file.
4
5#include "go_asm.h"
6#include "go_tls.h"
7#include "textflag.h"
8
9// maxargs should be divisible by 2, as Windows stack
10// must be kept 16-byte aligned on syscall entry.
11#define maxargs 16
12
13// void runtime·asmstdcall(void *c);
14TEXT runtime·asmstdcall(SB),NOSPLIT|NOFRAME,$0
15 // asmcgocall will put first argument into CX.
16 PUSHQ CX // save for later
17 MOVQ libcall_fn(CX), AX
18 MOVQ libcall_args(CX), SI
19 MOVQ libcall_n(CX), CX
20
21 // SetLastError(0).
22 MOVQ 0x30(GS), DI
23 MOVL $0, 0x68(DI)
24
25 SUBQ $(maxargs*8), SP // room for args
26
27 // Fast version, do not store args on the stack.
28 CMPL CX, $4
29 JLE loadregs
30
31 // Check we have enough room for args.
32 CMPL CX, $maxargs
33 JLE 2(PC)
34 INT $3 // not enough room -> crash
35
36 // Copy args to the stack.
37 MOVQ SP, DI
38 CLD
39 REP; MOVSQ
40 MOVQ SP, SI
41
42loadregs:
43 // Load first 4 args into correspondent registers.
44 MOVQ 0(SI), CX
45 MOVQ 8(SI), DX
46 MOVQ 16(SI), R8
47 MOVQ 24(SI), R9
48 // Floating point arguments are passed in the XMM
49 // registers. Set them here in case any of the arguments
50 // are floating point values. For details see
51 // https://msdn.microsoft.com/en-us/library/zthk2dkh.aspx
52 MOVQ CX, X0
53 MOVQ DX, X1
54 MOVQ R8, X2
55 MOVQ R9, X3
56
57 // Call stdcall function.
58 CALL AX
59
60 ADDQ $(maxargs*8), SP
61
62 // Return result.
63 POPQ CX
64 MOVQ AX, libcall_r1(CX)
65
66 // GetLastError().
67 MOVQ 0x30(GS), DI
68 MOVL 0x68(DI), AX
69 MOVQ AX, libcall_err(CX)
70
71 RET
72
73TEXT runtime·badsignal2(SB),NOSPLIT|NOFRAME,$48
74 // stderr
75 MOVQ $-12, CX // stderr
76 MOVQ CX, 0(SP)
77 MOVQ runtime·_GetStdHandle(SB), AX
78 CALL AX
79
80 MOVQ AX, CX // handle
81 MOVQ CX, 0(SP)
82 MOVQ $runtime·badsignalmsg(SB), DX // pointer
83 MOVQ DX, 8(SP)
84 MOVL $runtime·badsignallen(SB), R8 // count
85 MOVQ R8, 16(SP)
86 LEAQ 40(SP), R9 // written count
87 MOVQ $0, 0(R9)
88 MOVQ R9, 24(SP)
89 MOVQ $0, 32(SP) // overlapped
90 MOVQ runtime·_WriteFile(SB), AX
91 CALL AX
92
93 RET
94
95// faster get/set last error
96TEXT runtime·getlasterror(SB),NOSPLIT,$0
97 MOVQ 0x30(GS), AX
98 MOVL 0x68(AX), AX
99 MOVL AX, ret+0(FP)
100 RET
101
102TEXT runtime·setlasterror(SB),NOSPLIT,$0
103 MOVL err+0(FP), AX
104 MOVQ 0x30(GS), CX
105 MOVL AX, 0x68(CX)
106 RET
107
108// Called by Windows as a Vectored Exception Handler (VEH).
109// First argument is pointer to struct containing
110// exception record and context pointers.
111// Handler function is stored in AX.
112// Return 0 for 'not handled', -1 for handled.
113TEXT sigtramp<>(SB),NOSPLIT|NOFRAME,$0-0
114 // CX: PEXCEPTION_POINTERS ExceptionInfo
115
116 // DI SI BP BX R12 R13 R14 R15 registers and DF flag are preserved
117 // as required by windows callback convention.
118 PUSHFQ
119 SUBQ $112, SP
120 MOVQ DI, 80(SP)
121 MOVQ SI, 72(SP)
122 MOVQ BP, 64(SP)
123 MOVQ BX, 56(SP)
124 MOVQ R12, 48(SP)
125 MOVQ R13, 40(SP)
126 MOVQ R14, 32(SP)
127 MOVQ R15, 88(SP)
128
129 MOVQ AX, R15 // save handler address
130
131 // find g
132 get_tls(DX)
133 CMPQ DX, $0
134 JNE 3(PC)
135 MOVQ $0, AX // continue
136 JMP done
137 MOVQ g(DX), DX
138 CMPQ DX, $0
139 JNE 2(PC)
140 CALL runtime·badsignal2(SB)
141
142 // save g and SP in case of stack switch
143 MOVQ DX, 96(SP) // g
144 MOVQ SP, 104(SP)
145
146 // do we need to switch to the g0 stack?
147 MOVQ g_m(DX), BX
148 MOVQ m_g0(BX), BX
149 CMPQ DX, BX
150 JEQ g0
151
152 // switch to g0 stack
153 get_tls(BP)
154 MOVQ BX, g(BP)
155 MOVQ (g_sched+gobuf_sp)(BX), DI
156 // make it look like mstart called us on g0, to stop traceback
157 SUBQ $8, DI
158 MOVQ $runtime·mstart(SB), SI
159 MOVQ SI, 0(DI)
160 // traceback will think that we've done PUSHFQ and SUBQ
161 // on this stack, so subtract them here to match.
162 // (we need room for sighandler arguments anyway).
163 // and re-save old SP for restoring later.
164 SUBQ $(112+8), DI
165 // save g, save old stack pointer.
166 MOVQ SP, 104(DI)
167 MOVQ DI, SP
168
169g0:
170 MOVQ 0(CX), BX // ExceptionRecord*
171 MOVQ 8(CX), CX // Context*
172 MOVQ BX, 0(SP)
173 MOVQ CX, 8(SP)
174 MOVQ DX, 16(SP)
175 CALL R15 // call handler
176 // AX is set to report result back to Windows
177 MOVL 24(SP), AX
178
179 // switch back to original stack and g
180 // no-op if we never left.
181 MOVQ 104(SP), SP
182 MOVQ 96(SP), DX
183 get_tls(BP)
184 MOVQ DX, g(BP)
185
186done:
187 // restore registers as required for windows callback
188 MOVQ 88(SP), R15
189 MOVQ 32(SP), R14
190 MOVQ 40(SP), R13
191 MOVQ 48(SP), R12
192 MOVQ 56(SP), BX
193 MOVQ 64(SP), BP
194 MOVQ 72(SP), SI
195 MOVQ 80(SP), DI
196 ADDQ $112, SP
197 POPFQ
198
199 RET
200
201TEXT runtime·exceptiontramp(SB),NOSPLIT|NOFRAME,$0
202 MOVQ $runtime·exceptionhandler(SB), AX
203 JMP sigtramp<>(SB)
204
205TEXT runtime·firstcontinuetramp(SB),NOSPLIT|NOFRAME,$0-0
206 MOVQ $runtime·firstcontinuehandler(SB), AX
207 JMP sigtramp<>(SB)
208
209TEXT runtime·lastcontinuetramp(SB),NOSPLIT|NOFRAME,$0-0
210 MOVQ $runtime·lastcontinuehandler(SB), AX
211 JMP sigtramp<>(SB)
212
213TEXT runtime·ctrlhandler(SB),NOSPLIT|NOFRAME,$8
214 MOVQ CX, 16(SP) // spill
215 MOVQ $runtime·ctrlhandler1(SB), CX
216 MOVQ CX, 0(SP)
217 CALL runtime·externalthreadhandler(SB)
218 RET
219
220TEXT runtime·profileloop(SB),NOSPLIT|NOFRAME,$8
221 MOVQ $runtime·profileloop1(SB), CX
222 MOVQ CX, 0(SP)
223 CALL runtime·externalthreadhandler(SB)
224 RET
225
226TEXT runtime·externalthreadhandler(SB),NOSPLIT|NOFRAME,$0
227 PUSHQ BP
228 MOVQ SP, BP
229 PUSHQ BX
230 PUSHQ SI
231 PUSHQ DI
232 PUSHQ 0x28(GS)
233 MOVQ SP, DX
234
235 // setup dummy m, g
236 SUBQ $m__size, SP // space for M
237 MOVQ SP, 0(SP)
238 MOVQ $m__size, 8(SP)
239 CALL runtime·memclrNoHeapPointers(SB) // smashes AX,BX,CX, maybe BP
240
241 LEAQ m_tls(SP), CX
242 MOVQ CX, 0x28(GS)
243 MOVQ SP, BX
244 SUBQ $g__size, SP // space for G
245 MOVQ SP, g(CX)
246 MOVQ SP, m_g0(BX)
247
248 MOVQ SP, 0(SP)
249 MOVQ $g__size, 8(SP)
250 CALL runtime·memclrNoHeapPointers(SB) // smashes AX,BX,CX, maybe BP
251 LEAQ g__size(SP), BX
252 MOVQ BX, g_m(SP)
253
254 LEAQ -32768(SP), CX // must be less than SizeOfStackReserve set by linker
255 MOVQ CX, (g_stack+stack_lo)(SP)
256 ADDQ $const__StackGuard, CX
257 MOVQ CX, g_stackguard0(SP)
258 MOVQ CX, g_stackguard1(SP)
259 MOVQ DX, (g_stack+stack_hi)(SP)
260
261 PUSHQ AX // room for return value
262 PUSHQ 32(BP) // arg for handler
263 CALL 16(BP)
264 POPQ CX
265 POPQ AX // pass return value to Windows in AX
266
267 get_tls(CX)
268 MOVQ g(CX), CX
269 MOVQ (g_stack+stack_hi)(CX), SP
270 POPQ 0x28(GS)
271 POPQ DI
272 POPQ SI
273 POPQ BX
274 POPQ BP
275 RET
276
277GLOBL runtime·cbctxts(SB), NOPTR, $8
278
279TEXT runtime·callbackasm1(SB),NOSPLIT,$0
280 // Construct args vector for cgocallback().
281 // By windows/amd64 calling convention first 4 args are in CX, DX, R8, R9
282 // args from the 5th on are on the stack.
283 // In any case, even if function has 0,1,2,3,4 args, there is reserved
284 // but uninitialized "shadow space" for the first 4 args.
285 // The values are in registers.
286 MOVQ CX, (16+0)(SP)
287 MOVQ DX, (16+8)(SP)
288 MOVQ R8, (16+16)(SP)
289 MOVQ R9, (16+24)(SP)
290
291 // remove return address from stack, we are not returning there
292 MOVQ 0(SP), AX
293 ADDQ $8, SP
294
295 // determine index into runtime·cbctxts table
296 MOVQ $runtime·callbackasm(SB), DX
297 SUBQ DX, AX
298 MOVQ $0, DX
299 MOVQ $5, CX // divide by 5 because each call instruction in runtime·callbacks is 5 bytes long
300 DIVL CX
301
302 // find correspondent runtime·cbctxts table entry
303 MOVQ runtime·cbctxts(SB), CX
304 MOVQ -8(CX)(AX*8), AX
305
306 // extract callback context
307 MOVQ wincallbackcontext_argsize(AX), DX
308 MOVQ wincallbackcontext_gobody(AX), AX
309
310 // preserve whatever's at the memory location that
311 // the callback will use to store the return value
312 LEAQ 8(SP), CX // args vector, skip return address
313 PUSHQ 0(CX)(DX*1) // store 8 bytes from just after the args array
314 ADDQ $8, DX // extend argsize by size of return value
315
316 // DI SI BP BX R12 R13 R14 R15 registers and DF flag are preserved
317 // as required by windows callback convention.
318 PUSHFQ
319 SUBQ $64, SP
320 MOVQ DI, 56(SP)
321 MOVQ SI, 48(SP)
322 MOVQ BP, 40(SP)
323 MOVQ BX, 32(SP)
324 MOVQ R12, 24(SP)
325 MOVQ R13, 16(SP)
326 MOVQ R14, 8(SP)
327 MOVQ R15, 0(SP)
328
329 // prepare call stack. use SUBQ to hide from stack frame checks
330 // cgocallback(Go func, void *frame, uintptr framesize)
331 SUBQ $24, SP
332 MOVQ DX, 16(SP) // argsize (including return value)
333 MOVQ CX, 8(SP) // callback parameters
334 MOVQ AX, 0(SP) // address of target Go function
335 CLD
336 CALL runtime·cgocallback_gofunc(SB)
337 MOVQ 0(SP), AX
338 MOVQ 8(SP), CX
339 MOVQ 16(SP), DX
340 ADDQ $24, SP
341
342 // restore registers as required for windows callback
343 MOVQ 0(SP), R15
344 MOVQ 8(SP), R14
345 MOVQ 16(SP), R13
346 MOVQ 24(SP), R12
347 MOVQ 32(SP), BX
348 MOVQ 40(SP), BP
349 MOVQ 48(SP), SI
350 MOVQ 56(SP), DI
351 ADDQ $64, SP
352 POPFQ
353
354 MOVQ -8(CX)(DX*1), AX // return value
355 POPQ -8(CX)(DX*1) // restore bytes just after the args
356 RET
357
358// uint32 tstart_stdcall(M *newm);
359TEXT runtime·tstart_stdcall(SB),NOSPLIT,$0
360 // CX contains first arg newm
361 MOVQ m_g0(CX), DX // g
362
363 // Layout new m scheduler stack on os stack.
364 MOVQ SP, AX
365 MOVQ AX, (g_stack+stack_hi)(DX)
366 SUBQ $(64*1024), AX // initial stack size (adjusted later)
367 MOVQ AX, (g_stack+stack_lo)(DX)
368 ADDQ $const__StackGuard, AX
369 MOVQ AX, g_stackguard0(DX)
370 MOVQ AX, g_stackguard1(DX)
371
372 // Set up tls.
373 LEAQ m_tls(CX), SI
374 MOVQ SI, 0x28(GS)
375 MOVQ CX, g_m(DX)
376 MOVQ DX, g(SI)
377
378 // Someday the convention will be D is always cleared.
379 CLD
380
381 CALL runtime·stackcheck(SB) // clobbers AX,CX
382 CALL runtime·mstart(SB)
383
384 XORL AX, AX // return 0 == success
385 RET
386
387// set tls base to DI
388TEXT runtime·settls(SB),NOSPLIT,$0
389 MOVQ DI, 0x28(GS)
390 RET
391
392// func onosstack(fn unsafe.Pointer, arg uint32)
393TEXT runtime·onosstack(SB),NOSPLIT,$0
394 MOVQ fn+0(FP), AX // to hide from 6l
395 MOVL arg+8(FP), BX
396
397 // Execute call on m->g0 stack, in case we are not actually
398 // calling a system call wrapper, like when running under WINE.
399 get_tls(R15)
400 CMPQ R15, $0
401 JNE 3(PC)
402 // Not a Go-managed thread. Do not switch stack.
403 CALL AX
404 RET
405
406 MOVQ g(R15), R13
407 MOVQ g_m(R13), R13
408
409 // leave pc/sp for cpu profiler
410 MOVQ (SP), R12
411 MOVQ R12, m_libcallpc(R13)
412 MOVQ g(R15), R12
413 MOVQ R12, m_libcallg(R13)
414 // sp must be the last, because once async cpu profiler finds
415 // all three values to be non-zero, it will use them
416 LEAQ fn+0(FP), R12
417 MOVQ R12, m_libcallsp(R13)
418
419 MOVQ m_g0(R13), R14
420 CMPQ g(R15), R14
421 JNE switch
422 // executing on m->g0 already
423 CALL AX
424 JMP ret
425
426switch:
427 // Switch to m->g0 stack and back.
428 MOVQ (g_sched+gobuf_sp)(R14), R14
429 MOVQ SP, -8(R14)
430 LEAQ -8(R14), SP
431 CALL AX
432 MOVQ 0(SP), SP
433
434ret:
435 MOVQ $0, m_libcallsp(R13)
436 RET
437
438// Runs on OS stack. duration (in 100ns units) is in BX.
439// The function leaves room for 4 syscall parameters
440// (as per windows amd64 calling convention).
441TEXT runtime·usleep2(SB),NOSPLIT|NOFRAME,$48
442 MOVQ SP, AX
443 ANDQ $~15, SP // alignment as per Windows requirement
444 MOVQ AX, 40(SP)
445 // Want negative 100ns units.
446 NEGQ BX
447 LEAQ 32(SP), R8 // ptime
448 MOVQ BX, (R8)
449 MOVQ $-1, CX // handle
450 MOVQ $0, DX // alertable
451 MOVQ runtime·_NtWaitForSingleObject(SB), AX
452 CALL AX
453 MOVQ 40(SP), SP
454 RET
455
456// Runs on OS stack.
457TEXT runtime·switchtothread(SB),NOSPLIT|NOFRAME,$0
458 MOVQ SP, AX
459 ANDQ $~15, SP // alignment as per Windows requirement
460 SUBQ $(48), SP // room for SP and 4 args as per Windows requirement
461 // plus one extra word to keep stack 16 bytes aligned
462 MOVQ AX, 32(SP)
463 MOVQ runtime·_SwitchToThread(SB), AX
464 CALL AX
465 MOVQ 32(SP), SP
466 RET
467
468// See https://www.dcl.hpi.uni-potsdam.de/research/WRK/2007/08/getting-os-information-the-kuser_shared_data-structure/
469// Must read hi1, then lo, then hi2. The snapshot is valid if hi1 == hi2.
470#define _INTERRUPT_TIME 0x7ffe0008
471#define _SYSTEM_TIME 0x7ffe0014
472#define time_lo 0
473#define time_hi1 4
474#define time_hi2 8
475
476TEXT runtime·nanotime1(SB),NOSPLIT,$0-8
477 CMPB runtime·useQPCTime(SB), $0
478 JNE useQPC
479 MOVQ $_INTERRUPT_TIME, DI
480loop:
481 MOVL time_hi1(DI), AX
482 MOVL time_lo(DI), BX
483 MOVL time_hi2(DI), CX
484 CMPL AX, CX
485 JNE loop
486 SHLQ $32, CX
487 ORQ BX, CX
488 IMULQ $100, CX
489 MOVQ CX, ret+0(FP)
490 RET
491useQPC:
492 JMP runtime·nanotimeQPC(SB)
493 RET
494
495TEXT time·now(SB),NOSPLIT,$0-24
496 CMPB runtime·useQPCTime(SB), $0
497 JNE useQPC
498 MOVQ $_INTERRUPT_TIME, DI
499loop:
500 MOVL time_hi1(DI), AX
501 MOVL time_lo(DI), BX
502 MOVL time_hi2(DI), CX
503 CMPL AX, CX
504 JNE loop
505 SHLQ $32, AX
506 ORQ BX, AX
507 IMULQ $100, AX
508 MOVQ AX, mono+16(FP)
509
510 MOVQ $_SYSTEM_TIME, DI
511wall:
512 MOVL time_hi1(DI), AX
513 MOVL time_lo(DI), BX
514 MOVL time_hi2(DI), CX
515 CMPL AX, CX
516 JNE wall
517 SHLQ $32, AX
518 ORQ BX, AX
519 MOVQ $116444736000000000, DI
520 SUBQ DI, AX
521 IMULQ $100, AX
522
523 // generated code for
524 // func f(x uint64) (uint64, uint64) { return x/1000000000, x%100000000 }
525 // adapted to reduce duplication
526 MOVQ AX, CX
527 MOVQ $1360296554856532783, AX
528 MULQ CX
529 ADDQ CX, DX
530 RCRQ $1, DX
531 SHRQ $29, DX
532 MOVQ DX, sec+0(FP)
533 IMULQ $1000000000, DX
534 SUBQ DX, CX
535 MOVL CX, nsec+8(FP)
536 RET
537useQPC:
538 JMP runtime·nowQPC(SB)
539 RET
View as plain text