/
mojoshader.c
7556 lines (6379 loc) · 245 KB
1
/**
2
3
* MojoShader; generate shader programs from bytecode of compiled
* Direct3D shaders.
4
5
6
7
8
9
*
* Please see the file LICENSE.txt in the source's root directory.
*
* This file written by Ryan C. Gordon.
*/
10
// !!! FIXME: this file really needs to be split up.
11
// !!! FIXME: I keep changing coding styles for symbols and typedefs.
12
// !!! FIXME: this should report all errors, not quit on the first fail().
13
14
15
#define __MOJOSHADER_INTERNAL__ 1
#include "mojoshader_internal.h"
16
17
18
// predeclare.
19
typedef struct Context Context;
20
struct ConstantsList;
21
22
// one emit function for each opcode in each profile.
23
typedef void (*emit_function)(Context *ctx);
24
25
// one emit function for starting output in each profile.
26
typedef void (*emit_start)(Context *ctx, const char *profilestr);
27
28
// one emit function for ending output in each profile.
29
typedef void (*emit_end)(Context *ctx);
30
31
32
33
// one emit function for phase opcode output in each profile.
typedef void (*emit_phase)(Context *ctx);
34
35
36
37
38
39
// one emit function for finalizing output in each profile.
typedef void (*emit_finalize)(Context *ctx);
// one emit function for global definitions in each profile.
typedef void (*emit_global)(Context *ctx, RegisterType regtype, int regnum);
40
// one emit function for relative uniform arrays in each profile.
41
typedef void (*emit_array)(Context *ctx, int base, int size);
42
43
44
45
46
47
// one emit function for relative constants arrays in each profile.
typedef void (*emit_const_array)(Context *ctx,
const struct ConstantsList *constslist,
int base, int size);
48
// one emit function for uniforms in each profile.
49
50
typedef void (*emit_uniform)(Context *ctx, RegisterType regtype, int regnum,
int arraybase, int arraysize);
51
52
53
54
// one emit function for samplers in each profile.
typedef void (*emit_sampler)(Context *ctx, int stage, TextureType ttype);
55
56
// one emit function for attributes in each profile.
typedef void (*emit_attribute)(Context *ctx, RegisterType regtype, int regnum,
57
58
MOJOSHADER_usage usage, int index, int wmask,
int flags);
59
60
61
62
// one args function for each possible sequence of opcode arguments.
typedef int (*args_function)(Context *ctx);
63
// one state function for each opcode where we have state machine updates.
64
typedef void (*state_function)(Context *ctx);
65
66
67
68
69
// one function for varnames in each profile.
typedef const char *(*varname_function)(Context *c, RegisterType t, int num);
// one function for const var array in each profile.
70
typedef const char *(*const_array_varname_function)(Context *c, int base, int size);
71
72
73
74
75
76
typedef struct
{
const char *name;
emit_start start_emitter;
emit_end end_emitter;
77
emit_phase phase_emitter;
78
emit_global global_emitter;
79
emit_array array_emitter;
80
emit_const_array const_array_emitter;
81
emit_uniform uniform_emitter;
82
emit_sampler sampler_emitter;
83
emit_attribute attribute_emitter;
84
emit_finalize finalize_emitter;
85
86
varname_function get_varname;
const_array_varname_function get_const_array_varname;
87
} Profile;
88
89
90
91
92
// A simple linked list of strings, so we can build the final output without
// realloc()ing for each new line, and easily insert lines into the middle
// of the output without much trouble.
93
typedef struct OutputListNode
94
95
{
char *str;
96
97
98
99
100
101
102
struct OutputListNode *next;
} OutputListNode;
typedef struct OutputList
{
OutputListNode head;
OutputListNode *tail;
103
104
} OutputList;
105
106
107
108
109
110
typedef struct ConstantsList
{
MOJOSHADER_constant constant;
struct ConstantsList *next;
} ConstantsList;
111
112
113
114
115
typedef struct VariableList
{
MOJOSHADER_uniformType type;
int index;
int count;
116
ConstantsList *constant;
117
int used;
118
119
struct VariableList *next;
} VariableList;
120
121
122
123
124
typedef struct RegisterList
{
RegisterType regtype;
int regnum;
125
126
127
MOJOSHADER_usage usage;
int index;
int writemask;
128
int misc;
129
const VariableList *array;
130
131
132
struct RegisterList *next;
} RegisterList;
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
typedef struct
{
const uint32 *token; // this is the unmolested token in the stream.
int regnum;
int swizzle; // xyzw (all four, not split out).
int swizzle_x;
int swizzle_y;
int swizzle_z;
int swizzle_w;
SourceMod src_mod;
RegisterType regtype;
int relative;
RegisterType relative_regtype;
int relative_regnum;
int relative_component;
const VariableList *relative_array;
} SourceArgInfo;
150
151
#define SCRATCH_BUFFER_SIZE 128
152
#define SCRATCH_BUFFERS 32
153
154
// !!! FIXME: the scratch buffers make Context pretty big.
155
156
// !!! FIXME: might be worth having one set of static scratch buffers that
// !!! FIXME: are mutex protected?
157
158
// Context...this is state that changes as we parse through a shader...
159
struct Context
160
{
161
162
MOJOSHADER_malloc malloc;
MOJOSHADER_free free;
163
void *malloc_data;
164
const uint32 *orig_tokens;
165
166
const uint32 *tokens;
uint32 tokencount;
167
MOJOSHADER_parsePhase parse_phase;
168
169
const MOJOSHADER_swizzle *swizzles;
unsigned int swizzles_count;
170
171
OutputList *output;
OutputList globals;
172
OutputList helpers;
173
OutputList subroutines;
174
OutputList mainline_intro;
175
OutputList mainline;
176
177
OutputList ignore;
OutputList *output_stack[2];
178
uint8 *output_bytes; // can be used instead of the OutputLists.
179
180
int indent_stack[2];
int output_stack_len;
181
int output_len; // total strlen; prevents walking the lists just to malloc.
182
int indent;
183
const char *shader_type_str;
184
185
186
const char *endline;
int endline_len;
const char *failstr;
187
char scratch[SCRATCH_BUFFERS][SCRATCH_BUFFER_SIZE];
188
189
int scratchidx; // current scratch buffer.
int profileid;
190
const Profile *profile;
191
MOJOSHADER_shaderType shader_type;
192
193
uint8 major_ver;
uint8 minor_ver;
194
DestArgInfo dest_arg;
195
SourceArgInfo source_args[5];
196
SourceArgInfo predicate_arg; // for predicated instructions.
197
uint32 dwords[4];
198
uint32 version_token;
199
int instruction_count;
200
uint32 instruction_controls;
201
202
uint32 previous_opcode;
int loops;
203
int reps;
204
int max_reps;
205
int cmps;
206
207
int scratch_registers;
int max_scratch_registers;
208
209
210
int branch_labels_stack_index;
int branch_labels_stack[32];
int assigned_branch_labels;
211
int assigned_vertex_attributes;
212
int last_address_reg_component;
213
214
RegisterList used_registers;
RegisterList defined_registers;
215
216
int constant_count;
ConstantsList *constants;
217
218
int uniform_count;
RegisterList uniforms;
219
220
int attribute_count;
RegisterList attributes;
221
222
int sampler_count;
RegisterList samplers;
223
VariableList *variables; // variables to register mapping.
224
225
int centroid_allowed;
int have_ctab;
226
int have_relative_input_registers;
227
228
229
230
231
232
233
int determined_constants_arrays;
int predicated;
int support_nv2;
int support_nv3;
int support_nv4;
int support_glsl120;
int glsl_generated_lit_opcode;
234
235
236
};
237
238
// Convenience functions for allocators...
239
MOJOSHADER_parseData out_of_mem_data = {
240
"Out of memory", -1, 0, 0, 0, 0, MOJOSHADER_TYPE_UNKNOWN, 0, 0, 0, 0
241
242
};
243
const char *out_of_mem_str = "Out of memory";
244
static inline int out_of_memory(Context *ctx)
245
{
246
247
248
249
250
if (ctx->failstr == NULL)
ctx->failstr = out_of_mem_str; // fail() would call malloc().
return FAIL;
} // out_of_memory
251
static inline void *Malloc(Context *ctx, const size_t len)
252
{
253
void *retval = ctx->malloc((int) len, ctx->malloc_data);
254
255
256
if (retval == NULL)
out_of_memory(ctx);
return retval;
257
258
259
} // Malloc
260
static inline void Free(Context *ctx, void *ptr)
261
{
262
if (ptr != NULL) // check for NULL in case of dumb free() impl.
263
ctx->free(ptr, ctx->malloc_data);
264
265
266
} // Free
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
// jump between output sections in the context...
static inline void push_output(Context *ctx, OutputList *section)
{
assert(ctx->output_stack_len < STATICARRAYLEN(ctx->output_stack));
ctx->output_stack[ctx->output_stack_len] = ctx->output;
ctx->indent_stack[ctx->output_stack_len] = ctx->indent;
ctx->output_stack_len++;
ctx->output = section;
ctx->indent = 0;
} // push_output
static inline void pop_output(Context *ctx)
{
assert(ctx->output_stack_len > 0);
ctx->output_stack_len--;
ctx->output = ctx->output_stack[ctx->output_stack_len];
ctx->indent = ctx->indent_stack[ctx->output_stack_len];
} // pop_output
// Shader model version magic...
291
292
static inline uint32 ver_ui32(const uint8 major, const uint8 minor)
{
293
return ( (((uint32) major) << 16) | (((minor) == 0xFF) ? 1 : (minor)) );
294
295
} // version_ui32
296
static inline int shader_version_supported(const uint8 maj, const uint8 min)
297
298
299
300
{
return (ver_ui32(maj,min) <= ver_ui32(MAX_SHADER_MAJOR, MAX_SHADER_MINOR));
} // shader_version_supported
301
302
static inline int shader_version_atleast(const Context *ctx, const uint8 maj,
const uint8 min)
303
304
305
306
{
return (ver_ui32(ctx->major_ver, ctx->minor_ver) >= ver_ui32(maj, min));
} // shader_version_atleast
307
308
309
310
311
312
static inline int shader_version_exactly(const Context *ctx, const uint8 maj,
const uint8 min)
{
return ((ctx->major_ver == maj) && (ctx->minor_ver == min));
} // shader_version_exactly
313
314
315
316
317
318
319
320
321
322
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
323
324
325
326
327
328
static inline int isfail(const Context *ctx)
{
return (ctx->failstr != NULL);
} // isfail
329
330
static inline char *get_scratch_buffer(Context *ctx)
331
{
332
333
334
335
336
337
338
339
340
341
342
343
if ((ctx->scratchidx >= SCRATCH_BUFFERS) && !isfail(ctx))
{
// can't call fail() here, since it calls back into here.
const char *errstr = "BUG: overflowed scratch buffers";
char *failstr = (char *) Malloc(ctx, strlen(errstr) + 1);
if (failstr != NULL)
{
strcpy(failstr, errstr);
ctx->failstr = failstr;
} // if
} // if
344
ctx->scratchidx = (ctx->scratchidx + 1) % SCRATCH_BUFFERS;
345
return ctx->scratch[ctx->scratchidx];
346
347
} // get_scratch_buffer
348
349
350
static int failf(Context *ctx, const char *fmt, ...) ISPRINTF(2,3);
static int failf(Context *ctx, const char *fmt, ...)
351
{
352
353
if (ctx->failstr == NULL) // don't change existing error.
{
354
char *scratch = get_scratch_buffer(ctx);
355
356
va_list ap;
va_start(ap, fmt);
357
const int len = vsnprintf(scratch, SCRATCH_BUFFER_SIZE, fmt, ap);
358
359
va_end(ap);
360
char *failstr = (char *) Malloc(ctx, len + 1);
361
if (failstr != NULL)
362
363
{
// see comments about scratch buffer overflow in output_line().
364
if (len < SCRATCH_BUFFER_SIZE)
365
366
367
368
369
370
371
372
strcpy(failstr, scratch); // copy it over.
else
{
va_start(ap, fmt);
vsnprintf(failstr, len + 1, fmt, ap); // rebuild it.
va_end(ap);
} // else
ctx->failstr = failstr;
373
} // if
374
375
376
377
378
379
} // if
return FAIL;
} // failf
380
static inline int fail(Context *ctx, const char *reason)
381
382
383
384
385
{
return failf(ctx, "%s", reason);
} // fail
386
387
static int output_line(Context *ctx, const char *fmt, ...) ISPRINTF(2,3);
static int output_line(Context *ctx, const char *fmt, ...)
388
{
389
390
OutputListNode *item = NULL;
391
if (isfail(ctx))
392
393
return FAIL; // we failed previously, don't go on...
394
char *scratch = get_scratch_buffer(ctx);
395
396
const int indent = ctx->indent;
397
398
if (indent > 0)
memset(scratch, '\t', indent);
399
400
401
va_list ap;
va_start(ap, fmt);
402
const int len = vsnprintf(scratch+indent, SCRATCH_BUFFER_SIZE-indent, fmt, ap) + indent;
403
404
va_end(ap);
405
item = (OutputListNode *) Malloc(ctx, sizeof (OutputListNode));
406
if (item == NULL)
407
return FAIL;
408
409
item->str = (char *) Malloc(ctx, len + 1);
410
if (item->str == NULL)
411
{
412
Free(ctx, item);
413
return FAIL;
414
415
} // if
416
417
418
// If we overflowed our scratch buffer, that's okay. We were going to
// allocate anyhow...the scratch buffer just lets us avoid a second
// run of vsnprintf().
419
if (len < SCRATCH_BUFFER_SIZE)
420
421
422
strcpy(item->str, scratch); // copy it over.
else
{
423
424
if (indent > 0)
memset(item->str, '\t', indent);
425
va_start(ap, fmt);
426
vsnprintf(item->str+indent, len + 1, fmt, ap); // rebuild it.
427
428
va_end(ap);
} // else
429
430
item->next = NULL;
431
432
433
ctx->output->tail->next = item;
ctx->output->tail = item;
434
ctx->output_len += len + ctx->endline_len;
435
436
437
438
439
return 0;
} // output_line
440
441
442
443
444
445
446
// this is just to stop gcc whining.
static inline int output_blank_line(Context *ctx)
{
return output_line(ctx, "%s", "");
} // output_blank_line
447
// !!! FIXME: this is sort of nasty.
448
449
static void floatstr(Context *ctx, char *buf, size_t bufsize, float f,
int leavedecimal)
450
451
{
const size_t len = snprintf(buf, bufsize, "%f", f);
452
if ((len+2) >= bufsize)
453
454
455
456
457
458
fail(ctx, "BUG: internal buffer is too small");
else
{
char *end = buf + len;
char *ptr = strchr(buf, '.');
if (ptr == NULL)
459
460
461
{
if (leavedecimal)
strcat(buf, ".0");
462
return; // done.
463
} // if
464
465
466
467
468
469
470
471
472
while (--end != ptr)
{
if (*end != '0')
{
end++;
break;
} // if
} // while
473
474
if ((leavedecimal) && (end == ptr))
end += 2;
475
476
477
478
*end = '\0'; // chop extra '0' or all decimal places off.
} // else
} // floatstr
479
480
481
// Deal with register lists... !!! FIXME: I sort of hate this.
482
static void free_reglist(MOJOSHADER_free f, void *d, RegisterList *item)
483
484
485
486
{
while (item != NULL)
{
RegisterList *next = item->next;
487
f(item, d);
488
489
490
491
492
493
494
495
496
item = next;
} // while
} // free_reglist
static inline uint32 reg_to_ui32(const RegisterType regtype, const int regnum)
{
return ( ((uint32) regtype) | (((uint32) regnum) << 16) );
} // reg_to_uint32
497
498
499
static RegisterList *reglist_insert(Context *ctx, RegisterList *prev,
const RegisterType regtype,
const int regnum)
500
501
502
503
504
505
506
{
const uint32 newval = reg_to_ui32(regtype, regnum);
RegisterList *item = prev->next;
while (item != NULL)
{
const uint32 val = reg_to_ui32(item->regtype, item->regnum);
if (newval == val)
507
return item; // already set, so we're done.
508
509
510
511
512
513
514
515
516
517
518
else if (newval < val) // insert it here.
break;
else // if (newval > val)
{
// keep going, we're not to the insertion point yet.
prev = item;
item = item->next;
} // else
} // while
// we need to insert an entry after (prev).
519
item = (RegisterList *) Malloc(ctx, sizeof (RegisterList));
520
if (item != NULL)
521
522
523
{
item->regtype = regtype;
item->regnum = regnum;
524
item->usage = MOJOSHADER_USAGE_UNKNOWN;
525
526
item->index = 0;
item->writemask = 0;
527
item->misc = 0;
528
item->array = NULL;
529
530
item->next = prev->next;
prev->next = item;
531
} // if
532
533
return item;
534
535
} // reglist_insert
536
537
static RegisterList *reglist_find(const RegisterList *prev,
const RegisterType rtype, const int regnum)
538
{
539
540
const uint32 newval = reg_to_ui32(rtype, regnum);
RegisterList *item = prev->next;
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
while (item != NULL)
{
const uint32 val = reg_to_ui32(item->regtype, item->regnum);
if (newval == val)
return item; // here it is.
else if (newval < val) // should have been here if it existed.
return NULL;
else // if (newval > val)
{
// keep going, we're not to the insertion point yet.
prev = item;
item = item->next;
} // else
} // while
return NULL; // wasn't in the list.
557
558
559
560
561
562
563
} // reglist_find
static inline const RegisterList *reglist_exists(RegisterList *prev,
const RegisterType regtype,
const int regnum)
{
return (reglist_find(prev, regtype, regnum));
564
565
566
567
568
569
570
571
572
573
574
575
} // reglist_exists
static inline void set_used_register(Context *ctx, const RegisterType regtype,
const int regnum)
{
reglist_insert(ctx, &ctx->used_registers, regtype, regnum);
} // set_used_register
static inline int get_used_register(Context *ctx, const RegisterType regtype,
const int regnum)
{
return (reglist_exists(&ctx->used_registers, regtype, regnum) != NULL);
576
} // get_used_register
577
578
579
580
581
582
583
584
585
586
587
588
589
static inline void set_defined_register(Context *ctx, const RegisterType rtype,
const int regnum)
{
reglist_insert(ctx, &ctx->defined_registers, rtype, regnum);
} // set_defined_register
static inline int get_defined_register(Context *ctx, const RegisterType rtype,
const int regnum)
{
return (reglist_exists(&ctx->defined_registers, rtype, regnum) != NULL);
} // get_defined_register
590
591
static void add_attribute_register(Context *ctx, const RegisterType rtype,
const int regnum, const MOJOSHADER_usage usage,
592
const int index, const int writemask, int flags)
593
594
595
596
597
{
RegisterList *item = reglist_insert(ctx, &ctx->attributes, rtype, regnum);
item->usage = usage;
item->index = index;
item->writemask = writemask;
598
item->misc = flags;
599
600
} // add_attribute_register
601
602
603
static inline void add_sampler(Context *ctx, const RegisterType rtype,
const int regnum, const TextureType ttype)
{
604
// !!! FIXME: make sure it doesn't exist?
605
606
607
608
RegisterList *item = reglist_insert(ctx, &ctx->samplers, rtype, regnum);
item->index = (int) ttype;
} // add_sampler
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
static inline int writemask_xyzw(const int writemask)
{
return (writemask == 0xF); // 0xF == 1111. No explicit mask (full!).
} // writemask_xyzw
static inline int writemask_xyz(const int writemask)
{
return (writemask == 0x7); // 0x7 == 0111. (that is: xyz)
} // writemask_xyz
static inline int writemask_xy(const int writemask)
{
return (writemask == 0x3); // 0x3 == 0011. (that is: xy)
} // writemask_xy
static inline int writemask_x(const int writemask)
{
return (writemask == 0x1); // 0x1 == 0001. (that is: x)
} // writemask_x
static inline int writemask_y(const int writemask)
{
return (writemask == 0x2); // 0x1 == 0010. (that is: y)
} // writemask_y
640
641
642
643
644
645
646
647
static inline int replicate_swizzle(const int swizzle)
{
return ( (((swizzle >> 0) & 0x3) == ((swizzle >> 2) & 0x3)) &&
(((swizzle >> 2) & 0x3) == ((swizzle >> 4) & 0x3)) &&
(((swizzle >> 4) & 0x3) == ((swizzle >> 6) & 0x3)) );
} // replicate_swizzle
648
649
static inline int no_swizzle(const int swizzle)
{
650
return (swizzle == 0xE4); // 0xE4 == 11100100 ... 0 1 2 3. No swizzle.
651
652
653
} // no_swizzle
654
655
656
657
658
static inline int vecsize_from_writemask(const int m)
{
return (m & 1) + ((m >> 1) & 1) + ((m >> 2) & 1) + ((m >> 3) & 1);
} // vecsize_from_writemask
659
660
661
662
663
664
665
666
static int allocate_scratch_register(Context *ctx)
{
const int retval = ctx->scratch_registers++;
if (retval >= ctx->max_scratch_registers)
ctx->max_scratch_registers = retval + 1;
return retval;
} // allocate_scratch_register
667
static int allocate_branch_label(Context *ctx)
668
{
669
670
return ctx->assigned_branch_labels++;
} // allocate_branch_label
671
672
673
674
// D3D stuff that's used in more than just the d3d profile...
675
676
677
static const char swizzle_channels[] = { 'x', 'y', 'z', 'w' };
678
679
680
681
682
static const char *usagestrs[] = {
"_position", "_blendweight", "_blendindices", "_normal", "_psize",
"_texcoord", "_tangent", "_binormal", "_tessfactor", "_positiont",
"_color", "_fog", "_depth", "_sample"
};
683
684
static const char *get_D3D_register_string(Context *ctx,
685
RegisterType regtype,
686
687
int regnum, char *regnum_str,
size_t regnum_size)
688
{
689
const char *retval = NULL;
690
int has_number = 1;
691
692
switch (regtype)
693
{
694
case REG_TYPE_TEMP:
695
retval = "r";
696
697
break;
698
case REG_TYPE_INPUT:
699
retval = "v";
700
701
break;
702
case REG_TYPE_CONST:
703
704
705
retval = "c";
break;
706
case REG_TYPE_ADDRESS: // (or REG_TYPE_TEXTURE, same value.)
707
retval = shader_is_vertex(ctx) ? "a" : "t";
708
709
break;
710
case REG_TYPE_RASTOUT:
711
switch ((RastOutType) regnum)
712
{
713
714
715
case RASTOUT_TYPE_POSITION: retval = "oPos"; break;
case RASTOUT_TYPE_FOG: retval = "oFog"; break;
case RASTOUT_TYPE_POINT_SIZE: retval = "oPts"; break;
716
} // switch
717
has_number = 0;
718
719
break;
720
case REG_TYPE_ATTROUT:
721
retval = "oD";
722
723
break;
724
case REG_TYPE_OUTPUT: // (or REG_TYPE_TEXCRDOUT, same value.)
725
if (shader_is_vertex(ctx) && shader_version_atleast(ctx, 3, 0))
726
retval = "o";
727
else
728
retval = "oT";
729
730
break;
731
case REG_TYPE_CONSTINT:
732
retval = "i";
733
734
break;
735
case REG_TYPE_COLOROUT:
736
retval = "oC";
737
738
break;
739
case REG_TYPE_DEPTHOUT:
740
retval = "oDepth";
741
has_number = 0;
742
743
break;
744
case REG_TYPE_SAMPLER:
745
retval = "s";
746
747
break;
748
case REG_TYPE_CONSTBOOL:
749
retval = "b";
750
751
break;
752
case REG_TYPE_LOOP:
753
retval = "aL";
754
has_number = 0;
755
756
break;
757
case REG_TYPE_MISCTYPE:
758
switch ((const MiscTypeType) regnum)
759
{
760
761
case MISCTYPE_TYPE_POSITION: retval = "vPos"; break;
case MISCTYPE_TYPE_FACE: retval = "vFace"; break;
762
} // switch
763
has_number = 0;
764
765
break;
766
case REG_TYPE_LABEL:
767
retval = "l";
768
769
break;
770
case REG_TYPE_PREDICATE:
771
retval = "p";
772
break;
773
774
775
776
777
778
779
//case REG_TYPE_TEMPFLOAT16: // !!! FIXME: don't know this asm string
default:
fail(ctx, "unknown register type");
retval = "???";
has_number = 0;
break;
780
781
} // switch
782
783
784
785
786
if (has_number)
snprintf(regnum_str, regnum_size, "%u", (uint) regnum);
else
regnum_str[0] = '\0';
787
788
789
790
return retval;
} // get_D3D_register_string
791
792
793
794
795
796
797
798
799
#define AT_LEAST_ONE_PROFILE 0
#if !SUPPORT_PROFILE_D3D
#define PROFILE_EMITTER_D3D(op)
#else
#undef AT_LEAST_ONE_PROFILE
#define AT_LEAST_ONE_PROFILE 1
#define PROFILE_EMITTER_D3D(op) emit_D3D_##op,
800
static const char *make_D3D_srcarg_string_in_buf(Context *ctx,
801
802
const SourceArgInfo *arg,
char *buf, size_t buflen)
803
804
805
{
const char *premod_str = "";
const char *postmod_str = "";
806
switch (arg->src_mod)
807
808
809
810
811
812
813
814
815
816
817
{
case SRCMOD_NEGATE:
premod_str = "-";
break;
case SRCMOD_BIASNEGATE:
premod_str = "-";
// fall through.
case SRCMOD_BIAS:
postmod_str = "_bias";
break;
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
case SRCMOD_SIGNNEGATE:
premod_str = "-";
// fall through.
case SRCMOD_SIGN:
postmod_str = "_bx2";
break;
case SRCMOD_COMPLEMENT:
premod_str = "1-";
break;
case SRCMOD_X2NEGATE:
premod_str = "-";
// fall through.
case SRCMOD_X2:
postmod_str = "_x2";
break;
case SRCMOD_DZ:
postmod_str = "_dz";
break;
case SRCMOD_DW:
postmod_str = "_dw";
break;
case SRCMOD_ABSNEGATE:
premod_str = "-";
// fall through.
case SRCMOD_ABS:
postmod_str = "_abs";
break;
case SRCMOD_NOT:
premod_str = "!";
break;
855
856
857
858
case SRCMOD_NONE:
case SRCMOD_TOTAL:
break; // stop compiler whining.
859
860
861
862
} // switch
char regnum_str[16];
863
864
865
const char *regtype_str = get_D3D_register_string(ctx, arg->regtype,
arg->regnum, regnum_str,
sizeof (regnum_str));
866
867
868
869
if (regtype_str == NULL)
{
fail(ctx, "Unknown source register type.");
870
return "";
871
872
} // if
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
const char *rel_lbracket = "";
const char *rel_rbracket = "";
char rel_swizzle[4] = { '\0' };
char rel_regnum_str[16] = { '\0' };
const char *rel_regtype_str = "";
if (arg->relative)
{
rel_swizzle[0] = '.';
rel_swizzle[1] = swizzle_channels[arg->relative_component];
rel_swizzle[2] = '\0';
rel_lbracket = "[";
rel_rbracket = "]";
rel_regtype_str = get_D3D_register_string(ctx, arg->relative_regtype,
arg->relative_regnum,
rel_regnum_str,
sizeof (rel_regnum_str));
if (regtype_str == NULL)
{
fail(ctx, "Unknown relative source register type.");
return "";
} // if
} // if
897
898
char swizzle_str[6];
int i = 0;
899
const int scalar = scalar_register(ctx->shader_type, arg->regtype, arg->regnum);
900
if (!scalar && !no_swizzle(arg->swizzle))
901
902
{
swizzle_str[i++] = '.';
903
904
905
906
swizzle_str[i++] = swizzle_channels[arg->swizzle_x];
swizzle_str[i++] = swizzle_channels[arg->swizzle_y];
swizzle_str[i++] = swizzle_channels[arg->swizzle_z];
swizzle_str[i++] = swizzle_channels[arg->swizzle_w];
907
908
909
910
// .xyzz is the same as .xyz, .z is the same as .zzzz, etc.
while (swizzle_str[i-1] == swizzle_str[i-2])
i--;
911
912
913
914
} // if
swizzle_str[i] = '\0';
assert(i < sizeof (swizzle_str));
915
// !!! FIXME: c12[a0.x] actually needs to be c[a0.x + 12]
916
917
918
919
snprintf(buf, buflen, "%s%s%s%s%s%s%s%s%s%s",
premod_str, regtype_str, regnum_str, postmod_str,
rel_lbracket, rel_regtype_str, rel_regnum_str, rel_swizzle,
rel_rbracket, swizzle_str);
920
// !!! FIXME: make sure the scratch buffer was large enough.
921
return buf;
922
} // make_D3D_srcarg_string_in_buf
923
924
925
static const char *make_D3D_destarg_string(Context *ctx)
926
{
927
const DestArgInfo *arg = &ctx->dest_arg;
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
const char *result_shift_str = "";
switch (arg->result_shift)
{
case 0x1: result_shift_str = "_x2"; break;
case 0x2: result_shift_str = "_x4"; break;
case 0x3: result_shift_str = "_x8"; break;
case 0xD: result_shift_str = "_d8"; break;
case 0xE: result_shift_str = "_d4"; break;
case 0xF: result_shift_str = "_d2"; break;
} // switch
const char *sat_str = (arg->result_mod & MOD_SATURATE) ? "_sat" : "";
const char *pp_str = (arg->result_mod & MOD_PP) ? "_pp" : "";
const char *cent_str = (arg->result_mod & MOD_CENTROID) ? "_centroid" : "";
char regnum_str[16];
const char *regtype_str = get_D3D_register_string(ctx, arg->regtype,
arg->regnum, regnum_str,
sizeof (regnum_str));
if (regtype_str == NULL)
{
fail(ctx, "Unknown destination register type.");
return "";
} // if
char writemask_str[6];
int i = 0;
956
const int scalar = scalar_register(ctx->shader_type, arg->regtype, arg->regnum);
957
if (!scalar && !writemask_xyzw(arg->writemask))
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
{
writemask_str[i++] = '.';
if (arg->writemask0) writemask_str[i++] = 'x';
if (arg->writemask1) writemask_str[i++] = 'y';
if (arg->writemask2) writemask_str[i++] = 'z';
if (arg->writemask3) writemask_str[i++] = 'w';
} // if
writemask_str[i] = '\0';
assert(i < sizeof (writemask_str));
const char *pred_left = "";
const char *pred_right = "";
char pred[32] = { '\0' };
if (ctx->predicated)
{
pred_left = "(";
pred_right = ") ";
975
make_D3D_srcarg_string_in_buf(ctx, &ctx->predicate_arg,
976
977
978
979
980
981
982
983
984
985
pred, sizeof (pred));
} // if
// may turn out something like "_x2_sat_pp_centroid (!p0.x) r0.xyzw" ...
char *retval = get_scratch_buffer(ctx);
snprintf(retval, SCRATCH_BUFFER_SIZE, "%s%s%s%s %s%s%s%s%s%s",
result_shift_str, sat_str, pp_str, cent_str,
pred_left, pred, pred_right,
regtype_str, regnum_str, writemask_str);
// !!! FIXME: make sure the scratch buffer was large enough.
986
return retval;
987
988
989
} // make_D3D_destarg_string
990
static const char *make_D3D_srcarg_string(Context *ctx, const int idx)
991
992
993
994
995
996
997
998
999
{
if (idx >= STATICARRAYLEN(ctx->source_args))
{
fail(ctx, "Too many source args");
return "";
} // if
const SourceArgInfo *arg = &ctx->source_args[idx];
char *buf = get_scratch_buffer(ctx);
1000
return make_D3D_srcarg_string_in_buf(ctx, arg, buf, SCRATCH_BUFFER_SIZE);