1: /*
2: * Stack-less Just-In-Time compiler
3: *
4: * Copyright 2009-2012 Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
5: *
6: * Redistribution and use in source and binary forms, with or without modification, are
7: * permitted provided that the following conditions are met:
8: *
9: * 1. Redistributions of source code must retain the above copyright notice, this list of
10: * conditions and the following disclaimer.
11: *
12: * 2. Redistributions in binary form must reproduce the above copyright notice, this list
13: * of conditions and the following disclaimer in the documentation and/or other materials
14: * provided with the distribution.
15: *
16: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
17: * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18: * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
19: * SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20: * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
21: * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
22: * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23: * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
24: * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
25: */
26:
27: static sljit_si load_immediate(struct sljit_compiler *compiler, sljit_si dst, sljit_sw imm)
28: {
29: if (imm <= SIMM_MAX && imm >= SIMM_MIN)
30: return push_inst(compiler, OR | D(dst) | S1(0) | IMM(imm), DR(dst));
31:
32: FAIL_IF(push_inst(compiler, SETHI | D(dst) | ((imm >> 10) & 0x3fffff), DR(dst)));
33: return (imm & 0x3ff) ? push_inst(compiler, OR | D(dst) | S1(dst) | IMM_ARG | (imm & 0x3ff), DR(dst)) : SLJIT_SUCCESS;
34: }
35:
36: #define ARG2(flags, src2) ((flags & SRC2_IMM) ? IMM(src2) : S2(src2))
37:
38: static SLJIT_INLINE sljit_si emit_single_op(struct sljit_compiler *compiler, sljit_si op, sljit_si flags,
39: sljit_si dst, sljit_si src1, sljit_sw src2)
40: {
41: SLJIT_COMPILE_ASSERT(ICC_IS_SET == SET_FLAGS, icc_is_set_and_set_flags_must_be_the_same);
42:
43: switch (op) {
44: case SLJIT_MOV:
45: case SLJIT_MOV_UI:
46: case SLJIT_MOV_SI:
47: case SLJIT_MOV_P:
48: SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM));
49: if (dst != src2)
50: return push_inst(compiler, OR | D(dst) | S1(0) | S2(src2), DR(dst));
51: return SLJIT_SUCCESS;
52:
53: case SLJIT_MOV_UB:
54: case SLJIT_MOV_SB:
55: SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM));
56: if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE)) {
57: if (op == SLJIT_MOV_UB)
58: return push_inst(compiler, AND | D(dst) | S1(src2) | IMM(0xff), DR(dst));
59: FAIL_IF(push_inst(compiler, SLL | D(dst) | S1(src2) | IMM(24), DR(dst)));
60: return push_inst(compiler, SRA | D(dst) | S1(dst) | IMM(24), DR(dst));
61: }
62: else if (dst != src2)
63: SLJIT_ASSERT_STOP();
64: return SLJIT_SUCCESS;
65:
66: case SLJIT_MOV_UH:
67: case SLJIT_MOV_SH:
68: SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM));
69: if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE)) {
70: FAIL_IF(push_inst(compiler, SLL | D(dst) | S1(src2) | IMM(16), DR(dst)));
71: return push_inst(compiler, (op == SLJIT_MOV_SH ? SRA : SRL) | D(dst) | S1(dst) | IMM(16), DR(dst));
72: }
73: else if (dst != src2)
74: SLJIT_ASSERT_STOP();
75: return SLJIT_SUCCESS;
76:
77: case SLJIT_NOT:
78: SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM));
79: return push_inst(compiler, XNOR | (flags & SET_FLAGS) | D(dst) | S1(0) | S2(src2), DR(dst) | (flags & SET_FLAGS));
80:
81: case SLJIT_CLZ:
82: SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM));
83: /* sparc 32 does not support SLJIT_KEEP_FLAGS. Not sure I can fix this. */
84: FAIL_IF(push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(src2) | S2(0), SET_FLAGS));
85: FAIL_IF(push_inst(compiler, OR | D(TMP_REG1) | S1(0) | S2(src2), DR(TMP_REG1)));
86: FAIL_IF(push_inst(compiler, BICC | DA(0x1) | (7 & DISP_MASK), UNMOVABLE_INS));
87: FAIL_IF(push_inst(compiler, OR | (flags & SET_FLAGS) | D(dst) | S1(0) | IMM(32), UNMOVABLE_INS | (flags & SET_FLAGS)));
88: FAIL_IF(push_inst(compiler, OR | D(dst) | S1(0) | IMM(-1), DR(dst)));
89:
90: /* Loop. */
91: FAIL_IF(push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(TMP_REG1) | S2(0), SET_FLAGS));
92: FAIL_IF(push_inst(compiler, SLL | D(TMP_REG1) | S1(TMP_REG1) | IMM(1), DR(TMP_REG1)));
93: FAIL_IF(push_inst(compiler, BICC | DA(0xe) | (-2 & DISP_MASK), UNMOVABLE_INS));
94: return push_inst(compiler, ADD | (flags & SET_FLAGS) | D(dst) | S1(dst) | IMM(1), UNMOVABLE_INS | (flags & SET_FLAGS));
95:
96: case SLJIT_ADD:
97: return push_inst(compiler, ADD | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS));
98:
99: case SLJIT_ADDC:
100: return push_inst(compiler, ADDC | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS));
101:
102: case SLJIT_SUB:
103: return push_inst(compiler, SUB | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS));
104:
105: case SLJIT_SUBC:
106: return push_inst(compiler, SUBC | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS));
107:
108: case SLJIT_MUL:
109: FAIL_IF(push_inst(compiler, SMUL | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst)));
110: if (!(flags & SET_FLAGS))
111: return SLJIT_SUCCESS;
112: FAIL_IF(push_inst(compiler, SRA | D(TMP_REG1) | S1(dst) | IMM(31), DR(TMP_REG1)));
113: FAIL_IF(push_inst(compiler, RDY | D(TMP_REG4), DR(TMP_REG4)));
114: return push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(TMP_REG1) | S2(TMP_REG4), MOVABLE_INS | SET_FLAGS);
115:
116: case SLJIT_AND:
117: return push_inst(compiler, AND | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS));
118:
119: case SLJIT_OR:
120: return push_inst(compiler, OR | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS));
121:
122: case SLJIT_XOR:
123: return push_inst(compiler, XOR | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS));
124:
125: case SLJIT_SHL:
126: FAIL_IF(push_inst(compiler, SLL | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst)));
127: return !(flags & SET_FLAGS) ? SLJIT_SUCCESS : push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(dst) | S2(0), SET_FLAGS);
128:
129: case SLJIT_LSHR:
130: FAIL_IF(push_inst(compiler, SRL | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst)));
131: return !(flags & SET_FLAGS) ? SLJIT_SUCCESS : push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(dst) | S2(0), SET_FLAGS);
132:
133: case SLJIT_ASHR:
134: FAIL_IF(push_inst(compiler, SRA | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst)));
135: return !(flags & SET_FLAGS) ? SLJIT_SUCCESS : push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(dst) | S2(0), SET_FLAGS);
136: }
137:
138: SLJIT_ASSERT_STOP();
139: return SLJIT_SUCCESS;
140: }
141:
142: static SLJIT_INLINE sljit_si emit_const(struct sljit_compiler *compiler, sljit_si dst, sljit_sw init_value)
143: {
144: FAIL_IF(push_inst(compiler, SETHI | D(dst) | ((init_value >> 10) & 0x3fffff), DR(dst)));
145: return push_inst(compiler, OR | D(dst) | S1(dst) | IMM_ARG | (init_value & 0x3ff), DR(dst));
146: }
147:
148: SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_addr)
149: {
150: sljit_ins *inst = (sljit_ins*)addr;
151:
152: inst[0] = (inst[0] & 0xffc00000) | ((new_addr >> 10) & 0x3fffff);
153: inst[1] = (inst[1] & 0xfffffc00) | (new_addr & 0x3ff);
154: SLJIT_CACHE_FLUSH(inst, inst + 2);
155: }
156:
157: SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_sw new_constant)
158: {
159: sljit_ins *inst = (sljit_ins*)addr;
160:
161: inst[0] = (inst[0] & 0xffc00000) | ((new_constant >> 10) & 0x3fffff);
162: inst[1] = (inst[1] & 0xfffffc00) | (new_constant & 0x3ff);
163: SLJIT_CACHE_FLUSH(inst, inst + 2);
164: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to sljitNativeSPARC_32.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / pcre / sljit