/
mojoshader_assembler.c
1765 lines (1465 loc) · 51 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
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
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
if (preprocessor_outofmemory(ctx->preprocessor))
{
178
out_of_memory(ctx); // !!! FIXME: this can go; we're bridged now!
179
180
181
182
183
184
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
if (nexttoken(ctx) == ((Token) '['))
432
neednum = 0; // don't need a number on register name itself.
433
pushback(ctx);
434
435
} // if
436
437
if (neednum)
{
438
uint32 ui32 = 0;
439
if (!ui32fromtoken(ctx, &ui32))
440
fail(ctx, "Invalid register index");
441
regnum = (int) ui32;
442
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
} // 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
{
469
fail(ctx, "Invalid const register index");
470
471
472
473
474
475
} // else
} // if
*rtype = regtype;
*rnum = regnum;
476
return 1;
477
478
479
} // parse_register_name
480
static void set_result_shift(Context *ctx, DestArgInfo *info, const int val)
481
{
482
if (info->result_shift != 0)
483
fail(ctx, "Multiple result shift modifiers");
484
485
info->result_shift = val;
} // set_result_shift
486
487
488
489
490
491
492
493
494
495
496
497
498
499
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
500
static int parse_destination_token(Context *ctx)
501
{
502
DestArgInfo *info = &ctx->dest_arg;
503
memset(info, '\0', sizeof (DestArgInfo));
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
// 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"))
526
info->result_mod |= MOD_SATURATE;
527
else if (check_token_segment(ctx, "_pp"))
528
info->result_mod |= MOD_PP;
529
else if (check_token_segment(ctx, "_centroid"))
530
531
info->result_mod |= MOD_CENTROID;
else
532
invalid_modifier = 1;
533
534
} // while
535
536
if (invalid_modifier)
fail(ctx, "Invalid destination modifier");
537
538
// !!! FIXME: predicates.
539
if (nexttoken(ctx) == ((Token) '('))
540
541
fail(ctx, "Predicates unsupported at this time"); // !!! FIXME: ...
542
543
pushback(ctx); // parse_register_name calls nexttoken().
544
parse_register_name(ctx, &info->regtype, &info->regnum);
545
546
547
// parse_register_name() can't check this: dest regs might have modifiers.
if (ctx->tokenlen > 0)
fail(ctx, "invalid register name");
548
549
550
// !!! FIXME: can dest registers do relative addressing?
551
int invalid_writemask = 0;
552
int implicit_writemask = 0;
553
if (nexttoken(ctx) != ((Token) '.'))
554
{
555
implicit_writemask = 1;
556
557
558
559
info->writemask = 0xF;
info->writemask0 = info->writemask1 = info->writemask2 = info->writemask3 = 1;
pushback(ctx); // no explicit writemask; do full mask.
} // if
560
561
562
563
// !!! 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) )
564
fail(ctx, "Writemask specified for scalar register");
565
else if (nexttoken(ctx) != TOKEN_IDENTIFIER)
566
invalid_writemask = 1;
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
586
587
info->writemask = ( ((info->writemask0 & 0x1) << 0) |
((info->writemask1 & 0x1) << 1) |
((info->writemask2 & 0x1) << 2) |
((info->writemask3 & 0x1) << 3) );
} // else
588
589
590
if (invalid_writemask)
fail(ctx, "Invalid writemask");
591
592
593
594
595
// !!! 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) )
596
fail(ctx, "Writemask specified for scalar register");
597
598
} // if
599
600
info->orig_writemask = info->writemask;
601
if (tokenbuf_overflow(ctx))
602
return 1;
603
604
ctx->tokenbuf[ctx->tokenbufpos++] =
605
( ((((uint32) 1)) << 31) |
606
607
608
609
((((uint32) info->regnum) & 0x7ff) << 0) |
((((uint32) info->relative) & 0x1) << 13) |
((((uint32) info->result_mod) & 0xF) << 20) |
((((uint32) info->result_shift) & 0xF) << 24) |
610
((((uint32) info->writemask) & 0xF) << 16) |
611
612
613
614
615
616
617
((((uint32) info->regtype) & 0x7) << 28) |
((((uint32) info->regtype) & 0x18) << 8) );
return 1;
} // parse_destination_token
618
619
620
static void set_source_mod(Context *ctx, const int negate,
const SourceMod norm, const SourceMod negated,
SourceMod *srcmod)
621
{
622
623
624
625
626
if ( (*srcmod != SRCMOD_NONE) || (negate && (negated == SRCMOD_NONE)) )
fail(ctx, "Incompatible source modifiers");
else
*srcmod = ((negate) ? negated : norm);
} // set_source_mod
627
628
629
static int parse_source_token_maybe_relative(Context *ctx, const int relok)
630
{
631
632
int retval = 1;
633
if (tokenbuf_overflow(ctx))
634
return 0;
635
636
// mark this now, so optional relative addressing token is placed second.
637
638
uint32 *outtoken = &ctx->tokenbuf[ctx->tokenbufpos++];
*outtoken = 0;
639
640
641
SourceMod srcmod = SRCMOD_NONE;
int negate = 0;
642
643
644
645
646
647
648
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")) )
649
{
650
651
if (nexttoken(ctx) != ((Token) '-'))
fail(ctx, "Unexpected token");
652
653
654
655
else
srcmod = SRCMOD_COMPLEMENT;
} // else
else
656
{
657
pushback(ctx);
658
} // else
659
660
661
RegisterType regtype;
int regnum;
662
parse_register_name(ctx, ®type, ®num);
663
664
665
666
667
668
669
if (ctx->tokenlen == 0)
{
if (negate)
set_source_mod(ctx, negate, SRCMOD_NONE, SRCMOD_NEGATE, &srcmod);
} // if
else
670
{
671
assert(ctx->tokenlen > 0);
672
673
674
675
676
677
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);
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");
686
} // else
687
688
uint32 relative = 0;
689
if (nexttoken(ctx) != ((Token) '['))
690
691
692
pushback(ctx); // not relative addressing?
else
{
693
694
695
696
697
698
if (!relok)
fail(ctx, "Relative addressing not permitted here.");
else
retval++;
parse_source_token_maybe_relative(ctx, 0);
699
relative = 1;
700
701
if (nexttoken(ctx) != ((Token) '+'))
702
703
704
pushback(ctx);
else
{
705
706
// !!! FIXME: maybe c3[a0.x + 5] is legal and becomes c[a0.x + 8] ?
if (regnum != 0)
707
fail(ctx, "Relative addressing with explicit register number.");
708
709
uint32 ui32 = 0;
710
711
712
713
if ( (nexttoken(ctx) != TOKEN_INT_LITERAL) ||
(!ui32fromtoken(ctx, &ui32)) ||
(ctx->tokenlen != 0) )
{
714
fail(ctx, "Invalid relative addressing offset");
715
} // if
716
717
718
regnum += (int) ui32;
} // else
719
if (nexttoken(ctx) != ((Token) ']'))
720
fail(ctx, "Expected ']'");
721
} // else
722
723
int invalid_swizzle = 0;
724
uint32 swizzle = 0;
725
if (nexttoken(ctx) != ((Token) '.'))
726
727
728
729
{
swizzle = 0xE4; // 0xE4 == 11100100 ... 0 1 2 3. No swizzle.
pushback(ctx); // no explicit writemask; do full mask.
} // if
730
else if (scalar_register(ctx->shader_type, regtype, regnum))
731
fail(ctx, "Swizzle specified for scalar register");
732
else if (nexttoken(ctx) != TOKEN_IDENTIFIER)
733
invalid_swizzle = 1;
734
735
else
{
736
737
738
739
char tokenbytes[5] = { '\0', '\0', '\0', '\0', '\0' };
const unsigned int tokenlen = ctx->tokenlen;
memcpy(tokenbytes, ctx->token, ((tokenlen < 4) ? tokenlen : 4));
740
// deal with shortened form (.x = .xxxx, etc).
741
742
743
744
745
746
747
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)
748
invalid_swizzle = 1;
749
tokenbytes[4] = '\0';
750
751
uint32 val = 0;
752
int i;
753
754
for (i = 0; i < 4; i++)
{
755
const int component = (int) tokenbytes[i];
756
757
switch (component)
{
758
759
760
761
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;
762
default: invalid_swizzle = 1; break;
763
764
765
766
} // switch
swizzle |= (val << (i * 2));
} // for
} // else
767
768
769
770
if (invalid_swizzle)
fail(ctx, "Invalid swizzle");
771
772
773
774
775
776
777
*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) );
778
779
780
return retval;
} // parse_source_token_maybe_relative
781
782
783
static inline int parse_source_token(Context *ctx)
784
{
785
786
return parse_source_token_maybe_relative(ctx, 1);
} // parse_source_token
787
788
789
790
static int parse_args_NULL(Context *ctx)
{
791
return 1;
792
} // parse_args_NULL
793
794
795
static int parse_num(Context *ctx, const int floatok, uint32 *value)
796
797
{
union { float f; int32 si32; uint32 ui32; } cvt;
798
799
800
801
802
803
804
805
int negative = 0;
Token token = nexttoken(ctx);
if (token == ((Token) '-'))
{
negative = 1;
token = nexttoken(ctx);
} // if
806
807
if (token == TOKEN_INT_LITERAL)
808
{
809
810
int d = 0;
sscanf(ctx->token, "%d", &d);
811
812
813
814
if (floatok)
cvt.f = (float) ((negative) ? -d : d);
else
cvt.si32 = (int32) ((negative) ? -d : d);
815
816
} // if
else if (token == TOKEN_FLOAT_LITERAL)
817
{
818
if (!floatok)
819
{
820
821
822
fail(ctx, "Expected whole number");
*value = 0;
return 0;
823
} // if
824
sscanf(ctx->token, "%f", &cvt.f);
825
826
if (negative)
cvt.f = -cvt.f;
827
828
829
830
831
832
} // if
else
{
fail(ctx, "Expected number");
*value = 0;
return 0;
833
} // else
834
835
*value = cvt.ui32;
836
return 1;
837
838
839
840
841
} // parse_num
static int parse_args_DEFx(Context *ctx, const int isflt)
{
842
843
844
845
846
847
848
849
850
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++]);
851
852
return 6;
} // parse_args_DEFx
853
854
855
856
857
858
static int parse_args_DEF(Context *ctx)
{
return parse_args_DEFx(ctx, 1);
} // parse_args_DEF
859
860
861
862
863
864
static int parse_args_DEFI(Context *ctx)
{
return parse_args_DEFx(ctx, 0);
} // parse_args_DEFI
865
866
867
868
static int parse_args_DEFB(Context *ctx)
{
869
870
parse_destination_token(ctx);
require_comma(ctx);
871
872
873
874
875
876
877
878
// !!! 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"))
879
ctx->tokenbuf[ctx->tokenbufpos++] = 1;
880
else if (check_token_segment(ctx, "false"))
881
882
ctx->tokenbuf[ctx->tokenbufpos++] = 0;
else
883
884
885
886
887
888
bad = 1;
if (ctx->tokenlen != 0)
bad = 1;
if (bad)
889
fail(ctx, "Expected 'true' or 'false'");
890
891
892
return 3;
} // parse_args_DEFB
893
894
895
static int parse_dcl_usage(Context *ctx, uint32 *val, int *issampler)
896
{
897
size_t i;
898
static const char *samplerusagestrs[] = { "_2d", "_cube", "_volume" };
899
static const char *usagestrs[] = {
900
901
902
"_position", "_blendweight", "_blendindices", "_normal", "_psize",
"_texcoord", "_tangent", "_binormal", "_tessfactor", "_positiont",
"_color", "_fog", "_depth", "_sample"
903
};
904
905
for (i = 0; i < STATICARRAYLEN(usagestrs); i++)
906
{
907
if (check_token_segment(ctx, usagestrs[i]))
908
{
909
910
*issampler = 0;
*val = i;
911
return 1;
912
} // if
913
} // for
914
915
for (i = 0; i < STATICARRAYLEN(samplerusagestrs); i++)
916
{
917
if (check_token_segment(ctx, samplerusagestrs[i]))
918
{
919
920
*issampler = 1;
*val = i + 2;
921
return 1;
922
} // if
923
} // for
924
925
926
*issampler = 0;
*val = 0;
927
return 0;
928
} // parse_dcl_usage
929
930
931
932
933
934
935
static int parse_args_DCL(Context *ctx)
{
int issampler = 0;
uint32 usage = 0;
uint32 index = 0;
936
937
ctx->tokenbufpos++; // save a spot for the usage/index token.
938
ctx->tokenbuf[0] = 0;
939
940
941
942
// 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...
943
944
945
if (parse_dcl_usage(ctx, &usage, &issampler))
{
946
947
948
949
950
if ((ctx->tokenlen > 0) && (*ctx->token != '_'))
{
if (!ui32fromtoken(ctx, &index))
fail(ctx, "Expected usage index");
} // if
951
} // if
952
953
parse_destination_token(ctx);
954
955
956
const int samplerreg = (ctx->dest_arg.regtype == REG_TYPE_SAMPLER);
if (issampler != samplerreg)
957
fail(ctx, "Invalid usage");
958
959
960
961
else if (samplerreg)
ctx->tokenbuf[0] = (usage << 27) | 0x80000000;
else
ctx->tokenbuf[0] = usage | (index << 16) | 0x80000000;
962
963
964
965
966
967
968
969
return 3;
} // parse_args_DCL
static int parse_args_D(Context *ctx)
{
int retval = 1;
970
retval += parse_destination_token(ctx);
971
return retval;
972
973
974
975
976
977
} // parse_args_D
static int parse_args_S(Context *ctx)
{
int retval = 1;
978
retval += parse_source_token(ctx);
979
return retval;
980
981
982
983
984
985
} // parse_args_S
static int parse_args_SS(Context *ctx)
{
int retval = 1;
986
retval += parse_source_token(ctx);
987
require_comma(ctx);
988
retval += parse_source_token(ctx);
989
return retval;
990
991
992
993
994
995
} // parse_args_SS
static int parse_args_DS(Context *ctx)
{
int retval = 1;
996
retval += parse_destination_token(ctx);
997
require_comma(ctx);
998
retval += parse_source_token(ctx);
999
return retval;
1000
} // parse_args_DS