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