/
mojoshader_assembler.c
1897 lines (1578 loc) · 55.4 KB
1
2
3
4
5
6
7
8
9
/**
* MojoShader; generate shader programs from bytecode of compiled
* Direct3D shaders.
*
* Please see the file LICENSE.txt in the source's root directory.
*
* This file written by Ryan C. Gordon.
*/
10
11
12
// !!! FIXME: this should probably use a formal grammar and not a hand-written
// !!! FIXME: pile of C code.
13
14
15
#define __MOJOSHADER_INTERNAL__ 1
#include "mojoshader_internal.h"
16
17
18
19
#if !SUPPORT_PROFILE_BYTECODE
#error Shader assembler needs bytecode profile. Fix your build.
#endif
20
#if DEBUG_ASSEMBLER_PARSER
21
22
23
24
25
26
#define print_debug_token(token, len, val) \
MOJOSHADER_print_debug_token("ASSEMBLER", token, len, val)
#else
#define print_debug_token(token, len, val)
#endif
27
28
29
30
31
32
33
typedef struct SourcePos
{
const char *filename;
uint32 line;
} SourcePos;
34
35
// Context...this is state that changes as we assemble a shader...
36
typedef struct Context
37
{
38
39
int isfail;
int out_of_memory;
40
41
42
MOJOSHADER_malloc malloc;
MOJOSHADER_free free;
void *malloc_data;
43
44
const char *current_file;
int current_position;
45
ErrorList *errors;
46
Preprocessor *preprocessor;
47
48
49
MOJOSHADER_shaderType shader_type;
uint8 major_ver;
uint8 minor_ver;
50
51
52
53
54
55
56
int pushedback;
const char *token; // assembler token!
unsigned int tokenlen; // assembler token!
Token tokenval; // assembler token!
uint32 version_token; // bytecode token!
uint32 tokenbuf[16]; // bytecode tokens!
int tokenbufpos; // bytecode tokens!
57
DestArgInfo dest_arg;
58
uint8 default_writemask;
59
60
61
Buffer *output;
Buffer *token_to_source;
Buffer *ctab;
62
} Context;
63
64
65
66
67
68
// !!! FIXME: cut and paste between every damned source file follows...
// !!! FIXME: We need to make some sort of ContextBase that applies to all
// !!! FIXME: files and move this stuff to mojoshader_common.c ...
69
70
// Convenience functions for allocators...
71
static inline void out_of_memory(Context *ctx)
72
{
73
ctx->isfail = ctx->out_of_memory = 1;
74
75
76
77
} // out_of_memory
static inline void *Malloc(Context *ctx, const size_t len)
{
78
void *retval = ctx->malloc((int) len, ctx->malloc_data);
79
80
81
82
83
if (retval == NULL)
out_of_memory(ctx);
return retval;
} // Malloc
84
85
86
static inline char *StrDup(Context *ctx, const char *str)
{
char *retval = (char *) Malloc(ctx, strlen(str) + 1);
87
if (retval != NULL)
88
89
90
91
strcpy(retval, str);
return retval;
} // StrDup
92
93
static inline void Free(Context *ctx, void *ptr)
{
94
ctx->free(ptr, ctx->malloc_data);
95
96
} // Free
97
98
99
100
101
102
103
104
105
106
static void *MallocBridge(int bytes, void *data)
{
return Malloc((Context *) data, (size_t) bytes);
} // MallocBridge
static void FreeBridge(void *ptr, void *data)
{
Free((Context *) data, ptr);
} // FreeBridge
107
108
109
static void failf(Context *ctx, const char *fmt, ...) ISPRINTF(2,3);
static void failf(Context *ctx, const char *fmt, ...)
110
{
111
ctx->isfail = 1;
112
113
if (ctx->out_of_memory)
return;
114
115
116
va_list ap;
va_start(ap, fmt);
117
errorlist_add_va(ctx->errors, ctx->current_file, ctx->current_position, fmt, ap);
118
va_end(ap);
119
120
} // failf
121
static inline void fail(Context *ctx, const char *reason)
122
{
123
failf(ctx, "%s", reason);
124
125
126
127
} // fail
static inline int isfail(const Context *ctx)
{
128
return ctx->isfail;
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
} // isfail
// Shader model version magic...
static inline uint32 ver_ui32(const uint8 major, const uint8 minor)
{
return ( (((uint32) major) << 16) | (((minor) == 0xFF) ? 0 : (minor)) );
} // version_ui32
static inline int shader_version_atleast(const Context *ctx, const uint8 maj,
const uint8 min)
{
return (ver_ui32(ctx->major_ver, ctx->minor_ver) >= ver_ui32(maj, min));
} // shader_version_atleast
static inline int shader_is_pixel(const Context *ctx)
{
return (ctx->shader_type == MOJOSHADER_TYPE_PIXEL);
} // shader_is_pixel
static inline int shader_is_vertex(const Context *ctx)
{
return (ctx->shader_type == MOJOSHADER_TYPE_VERTEX);
} // shader_is_vertex
155
156
static inline void pushback(Context *ctx)
{
157
#if DEBUG_ASSEMBLER_PARSER
158
159
printf("ASSEMBLER PUSHBACK\n");
#endif
160
161
162
163
164
165
166
167
168
assert(!ctx->pushedback);
ctx->pushedback = 1;
} // pushback
static Token nexttoken(Context *ctx)
{
if (ctx->pushedback)
ctx->pushedback = 0;
169
else
170
{
171
while (1)
172
{
173
174
175
ctx->token = preprocessor_nexttoken(ctx->preprocessor,
&ctx->tokenlen,
&ctx->tokenval);
176
177
178
179
180
181
182
183
184
if (preprocessor_outofmemory(ctx->preprocessor))
{
ctx->tokenval = TOKEN_EOI;
ctx->token = NULL;
ctx->tokenlen = 0;
break;
} // if
185
186
187
188
189
unsigned int line;
ctx->current_file = preprocessor_sourcepos(ctx->preprocessor,&line);
ctx->current_position = (int) line;
if (ctx->tokenval == TOKEN_BAD_CHARS)
190
191
192
193
194
{
fail(ctx, "Bad characters in source file");
continue;
} // else if
195
196
197
198
199
200
201
202
203
else if (ctx->tokenval == TOKEN_PREPROCESSING_ERROR)
{
fail(ctx, ctx->token);
continue;
} // else if
break;
} // while
} // else
204
205
print_debug_token(ctx->token, ctx->tokenlen, ctx->tokenval);
206
return ctx->tokenval;
207
208
} // nexttoken
209
210
211
static void output_token_noswap(Context *ctx, const uint32 token)
{
212
if (!isfail(ctx))
213
{
214
215
216
217
218
219
220
221
222
223
224
225
buffer_append(ctx->output, &token, sizeof (token));
// We only need a list of these that grows throughout processing, and
// is flattened for reference at the end of the run, so we use a
// Buffer. It's sneaky!
unsigned int pos = 0;
const char *fname = preprocessor_sourcepos(ctx->preprocessor, &pos);
SourcePos srcpos;
memset(&srcpos, '\0', sizeof (SourcePos));
srcpos.line = pos;
srcpos.filename = fname; // cached in preprocessor!
buffer_append(ctx->token_to_source, &srcpos, sizeof (SourcePos));
226
} // if
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
} // output_token_noswap
static inline void output_token(Context *ctx, const uint32 token)
{
output_token_noswap(ctx, SWAP32(token));
} // output_token
static void output_comment_bytes(Context *ctx, const uint8 *buf, size_t len)
{
if (len > (0xFFFF * 4)) // length is stored as token count, in 16 bits.
fail(ctx, "Comment field is too big");
else if (!isfail(ctx))
{
const uint32 tokencount = (len / 4) + ((len % 4) ? 1 : 0);
output_token(ctx, 0xFFFE | (tokencount << 16));
while (len >= 4)
{
output_token_noswap(ctx, *((const uint32 *) buf));
len -= 4;
buf += 4;
} // while
if (len > 0) // handle spillover...
{
union { uint8 ui8[4]; uint32 ui32; } overflow;
overflow.ui32 = 0;
memcpy(overflow.ui8, buf, len);
output_token_noswap(ctx, overflow.ui32);
} // if
} // else if
} // output_comment_bytes
static inline void output_comment_string(Context *ctx, const char *str)
{
output_comment_bytes(ctx, (const uint8 *) str, strlen(str));
} // output_comment_string
268
static int require_comma(Context *ctx)
269
{
270
271
const Token token = nexttoken(ctx);
if (token != ((Token) ','))
272
{
273
274
fail(ctx, "Comma expected");
return 0;
275
} // if
276
277
return 1;
} // require_comma
278
279
280
static int check_token_segment(Context *ctx, const char *str)
281
{
282
283
284
285
286
287
288
289
// !!! FIXME: these are case-insensitive, right?
const size_t len = strlen(str);
if ( (ctx->tokenlen < len) || (strncasecmp(ctx->token, str, len) != 0) )
return 0;
ctx->token += len;
ctx->tokenlen -= len;
return 1;
} // check_token_segment
290
291
292
static int check_token(Context *ctx, const char *str)
293
{
294
295
const size_t len = strlen(str);
if ( (ctx->tokenlen != len) || (strncasecmp(ctx->token, str, len) != 0) )
296
return 0;
297
298
ctx->token += len;
ctx->tokenlen = 0;
299
return 1;
300
} // check_token
301
302
303
static int ui32fromtoken(Context *ctx, uint32 *_val)
304
{
305
unsigned int i;
306
307
308
309
310
for (i = 0; i < ctx->tokenlen; i++)
{
if ((ctx->token[i] < '0') || (ctx->token[i] > '9'))
break;
} // for
311
312
if (i == 0)
313
{
314
315
*_val = 0;
return 0;
316
317
} // if
318
const unsigned int len = i;
319
320
321
uint32 val = 0;
uint32 mult = 1;
while (i--)
322
{
323
324
325
val += ((uint32) (ctx->token[i] - '0')) * mult;
mult *= 10;
} // while
326
327
328
ctx->token += len;
ctx->tokenlen -= len;
329
330
*_val = val;
331
return 1;
332
} // ui32fromtoken
333
334
335
336
static int parse_register_name(Context *ctx, RegisterType *rtype, int *rnum)
{
337
338
339
if (nexttoken(ctx) != TOKEN_IDENTIFIER)
{
fail(ctx, "Expected register");
340
return 0;
341
} // if
342
343
344
345
int neednum = 1;
int regnum = 0;
RegisterType regtype = REG_TYPE_TEMP;
346
347
348
349
// Watch out for substrings! oDepth must be checked before oD, since
// the latter will match either case.
if (check_token_segment(ctx, "oDepth"))
350
351
352
353
{
regtype = REG_TYPE_DEPTHOUT;
neednum = 0;
} // else if
354
else if (check_token_segment(ctx, "vFace"))
355
{
356
357
regtype = REG_TYPE_MISCTYPE;
regnum = (int) MISCTYPE_TYPE_FACE;
358
359
neednum = 0;
} // else if
360
else if (check_token_segment(ctx, "vPos"))
361
362
363
364
365
{
regtype = REG_TYPE_MISCTYPE;
regnum = (int) MISCTYPE_TYPE_POSITION;
neednum = 0;
} // else if
366
else if (check_token_segment(ctx, "oPos"))
367
368
369
370
371
{
regtype = REG_TYPE_RASTOUT;
regnum = (int) RASTOUT_TYPE_POSITION;
neednum = 0;
} // else if
372
else if (check_token_segment(ctx, "oFog"))
373
374
375
376
377
{
regtype = REG_TYPE_RASTOUT;
regnum = (int) RASTOUT_TYPE_FOG;
neednum = 0;
} // else if
378
else if (check_token_segment(ctx, "oPts"))
379
380
381
382
383
{
regtype = REG_TYPE_RASTOUT;
regnum = (int) RASTOUT_TYPE_POINT_SIZE;
neednum = 0;
} // else if
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
else if (check_token_segment(ctx, "aL"))
{
regtype = REG_TYPE_LOOP;
neednum = 0;
} // else if
else if (check_token_segment(ctx, "oC"))
regtype = REG_TYPE_COLOROUT;
else if (check_token_segment(ctx, "oT"))
regtype = REG_TYPE_OUTPUT;
else if (check_token_segment(ctx, "oD"))
regtype = REG_TYPE_ATTROUT;
else if (check_token_segment(ctx, "r"))
regtype = REG_TYPE_TEMP;
else if (check_token_segment(ctx, "v"))
regtype = REG_TYPE_INPUT;
else if (check_token_segment(ctx, "c"))
regtype = REG_TYPE_CONST;
else if (check_token_segment(ctx, "i"))
regtype = REG_TYPE_CONSTINT;
else if (check_token_segment(ctx, "b"))
regtype = REG_TYPE_CONSTBOOL;
else if (check_token_segment(ctx, "s"))
regtype = REG_TYPE_SAMPLER;
else if (check_token_segment(ctx, "l"))
regtype = REG_TYPE_LABEL;
else if (check_token_segment(ctx, "p"))
regtype = REG_TYPE_PREDICATE;
else if (check_token_segment(ctx, "o"))
regtype = REG_TYPE_OUTPUT;
else if (check_token_segment(ctx, "a"))
regtype = REG_TYPE_ADDRESS;
else if (check_token_segment(ctx, "t"))
regtype = REG_TYPE_ADDRESS;
417
418
419
420
421
//case REG_TYPE_TEMPFLOAT16: // !!! FIXME: don't know this asm string
else
{
422
423
424
425
fail(ctx, "expected register type");
regtype = REG_TYPE_CONST;
regnum = 0;
neednum = 0;
426
427
} // else
428
429
// "c[5]" is the same as "c5", so if the token is done, see if next is '['.
if ((neednum) && (ctx->tokenlen == 0))
430
{
431
const int tlen = ctx->tokenlen; // we need to protect this for later.
432
if (nexttoken(ctx) == ((Token) '['))
433
neednum = 0; // don't need a number on register name itself.
434
pushback(ctx);
435
ctx->tokenlen = tlen;
436
437
} // if
438
439
if (neednum)
{
440
uint32 ui32 = 0;
441
if (!ui32fromtoken(ctx, &ui32))
442
fail(ctx, "Invalid register index");
443
regnum = (int) ui32;
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
} // if
// split up REG_TYPE_CONST
if (regtype == REG_TYPE_CONST)
{
if (regnum < 2048)
{
regtype = REG_TYPE_CONST;
regnum -= 0;
} // if
else if (regnum < 4096)
{
regtype = REG_TYPE_CONST2;
regnum -= 2048;
} // if
else if (regnum < 6144)
{
regtype = REG_TYPE_CONST3;
regnum -= 4096;
} // if
else if (regnum < 8192)
{
regtype = REG_TYPE_CONST4;
regnum -= 6144;
} // if
else
{
471
fail(ctx, "Invalid const register index");
472
473
474
475
476
477
} // else
} // if
*rtype = regtype;
*rnum = regnum;
478
return 1;
479
480
481
} // parse_register_name
482
static void set_result_shift(Context *ctx, DestArgInfo *info, const int val)
483
{
484
if (info->result_shift != 0)
485
fail(ctx, "Multiple result shift modifiers");
486
487
info->result_shift = val;
} // set_result_shift
488
489
490
491
492
493
494
495
496
497
498
499
500
501
static inline int tokenbuf_overflow(Context *ctx)
{
if ( ctx->tokenbufpos >= ((int) (STATICARRAYLEN(ctx->tokenbuf))) )
{
fail(ctx, "Too many tokens");
return 1;
} // if
return 0;
} // tokenbuf_overflow
502
static int parse_destination_token(Context *ctx)
503
{
504
DestArgInfo *info = &ctx->dest_arg;
505
memset(info, '\0', sizeof (DestArgInfo));
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
// parse_instruction_token() sets ctx->token to the end of the instruction
// so we can see if there are destination modifiers on the instruction
// itself...
int invalid_modifier = 0;
while ((ctx->tokenlen > 0) && (!invalid_modifier))
{
if (check_token_segment(ctx, "_x2"))
set_result_shift(ctx, info, 0x1);
else if (check_token_segment(ctx, "_x4"))
set_result_shift(ctx, info, 0x2);
else if (check_token_segment(ctx, "_x8"))
set_result_shift(ctx, info, 0x3);
else if (check_token_segment(ctx, "_d8"))
set_result_shift(ctx, info, 0xD);
else if (check_token_segment(ctx, "_d4"))
set_result_shift(ctx, info, 0xE);
else if (check_token_segment(ctx, "_d2"))
set_result_shift(ctx, info, 0xF);
else if (check_token_segment(ctx, "_sat"))
528
info->result_mod |= MOD_SATURATE;
529
else if (check_token_segment(ctx, "_pp"))
530
info->result_mod |= MOD_PP;
531
else if (check_token_segment(ctx, "_centroid"))
532
533
info->result_mod |= MOD_CENTROID;
else
534
invalid_modifier = 1;
535
536
} // while
537
538
if (invalid_modifier)
fail(ctx, "Invalid destination modifier");
539
540
// !!! FIXME: predicates.
541
if (nexttoken(ctx) == ((Token) '('))
542
543
fail(ctx, "Predicates unsupported at this time"); // !!! FIXME: ...
544
545
pushback(ctx); // parse_register_name calls nexttoken().
546
parse_register_name(ctx, &info->regtype, &info->regnum);
547
548
549
// parse_register_name() can't check this: dest regs might have modifiers.
if (ctx->tokenlen > 0)
fail(ctx, "invalid register name");
550
551
552
// !!! FIXME: can dest registers do relative addressing?
553
int invalid_writemask = 0;
554
if (nexttoken(ctx) != ((Token) '.'))
555
{
556
557
558
559
560
info->writemask = ctx->default_writemask;
info->writemask0 = ((info->writemask >> 0) & 0x1);
info->writemask1 = ((info->writemask >> 1) & 0x1);
info->writemask2 = ((info->writemask >> 2) & 0x1);
info->writemask3 = ((info->writemask >> 3) & 0x1);
561
562
pushback(ctx); // no explicit writemask; do full mask.
} // if
563
else if (nexttoken(ctx) != TOKEN_IDENTIFIER)
564
{
565
invalid_writemask = 1;
566
} // else if
567
568
else
{
569
570
571
572
573
char tokenbytes[5] = { '\0', '\0', '\0', '\0', '\0' };
const unsigned int tokenlen = ctx->tokenlen;
memcpy(tokenbytes, ctx->token, ((tokenlen < 4) ? tokenlen : 4));
char *ptr = tokenbytes;
574
575
576
577
if ((*ptr == 'r') || (*ptr == 'x')) { info->writemask0 = 1; ptr++; }
if ((*ptr == 'g') || (*ptr == 'y')) { info->writemask1 = 1; ptr++; }
if ((*ptr == 'b') || (*ptr == 'z')) { info->writemask2 = 1; ptr++; }
if ((*ptr == 'a') || (*ptr == 'w')) { info->writemask3 = 1; ptr++; }
578
579
if (*ptr != '\0')
580
invalid_writemask = 1;
581
582
583
584
585
info->writemask = ( ((info->writemask0 & 0x1) << 0) |
((info->writemask1 & 0x1) << 1) |
((info->writemask2 & 0x1) << 2) |
((info->writemask3 & 0x1) << 3) );
586
587
588
589
590
591
592
593
594
595
596
597
598
599
// Cg generates code with oDepth.z, and Microsoft's tools accept
// oFog.x and probably others. For safety's sake, we'll allow
// any single channel to be specified and will just wipe out the
// writemask as if it wasn't specified at all. More than one
// channel will be a fail, though.
if (!invalid_writemask && scalar_register(ctx->shader_type, info->regtype, info->regnum))
{
const int numchans = info->writemask0 + info->writemask1 + info->writemask2 + info->writemask3;
if (numchans != 1)
fail(ctx, "Non-scalar writemask specified for scalar register");
info->writemask = 0xF;
info->writemask0 = info->writemask1 = info->writemask2 = info->writemask3 = 1;
} // if
600
601
} // else
602
603
604
if (invalid_writemask)
fail(ctx, "Invalid writemask");
605
606
info->orig_writemask = info->writemask;
607
if (tokenbuf_overflow(ctx))
608
return 1;
609
610
ctx->tokenbuf[ctx->tokenbufpos++] =
611
( ((((uint32) 1)) << 31) |
612
613
614
615
((((uint32) info->regnum) & 0x7ff) << 0) |
((((uint32) info->relative) & 0x1) << 13) |
((((uint32) info->result_mod) & 0xF) << 20) |
((((uint32) info->result_shift) & 0xF) << 24) |
616
((((uint32) info->writemask) & 0xF) << 16) |
617
618
619
620
621
622
623
((((uint32) info->regtype) & 0x7) << 28) |
((((uint32) info->regtype) & 0x18) << 8) );
return 1;
} // parse_destination_token
624
625
626
static void set_source_mod(Context *ctx, const int negate,
const SourceMod norm, const SourceMod negated,
SourceMod *srcmod)
627
{
628
629
630
631
632
if ( (*srcmod != SRCMOD_NONE) || (negate && (negated == SRCMOD_NONE)) )
fail(ctx, "Incompatible source modifiers");
else
*srcmod = ((negate) ? negated : norm);
} // set_source_mod
633
634
635
static int parse_source_token_maybe_relative(Context *ctx, const int relok)
636
{
637
638
int retval = 1;
639
if (tokenbuf_overflow(ctx))
640
return 0;
641
642
// mark this now, so optional relative addressing token is placed second.
643
644
uint32 *outtoken = &ctx->tokenbuf[ctx->tokenbufpos++];
*outtoken = 0;
645
646
647
SourceMod srcmod = SRCMOD_NONE;
int negate = 0;
648
649
650
651
652
653
654
Token token = nexttoken(ctx);
if (token == ((Token) '!'))
srcmod = SRCMOD_NOT;
else if (token == ((Token) '-'))
negate = 1;
else if ( (token == TOKEN_INT_LITERAL) && (check_token(ctx, "1")) )
655
{
656
657
if (nexttoken(ctx) != ((Token) '-'))
fail(ctx, "Unexpected token");
658
659
660
661
else
srcmod = SRCMOD_COMPLEMENT;
} // else
else
662
{
663
pushback(ctx);
664
} // else
665
666
667
RegisterType regtype;
int regnum;
668
parse_register_name(ctx, ®type, ®num);
669
670
671
672
673
674
675
if (ctx->tokenlen == 0)
{
if (negate)
set_source_mod(ctx, negate, SRCMOD_NONE, SRCMOD_NEGATE, &srcmod);
} // if
else
676
{
677
assert(ctx->tokenlen > 0);
678
679
680
681
682
683
684
685
if (check_token_segment(ctx, "_bias"))
set_source_mod(ctx, negate, SRCMOD_BIAS, SRCMOD_BIASNEGATE, &srcmod);
else if (check_token_segment(ctx, "_bx2"))
set_source_mod(ctx, negate, SRCMOD_SIGN, SRCMOD_SIGNNEGATE, &srcmod);
else if (check_token_segment(ctx, "_x2"))
set_source_mod(ctx, negate, SRCMOD_X2, SRCMOD_X2NEGATE, &srcmod);
else if (check_token_segment(ctx, "_dz"))
set_source_mod(ctx, negate, SRCMOD_DZ, SRCMOD_NONE, &srcmod);
686
687
else if (check_token_segment(ctx, "_db"))
set_source_mod(ctx, negate, SRCMOD_DZ, SRCMOD_NONE, &srcmod);
688
689
else if (check_token_segment(ctx, "_dw"))
set_source_mod(ctx, negate, SRCMOD_DW, SRCMOD_NONE, &srcmod);
690
691
else if (check_token_segment(ctx, "_da"))
set_source_mod(ctx, negate, SRCMOD_DW, SRCMOD_NONE, &srcmod);
692
693
694
695
else if (check_token_segment(ctx, "_abs"))
set_source_mod(ctx, negate, SRCMOD_ABS, SRCMOD_ABSNEGATE, &srcmod);
else
fail(ctx, "Invalid source modifier");
696
} // else
697
698
uint32 relative = 0;
699
if (nexttoken(ctx) != ((Token) '['))
700
701
702
pushback(ctx); // not relative addressing?
else
{
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
// quick hack here to make "c[5]" convert to "c5". This will also
// work with "c0[5]" but that's possibly illegal...?
int skip_relative_parsing = 0;
if ((regtype == REG_TYPE_CONST) && (regnum == 0))
{
uint32 ui32 = 0;
if (nexttoken(ctx) != TOKEN_INT_LITERAL)
pushback(ctx);
else if (!ui32fromtoken(ctx, &ui32))
pushback(ctx);
else
{
regnum = ui32;
skip_relative_parsing = 1;
} // else
} // if
719
720
if (!skip_relative_parsing)
721
{
722
723
724
725
if (!relok)
fail(ctx, "Relative addressing not permitted here.");
else
retval++;
726
727
728
729
730
731
732
parse_source_token_maybe_relative(ctx, 0);
relative = 1;
if (nexttoken(ctx) != ((Token) '+'))
pushback(ctx);
else
733
{
734
735
736
737
738
739
740
741
742
743
744
745
746
747
// !!! FIXME: maybe c3[a0.x + 5] is legal and becomes c[a0.x + 8] ?
if (regnum != 0)
fail(ctx, "Relative addressing with explicit register number.");
uint32 ui32 = 0;
if ( (nexttoken(ctx) != TOKEN_INT_LITERAL) ||
(!ui32fromtoken(ctx, &ui32)) ||
(ctx->tokenlen != 0) )
{
fail(ctx, "Invalid relative addressing offset");
} // if
regnum += (int) ui32;
} // else
} // if
748
749
if (nexttoken(ctx) != ((Token) ']'))
750
fail(ctx, "Expected ']'");
751
} // else
752
753
int invalid_swizzle = 0;
754
uint32 swizzle = 0;
755
if (nexttoken(ctx) != ((Token) '.'))
756
757
758
759
{
swizzle = 0xE4; // 0xE4 == 11100100 ... 0 1 2 3. No swizzle.
pushback(ctx); // no explicit writemask; do full mask.
} // if
760
else if (scalar_register(ctx->shader_type, regtype, regnum))
761
fail(ctx, "Swizzle specified for scalar register");
762
else if (nexttoken(ctx) != TOKEN_IDENTIFIER)
763
invalid_swizzle = 1;
764
765
else
{
766
767
768
769
char tokenbytes[5] = { '\0', '\0', '\0', '\0', '\0' };
const unsigned int tokenlen = ctx->tokenlen;
memcpy(tokenbytes, ctx->token, ((tokenlen < 4) ? tokenlen : 4));
770
// deal with shortened form (.x = .xxxx, etc).
771
772
773
774
775
776
777
if (tokenlen == 1)
tokenbytes[1] = tokenbytes[2] = tokenbytes[3] = tokenbytes[0];
else if (tokenlen == 2)
tokenbytes[2] = tokenbytes[3] = tokenbytes[1];
else if (tokenlen == 3)
tokenbytes[3] = tokenbytes[2];
else if (tokenlen != 4)
778
invalid_swizzle = 1;
779
tokenbytes[4] = '\0';
780
781
uint32 val = 0;
782
int i;
783
784
for (i = 0; i < 4; i++)
{
785
const int component = (int) tokenbytes[i];
786
787
switch (component)
{
788
789
790
791
case 'r': case 'x': val = 0; break;
case 'g': case 'y': val = 1; break;
case 'b': case 'z': val = 2; break;
case 'a': case 'w': val = 3; break;
792
default: invalid_swizzle = 1; break;
793
794
795
796
} // switch
swizzle |= (val << (i * 2));
} // for
} // else
797
798
799
800
if (invalid_swizzle)
fail(ctx, "Invalid swizzle");
801
802
803
804
805
806
807
*outtoken = ( ((((uint32) 1)) << 31) |
((((uint32) regnum) & 0x7ff) << 0) |
((((uint32) relative) & 0x1) << 13) |
((((uint32) swizzle) & 0xFF) << 16) |
((((uint32) srcmod) & 0xF) << 24) |
((((uint32) regtype) & 0x7) << 28) |
((((uint32) regtype) & 0x18) << 8) );
808
809
810
return retval;
} // parse_source_token_maybe_relative
811
812
813
static inline int parse_source_token(Context *ctx)
814
{
815
816
return parse_source_token_maybe_relative(ctx, 1);
} // parse_source_token
817
818
819
820
static int parse_args_NULL(Context *ctx)
{
821
return 1;
822
} // parse_args_NULL
823
824
825
static int parse_num(Context *ctx, const int floatok, uint32 *value)
826
827
{
union { float f; int32 si32; uint32 ui32; } cvt;
828
829
830
831
832
833
834
835
int negative = 0;
Token token = nexttoken(ctx);
if (token == ((Token) '-'))
{
negative = 1;
token = nexttoken(ctx);
} // if
836
837
if (token == TOKEN_INT_LITERAL)
838
{
839
840
int d = 0;
sscanf(ctx->token, "%d", &d);
841
842
843
844
if (floatok)
cvt.f = (float) ((negative) ? -d : d);
else
cvt.si32 = (int32) ((negative) ? -d : d);
845
846
} // if
else if (token == TOKEN_FLOAT_LITERAL)
847
{
848
if (!floatok)
849
{
850
851
852
fail(ctx, "Expected whole number");
*value = 0;
return 0;
853
} // if
854
sscanf(ctx->token, "%f", &cvt.f);
855
856
if (negative)
cvt.f = -cvt.f;
857
858
859
860
861
862
} // if
else
{
fail(ctx, "Expected number");
*value = 0;
return 0;
863
} // else
864
865
*value = cvt.ui32;
866
return 1;
867
868
869
870
871
} // parse_num
static int parse_args_DEFx(Context *ctx, const int isflt)
{
872
873
874
875
876
877
878
879
880
parse_destination_token(ctx);
require_comma(ctx);
parse_num(ctx, isflt, &ctx->tokenbuf[ctx->tokenbufpos++]);
require_comma(ctx);
parse_num(ctx, isflt, &ctx->tokenbuf[ctx->tokenbufpos++]);
require_comma(ctx);
parse_num(ctx, isflt, &ctx->tokenbuf[ctx->tokenbufpos++]);
require_comma(ctx);
parse_num(ctx, isflt, &ctx->tokenbuf[ctx->tokenbufpos++]);
881
882
return 6;
} // parse_args_DEFx
883
884
885
886
887
888
static int parse_args_DEF(Context *ctx)
{
return parse_args_DEFx(ctx, 1);
} // parse_args_DEF
889
890
891
892
893
894
static int parse_args_DEFI(Context *ctx)
{
return parse_args_DEFx(ctx, 0);
} // parse_args_DEFI
895
896
897
898
static int parse_args_DEFB(Context *ctx)
{
899
900
parse_destination_token(ctx);
require_comma(ctx);
901
902
903
904
905
906
907
908
// !!! FIXME: do a TOKEN_TRUE and TOKEN_FALSE? Is this case-sensitive?
const Token token = nexttoken(ctx);
int bad = 0;
if (token != TOKEN_IDENTIFIER)
bad = 1;
else if (check_token_segment(ctx, "true"))
909
ctx->tokenbuf[ctx->tokenbufpos++] = 1;
910
else if (check_token_segment(ctx, "false"))
911
912
ctx->tokenbuf[ctx->tokenbufpos++] = 0;
else
913
914
915
916
917
918
bad = 1;
if (ctx->tokenlen != 0)
bad = 1;
if (bad)
919
fail(ctx, "Expected 'true' or 'false'");
920
921
922
return 3;
} // parse_args_DEFB
923
924
925
static int parse_dcl_usage(Context *ctx, uint32 *val, int *issampler)
926
{
927
size_t i;
928
static const char *samplerusagestrs[] = { "_2d", "_cube", "_volume" };
929
static const char *usagestrs[] = {
930
931
932
"_position", "_blendweight", "_blendindices", "_normal", "_psize",
"_texcoord", "_tangent", "_binormal", "_tessfactor", "_positiont",
"_color", "_fog", "_depth", "_sample"
933
};
934
935
for (i = 0; i < STATICARRAYLEN(usagestrs); i++)
936
{
937
if (check_token_segment(ctx, usagestrs[i]))
938
{
939
940
*issampler = 0;
*val = i;
941
return 1;
942
} // if
943
} // for
944
945
for (i = 0; i < STATICARRAYLEN(samplerusagestrs); i++)
946
{
947
if (check_token_segment(ctx, samplerusagestrs[i]))
948
{
949
950
*issampler = 1;
*val = i + 2;
951
return 1;
952
} // if
953
} // for
954
955
956
*issampler = 0;
*val = 0;
957
return 0;
958
} // parse_dcl_usage
959
960
961
962
963
964
965
static int parse_args_DCL(Context *ctx)
{
int issampler = 0;
uint32 usage = 0;
uint32 index = 0;
966
967
ctx->tokenbufpos++; // save a spot for the usage/index token.
968
ctx->tokenbuf[0] = 0;
969
970
971
972
// parse_instruction_token() sets ctx->token to the end of the instruction
// so we can see if there are destination modifiers on the instruction
// itself...
973
974
975
if (parse_dcl_usage(ctx, &usage, &issampler))
{
976
977
978
979
980
if ((ctx->tokenlen > 0) && (*ctx->token != '_'))
{
if (!ui32fromtoken(ctx, &index))
fail(ctx, "Expected usage index");
} // if
981
} // if
982
983
parse_destination_token(ctx);
984
985
986
const int samplerreg = (ctx->dest_arg.regtype == REG_TYPE_SAMPLER);
if (issampler != samplerreg)
987
fail(ctx, "Invalid usage");
988
989
else if (samplerreg)
ctx->tokenbuf[0] = (usage << 27) | 0x80000000;
990
991
else if (shader_is_pixel(ctx)) // all other pixel shader types are zero'd.
ctx->tokenbuf[0] = 0x80000000;
992
993
else
ctx->tokenbuf[0] = usage | (index << 16) | 0x80000000;
994
995
996
997
998
999
1000
return 3;
} // parse_args_DCL
static int parse_args_D(Context *ctx)
{