lxdream 0.9.1| filename | src/xlat/x86/amd64abi.h |
| changeset | 1004:eae001858134 |
| prev | 995:eb9d43e8aa08 |
| next | 1065:bc1cc0c54917 |
| author | nkeynes |
| date | Sun Apr 12 07:24:45 2009 +0000 (15 years ago) |
| branch | xlat-refactor |
| permissions | -rw-r--r-- |
| last change | Restructure operand types - rename to forms to avoid conflict for actual data types temporary operands are now a first class form remove explicit types for immediates - now implied by opcode Initial work on promote-source-reg pass |
| view | annotate | diff | log | raw |
1 /**
2 * $Id$
3 *
4 * Provides the implementation for the AMD64 ABI (eg prologue, epilogue, and
5 * calling conventions)
6 *
7 * Copyright (c) 2007 Nathan Keynes.
8 *
9 * This program is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License as published by
11 * the Free Software Foundation; either version 2 of the License, or
12 * (at your option) any later version.
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 */
20 #define REG_ARG1 REG_RDI
21 #define REG_ARG2 REG_RSI
22 #define REG_ARG3 REG_RDX
23 #define REG_RESULT1 REG_RAX
24 #define MAX_REG_ARG 3 /* There's more, but we don't use more than 3 here anyway */
26 static inline void decode_address( uintptr_t base, int addr_reg )
27 {
28 MOVL_r32_r32( addr_reg, REG_ECX );
29 SHRL_imm_r32( 12, REG_ECX );
30 MOVP_immptr_rptr( base, REG_RDI );
31 MOVP_sib_rptr( 3, REG_RCX, REG_RDI, 0, REG_RCX );
32 }
34 /**
35 * Note: clobbers ECX to make the indirect call - this isn't usually
36 * a problem since the callee will generally clobber it anyway.
37 * Size: 12 bytes
38 */
39 static inline void CALL_ptr( void *ptr )
40 {
41 MOVP_immptr_rptr( (uintptr_t)ptr, REG_ECX );
42 CALL_r32(REG_ECX);
43 }
45 static inline void CALL1_ptr_r32( void *ptr, int arg1 )
46 {
47 if( arg1 != REG_ARG1 ) {
48 MOVQ_r64_r64( arg1, REG_ARG1 );
49 }
50 CALL_ptr(ptr);
51 }
53 static inline void CALL1_r32disp_r32( int preg, uint32_t disp, int arg1 )
54 {
55 if( arg1 != REG_ARG1 ) {
56 MOVQ_r64_r64( arg1, REG_ARG1 );
57 }
58 CALL_r32disp(preg, disp);
59 }
61 static inline void CALL2_ptr_r32_r32( void *ptr, int arg1, int arg2 )
62 {
63 if( arg2 != REG_ARG2 ) {
64 MOVQ_r64_r64( arg2, REG_ARG2 );
65 }
66 if( arg1 != REG_ARG1 ) {
67 MOVQ_r64_r64( arg1, REG_ARG1 );
68 }
69 CALL_ptr(ptr);
70 }
72 static inline void CALL2_r32disp_r32_r32( int preg, uint32_t disp, int arg1, int arg2 )
73 {
74 if( arg2 != REG_ARG2 ) {
75 MOVQ_r64_r64( arg2, REG_ARG2 );
76 }
77 if( arg1 != REG_ARG1 ) {
78 MOVQ_r64_r64( arg1, REG_ARG1 );
79 }
80 CALL_r32disp(preg, disp);
81 }
83 static inline void CALL3_r32disp_r32_r32_r32( int preg, uint32_t disp, int arg1, int arg2, int arg3 )
84 {
85 if( arg3 != REG_ARG3 ) {
86 MOVQ_r64_r64( arg3, REG_ARG3 );
87 }
88 if( arg2 != REG_ARG2 ) {
89 MOVQ_r64_r64( arg2, REG_ARG2 );
90 }
91 if( arg1 != REG_ARG1 ) {
92 MOVQ_r64_r64( arg1, REG_ARG1 );
93 }
94 CALL_r32disp(preg, disp);
95 }
97 /**
98 * Emit the 'start of block' assembly. Sets up the stack frame and save
99 * SI/DI as required
100 */
101 static inline void enter_block( )
102 {
103 PUSH_r32(REG_RBP);
104 SUBQ_imms_r64( 16, REG_RSP );
105 }
107 static inline void exit_block( )
108 {
109 ADDQ_imms_r64( 16, REG_RSP );
110 POP_r32(REG_RBP);
111 RET();
112 }
.