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