1 /**************************************************************************
3 * Copyright 2008 Tungsten Graphics, Inc., Cedar Park, Texas.
6 * Permission is hereby granted, free of charge, to any person obtaining a
7 * 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, sub license, 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:
14 * The above copyright notice and this permission notice (including the
15 * next paragraph) shall be included in all copies or substantial portions
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
19 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
20 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT.
21 * IN NO EVENT SHALL TUNGSTEN GRAPHICS AND/OR ITS SUPPLIERS BE LIABLE FOR
22 * ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
23 * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
24 * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
26 **************************************************************************/
28 #include "pipe/p_debug.h"
29 #include "tgsi_sanity.h"
30 #include "tgsi_info.h"
31 #include "tgsi_iterate.h"
33 #define MAX_REGISTERS 256
35 typedef uint reg_flag
;
37 #define BITS_IN_REG_FLAG (sizeof( reg_flag ) * 8)
39 struct sanity_check_ctx
41 struct tgsi_iterate_context iter
;
43 reg_flag regs_decl
[TGSI_FILE_COUNT
][MAX_REGISTERS
/ BITS_IN_REG_FLAG
];
44 reg_flag regs_used
[TGSI_FILE_COUNT
][MAX_REGISTERS
/ BITS_IN_REG_FLAG
];
45 boolean regs_ind_used
[TGSI_FILE_COUNT
];
47 uint num_instructions
;
56 struct sanity_check_ctx
*ctx
,
62 debug_printf( "Error : " );
63 va_start( args
, format
);
64 _debug_vprintf( format
, args
);
72 struct sanity_check_ctx
*ctx
,
78 debug_printf( "Warning: " );
79 va_start( args
, format
);
80 _debug_vprintf( format
, args
);
88 struct sanity_check_ctx
*ctx
,
91 if (file
<= TGSI_FILE_NULL
|| file
>= TGSI_FILE_COUNT
) {
92 report_error( ctx
, "Invalid register file name" );
100 struct sanity_check_ctx
*ctx
,
104 assert( index
>= 0 && index
< MAX_REGISTERS
);
106 return (ctx
->regs_decl
[file
][index
/ BITS_IN_REG_FLAG
] & (1 << (index
% BITS_IN_REG_FLAG
))) ? TRUE
: FALSE
;
110 is_any_register_declared(
111 struct sanity_check_ctx
*ctx
,
116 for (i
= 0; i
< MAX_REGISTERS
/ BITS_IN_REG_FLAG
; i
++)
117 if (ctx
->regs_decl
[file
][i
])
124 struct sanity_check_ctx
*ctx
,
128 assert( index
< MAX_REGISTERS
);
130 return (ctx
->regs_used
[file
][index
/ BITS_IN_REG_FLAG
] & (1 << (index
% BITS_IN_REG_FLAG
))) ? TRUE
: FALSE
;
133 static const char *file_names
[] =
146 check_register_usage(
147 struct sanity_check_ctx
*ctx
,
151 boolean indirect_access
)
153 if (!check_file_name( ctx
, file
))
156 if (index
< 0 || index
> MAX_REGISTERS
) {
157 report_error( ctx
, "%s[%i]: Invalid index %s", file_names
[file
], index
, name
);
161 if (indirect_access
) {
162 if (!is_any_register_declared( ctx
, file
))
163 report_error( ctx
, "%s: Undeclared %s register", file_names
[file
], name
);
164 ctx
->regs_ind_used
[file
] = TRUE
;
167 if (!is_register_declared( ctx
, file
, index
))
168 report_error( ctx
, "%s[%d]: Undeclared %s register", file_names
[file
], index
, name
);
169 ctx
->regs_used
[file
][index
/ BITS_IN_REG_FLAG
] |= (1 << (index
% BITS_IN_REG_FLAG
));
176 struct tgsi_iterate_context
*iter
,
177 struct tgsi_full_instruction
*inst
)
179 struct sanity_check_ctx
*ctx
= (struct sanity_check_ctx
*) iter
;
180 const struct tgsi_opcode_info
*info
;
183 if (inst
->Instruction
.Opcode
== TGSI_OPCODE_END
) {
184 if (ctx
->index_of_END
!= ~0) {
185 report_error( ctx
, "Too many END instructions" );
187 ctx
->index_of_END
= ctx
->num_instructions
;
190 info
= tgsi_get_opcode_info( inst
->Instruction
.Opcode
);
192 report_error( ctx
, "Invalid instruction opcode" );
196 if (info
->num_dst
!= inst
->Instruction
.NumDstRegs
) {
197 report_error( ctx
, "Invalid number of destination operands" );
199 if (info
->num_src
!= inst
->Instruction
.NumSrcRegs
) {
200 report_error( ctx
, "Invalid number of source operands" );
203 /* Check destination and source registers' validity.
204 * Mark the registers as used.
206 for (i
= 0; i
< inst
->Instruction
.NumDstRegs
; i
++) {
207 check_register_usage(
209 inst
->FullDstRegisters
[i
].DstRegister
.File
,
210 inst
->FullDstRegisters
[i
].DstRegister
.Index
,
214 for (i
= 0; i
< inst
->Instruction
.NumSrcRegs
; i
++) {
215 check_register_usage(
217 inst
->FullSrcRegisters
[i
].SrcRegister
.File
,
218 inst
->FullSrcRegisters
[i
].SrcRegister
.Index
,
220 (boolean
)inst
->FullSrcRegisters
[i
].SrcRegister
.Indirect
);
221 if (inst
->FullSrcRegisters
[i
].SrcRegister
.Indirect
) {
225 file
= inst
->FullSrcRegisters
[i
].SrcRegisterInd
.File
;
226 index
= inst
->FullSrcRegisters
[i
].SrcRegisterInd
.Index
;
227 check_register_usage(
233 if (file
!= TGSI_FILE_ADDRESS
|| index
!= 0)
234 report_warning( ctx
, "Indirect register not ADDR[0]" );
238 ctx
->num_instructions
++;
245 struct tgsi_iterate_context
*iter
,
246 struct tgsi_full_declaration
*decl
)
248 struct sanity_check_ctx
*ctx
= (struct sanity_check_ctx
*) iter
;
252 /* No declarations allowed after the first instruction.
254 if (ctx
->num_instructions
> 0)
255 report_error( ctx
, "Instruction expected but declaration found" );
257 /* Check registers' validity.
258 * Mark the registers as declared.
260 file
= decl
->Declaration
.File
;
261 if (!check_file_name( ctx
, file
))
263 for (i
= decl
->DeclarationRange
.First
; i
<= decl
->DeclarationRange
.Last
; i
++) {
264 if (is_register_declared( ctx
, file
, i
))
265 report_error( ctx
, "The same register declared twice" );
266 ctx
->regs_decl
[file
][i
/ BITS_IN_REG_FLAG
] |= (1 << (i
% BITS_IN_REG_FLAG
));
274 struct tgsi_iterate_context
*iter
,
275 struct tgsi_full_immediate
*imm
)
277 struct sanity_check_ctx
*ctx
= (struct sanity_check_ctx
*) iter
;
279 assert( ctx
->num_imms
< MAX_REGISTERS
);
281 /* No immediates allowed after the first instruction.
283 if (ctx
->num_instructions
> 0)
284 report_error( ctx
, "Instruction expected but immediate found" );
286 /* Mark the register as declared.
288 ctx
->regs_decl
[TGSI_FILE_IMMEDIATE
][ctx
->num_imms
/ BITS_IN_REG_FLAG
] |= (1 << (ctx
->num_imms
% BITS_IN_REG_FLAG
));
291 /* Check data type validity.
293 if (imm
->Immediate
.DataType
!= TGSI_IMM_FLOAT32
) {
294 report_error( ctx
, "Invalid immediate data type" );
303 struct tgsi_iterate_context
*iter
)
305 struct sanity_check_ctx
*ctx
= (struct sanity_check_ctx
*) iter
;
308 /* There must be an END instruction somewhere.
310 if (ctx
->index_of_END
== ~0) {
311 report_error( ctx
, "Missing END instruction" );
314 /* Check if all declared registers were used.
316 for (file
= TGSI_FILE_NULL
; file
< TGSI_FILE_COUNT
; file
++) {
319 for (i
= 0; i
< MAX_REGISTERS
; i
++) {
320 if (is_register_declared( ctx
, file
, i
) && !is_register_used( ctx
, file
, i
) && !ctx
->regs_ind_used
[file
]) {
321 report_warning( ctx
, "Register never used" );
326 /* Print totals, if any.
328 if (ctx
->errors
|| ctx
->warnings
)
329 debug_printf( "%u errors, %u warnings\n", ctx
->errors
, ctx
->warnings
);
336 struct tgsi_token
*tokens
)
338 struct sanity_check_ctx ctx
;
340 ctx
.iter
.prolog
= NULL
;
341 ctx
.iter
.iterate_instruction
= iter_instruction
;
342 ctx
.iter
.iterate_declaration
= iter_declaration
;
343 ctx
.iter
.iterate_immediate
= iter_immediate
;
344 ctx
.iter
.epilog
= epilog
;
346 memset( ctx
.regs_decl
, 0, sizeof( ctx
.regs_decl
) );
347 memset( ctx
.regs_used
, 0, sizeof( ctx
.regs_used
) );
348 memset( ctx
.regs_ind_used
, 0, sizeof( ctx
.regs_ind_used
) );
350 ctx
.num_instructions
= 0;
351 ctx
.index_of_END
= ~0;
356 if (!tgsi_iterate_shader( tokens
, &ctx
.iter
))
359 return ctx
.errors
== 0;