Statistics
| Branch: | Revision:

root / target-i386 / ops_template.h @ 07d2c595

History | View | Annotate | Download (6.1 kB)

1
/*
2
 *  i386 micro operations (included several times to generate
3
 *  different operand sizes)
4
 *
5
 *  Copyright (c) 2003 Fabrice Bellard
6
 *
7
 * This library is free software; you can redistribute it and/or
8
 * modify it under the terms of the GNU Lesser General Public
9
 * License as published by the Free Software Foundation; either
10
 * version 2 of the License, or (at your option) any later version.
11
 *
12
 * This library is distributed in the hope that it will be useful,
13
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15
 * Lesser General Public License for more details.
16
 *
17
 * You should have received a copy of the GNU Lesser General Public
18
 * License along with this library; if not, write to the Free Software
19
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
20
 */
21
#define DATA_BITS (1 << (3 + SHIFT))
22
#define SHIFT_MASK (DATA_BITS - 1)
23
#define SIGN_MASK (((target_ulong)1) << (DATA_BITS - 1))
24
#if DATA_BITS <= 32
25
#define SHIFT1_MASK 0x1f
26
#else
27
#define SHIFT1_MASK 0x3f
28
#endif
29

    
30
#if DATA_BITS == 8
31
#define SUFFIX b
32
#define DATA_TYPE uint8_t
33
#define DATA_STYPE int8_t
34
#define DATA_MASK 0xff
35
#elif DATA_BITS == 16
36
#define SUFFIX w
37
#define DATA_TYPE uint16_t
38
#define DATA_STYPE int16_t
39
#define DATA_MASK 0xffff
40
#elif DATA_BITS == 32
41
#define SUFFIX l
42
#define DATA_TYPE uint32_t
43
#define DATA_STYPE int32_t
44
#define DATA_MASK 0xffffffff
45
#elif DATA_BITS == 64
46
#define SUFFIX q
47
#define DATA_TYPE uint64_t
48
#define DATA_STYPE int64_t
49
#define DATA_MASK 0xffffffffffffffffULL
50
#else
51
#error unhandled operand size
52
#endif
53

    
54
/* various optimized jumps cases */
55

    
56
void OPPROTO glue(op_jb_sub, SUFFIX)(void)
57
{
58
    target_long src1, src2;
59
    src1 = CC_DST + CC_SRC;
60
    src2 = CC_SRC;
61

    
62
    if ((DATA_TYPE)src1 < (DATA_TYPE)src2)
63
        GOTO_LABEL_PARAM(1);
64
    FORCE_RET();
65
}
66

    
67
void OPPROTO glue(op_jz_sub, SUFFIX)(void)
68
{
69
    if ((DATA_TYPE)CC_DST == 0)
70
        GOTO_LABEL_PARAM(1);
71
    FORCE_RET();
72
}
73

    
74
void OPPROTO glue(op_jnz_sub, SUFFIX)(void)
75
{
76
    if ((DATA_TYPE)CC_DST != 0)
77
        GOTO_LABEL_PARAM(1);
78
    FORCE_RET();
79
}
80

    
81
void OPPROTO glue(op_jbe_sub, SUFFIX)(void)
82
{
83
    target_long src1, src2;
84
    src1 = CC_DST + CC_SRC;
85
    src2 = CC_SRC;
86

    
87
    if ((DATA_TYPE)src1 <= (DATA_TYPE)src2)
88
        GOTO_LABEL_PARAM(1);
89
    FORCE_RET();
90
}
91

    
92
void OPPROTO glue(op_js_sub, SUFFIX)(void)
93
{
94
    if (CC_DST & SIGN_MASK)
95
        GOTO_LABEL_PARAM(1);
96
    FORCE_RET();
97
}
98

    
99
void OPPROTO glue(op_jl_sub, SUFFIX)(void)
100
{
101
    target_long src1, src2;
102
    src1 = CC_DST + CC_SRC;
103
    src2 = CC_SRC;
104

    
105
    if ((DATA_STYPE)src1 < (DATA_STYPE)src2)
106
        GOTO_LABEL_PARAM(1);
107
    FORCE_RET();
108
}
109

    
110
void OPPROTO glue(op_jle_sub, SUFFIX)(void)
111
{
112
    target_long src1, src2;
113
    src1 = CC_DST + CC_SRC;
114
    src2 = CC_SRC;
115

    
116
    if ((DATA_STYPE)src1 <= (DATA_STYPE)src2)
117
        GOTO_LABEL_PARAM(1);
118
    FORCE_RET();
119
}
120

    
121
/* oldies */
122

    
123
#if DATA_BITS >= 16
124

    
125
void OPPROTO glue(op_loopnz, SUFFIX)(void)
126
{
127
    if ((DATA_TYPE)ECX != 0 && !(T0 & CC_Z))
128
        GOTO_LABEL_PARAM(1);
129
    FORCE_RET();
130
}
131

    
132
void OPPROTO glue(op_loopz, SUFFIX)(void)
133
{
134
    if ((DATA_TYPE)ECX != 0 && (T0 & CC_Z))
135
        GOTO_LABEL_PARAM(1);
136
    FORCE_RET();
137
}
138

    
139
void OPPROTO glue(op_jz_ecx, SUFFIX)(void)
140
{
141
    if ((DATA_TYPE)ECX == 0)
142
        GOTO_LABEL_PARAM(1);
143
    FORCE_RET();
144
}
145

    
146
void OPPROTO glue(op_jnz_ecx, SUFFIX)(void)
147
{
148
    if ((DATA_TYPE)ECX != 0)
149
        GOTO_LABEL_PARAM(1);
150
    FORCE_RET();
151
}
152

    
153
#endif
154

    
155
/* various optimized set cases */
156

    
157
void OPPROTO glue(op_setb_T0_sub, SUFFIX)(void)
158
{
159
    target_long src1, src2;
160
    src1 = CC_DST + CC_SRC;
161
    src2 = CC_SRC;
162

    
163
    T0 = ((DATA_TYPE)src1 < (DATA_TYPE)src2);
164
}
165

    
166
void OPPROTO glue(op_setz_T0_sub, SUFFIX)(void)
167
{
168
    T0 = ((DATA_TYPE)CC_DST == 0);
169
}
170

    
171
void OPPROTO glue(op_setbe_T0_sub, SUFFIX)(void)
172
{
173
    target_long src1, src2;
174
    src1 = CC_DST + CC_SRC;
175
    src2 = CC_SRC;
176

    
177
    T0 = ((DATA_TYPE)src1 <= (DATA_TYPE)src2);
178
}
179

    
180
void OPPROTO glue(op_sets_T0_sub, SUFFIX)(void)
181
{
182
    T0 = lshift(CC_DST, -(DATA_BITS - 1)) & 1;
183
}
184

    
185
void OPPROTO glue(op_setl_T0_sub, SUFFIX)(void)
186
{
187
    target_long src1, src2;
188
    src1 = CC_DST + CC_SRC;
189
    src2 = CC_SRC;
190

    
191
    T0 = ((DATA_STYPE)src1 < (DATA_STYPE)src2);
192
}
193

    
194
void OPPROTO glue(op_setle_T0_sub, SUFFIX)(void)
195
{
196
    target_long src1, src2;
197
    src1 = CC_DST + CC_SRC;
198
    src2 = CC_SRC;
199

    
200
    T0 = ((DATA_STYPE)src1 <= (DATA_STYPE)src2);
201
}
202

    
203
/* bit operations */
204
#if DATA_BITS >= 16
205

    
206
void OPPROTO glue(glue(op_bt, SUFFIX), _T0_T1_cc)(void)
207
{
208
    int count;
209
    count = T1 & SHIFT_MASK;
210
    CC_SRC = T0 >> count;
211
}
212

    
213
void OPPROTO glue(glue(op_bts, SUFFIX), _T0_T1_cc)(void)
214
{
215
    int count;
216
    count = T1 & SHIFT_MASK;
217
    T1 = T0 >> count;
218
    T0 |= (((target_long)1) << count);
219
}
220

    
221
void OPPROTO glue(glue(op_btr, SUFFIX), _T0_T1_cc)(void)
222
{
223
    int count;
224
    count = T1 & SHIFT_MASK;
225
    T1 = T0 >> count;
226
    T0 &= ~(((target_long)1) << count);
227
}
228

    
229
void OPPROTO glue(glue(op_btc, SUFFIX), _T0_T1_cc)(void)
230
{
231
    int count;
232
    count = T1 & SHIFT_MASK;
233
    T1 = T0 >> count;
234
    T0 ^= (((target_long)1) << count);
235
}
236

    
237
void OPPROTO glue(glue(op_add_bit, SUFFIX), _A0_T1)(void)
238
{
239
    A0 += ((DATA_STYPE)T1 >> (3 + SHIFT)) << SHIFT;
240
}
241

    
242
void OPPROTO glue(glue(op_bsf, SUFFIX), _T0_cc)(void)
243
{
244
    int count;
245
    target_long res;
246

    
247
    res = T0 & DATA_MASK;
248
    if (res != 0) {
249
        count = 0;
250
        while ((res & 1) == 0) {
251
            count++;
252
            res >>= 1;
253
        }
254
        T1 = count;
255
        CC_DST = 1; /* ZF = 0 */
256
    } else {
257
        CC_DST = 0; /* ZF = 1 */
258
    }
259
    FORCE_RET();
260
}
261

    
262
void OPPROTO glue(glue(op_bsr, SUFFIX), _T0_cc)(void)
263
{
264
    int count;
265
    target_long res;
266

    
267
    res = T0 & DATA_MASK;
268
    if (res != 0) {
269
        count = DATA_BITS - 1;
270
        while ((res & SIGN_MASK) == 0) {
271
            count--;
272
            res <<= 1;
273
        }
274
        T1 = count;
275
        CC_DST = 1; /* ZF = 0 */
276
    } else {
277
        CC_DST = 0; /* ZF = 1 */
278
    }
279
    FORCE_RET();
280
}
281

    
282
#endif
283

    
284
#if DATA_BITS == 32
285
void OPPROTO op_update_bt_cc(void)
286
{
287
    CC_SRC = T1;
288
}
289
#endif
290

    
291
/* string operations */
292

    
293
void OPPROTO glue(op_movl_T0_Dshift, SUFFIX)(void)
294
{
295
    T0 = DF << SHIFT;
296
}
297

    
298
#undef DATA_BITS
299
#undef SHIFT_MASK
300
#undef SHIFT1_MASK
301
#undef SIGN_MASK
302
#undef DATA_TYPE
303
#undef DATA_STYPE
304
#undef DATA_MASK
305
#undef SUFFIX