2 * Mesa 3-D graphics library
5 * Copyright (C) 2005-2006 Brian Paul All Rights Reserved.
7 * Permission is hereby granted, free of charge, to any person obtaining a
8 * copy of this software and associated documentation files (the "Software"),
9 * to deal in the Software without restriction, including without limitation
10 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
11 * and/or sell copies of the Software, and to permit persons to whom the
12 * Software is furnished to do so, subject to the following conditions:
14 * The above copyright notice and this permission notice shall be included
15 * in all copies or substantial portions of the Software.
17 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
18 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
20 * BRIAN PAUL BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN
21 * AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
22 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
26 * \file slang_assemble_constructor.c
27 * slang constructor and vector swizzle assembler
32 #include "slang_assemble.h"
33 #include "slang_storage.h"
35 /* _slang_is_swizzle() */
37 GLboolean
_slang_is_swizzle (const char *field
, GLuint rows
, slang_swizzle
*swz
)
40 GLboolean xyzw
= GL_FALSE
, rgba
= GL_FALSE
, stpq
= GL_FALSE
;
42 /* the swizzle can be at most 4-component long */
43 swz
->num_components
= slang_string_length (field
);
44 if (swz
->num_components
> 4)
47 for (i
= 0; i
< swz
->num_components
; i
++)
49 /* mark which swizzle group is used */
74 /* collect swizzle component */
99 /* check if the component is valid for given vector's row count */
100 if (rows
<= swz
->swizzle
[i
])
104 /* only one swizzle group can be used */
105 if ((xyzw
&& rgba
) || (xyzw
&& stpq
) || (rgba
&& stpq
))
111 /* _slang_is_swizzle_mask() */
113 GLboolean
_slang_is_swizzle_mask (const slang_swizzle
*swz
, GLuint rows
)
117 /* the swizzle may not be longer than the vector dim */
118 if (swz
->num_components
> rows
)
121 /* the swizzle components cannot be duplicated */
122 for (i
= 0; i
< swz
->num_components
; i
++)
124 if ((c
& (1 << swz
->swizzle
[i
])) != 0)
126 c
|= 1 << swz
->swizzle
[i
];
132 /* _slang_multiply_swizzles() */
134 GLvoid
_slang_multiply_swizzles (slang_swizzle
*dst
, const slang_swizzle
*left
,
135 const slang_swizzle
*right
)
139 dst
->num_components
= right
->num_components
;
140 for (i
= 0; i
< right
->num_components
; i
++)
141 dst
->swizzle
[i
] = left
->swizzle
[right
->swizzle
[i
]];
144 /* _slang_assemble_constructor() */
146 static GLboolean
constructor_aggregate (slang_assemble_ctx
*A
, const slang_storage_aggregate
*flat
,
147 GLuint
*index
, slang_operation
*op
, GLuint size
)
149 slang_assembly_typeinfo ti
;
150 GLboolean result
= GL_FALSE
;
151 slang_storage_aggregate agg
, flat_agg
;
154 if (!slang_assembly_typeinfo_construct (&ti
))
156 if (!_slang_typeof_operation (A
, op
, &ti
))
159 if (!slang_storage_aggregate_construct (&agg
))
161 if (!_slang_aggregate_variable (&agg
, &ti
.spec
, 0, A
->space
.funcs
, A
->space
.structs
,
162 A
->space
.vars
, A
->mach
, A
->file
, A
->atoms
))
165 if (!slang_storage_aggregate_construct (&flat_agg
))
167 if (!_slang_flatten_aggregate (&flat_agg
, &agg
))
170 if (!_slang_assemble_operation (A
, op
, slang_ref_forbid
))
173 for (i
= 0; i
< flat_agg
.count
; i
++)
175 const slang_storage_array
*arr1
= &flat_agg
.arrays
[i
];
176 const slang_storage_array
*arr2
= &flat
->arrays
[*index
];
178 if (arr1
->type
!= arr2
->type
)
180 /* TODO: convert (generic) from arr1 to arr2 */
183 /* TODO: watch the index, if it reaches the size, pop off the stack subsequent values */
188 slang_storage_aggregate_destruct (&flat_agg
);
190 slang_storage_aggregate_destruct (&agg
);
192 slang_assembly_typeinfo_destruct (&ti
);
196 GLboolean
_slang_assemble_constructor (slang_assemble_ctx
*A
, slang_operation
*op
)
198 slang_assembly_typeinfo ti
;
199 GLboolean result
= GL_FALSE
;
200 slang_storage_aggregate agg
, flat
;
201 GLuint size
, index
, i
;
203 /* get typeinfo of the constructor (the result of constructor expression) */
204 if (!slang_assembly_typeinfo_construct (&ti
))
206 if (!_slang_typeof_operation (A
, op
, &ti
))
209 /* create an aggregate of the constructor */
210 if (!slang_storage_aggregate_construct (&agg
))
212 if (!_slang_aggregate_variable (&agg
, &ti
.spec
, 0, A
->space
.funcs
, A
->space
.structs
,
213 A
->space
.vars
, A
->mach
, A
->file
, A
->atoms
))
216 /* calculate size of the constructor */
217 size
= _slang_sizeof_aggregate (&agg
);
219 /* flatten the constructor */
220 if (!slang_storage_aggregate_construct (&flat
))
222 if (!_slang_flatten_aggregate (&flat
, &agg
))
225 /* XXX: The children operations are traversed in a reversed order, so it poses a
226 * problem when there is more data than the constructor needs. We must fix it! */
228 /* traverse the children that form the constructor expression */
230 for (i
= op
->num_children
; i
> 0; i
--)
232 if (!constructor_aggregate (A
, &flat
, &index
, &op
->children
[i
- 1], size
))
234 /* TODO: watch the index, if it reaches the size, raise an error */
239 slang_storage_aggregate_destruct (&flat
);
241 slang_storage_aggregate_destruct (&agg
);
243 slang_assembly_typeinfo_destruct (&ti
);
247 /* _slang_assemble_constructor_from_swizzle() */
249 GLboolean
_slang_assemble_constructor_from_swizzle (slang_assemble_ctx
*A
, const slang_swizzle
*swz
,
250 slang_type_specifier
*spec
, slang_type_specifier
*master_spec
)
252 GLuint master_rows
, i
;
254 master_rows
= _slang_type_dim (master_spec
->type
);
255 for (i
= 0; i
< master_rows
; i
++)
257 switch (_slang_type_base (master_spec
->type
))
259 case slang_spec_bool
:
260 if (!slang_assembly_file_push_label2 (A
->file
, slang_asm_bool_copy
,
261 (master_rows
- i
) * 4, i
* 4))
265 if (!slang_assembly_file_push_label2 (A
->file
, slang_asm_int_copy
,
266 (master_rows
- i
) * 4, i
* 4))
269 case slang_spec_float
:
270 if (!slang_assembly_file_push_label2 (A
->file
, slang_asm_float_copy
,
271 (master_rows
- i
) * 4, i
* 4))
278 if (!slang_assembly_file_push_label (A
->file
, slang_asm_local_free
, 4))
280 for (i
= swz
->num_components
; i
> 0; i
--)
284 if (!slang_assembly_file_push_label2 (A
->file
, slang_asm_local_addr
, A
->local
.swizzle_tmp
, 16))
286 if (!slang_assembly_file_push_label (A
->file
, slang_asm_addr_push
, swz
->swizzle
[n
] * 4))
288 if (!slang_assembly_file_push (A
->file
, slang_asm_addr_add
))
290 switch (_slang_type_base (master_spec
->type
))
292 case slang_spec_bool
:
293 if (!slang_assembly_file_push (A
->file
, slang_asm_bool_deref
))
297 if (!slang_assembly_file_push (A
->file
, slang_asm_int_deref
))
300 case slang_spec_float
:
301 if (!slang_assembly_file_push (A
->file
, slang_asm_float_deref
))