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