diff options
author | Mike Pall <mike> | 2011-09-20 21:15:05 +0200 |
---|---|---|
committer | Mike Pall <mike> | 2011-09-20 21:15:05 +0200 |
commit | c5e75e7893b511cb109dec3be111e115fdb01d7c (patch) | |
tree | 393e3975183fd85e7154881535444bff165c5baf | |
parent | 5fedf72ca6e08c06960bac77876e7f94ae8fd319 (diff) | |
download | luajit-c5e75e7893b511cb109dec3be111e115fdb01d7c.tar.gz luajit-c5e75e7893b511cb109dec3be111e115fdb01d7c.tar.bz2 luajit-c5e75e7893b511cb109dec3be111e115fdb01d7c.zip |
Generate a portable vmdef.lua.
-rw-r--r-- | lib/dump.lua | 5 | ||||
-rw-r--r-- | src/buildvm.c | 2 | ||||
-rw-r--r-- | src/lj_ir.c | 4 | ||||
-rw-r--r-- | src/lj_ircall.h | 195 |
4 files changed, 106 insertions, 100 deletions
diff --git a/lib/dump.lua b/lib/dump.lua index 7ddc9c07..bb8aa1ce 100644 --- a/lib/dump.lua +++ b/lib/dump.lua | |||
@@ -84,7 +84,10 @@ local function fillsymtab(nexit) | |||
84 | local t = symtab | 84 | local t = symtab |
85 | if nexitsym == 0 then | 85 | if nexitsym == 0 then |
86 | local ircall = vmdef.ircall | 86 | local ircall = vmdef.ircall |
87 | for i=0,#ircall do t[ircalladdr(i)] = ircall[i] end | 87 | for i=0,#ircall do |
88 | local addr = ircalladdr(i) | ||
89 | if addr ~= 0 then t[addr] = ircall[i] end | ||
90 | end | ||
88 | end | 91 | end |
89 | if nexit > nexitsym then | 92 | if nexit > nexitsym then |
90 | for i=nexitsym,nexit-1 do | 93 | for i=nexitsym,nexit-1 do |
diff --git a/src/buildvm.c b/src/buildvm.c index 122e1262..72c2dd83 100644 --- a/src/buildvm.c +++ b/src/buildvm.c | |||
@@ -271,7 +271,7 @@ IRFLDEF(FLNAME) | |||
271 | }; | 271 | }; |
272 | 272 | ||
273 | const char *const ircall_names[] = { | 273 | const char *const ircall_names[] = { |
274 | #define IRCALLNAME(name, nargs, kind, type, flags) #name, | 274 | #define IRCALLNAME(cond, name, nargs, kind, type, flags) #name, |
275 | IRCALLDEF(IRCALLNAME) | 275 | IRCALLDEF(IRCALLNAME) |
276 | #undef IRCALLNAME | 276 | #undef IRCALLNAME |
277 | NULL | 277 | NULL |
diff --git a/src/lj_ir.c b/src/lj_ir.c index 8f22e085..457d9187 100644 --- a/src/lj_ir.c +++ b/src/lj_ir.c | |||
@@ -47,8 +47,8 @@ IRDEF(IRMODE) | |||
47 | 47 | ||
48 | /* C call info for CALL* instructions. */ | 48 | /* C call info for CALL* instructions. */ |
49 | LJ_DATADEF const CCallInfo lj_ir_callinfo[] = { | 49 | LJ_DATADEF const CCallInfo lj_ir_callinfo[] = { |
50 | #define IRCALLCI(name, nargs, kind, type, flags) \ | 50 | #define IRCALLCI(cond, name, nargs, kind, type, flags) \ |
51 | { (ASMFunction)name, \ | 51 | { (ASMFunction)IRCALLCOND_##cond(name), \ |
52 | (nargs)|(CCI_CALL_##kind)|(IRT_##type<<CCI_OTSHIFT)|(flags) }, | 52 | (nargs)|(CCI_CALL_##kind)|(IRT_##type<<CCI_OTSHIFT)|(flags) }, |
53 | IRCALLDEF(IRCALLCI) | 53 | IRCALLDEF(IRCALLCI) |
54 | #undef IRCALLCI | 54 | #undef IRCALLCI |
diff --git a/src/lj_ircall.h b/src/lj_ircall.h index a1f0b052..00209d4c 100644 --- a/src/lj_ircall.h +++ b/src/lj_ircall.h | |||
@@ -37,127 +37,130 @@ typedef struct CCallInfo { | |||
37 | #define CCI_NOFPRCLOBBER 0x0400 /* Does not clobber any FPRs. */ | 37 | #define CCI_NOFPRCLOBBER 0x0400 /* Does not clobber any FPRs. */ |
38 | #define CCI_FASTCALL 0x0800 /* Fastcall convention. */ | 38 | #define CCI_FASTCALL 0x0800 /* Fastcall convention. */ |
39 | 39 | ||
40 | /* Function definitions for CALL* instructions. */ | 40 | /* Helpers for conditional function definitions. */ |
41 | #define IRCALLCOND_ANY(x) x | ||
42 | |||
43 | #if LJ_TARGET_X86ORX64 | ||
44 | #define IRCALLCOND_FPMATH(x) NULL | ||
45 | #else | ||
46 | #define IRCALLCOND_FPMATH(x) x | ||
47 | #endif | ||
48 | |||
41 | #if LJ_SOFTFP | 49 | #if LJ_SOFTFP |
50 | #define IRCALLCOND_SOFTFP(x) x | ||
42 | #if LJ_HASFFI | 51 | #if LJ_HASFFI |
43 | #define IRCALLDEF_SOFTFP_FFI(_) \ | 52 | #define IRCALLCOND_SOFTFP_FFI(x) x |
44 | _(softfp_ui2d, 1, N, NUM, 0) \ | ||
45 | _(softfp_l2d, 2, N, NUM, 0) \ | ||
46 | _(softfp_ul2d, 2, N, NUM, 0) \ | ||
47 | _(softfp_f2d, 1, N, NUM, 0) \ | ||
48 | _(softfp_d2ui, 2, N, INT, 0) \ | ||
49 | _(softfp_d2l, 2, N, I64, 0) \ | ||
50 | _(softfp_d2ul, 2, N, U64, 0) \ | ||
51 | _(softfp_d2f, 2, N, FLOAT, 0) \ | ||
52 | _(softfp_i2f, 1, N, FLOAT, 0) \ | ||
53 | _(softfp_ui2f, 1, N, FLOAT, 0) \ | ||
54 | _(softfp_l2f, 2, N, FLOAT, 0) \ | ||
55 | _(softfp_ul2f, 2, N, FLOAT, 0) \ | ||
56 | _(softfp_f2i, 1, N, INT, 0) \ | ||
57 | _(softfp_f2ui, 1, N, INT, 0) \ | ||
58 | _(softfp_f2l, 1, N, I64, 0) \ | ||
59 | _(softfp_f2ul, 1, N, U64, 0) | ||
60 | #else | 53 | #else |
61 | #define IRCALLDEF_SOFTFP_FFI(_) | 54 | #define IRCALLCOND_SOFTFP_FFI(x) NULL |
62 | #endif | 55 | #endif |
63 | #define IRCALLDEF_SOFTFP(_) \ | ||
64 | _(lj_vm_tobit, 2, N, INT, 0) \ | ||
65 | _(softfp_add, 4, N, NUM, 0) \ | ||
66 | _(softfp_sub, 4, N, NUM, 0) \ | ||
67 | _(softfp_mul, 4, N, NUM, 0) \ | ||
68 | _(softfp_div, 4, N, NUM, 0) \ | ||
69 | _(softfp_cmp, 4, N, NIL, 0) \ | ||
70 | _(softfp_i2d, 1, N, NUM, 0) \ | ||
71 | _(softfp_d2i, 2, N, INT, 0) \ | ||
72 | IRCALLDEF_SOFTFP_FFI(_) | ||
73 | #else | 56 | #else |
74 | #define IRCALLDEF_SOFTFP(_) | 57 | #define IRCALLCOND_SOFTFP(x) NULL |
58 | #define IRCALLCOND_SOFTFP_FFI(x) NULL | ||
75 | #endif | 59 | #endif |
76 | 60 | ||
77 | #if LJ_TARGET_X86ORX64 | 61 | #if LJ_HASFFI |
78 | /* Use lj_vm_* helpers and x87 ops. */ | 62 | #define IRCALLCOND_FFI(x) x |
79 | #define IRCALLDEF_FPMATH(_) | 63 | #if LJ_32 |
64 | #define IRCALLCOND_FFI32(x) x | ||
80 | #else | 65 | #else |
81 | /* Use standard math library calls. */ | 66 | #define IRCALLCOND_FFI32(x) NULL |
67 | #endif | ||
68 | #else | ||
69 | #define IRCALLCOND_FFI(x) NULL | ||
70 | #define IRCALLCOND_FFI32(x) NULL | ||
71 | #endif | ||
72 | |||
82 | #if LJ_SOFTFP | 73 | #if LJ_SOFTFP |
83 | #define ARG1_FP 2 /* Treat as 2 32 bit arguments. */ | 74 | #define ARG1_FP 2 /* Treat as 2 32 bit arguments. */ |
84 | #else | 75 | #else |
85 | #define ARG1_FP 1 | 76 | #define ARG1_FP 1 |
86 | #endif | 77 | #endif |
87 | /* ORDER FPM */ | ||
88 | #define IRCALLDEF_FPMATH(_) \ | ||
89 | _(lj_vm_floor, ARG1_FP, N, NUM, 0) \ | ||
90 | _(lj_vm_ceil, ARG1_FP, N, NUM, 0) \ | ||
91 | _(lj_vm_trunc, ARG1_FP, N, NUM, 0) \ | ||
92 | _(sqrt, ARG1_FP, N, NUM, 0) \ | ||
93 | _(exp, ARG1_FP, N, NUM, 0) \ | ||
94 | _(lj_vm_exp2, ARG1_FP, N, NUM, 0) \ | ||
95 | _(log, ARG1_FP, N, NUM, 0) \ | ||
96 | _(lj_vm_log2, ARG1_FP, N, NUM, 0) \ | ||
97 | _(log10, ARG1_FP, N, NUM, 0) \ | ||
98 | _(sin, ARG1_FP, N, NUM, 0) \ | ||
99 | _(cos, ARG1_FP, N, NUM, 0) \ | ||
100 | _(tan, ARG1_FP, N, NUM, 0) \ | ||
101 | _(lj_vm_powi, ARG1_FP+1, N, NUM, 0) \ | ||
102 | _(pow, ARG1_FP*2, N, NUM, 0) \ | ||
103 | _(atan2, ARG1_FP*2, N, NUM, 0) \ | ||
104 | _(ldexp, ARG1_FP+1, N, NUM, 0) | ||
105 | #endif | ||
106 | 78 | ||
107 | #if LJ_HASFFI | ||
108 | #if LJ_32 | 79 | #if LJ_32 |
109 | #define ARG2_64 4 /* Treat as 4 32 bit arguments. */ | 80 | #define ARG2_64 4 /* Treat as 4 32 bit arguments. */ |
110 | #define IRCALLDEF_FFI32(_) \ | ||
111 | _(lj_carith_mul64, ARG2_64, N, I64, CCI_NOFPRCLOBBER) | ||
112 | #else | 81 | #else |
113 | #define ARG2_64 2 | 82 | #define ARG2_64 2 |
114 | #define IRCALLDEF_FFI32(_) | ||
115 | #endif | ||
116 | #define IRCALLDEF_FFI(_) \ | ||
117 | IRCALLDEF_FFI32(_) \ | ||
118 | _(lj_carith_divi64, ARG2_64, N, I64, CCI_NOFPRCLOBBER) \ | ||
119 | _(lj_carith_divu64, ARG2_64, N, U64, CCI_NOFPRCLOBBER) \ | ||
120 | _(lj_carith_modi64, ARG2_64, N, I64, CCI_NOFPRCLOBBER) \ | ||
121 | _(lj_carith_modu64, ARG2_64, N, U64, CCI_NOFPRCLOBBER) \ | ||
122 | _(lj_carith_powi64, ARG2_64, N, I64, CCI_NOFPRCLOBBER) \ | ||
123 | _(lj_carith_powu64, ARG2_64, N, U64, CCI_NOFPRCLOBBER) \ | ||
124 | _(lj_cdata_setfin, 2, FN, P32, CCI_L) \ | ||
125 | _(strlen, 1, N, INTP, 0) \ | ||
126 | _(memcpy, 3, S, PTR, 0) \ | ||
127 | _(memset, 3, S, PTR, 0) | ||
128 | #else | ||
129 | #define IRCALLDEF_FFI(_) | ||
130 | #endif | 83 | #endif |
131 | 84 | ||
85 | /* Function definitions for CALL* instructions. */ | ||
132 | #define IRCALLDEF(_) \ | 86 | #define IRCALLDEF(_) \ |
133 | _(lj_str_cmp, 2, FN, INT, CCI_NOFPRCLOBBER) \ | 87 | _(ANY, lj_str_cmp, 2, FN, INT, CCI_NOFPRCLOBBER) \ |
134 | _(lj_str_new, 3, S, STR, CCI_L) \ | 88 | _(ANY, lj_str_new, 3, S, STR, CCI_L) \ |
135 | _(lj_str_tonum, 2, FN, INT, 0) \ | 89 | _(ANY, lj_str_tonum, 2, FN, INT, 0) \ |
136 | _(lj_str_fromint, 2, FN, STR, CCI_L) \ | 90 | _(ANY, lj_str_fromint, 2, FN, STR, CCI_L) \ |
137 | _(lj_str_fromnum, 2, FN, STR, CCI_L) \ | 91 | _(ANY, lj_str_fromnum, 2, FN, STR, CCI_L) \ |
138 | _(lj_tab_new1, 2, FS, TAB, CCI_L) \ | 92 | _(ANY, lj_tab_new1, 2, FS, TAB, CCI_L) \ |
139 | _(lj_tab_dup, 2, FS, TAB, CCI_L) \ | 93 | _(ANY, lj_tab_dup, 2, FS, TAB, CCI_L) \ |
140 | _(lj_tab_newkey, 3, S, P32, CCI_L) \ | 94 | _(ANY, lj_tab_newkey, 3, S, P32, CCI_L) \ |
141 | _(lj_tab_len, 1, FL, INT, 0) \ | 95 | _(ANY, lj_tab_len, 1, FL, INT, 0) \ |
142 | _(lj_gc_step_jit, 2, FS, NIL, CCI_L) \ | 96 | _(ANY, lj_gc_step_jit, 2, FS, NIL, CCI_L) \ |
143 | _(lj_gc_barrieruv, 2, FS, NIL, 0) \ | 97 | _(ANY, lj_gc_barrieruv, 2, FS, NIL, 0) \ |
144 | _(lj_mem_newgco, 2, FS, P32, CCI_L) \ | 98 | _(ANY, lj_mem_newgco, 2, FS, P32, CCI_L) \ |
145 | _(lj_math_random_step, 1, FS, NUM, CCI_CASTU64|CCI_NOFPRCLOBBER) \ | 99 | _(ANY, lj_math_random_step, 1, FS, NUM, CCI_CASTU64|CCI_NOFPRCLOBBER) \ |
146 | _(lj_vm_modi, 2, FN, INT, 0) \ | 100 | _(ANY, lj_vm_modi, 2, FN, INT, 0) \ |
147 | IRCALLDEF_SOFTFP(_) \ | 101 | _(ANY, sinh, 1, N, NUM, 0) \ |
148 | IRCALLDEF_FPMATH(_) \ | 102 | _(ANY, cosh, 1, N, NUM, 0) \ |
149 | IRCALLDEF_FFI(_) \ | 103 | _(ANY, tanh, 1, N, NUM, 0) \ |
150 | _(sinh, 1, N, NUM, 0) \ | 104 | _(ANY, fputc, 2, S, INT, 0) \ |
151 | _(cosh, 1, N, NUM, 0) \ | 105 | _(ANY, fwrite, 4, S, INT, 0) \ |
152 | _(tanh, 1, N, NUM, 0) \ | 106 | _(ANY, fflush, 1, S, INT, 0) \ |
153 | _(fputc, 2, S, INT, 0) \ | 107 | /* ORDER FPM */ \ |
154 | _(fwrite, 4, S, INT, 0) \ | 108 | _(FPMATH, lj_vm_floor, ARG1_FP, N, NUM, 0) \ |
155 | _(fflush, 1, S, INT, 0) \ | 109 | _(FPMATH, lj_vm_ceil, ARG1_FP, N, NUM, 0) \ |
110 | _(FPMATH, lj_vm_trunc, ARG1_FP, N, NUM, 0) \ | ||
111 | _(FPMATH, sqrt, ARG1_FP, N, NUM, 0) \ | ||
112 | _(FPMATH, exp, ARG1_FP, N, NUM, 0) \ | ||
113 | _(FPMATH, lj_vm_exp2, ARG1_FP, N, NUM, 0) \ | ||
114 | _(FPMATH, log, ARG1_FP, N, NUM, 0) \ | ||
115 | _(FPMATH, lj_vm_log2, ARG1_FP, N, NUM, 0) \ | ||
116 | _(FPMATH, log10, ARG1_FP, N, NUM, 0) \ | ||
117 | _(FPMATH, sin, ARG1_FP, N, NUM, 0) \ | ||
118 | _(FPMATH, cos, ARG1_FP, N, NUM, 0) \ | ||
119 | _(FPMATH, tan, ARG1_FP, N, NUM, 0) \ | ||
120 | _(FPMATH, lj_vm_powi, ARG1_FP+1, N, NUM, 0) \ | ||
121 | _(FPMATH, pow, ARG1_FP*2, N, NUM, 0) \ | ||
122 | _(FPMATH, atan2, ARG1_FP*2, N, NUM, 0) \ | ||
123 | _(FPMATH, ldexp, ARG1_FP+1, N, NUM, 0) \ | ||
124 | _(SOFTFP, lj_vm_tobit, 2, N, INT, 0) \ | ||
125 | _(SOFTFP, softfp_add, 4, N, NUM, 0) \ | ||
126 | _(SOFTFP, softfp_sub, 4, N, NUM, 0) \ | ||
127 | _(SOFTFP, softfp_mul, 4, N, NUM, 0) \ | ||
128 | _(SOFTFP, softfp_div, 4, N, NUM, 0) \ | ||
129 | _(SOFTFP, softfp_cmp, 4, N, NIL, 0) \ | ||
130 | _(SOFTFP, softfp_i2d, 1, N, NUM, 0) \ | ||
131 | _(SOFTFP, softfp_d2i, 2, N, INT, 0) \ | ||
132 | _(SOFTFP_FFI, softfp_ui2d, 1, N, NUM, 0) \ | ||
133 | _(SOFTFP_FFI, softfp_l2d, 2, N, NUM, 0) \ | ||
134 | _(SOFTFP_FFI, softfp_ul2d, 2, N, NUM, 0) \ | ||
135 | _(SOFTFP_FFI, softfp_f2d, 1, N, NUM, 0) \ | ||
136 | _(SOFTFP_FFI, softfp_d2ui, 2, N, INT, 0) \ | ||
137 | _(SOFTFP_FFI, softfp_d2l, 2, N, I64, 0) \ | ||
138 | _(SOFTFP_FFI, softfp_d2ul, 2, N, U64, 0) \ | ||
139 | _(SOFTFP_FFI, softfp_d2f, 2, N, FLOAT, 0) \ | ||
140 | _(SOFTFP_FFI, softfp_i2f, 1, N, FLOAT, 0) \ | ||
141 | _(SOFTFP_FFI, softfp_ui2f, 1, N, FLOAT, 0) \ | ||
142 | _(SOFTFP_FFI, softfp_l2f, 2, N, FLOAT, 0) \ | ||
143 | _(SOFTFP_FFI, softfp_ul2f, 2, N, FLOAT, 0) \ | ||
144 | _(SOFTFP_FFI, softfp_f2i, 1, N, INT, 0) \ | ||
145 | _(SOFTFP_FFI, softfp_f2ui, 1, N, INT, 0) \ | ||
146 | _(SOFTFP_FFI, softfp_f2l, 1, N, I64, 0) \ | ||
147 | _(SOFTFP_FFI, softfp_f2ul, 1, N, U64, 0) \ | ||
148 | _(FFI, lj_carith_divi64, ARG2_64, N, I64, CCI_NOFPRCLOBBER) \ | ||
149 | _(FFI, lj_carith_divu64, ARG2_64, N, U64, CCI_NOFPRCLOBBER) \ | ||
150 | _(FFI, lj_carith_modi64, ARG2_64, N, I64, CCI_NOFPRCLOBBER) \ | ||
151 | _(FFI, lj_carith_modu64, ARG2_64, N, U64, CCI_NOFPRCLOBBER) \ | ||
152 | _(FFI, lj_carith_powi64, ARG2_64, N, I64, CCI_NOFPRCLOBBER) \ | ||
153 | _(FFI, lj_carith_powu64, ARG2_64, N, U64, CCI_NOFPRCLOBBER) \ | ||
154 | _(FFI, lj_cdata_setfin, 2, FN, P32, CCI_L) \ | ||
155 | _(FFI, strlen, 1, N, INTP, 0) \ | ||
156 | _(FFI, memcpy, 3, S, PTR, 0) \ | ||
157 | _(FFI, memset, 3, S, PTR, 0) \ | ||
158 | _(FFI32, lj_carith_mul64, ARG2_64, N, I64, CCI_NOFPRCLOBBER) | ||
156 | \ | 159 | \ |
157 | /* End of list. */ | 160 | /* End of list. */ |
158 | 161 | ||
159 | typedef enum { | 162 | typedef enum { |
160 | #define IRCALLENUM(name, nargs, kind, type, flags) IRCALL_##name, | 163 | #define IRCALLENUM(cond, name, nargs, kind, type, flags) IRCALL_##name, |
161 | IRCALLDEF(IRCALLENUM) | 164 | IRCALLDEF(IRCALLENUM) |
162 | #undef IRCALLENUM | 165 | #undef IRCALLENUM |
163 | IRCALL__MAX | 166 | IRCALL__MAX |