1 /*
2  * Copyright (C) 2008 Nicolai Haehnle.
3  *
4  * All Rights Reserved.
5  *
6  * Permission is hereby granted, free of charge, to any person obtaining
7  * a copy of this software and associated documentation files (the
8  * "Software"), to deal in the Software without restriction, including
9  * without limitation the rights to use, copy, modify, merge, publish,
10  * distribute, sublicense, and/or sell copies of the Software, and to
11  * permit persons to whom the Software is furnished to do so, subject to
12  * the following conditions:
13  *
14  * The above copyright notice and this permission notice (including the
15  * next paragraph) shall be included in all copies or substantial
16  * portions of the Software.
17  *
18  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
19  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
20  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
21  * IN NO EVENT SHALL THE COPYRIGHT OWNER(S) AND/OR ITS SUPPLIERS BE
22  * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
23  * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
24  * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
25  *
26  */
27 
28 #include "radeon_program.h"
29 
30 #include <stdio.h>
31 
32 #include "radeon_compiler.h"
33 #include "radeon_dataflow.h"
34 
35 
36 /**
37  * Transform the given clause in the following way:
38  *  1. Replace it with an empty clause
39  *  2. For every instruction in the original clause, try the given
40  *     transformations in order.
41  *  3. If one of the transformations returns GL_TRUE, assume that it
42  *     has emitted the appropriate instruction(s) into the new clause;
43  *     otherwise, copy the instruction verbatim.
44  *
45  * \note The transformation is currently not recursive; in other words,
46  * instructions emitted by transformations are not transformed.
47  *
48  * \note The transform is called 'local' because it can only look at
49  * one instruction at a time.
50  */
rc_local_transform(struct radeon_compiler * c,void * user)51 void rc_local_transform(
52 	struct radeon_compiler * c,
53 	void *user)
54 {
55 	struct radeon_program_transformation *transformations =
56 		(struct radeon_program_transformation*)user;
57 	struct rc_instruction * inst = c->Program.Instructions.Next;
58 
59 	while(inst != &c->Program.Instructions) {
60 		struct rc_instruction * current = inst;
61 		int i;
62 
63 		inst = inst->Next;
64 
65 		for(i = 0; transformations[i].function; ++i) {
66 			struct radeon_program_transformation* t = transformations + i;
67 
68 			if (t->function(c, current, t->userData))
69 				break;
70 		}
71 	}
72 }
73 
74 struct get_used_temporaries_data {
75 	unsigned char * Used;
76 	unsigned int UsedLength;
77 };
78 
get_used_temporaries_cb(void * userdata,struct rc_instruction * inst,rc_register_file file,unsigned int index,unsigned int mask)79 static void get_used_temporaries_cb(
80 	void * userdata,
81 	struct rc_instruction * inst,
82 	rc_register_file file,
83 	unsigned int index,
84 	unsigned int mask)
85 {
86 	struct get_used_temporaries_data * d = userdata;
87 
88 	if (file != RC_FILE_TEMPORARY)
89 		return;
90 
91 	if (index >= d->UsedLength)
92 		return;
93 
94 	d->Used[index] |= mask;
95 }
96 
97 /**
98  * This function fills in the parameter 'used' with a writemask that
99  * represent which components of each temporary register are used by the
100  * program.  This is meant to be combined with rc_find_free_temporary_list as a
101  * more efficient version of rc_find_free_temporary.
102  * @param used The function does not initialize this parameter.
103  */
rc_get_used_temporaries(struct radeon_compiler * c,unsigned char * used,unsigned int used_length)104 void rc_get_used_temporaries(
105 	struct radeon_compiler * c,
106 	unsigned char * used,
107 	unsigned int used_length)
108 {
109 	struct rc_instruction * inst;
110 	struct get_used_temporaries_data d;
111 	d.Used = used;
112 	d.UsedLength = used_length;
113 
114 	for(inst = c->Program.Instructions.Next;
115 			inst != &c->Program.Instructions; inst = inst->Next) {
116 
117 		rc_for_all_reads_mask(inst, get_used_temporaries_cb, &d);
118 		rc_for_all_writes_mask(inst, get_used_temporaries_cb, &d);
119 	}
120 }
121 
122 /* Search a list of used temporaries for a free one
123  * \sa rc_get_used_temporaries
124  * @note If this functions finds a free temporary, it will mark it as used
125  * in the used temporary list (param 'used')
126  * @param used list of used temporaries
127  * @param used_length number of items in param 'used'
128  * @param mask which components must be free in the temporary index that is
129  * returned.
130  * @return -1 If there are no more free temporaries, otherwise the index of
131  * a temporary register where the components specified in param 'mask' are
132  * not being used.
133  */
rc_find_free_temporary_list(struct radeon_compiler * c,unsigned char * used,unsigned int used_length,unsigned int mask)134 int rc_find_free_temporary_list(
135 	struct radeon_compiler * c,
136 	unsigned char * used,
137 	unsigned int used_length,
138 	unsigned int mask)
139 {
140 	int i;
141 	for(i = 0; i < used_length; i++) {
142 		if ((~used[i] & mask) == mask) {
143 			used[i] |= mask;
144 			return i;
145 		}
146 	}
147 	return -1;
148 }
149 
rc_find_free_temporary(struct radeon_compiler * c)150 unsigned int rc_find_free_temporary(struct radeon_compiler * c)
151 {
152 	unsigned char used[RC_REGISTER_MAX_INDEX];
153 	int free;
154 
155 	memset(used, 0, sizeof(used));
156 
157 	rc_get_used_temporaries(c, used, RC_REGISTER_MAX_INDEX);
158 
159 	free = rc_find_free_temporary_list(c, used, RC_REGISTER_MAX_INDEX,
160 								RC_MASK_XYZW);
161 	if (free < 0) {
162 		rc_error(c, "Ran out of temporary registers\n");
163 		return 0;
164 	}
165 	return free;
166 }
167 
168 
rc_alloc_instruction(struct radeon_compiler * c)169 struct rc_instruction *rc_alloc_instruction(struct radeon_compiler * c)
170 {
171 	struct rc_instruction * inst = memory_pool_malloc(&c->Pool, sizeof(struct rc_instruction));
172 
173 	memset(inst, 0, sizeof(struct rc_instruction));
174 
175 	inst->U.I.Opcode = RC_OPCODE_ILLEGAL_OPCODE;
176 	inst->U.I.DstReg.WriteMask = RC_MASK_XYZW;
177 	inst->U.I.SrcReg[0].Swizzle = RC_SWIZZLE_XYZW;
178 	inst->U.I.SrcReg[1].Swizzle = RC_SWIZZLE_XYZW;
179 	inst->U.I.SrcReg[2].Swizzle = RC_SWIZZLE_XYZW;
180 
181 	return inst;
182 }
183 
rc_insert_instruction(struct rc_instruction * after,struct rc_instruction * inst)184 void rc_insert_instruction(struct rc_instruction * after, struct rc_instruction * inst)
185 {
186 	inst->Prev = after;
187 	inst->Next = after->Next;
188 
189 	inst->Prev->Next = inst;
190 	inst->Next->Prev = inst;
191 }
192 
rc_insert_new_instruction(struct radeon_compiler * c,struct rc_instruction * after)193 struct rc_instruction *rc_insert_new_instruction(struct radeon_compiler * c, struct rc_instruction * after)
194 {
195 	struct rc_instruction * inst = rc_alloc_instruction(c);
196 
197 	rc_insert_instruction(after, inst);
198 
199 	return inst;
200 }
201 
rc_remove_instruction(struct rc_instruction * inst)202 void rc_remove_instruction(struct rc_instruction * inst)
203 {
204 	inst->Prev->Next = inst->Next;
205 	inst->Next->Prev = inst->Prev;
206 }
207 
208 /**
209  * Return the number of instructions in the program.
210  */
rc_recompute_ips(struct radeon_compiler * c)211 unsigned int rc_recompute_ips(struct radeon_compiler * c)
212 {
213 	unsigned int ip = 0;
214 	struct rc_instruction * inst;
215 
216 	for(inst = c->Program.Instructions.Next;
217 	    inst != &c->Program.Instructions;
218 	    inst = inst->Next) {
219 		inst->IP = ip++;
220 	}
221 
222 	c->Program.Instructions.IP = 0xcafedead;
223 
224 	return ip;
225 }
226