/
mojoshader_assembler.c
1826 lines (1529 loc) · 52.5 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
int error_count;
ErrorList *errors;
45
Preprocessor *preprocessor;
46
MOJOSHADER_parsePhase parse_phase;
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
uint32 *output;
59
SourcePos *token_to_source;
60
61
62
uint8 *ctab;
uint32 ctab_len;
uint32 ctab_allocation;
63
64
size_t output_len;
size_t output_allocation;
65
} Context;
66
67
68
69
// Convenience functions for allocators...
70
static inline void out_of_memory(Context *ctx)
71
{
72
ctx->isfail = ctx->out_of_memory = 1;
73
74
75
76
77
78
79
80
81
82
} // out_of_memory
static inline void *Malloc(Context *ctx, const size_t len)
{
void *retval = ctx->malloc((int) len, ctx->malloc_data);
if (retval == NULL)
out_of_memory(ctx);
return retval;
} // Malloc
83
84
85
static inline char *StrDup(Context *ctx, const char *str)
{
char *retval = (char *) Malloc(ctx, strlen(str) + 1);
86
if (retval != NULL)
87
88
89
90
strcpy(retval, str);
return retval;
} // StrDup
91
92
93
94
95
96
static inline void Free(Context *ctx, void *ptr)
{
if (ptr != NULL) // check for NULL in case of dumb free() impl.
ctx->free(ptr, ctx->malloc_data);
} // Free
97
98
static void failf(Context *ctx, const char *fmt, ...) ISPRINTF(2,3);
static void failf(Context *ctx, const char *fmt, ...)
99
{
100
101
102
103
const char *fname = NULL;
unsigned int linenum = 0;
int error_position = 0;
104
105
ctx->isfail = 1;
106
107
108
109
110
111
switch (ctx->parse_phase)
{
case MOJOSHADER_PARSEPHASE_NOTSTARTED:
error_position = -2;
break;
case MOJOSHADER_PARSEPHASE_WORKING:
112
113
fname = preprocessor_sourcepos(ctx->preprocessor, &linenum);
error_position = (int) linenum;
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
break;
case MOJOSHADER_PARSEPHASE_DONE:
error_position = -1;
break;
default:
assert(0 && "Unexpected value");
return;
} // switch
ErrorList *error = (ErrorList *) Malloc(ctx, sizeof (ErrorList));
if (error == NULL)
return;
char scratch = 0;
va_list ap;
va_start(ap, fmt);
const int len = vsnprintf(&scratch, sizeof (scratch), fmt, ap);
va_end(ap);
char *failstr = (char *) Malloc(ctx, len + 1);
if (failstr == NULL)
Free(ctx, error);
else
137
138
{
va_start(ap, fmt);
139
vsnprintf(failstr, len + 1, fmt, ap); // rebuild it.
140
141
va_end(ap);
142
143
144
error->error.error = failstr;
error->error.filename = fname ? StrDup(ctx, fname) : NULL;
error->error.error_position = error_position;
145
error->next = NULL;
146
147
ErrorList *prev = NULL;
148
149
ErrorList *item = ctx->errors;
while (item != NULL)
150
{
151
prev = item;
152
item = item->next;
153
154
} // while
155
if (prev == NULL)
156
ctx->errors = error;
157
158
else
prev->next = error;
159
160
161
ctx->error_count++;
} // else
162
163
} // failf
164
static inline void fail(Context *ctx, const char *reason)
165
{
166
failf(ctx, "%s", reason);
167
168
169
170
} // fail
static inline int isfail(const Context *ctx)
{
171
return ctx->isfail;
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
} // 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
198
199
static inline void pushback(Context *ctx)
{
200
#if DEBUG_ASSEMBLER_PARSER
201
202
printf("ASSEMBLER PUSHBACK\n");
#endif
203
204
205
206
207
208
209
210
211
assert(!ctx->pushedback);
ctx->pushedback = 1;
} // pushback
static Token nexttoken(Context *ctx)
{
if (ctx->pushedback)
ctx->pushedback = 0;
212
else
213
{
214
while (1)
215
{
216
217
218
ctx->token = preprocessor_nexttoken(ctx->preprocessor,
&ctx->tokenlen,
&ctx->tokenval);
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
if (preprocessor_outofmemory(ctx->preprocessor))
{
out_of_memory(ctx);
ctx->tokenval = TOKEN_EOI;
ctx->token = NULL;
ctx->tokenlen = 0;
break;
} // if
else if (ctx->tokenval == TOKEN_PREPROCESSING_ERROR)
{
fail(ctx, ctx->token);
continue;
} // else if
break;
} // while
} // else
238
239
print_debug_token(ctx->token, ctx->tokenlen, ctx->tokenval);
240
return ctx->tokenval;
241
242
243
} // nexttoken
244
245
static inline void add_token_sourcepos(Context *ctx, const size_t idx)
{
246
247
248
unsigned int pos = 0;
const char *fname = preprocessor_sourcepos(ctx->preprocessor, &pos);
ctx->token_to_source[idx].line = pos;
249
ctx->token_to_source[idx].filename = fname; // cached in preprocessor!
250
251
252
} // add_token_sourcepos
253
254
255
256
257
static void output_token_noswap(Context *ctx, const uint32 token)
{
if (isfail(ctx))
return;
258
259
260
261
if (ctx->output_len >= ctx->output_allocation)
{
const size_t output_alloc_bump = 1024; // that's tokens, not bytes.
const size_t newsize = ctx->output_allocation + output_alloc_bump;
262
263
264
void *ptr;
ptr = Malloc(ctx, newsize * sizeof (uint32));
265
266
267
268
269
270
if (ptr == NULL)
return;
if (ctx->output_len > 0)
memcpy(ptr, ctx->output, ctx->output_len * sizeof (uint32));
Free(ctx, ctx->output);
ctx->output = (uint32 *) ptr;
271
272
ptr = Malloc(ctx, newsize * sizeof (SourcePos));
273
274
275
if (ptr == NULL)
return;
if (ctx->output_len > 0)
276
277
278
memcpy(ptr, ctx->token_to_source, ctx->output_len * sizeof (SourcePos));
Free(ctx, ctx->token_to_source);
ctx->token_to_source = (SourcePos *) ptr;
279
280
ctx->output_allocation = newsize;
281
282
} // if
283
ctx->output[ctx->output_len] = token;
284
add_token_sourcepos(ctx, ctx->output_len);
285
ctx->output_len++;
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
} // 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
327
static int require_comma(Context *ctx)
328
{
329
330
const Token token = nexttoken(ctx);
if (token != ((Token) ','))
331
{
332
333
fail(ctx, "Comma expected");
return 0;
334
} // if
335
336
return 1;
} // require_comma
337
338
339
static int check_token_segment(Context *ctx, const char *str)
340
{
341
342
343
344
345
346
347
348
// !!! 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
349
350
351
static int check_token(Context *ctx, const char *str)
352
{
353
354
const size_t len = strlen(str);
if ( (ctx->tokenlen != len) || (strncasecmp(ctx->token, str, len) != 0) )
355
return 0;
356
357
ctx->token += len;
ctx->tokenlen = 0;
358
return 1;
359
} // check_token
360
361
362
static int ui32fromtoken(Context *ctx, uint32 *_val)
363
{
364
unsigned int i;
365
366
367
368
369
for (i = 0; i < ctx->tokenlen; i++)
{
if ((ctx->token[i] < '0') || (ctx->token[i] > '9'))
break;
} // for
370
371
if (i == 0)
372
{
373
374
*_val = 0;
return 0;
375
376
} // if
377
const unsigned int len = i;
378
379
380
uint32 val = 0;
uint32 mult = 1;
while (i--)
381
{
382
383
384
val += ((uint32) (ctx->token[i] - '0')) * mult;
mult *= 10;
} // while
385
386
387
ctx->token += len;
ctx->tokenlen -= len;
388
389
*_val = val;
390
return 1;
391
} // ui32fromtoken
392
393
394
395
static int parse_register_name(Context *ctx, RegisterType *rtype, int *rnum)
{
396
397
398
if (nexttoken(ctx) != TOKEN_IDENTIFIER)
{
fail(ctx, "Expected register");
399
return 0;
400
} // if
401
402
403
404
int neednum = 1;
int regnum = 0;
RegisterType regtype = REG_TYPE_TEMP;
405
406
407
408
// Watch out for substrings! oDepth must be checked before oD, since
// the latter will match either case.
if (check_token_segment(ctx, "oDepth"))
409
410
411
412
{
regtype = REG_TYPE_DEPTHOUT;
neednum = 0;
} // else if
413
else if (check_token_segment(ctx, "vFace"))
414
{
415
416
regtype = REG_TYPE_MISCTYPE;
regnum = (int) MISCTYPE_TYPE_FACE;
417
418
neednum = 0;
} // else if
419
else if (check_token_segment(ctx, "vPos"))
420
421
422
423
424
{
regtype = REG_TYPE_MISCTYPE;
regnum = (int) MISCTYPE_TYPE_POSITION;
neednum = 0;
} // else if
425
else if (check_token_segment(ctx, "oPos"))
426
427
428
429
430
{
regtype = REG_TYPE_RASTOUT;
regnum = (int) RASTOUT_TYPE_POSITION;
neednum = 0;
} // else if
431
else if (check_token_segment(ctx, "oFog"))
432
433
434
435
436
{
regtype = REG_TYPE_RASTOUT;
regnum = (int) RASTOUT_TYPE_FOG;
neednum = 0;
} // else if
437
else if (check_token_segment(ctx, "oPts"))
438
439
440
441
442
{
regtype = REG_TYPE_RASTOUT;
regnum = (int) RASTOUT_TYPE_POINT_SIZE;
neednum = 0;
} // else if
443
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
471
472
473
474
475
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;
476
477
478
479
480
//case REG_TYPE_TEMPFLOAT16: // !!! FIXME: don't know this asm string
else
{
481
482
483
484
fail(ctx, "expected register type");
regtype = REG_TYPE_CONST;
regnum = 0;
neednum = 0;
485
486
} // else
487
488
// "c[5]" is the same as "c5", so if the token is done, see if next is '['.
if ((neednum) && (ctx->tokenlen == 0))
489
{
490
if (nexttoken(ctx) == ((Token) '['))
491
neednum = 0; // don't need a number on register name itself.
492
pushback(ctx);
493
494
} // if
495
496
if (neednum)
{
497
uint32 ui32 = 0;
498
if (!ui32fromtoken(ctx, &ui32))
499
fail(ctx, "Invalid register index");
500
regnum = (int) ui32;
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
} // 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
{
528
fail(ctx, "Invalid const register index");
529
530
531
532
533
534
} // else
} // if
*rtype = regtype;
*rnum = regnum;
535
return 1;
536
537
538
} // parse_register_name
539
static void set_result_shift(Context *ctx, DestArgInfo *info, const int val)
540
{
541
if (info->result_shift != 0)
542
fail(ctx, "Multiple result shift modifiers");
543
544
info->result_shift = val;
} // set_result_shift
545
546
547
548
549
550
551
552
553
554
555
556
557
558
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
559
static int parse_destination_token(Context *ctx)
560
{
561
DestArgInfo *info = &ctx->dest_arg;
562
memset(info, '\0', sizeof (DestArgInfo));
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
// 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"))
585
info->result_mod |= MOD_SATURATE;
586
else if (check_token_segment(ctx, "_pp"))
587
info->result_mod |= MOD_PP;
588
else if (check_token_segment(ctx, "_centroid"))
589
590
info->result_mod |= MOD_CENTROID;
else
591
invalid_modifier = 1;
592
593
} // while
594
595
if (invalid_modifier)
fail(ctx, "Invalid destination modifier");
596
597
// !!! FIXME: predicates.
598
if (nexttoken(ctx) == ((Token) '('))
599
600
fail(ctx, "Predicates unsupported at this time"); // !!! FIXME: ...
601
602
pushback(ctx); // parse_register_name calls nexttoken().
603
parse_register_name(ctx, &info->regtype, &info->regnum);
604
605
606
// parse_register_name() can't check this: dest regs might have modifiers.
if (ctx->tokenlen > 0)
fail(ctx, "invalid register name");
607
608
609
// !!! FIXME: can dest registers do relative addressing?
610
int invalid_writemask = 0;
611
int implicit_writemask = 0;
612
if (nexttoken(ctx) != ((Token) '.'))
613
{
614
implicit_writemask = 1;
615
616
617
618
info->writemask = 0xF;
info->writemask0 = info->writemask1 = info->writemask2 = info->writemask3 = 1;
pushback(ctx); // no explicit writemask; do full mask.
} // if
619
620
621
622
// !!! FIXME: Cg generates code with oDepth.z ... this is a bug, I think.
//else if (scalar_register(ctx->shader_type, info->regtype, info->regnum))
else if ( (scalar_register(ctx->shader_type, info->regtype, info->regnum)) && (info->regtype != REG_TYPE_DEPTHOUT) )
623
fail(ctx, "Writemask specified for scalar register");
624
else if (nexttoken(ctx) != TOKEN_IDENTIFIER)
625
invalid_writemask = 1;
626
627
else
{
628
629
630
631
632
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;
633
634
635
636
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++; }
637
638
if (*ptr != '\0')
639
invalid_writemask = 1;
640
641
642
643
644
645
646
info->writemask = ( ((info->writemask0 & 0x1) << 0) |
((info->writemask1 & 0x1) << 1) |
((info->writemask2 & 0x1) << 2) |
((info->writemask3 & 0x1) << 3) );
} // else
647
648
649
if (invalid_writemask)
fail(ctx, "Invalid writemask");
650
651
652
653
654
// !!! FIXME: Cg generates code with oDepth.z ... this is a bug, I think.
if (info->regtype == REG_TYPE_DEPTHOUT)
{
if ( (!implicit_writemask) && ((info->writemask0 + info->writemask1 +
info->writemask2 + info->writemask3) > 1) )
655
fail(ctx, "Writemask specified for scalar register");
656
657
} // if
658
659
info->orig_writemask = info->writemask;
660
if (tokenbuf_overflow(ctx))
661
return 1;
662
663
ctx->tokenbuf[ctx->tokenbufpos++] =
664
( ((((uint32) 1)) << 31) |
665
666
667
668
((((uint32) info->regnum) & 0x7ff) << 0) |
((((uint32) info->relative) & 0x1) << 13) |
((((uint32) info->result_mod) & 0xF) << 20) |
((((uint32) info->result_shift) & 0xF) << 24) |
669
((((uint32) info->writemask) & 0xF) << 16) |
670
671
672
673
674
675
676
((((uint32) info->regtype) & 0x7) << 28) |
((((uint32) info->regtype) & 0x18) << 8) );
return 1;
} // parse_destination_token
677
678
679
static void set_source_mod(Context *ctx, const int negate,
const SourceMod norm, const SourceMod negated,
SourceMod *srcmod)
680
{
681
682
683
684
685
if ( (*srcmod != SRCMOD_NONE) || (negate && (negated == SRCMOD_NONE)) )
fail(ctx, "Incompatible source modifiers");
else
*srcmod = ((negate) ? negated : norm);
} // set_source_mod
686
687
688
static int parse_source_token_maybe_relative(Context *ctx, const int relok)
689
{
690
691
int retval = 1;
692
if (tokenbuf_overflow(ctx))
693
return 0;
694
695
// mark this now, so optional relative addressing token is placed second.
696
697
uint32 *outtoken = &ctx->tokenbuf[ctx->tokenbufpos++];
*outtoken = 0;
698
699
700
SourceMod srcmod = SRCMOD_NONE;
int negate = 0;
701
702
703
704
705
706
707
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")) )
708
{
709
710
if (nexttoken(ctx) != ((Token) '-'))
fail(ctx, "Unexpected token");
711
712
713
714
else
srcmod = SRCMOD_COMPLEMENT;
} // else
else
715
{
716
pushback(ctx);
717
} // else
718
719
720
RegisterType regtype;
int regnum;
721
parse_register_name(ctx, ®type, ®num);
722
723
724
725
726
727
728
if (ctx->tokenlen == 0)
{
if (negate)
set_source_mod(ctx, negate, SRCMOD_NONE, SRCMOD_NEGATE, &srcmod);
} // if
else
729
{
730
assert(ctx->tokenlen > 0);
731
732
733
734
735
736
737
738
739
740
741
742
743
744
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);
else if (check_token_segment(ctx, "_dw"))
set_source_mod(ctx, negate, SRCMOD_DW, SRCMOD_NONE, &srcmod);
else if (check_token_segment(ctx, "_abs"))
set_source_mod(ctx, negate, SRCMOD_ABS, SRCMOD_ABSNEGATE, &srcmod);
else
fail(ctx, "Invalid source modifier");
745
} // else
746
747
uint32 relative = 0;
748
if (nexttoken(ctx) != ((Token) '['))
749
750
751
pushback(ctx); // not relative addressing?
else
{
752
753
754
755
756
757
if (!relok)
fail(ctx, "Relative addressing not permitted here.");
else
retval++;
parse_source_token_maybe_relative(ctx, 0);
758
relative = 1;
759
760
if (nexttoken(ctx) != ((Token) '+'))
761
762
763
pushback(ctx);
else
{
764
765
// !!! FIXME: maybe c3[a0.x + 5] is legal and becomes c[a0.x + 8] ?
if (regnum != 0)
766
fail(ctx, "Relative addressing with explicit register number.");
767
768
uint32 ui32 = 0;
769
770
771
772
if ( (nexttoken(ctx) != TOKEN_INT_LITERAL) ||
(!ui32fromtoken(ctx, &ui32)) ||
(ctx->tokenlen != 0) )
{
773
fail(ctx, "Invalid relative addressing offset");
774
} // if
775
776
777
regnum += (int) ui32;
} // else
778
if (nexttoken(ctx) != ((Token) ']'))
779
fail(ctx, "Expected ']'");
780
} // else
781
782
int invalid_swizzle = 0;
783
uint32 swizzle = 0;
784
if (nexttoken(ctx) != ((Token) '.'))
785
786
787
788
{
swizzle = 0xE4; // 0xE4 == 11100100 ... 0 1 2 3. No swizzle.
pushback(ctx); // no explicit writemask; do full mask.
} // if
789
else if (scalar_register(ctx->shader_type, regtype, regnum))
790
fail(ctx, "Swizzle specified for scalar register");
791
else if (nexttoken(ctx) != TOKEN_IDENTIFIER)
792
invalid_swizzle = 1;
793
794
else
{
795
796
797
798
char tokenbytes[5] = { '\0', '\0', '\0', '\0', '\0' };
const unsigned int tokenlen = ctx->tokenlen;
memcpy(tokenbytes, ctx->token, ((tokenlen < 4) ? tokenlen : 4));
799
// deal with shortened form (.x = .xxxx, etc).
800
801
802
803
804
805
806
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)
807
invalid_swizzle = 1;
808
tokenbytes[4] = '\0';
809
810
uint32 val = 0;
811
int i;
812
813
for (i = 0; i < 4; i++)
{
814
const int component = (int) tokenbytes[i];
815
816
switch (component)
{
817
818
819
820
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;
821
default: invalid_swizzle = 1; break;
822
823
824
825
} // switch
swizzle |= (val << (i * 2));
} // for
} // else
826
827
828
829
if (invalid_swizzle)
fail(ctx, "Invalid swizzle");
830
831
832
833
834
835
836
*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) );
837
838
839
return retval;
} // parse_source_token_maybe_relative
840
841
842
static inline int parse_source_token(Context *ctx)
843
{
844
845
return parse_source_token_maybe_relative(ctx, 1);
} // parse_source_token
846
847
848
849
static int parse_args_NULL(Context *ctx)
{
850
return 1;
851
} // parse_args_NULL
852
853
854
static int parse_num(Context *ctx, const int floatok, uint32 *value)
855
856
{
union { float f; int32 si32; uint32 ui32; } cvt;
857
858
859
860
861
862
863
864
int negative = 0;
Token token = nexttoken(ctx);
if (token == ((Token) '-'))
{
negative = 1;
token = nexttoken(ctx);
} // if
865
866
if (token == TOKEN_INT_LITERAL)
867
{
868
869
int d = 0;
sscanf(ctx->token, "%d", &d);
870
871
872
873
if (floatok)
cvt.f = (float) ((negative) ? -d : d);
else
cvt.si32 = (int32) ((negative) ? -d : d);
874
875
} // if
else if (token == TOKEN_FLOAT_LITERAL)
876
{
877
if (!floatok)
878
{
879
880
881
fail(ctx, "Expected whole number");
*value = 0;
return 0;
882
} // if
883
sscanf(ctx->token, "%f", &cvt.f);
884
885
if (negative)
cvt.f = -cvt.f;
886
887
888
889
890
891
} // if
else
{
fail(ctx, "Expected number");
*value = 0;
return 0;
892
} // else
893
894
*value = cvt.ui32;
895
return 1;
896
897
898
899
900
} // parse_num
static int parse_args_DEFx(Context *ctx, const int isflt)
{
901
902
903
904
905
906
907
908
909
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++]);
910
911
return 6;
} // parse_args_DEFx
912
913
914
915
916
917
static int parse_args_DEF(Context *ctx)
{
return parse_args_DEFx(ctx, 1);
} // parse_args_DEF
918
919
920
921
922
923
static int parse_args_DEFI(Context *ctx)
{
return parse_args_DEFx(ctx, 0);
} // parse_args_DEFI
924
925
926
927
static int parse_args_DEFB(Context *ctx)
{
928
929
parse_destination_token(ctx);
require_comma(ctx);
930
931
932
933
934
935
936
937
// !!! 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"))
938
ctx->tokenbuf[ctx->tokenbufpos++] = 1;
939
else if (check_token_segment(ctx, "false"))
940
941
ctx->tokenbuf[ctx->tokenbufpos++] = 0;
else
942
943
944
945
946
947
bad = 1;
if (ctx->tokenlen != 0)
bad = 1;
if (bad)
948
fail(ctx, "Expected 'true' or 'false'");
949
950
951
return 3;
} // parse_args_DEFB
952
953
954
static int parse_dcl_usage(Context *ctx, uint32 *val, int *issampler)
955
{
956
size_t i;
957
static const char *samplerusagestrs[] = { "_2d", "_cube", "_volume" };
958
static const char *usagestrs[] = {
959
960
961
"_position", "_blendweight", "_blendindices", "_normal", "_psize",
"_texcoord", "_tangent", "_binormal", "_tessfactor", "_positiont",
"_color", "_fog", "_depth", "_sample"
962
};
963
964
for (i = 0; i < STATICARRAYLEN(usagestrs); i++)
965
{
966
if (check_token_segment(ctx, usagestrs[i]))
967
{
968
969
*issampler = 0;
*val = i;
970
return 1;
971
} // if
972
} // for
973
974
for (i = 0; i < STATICARRAYLEN(samplerusagestrs); i++)
975
{
976
if (check_token_segment(ctx, samplerusagestrs[i]))
977
{
978
979
*issampler = 1;
*val = i + 2;
980
return 1;
981
} // if
982
} // for
983
984
985
*issampler = 0;
*val = 0;
986
return 0;
987
} // parse_dcl_usage
988
989
990
991
992
993
994
static int parse_args_DCL(Context *ctx)
{
int issampler = 0;
uint32 usage = 0;
uint32 index = 0;
995
996
ctx->tokenbufpos++; // save a spot for the usage/index token.
997
ctx->tokenbuf[0] = 0;
998
999
1000
// parse_instruction_token() sets ctx->token to the end of the instruction
// so we can see if there are destination modifiers on the instruction