summaryrefslogtreecommitdiff
path: root/src/gallium/drivers/radeonsi/si_shader.h
blob: 058bb35cf0a55bc9e1e5ed029b456d550b1303da (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
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
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
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
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
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
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
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
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
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
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
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
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
/*
 * Copyright 2012 Advanced Micro Devices, Inc.
 * All Rights Reserved.
 *
 * Permission is hereby granted, free of charge, to any person obtaining a
 * copy of this software and associated documentation files (the "Software"),
 * to deal in the Software without restriction, including without limitation
 * on the rights to use, copy, modify, merge, publish, distribute, sub
 * license, and/or sell copies of the Software, and to permit persons to whom
 * the Software is furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice (including the next
 * paragraph) shall be included in all copies or substantial portions of the
 * Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL
 * THE AUTHOR(S) AND/OR THEIR SUPPLIERS BE LIABLE FOR ANY CLAIM,
 * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
 * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE
 * USE OR OTHER DEALINGS IN THE SOFTWARE.
 */

/* The compiler middle-end architecture: Explaining (non-)monolithic shaders
 * -------------------------------------------------------------------------
 *
 * Typically, there is one-to-one correspondence between API and HW shaders,
 * that is, for every API shader, there is exactly one shader binary in
 * the driver.
 *
 * The problem with that is that we also have to emulate some API states
 * (e.g. alpha-test, and many others) in shaders too. The two obvious ways
 * to deal with it are:
 * - each shader has multiple variants for each combination of emulated states,
 *   and the variants are compiled on demand, possibly relying on a shader
 *   cache for good performance
 * - patch shaders at the binary level
 *
 * This driver uses something completely different. The emulated states are
 * usually implemented at the beginning or end of shaders. Therefore, we can
 * split the shader into 3 parts:
 * - prolog part (shader code dependent on states)
 * - main part (the API shader)
 * - epilog part (shader code dependent on states)
 *
 * Each part is compiled as a separate shader and the final binaries are
 * concatenated. This type of shader is called non-monolithic, because it
 * consists of multiple independent binaries. Creating a new shader variant
 * is therefore only a concatenation of shader parts (binaries) and doesn't
 * involve any compilation. The main shader parts are the only parts that are
 * compiled when applications create shader objects. The prolog and epilog
 * parts are compiled on the first use and saved, so that their binaries can
 * be reused by many other shaders.
 *
 * One of the roles of the prolog part is to compute vertex buffer addresses
 * for vertex shaders. A few of the roles of the epilog part are color buffer
 * format conversions in pixel shaders that we have to do manually, and write
 * tessellation factors in tessellation control shaders. The prolog and epilog
 * have many other important responsibilities in various shader stages.
 * They don't just "emulate legacy stuff".
 *
 * Monolithic shaders are shaders where the parts are combined before LLVM
 * compilation, and the whole thing is compiled and optimized as one unit with
 * one binary on the output. The result is the same as the non-monolithic
 * shader, but the final code can be better, because LLVM can optimize across
 * all shader parts. Monolithic shaders aren't usually used except for these
 * special cases:
 *
 * 1) Some rarely-used states require modification of the main shader part
 *    itself, and in such cases, only the monolithic shader variant is
 *    compiled, and that's always done on the first use.
 *
 * 2) When we do cross-stage optimizations for separate shader objects and
 *    e.g. eliminate unused shader varyings, the resulting optimized shader
 *    variants are always compiled as monolithic shaders, and always
 *    asynchronously (i.e. not stalling ongoing rendering). We call them
 *    "optimized monolithic" shaders. The important property here is that
 *    the non-monolithic unoptimized shader variant is always available for use
 *    when the asynchronous compilation of the optimized shader is not done
 *    yet.
 *
 * Starting with GFX9 chips, some shader stages are merged, and the number of
 * shader parts per shader increased. The complete new list of shader parts is:
 * - 1st shader: prolog part
 * - 1st shader: main part
 * - 2nd shader: prolog part
 * - 2nd shader: main part
 * - 2nd shader: epilog part
 */

/* How linking shader inputs and outputs between vertex, tessellation, and
 * geometry shaders works.
 *
 * Inputs and outputs between shaders are stored in a buffer. This buffer
 * lives in LDS (typical case for tessellation), but it can also live
 * in memory (ESGS). Each input or output has a fixed location within a vertex.
 * The highest used input or output determines the stride between vertices.
 *
 * Since GS and tessellation are only possible in the OpenGL core profile,
 * only these semantics are valid for per-vertex data:
 *
 *   Name             Location
 *
 *   POSITION         0
 *   PSIZE            1
 *   CLIPDIST0..1     2..3
 *   CULLDIST0..1     (not implemented)
 *   GENERIC0..31     4..35
 *
 * For example, a shader only writing GENERIC0 has the output stride of 5.
 *
 * Only these semantics are valid for per-patch data:
 *
 *   Name             Location
 *
 *   TESSOUTER        0
 *   TESSINNER        1
 *   PATCH0..29       2..31
 *
 * That's how independent shaders agree on input and output locations.
 * The si_shader_io_get_unique_index function assigns the locations.
 *
 * For tessellation, other required information for calculating the input and
 * output addresses like the vertex stride, the patch stride, and the offsets
 * where per-vertex and per-patch data start, is passed to the shader via
 * user data SGPRs. The offsets and strides are calculated at draw time and
 * aren't available at compile time.
 */

#ifndef SI_SHADER_H
#define SI_SHADER_H

#include <llvm-c/Core.h> /* LLVMModuleRef */
#include <llvm-c/TargetMachine.h>
#include "util/u_inlines.h"
#include "util/u_queue.h"
#include "util/simple_mtx.h"

#include "ac_binary.h"
#include "ac_llvm_build.h"
#include "ac_llvm_util.h"

#include <stdio.h>

// Use LDS symbols when supported by LLVM. Can be disabled for testing the old
// path on newer LLVM for now. Should be removed in the long term.
#define USE_LDS_SYMBOLS (true)

struct nir_shader;
struct si_shader;
struct si_context;

#define SI_MAX_ATTRIBS		16
#define SI_MAX_VS_OUTPUTS	40

/* Shader IO unique indices are supported for TGSI_SEMANTIC_GENERIC with an
 * index smaller than this.
 */
#define SI_MAX_IO_GENERIC       32

/* SGPR user data indices */
enum {
	SI_SGPR_RW_BUFFERS,  /* rings (& stream-out, VS only) */
	SI_SGPR_BINDLESS_SAMPLERS_AND_IMAGES,
	SI_SGPR_CONST_AND_SHADER_BUFFERS, /* or just a constant buffer 0 pointer */
	SI_SGPR_SAMPLERS_AND_IMAGES,
	SI_NUM_RESOURCE_SGPRS,

	/* API VS, TES without GS, GS copy shader */
	SI_SGPR_VS_STATE_BITS = SI_NUM_RESOURCE_SGPRS,
	SI_NUM_VS_STATE_RESOURCE_SGPRS,

	/* all VS variants */
	SI_SGPR_BASE_VERTEX = SI_NUM_VS_STATE_RESOURCE_SGPRS,
	SI_SGPR_START_INSTANCE,
	SI_SGPR_DRAWID,
	SI_VS_NUM_USER_SGPR,

	SI_SGPR_VS_BLIT_DATA = SI_SGPR_CONST_AND_SHADER_BUFFERS,

	/* TES */
	SI_SGPR_TES_OFFCHIP_LAYOUT = SI_NUM_VS_STATE_RESOURCE_SGPRS,
	SI_SGPR_TES_OFFCHIP_ADDR,
	SI_TES_NUM_USER_SGPR,

	/* GFX6-8: TCS only */
	GFX6_SGPR_TCS_OFFCHIP_LAYOUT = SI_NUM_RESOURCE_SGPRS,
	GFX6_SGPR_TCS_OUT_OFFSETS,
	GFX6_SGPR_TCS_OUT_LAYOUT,
	GFX6_SGPR_TCS_IN_LAYOUT,
	GFX6_TCS_NUM_USER_SGPR,

	/* GFX9: Merged shaders. */
	/* 2ND_CONST_AND_SHADER_BUFFERS is set in USER_DATA_ADDR_LO (SGPR0). */
	/* 2ND_SAMPLERS_AND_IMAGES is set in USER_DATA_ADDR_HI (SGPR1). */
	GFX9_MERGED_NUM_USER_SGPR = SI_VS_NUM_USER_SGPR,

	/* GFX9: Merged LS-HS (VS-TCS) only. */
	GFX9_SGPR_TCS_OFFCHIP_LAYOUT = GFX9_MERGED_NUM_USER_SGPR,
	GFX9_SGPR_TCS_OUT_OFFSETS,
	GFX9_SGPR_TCS_OUT_LAYOUT,
	GFX9_TCS_NUM_USER_SGPR,

	/* GS limits */
	GFX6_GS_NUM_USER_SGPR = SI_NUM_RESOURCE_SGPRS,
	GFX9_VSGS_NUM_USER_SGPR = SI_VS_NUM_USER_SGPR,
	GFX9_TESGS_NUM_USER_SGPR = SI_TES_NUM_USER_SGPR,
	SI_GSCOPY_NUM_USER_SGPR = SI_NUM_VS_STATE_RESOURCE_SGPRS,

	/* PS only */
	SI_SGPR_ALPHA_REF	= SI_NUM_RESOURCE_SGPRS,
	SI_PS_NUM_USER_SGPR,

	/* The value has to be 12, because the hw requires that descriptors
	 * are aligned to 4 SGPRs.
	 */
	SI_SGPR_VS_VB_DESCRIPTOR_FIRST = 12,
};

/* LLVM function parameter indices */
enum {
	SI_NUM_RESOURCE_PARAMS = 4,

	/* PS only parameters */
	SI_PARAM_ALPHA_REF = SI_NUM_RESOURCE_PARAMS,
	SI_PARAM_PRIM_MASK,
	SI_PARAM_PERSP_SAMPLE,
	SI_PARAM_PERSP_CENTER,
	SI_PARAM_PERSP_CENTROID,
	SI_PARAM_PERSP_PULL_MODEL,
	SI_PARAM_LINEAR_SAMPLE,
	SI_PARAM_LINEAR_CENTER,
	SI_PARAM_LINEAR_CENTROID,
	SI_PARAM_LINE_STIPPLE_TEX,
	SI_PARAM_POS_X_FLOAT,
	SI_PARAM_POS_Y_FLOAT,
	SI_PARAM_POS_Z_FLOAT,
	SI_PARAM_POS_W_FLOAT,
	SI_PARAM_FRONT_FACE,
	SI_PARAM_ANCILLARY,
	SI_PARAM_SAMPLE_COVERAGE,
	SI_PARAM_POS_FIXED_PT,

	SI_NUM_PARAMS = SI_PARAM_POS_FIXED_PT + 9, /* +8 for COLOR[0..1] */
};

/* Fields of driver-defined VS state SGPR. */
#define S_VS_STATE_CLAMP_VERTEX_COLOR(x)	(((unsigned)(x) & 0x1) << 0)
#define C_VS_STATE_CLAMP_VERTEX_COLOR		0xFFFFFFFE
#define S_VS_STATE_INDEXED(x)			(((unsigned)(x) & 0x1) << 1)
#define C_VS_STATE_INDEXED			0xFFFFFFFD
#define S_VS_STATE_OUTPRIM(x)			(((unsigned)(x) & 0x3) << 2)
#define C_VS_STATE_OUTPRIM			0xFFFFFFF3
#define S_VS_STATE_PROVOKING_VTX_INDEX(x)	(((unsigned)(x) & 0x3) << 4)
#define C_VS_STATE_PROVOKING_VTX_INDEX		0xFFFFFFCF
#define S_VS_STATE_STREAMOUT_QUERY_ENABLED(x)	(((unsigned)(x) & 0x1) << 6)
#define C_VS_STATE_STREAMOUT_QUERY_ENABLED	0xFFFFFFBF
#define S_VS_STATE_LS_OUT_PATCH_SIZE(x)		(((unsigned)(x) & 0x1FFF) << 8)
#define C_VS_STATE_LS_OUT_PATCH_SIZE		0xFFE000FF
#define S_VS_STATE_LS_OUT_VERTEX_SIZE(x)	(((unsigned)(x) & 0xFF) << 24)
#define C_VS_STATE_LS_OUT_VERTEX_SIZE		0x00FFFFFF

enum {
	/* Use a property enum that CS wouldn't use. */
	TGSI_PROPERTY_CS_LOCAL_SIZE = TGSI_PROPERTY_FS_COORD_ORIGIN,

	/* These represent the number of SGPRs the shader uses. */
	SI_VS_BLIT_SGPRS_POS = 3,
	SI_VS_BLIT_SGPRS_POS_COLOR = 7,
	SI_VS_BLIT_SGPRS_POS_TEXCOORD = 9,
};

/**
 * For VS shader keys, describe any fixups required for vertex fetch.
 *
 * \ref log_size, \ref format, and the number of channels are interpreted as
 * by \ref ac_build_opencoded_load_format.
 *
 * Note: all bits 0 (size = 1 byte, num channels = 1, format = float) is an
 * impossible format and indicates that no fixup is needed (just use
 * buffer_load_format_xyzw).
 */
union si_vs_fix_fetch {
	struct {
		uint8_t log_size : 2; /* 1, 2, 4, 8 or bytes per channel */
		uint8_t num_channels_m1 : 2; /* number of channels minus 1 */
		uint8_t format : 3; /* AC_FETCH_FORMAT_xxx */
		uint8_t reverse : 1; /* reverse XYZ channels */
	} u;
	uint8_t bits;
};

struct si_shader;

/* State of the context creating the shader object. */
struct si_compiler_ctx_state {
	/* Should only be used by si_init_shader_selector_async and
	 * si_build_shader_variant if thread_index == -1 (non-threaded). */
	struct ac_llvm_compiler		*compiler;

	/* Used if thread_index == -1 or if debug.async is true. */
	struct pipe_debug_callback	debug;

	/* Used for creating the log string for gallium/ddebug. */
	bool				is_debug_context;
};

struct si_shader_info {
	uint num_tokens;

	ubyte num_inputs;
	ubyte num_outputs;
	ubyte input_semantic_name[PIPE_MAX_SHADER_INPUTS]; /**< TGSI_SEMANTIC_x */
	ubyte input_semantic_index[PIPE_MAX_SHADER_INPUTS];
	ubyte input_interpolate[PIPE_MAX_SHADER_INPUTS];
	ubyte input_interpolate_loc[PIPE_MAX_SHADER_INPUTS];
	ubyte input_usage_mask[PIPE_MAX_SHADER_INPUTS];
	ubyte input_cylindrical_wrap[PIPE_MAX_SHADER_INPUTS];
	ubyte output_semantic_name[PIPE_MAX_SHADER_OUTPUTS]; /**< TGSI_SEMANTIC_x */
	ubyte output_semantic_index[PIPE_MAX_SHADER_OUTPUTS];
	ubyte output_usagemask[PIPE_MAX_SHADER_OUTPUTS];
	ubyte output_streams[PIPE_MAX_SHADER_OUTPUTS];

	ubyte num_system_values;
	ubyte system_value_semantic_name[PIPE_MAX_SHADER_INPUTS];

	ubyte processor;

	uint file_mask[TGSI_FILE_COUNT];  /**< bitmask of declared registers */
	uint file_count[TGSI_FILE_COUNT];  /**< number of declared registers */
	int file_max[TGSI_FILE_COUNT];  /**< highest index of declared registers */
	int const_file_max[PIPE_MAX_CONSTANT_BUFFERS];
	unsigned const_buffers_declared; /**< bitmask of declared const buffers */
	unsigned samplers_declared; /**< bitmask of declared samplers */
	ubyte sampler_targets[PIPE_MAX_SHADER_SAMPLER_VIEWS];  /**< TGSI_TEXTURE_x values */
	ubyte sampler_type[PIPE_MAX_SHADER_SAMPLER_VIEWS]; /**< TGSI_RETURN_TYPE_x */
	ubyte num_stream_output_components[4];

	ubyte input_array_first[PIPE_MAX_SHADER_INPUTS];
	ubyte input_array_last[PIPE_MAX_SHADER_INPUTS];
	ubyte output_array_first[PIPE_MAX_SHADER_OUTPUTS];
	ubyte output_array_last[PIPE_MAX_SHADER_OUTPUTS];
	unsigned array_max[TGSI_FILE_COUNT];  /**< highest index array per register file */

	uint immediate_count; /**< number of immediates declared */
	uint num_instructions;
	uint num_memory_instructions; /**< sampler, buffer, and image instructions */

	uint opcode_count[TGSI_OPCODE_LAST];  /**< opcode histogram */

	/**
	 * If a tessellation control shader reads outputs, this describes which ones.
	 */
	boolean reads_pervertex_outputs;
	boolean reads_perpatch_outputs;
	boolean reads_tessfactor_outputs;

	ubyte colors_read; /**< which color components are read by the FS */
	ubyte colors_written;
	boolean reads_position; /**< does fragment shader read position? */
	boolean reads_z; /**< does fragment shader read depth? */
	boolean reads_samplemask; /**< does fragment shader read sample mask? */
	boolean reads_tess_factors; /**< If TES reads TESSINNER or TESSOUTER */
	boolean writes_z;  /**< does fragment shader write Z value? */
	boolean writes_stencil; /**< does fragment shader write stencil value? */
	boolean writes_samplemask; /**< does fragment shader write sample mask? */
	boolean writes_edgeflag; /**< vertex shader outputs edgeflag */
	boolean uses_kill;  /**< KILL or KILL_IF instruction used? */
	boolean uses_persp_center;
	boolean uses_persp_centroid;
	boolean uses_persp_sample;
	boolean uses_linear_center;
	boolean uses_linear_centroid;
	boolean uses_linear_sample;
	boolean uses_persp_opcode_interp_centroid;
	boolean uses_persp_opcode_interp_offset;
	boolean uses_persp_opcode_interp_sample;
	boolean uses_linear_opcode_interp_centroid;
	boolean uses_linear_opcode_interp_offset;
	boolean uses_linear_opcode_interp_sample;
	boolean uses_instanceid;
	boolean uses_vertexid;
	boolean uses_vertexid_nobase;
	boolean uses_basevertex;
	boolean uses_drawid;
	boolean uses_primid;
	boolean uses_frontface;
	boolean uses_invocationid;
	boolean uses_thread_id[3];
	boolean uses_block_id[3];
	boolean uses_block_size;
	boolean uses_grid_size;
	boolean uses_subgroup_info;
	boolean writes_position;
	boolean writes_psize;
	boolean writes_clipvertex;
	boolean writes_primid;
	boolean writes_viewport_index;
	boolean writes_layer;
	boolean writes_memory; /**< contains stores or atomics to buffers or images */
	boolean uses_doubles; /**< uses any of the double instructions */
	boolean uses_derivatives;
	boolean uses_bindless_samplers;
	boolean uses_bindless_images;
	boolean uses_fbfetch;
	unsigned clipdist_writemask;
	unsigned culldist_writemask;
	unsigned num_written_culldistance;
	unsigned num_written_clipdistance;

	unsigned images_declared; /**< bitmask of declared images */
	unsigned msaa_images_declared; /**< bitmask of declared MSAA images */

	/**
	 * Bitmask indicating which declared image is a buffer.
	 */
	unsigned images_buffers;
	unsigned images_load; /**< bitmask of images using loads */
	unsigned images_store; /**< bitmask of images using stores */
	unsigned images_atomic; /**< bitmask of images using atomics */
	unsigned shader_buffers_declared; /**< bitmask of declared shader buffers */
	unsigned shader_buffers_load; /**< bitmask of shader buffers using loads */
	unsigned shader_buffers_store; /**< bitmask of shader buffers using stores */
	unsigned shader_buffers_atomic; /**< bitmask of shader buffers using atomics */
	bool uses_bindless_buffer_load;
	bool uses_bindless_buffer_store;
	bool uses_bindless_buffer_atomic;
	bool uses_bindless_image_load;
	bool uses_bindless_image_store;
	bool uses_bindless_image_atomic;

	/**
	 * Bitmask indicating which register files are accessed with
	 * indirect addressing.  The bits are (1 << TGSI_FILE_x), etc.
	 */
	unsigned indirect_files;
	/**
	 * Bitmask indicating which register files are read / written with
	 * indirect addressing.  The bits are (1 << TGSI_FILE_x).
	 */
	unsigned indirect_files_read;
	unsigned indirect_files_written;
	unsigned dim_indirect_files; /**< shader resource indexing */
	unsigned const_buffers_indirect; /**< const buffers using indirect addressing */

	unsigned properties[TGSI_PROPERTY_COUNT]; /* index with TGSI_PROPERTY_ */

	/**
	 * Max nesting limit of loops/if's
	 */
	unsigned max_depth;

	/** Whether all codepaths write tess factors in all invocations. */
	bool tessfactors_are_def_in_all_invocs;
};

/* A shader selector is a gallium CSO and contains shader variants and
 * binaries for one NIR program. This can be shared by multiple contexts.
 */
struct si_shader_selector {
	struct pipe_reference	reference;
	struct si_screen	*screen;
	struct util_queue_fence ready;
	struct si_compiler_ctx_state compiler_ctx_state;

	simple_mtx_t		mutex;
	struct si_shader	*first_variant; /* immutable after the first variant */
	struct si_shader	*last_variant; /* mutable */

	/* The compiled NIR shader without a prolog and/or epilog (not
	 * uploaded to a buffer object).
	 */
	struct si_shader	*main_shader_part;
	struct si_shader	*main_shader_part_ls; /* as_ls is set in the key */
	struct si_shader	*main_shader_part_es; /* as_es is set in the key */
	struct si_shader	*main_shader_part_ngg; /* as_ngg is set in the key */
	struct si_shader	*main_shader_part_ngg_es; /* for Wave32 TES before legacy GS */

	struct si_shader	*gs_copy_shader;

	struct nir_shader       *nir;
	void			*nir_binary;
	unsigned		nir_size;

	struct pipe_stream_output_info  so;
	struct si_shader_info		info;

	/* PIPE_SHADER_[VERTEX|FRAGMENT|...] */
	enum pipe_shader_type type;
	bool		vs_needs_prolog;
	bool		force_correct_derivs_after_kill;
	bool		prim_discard_cs_allowed;
	unsigned	num_vs_inputs;
	unsigned	num_vbos_in_user_sgprs;
	unsigned	pa_cl_vs_out_cntl;
	ubyte		clipdist_mask;
	ubyte		culldist_mask;
	unsigned	rast_prim;

	/* ES parameters. */
	unsigned	esgs_itemsize; /* vertex stride */
	unsigned	lshs_vertex_stride;

	/* GS parameters. */
	unsigned	gs_input_verts_per_prim;
	unsigned	gs_output_prim;
	unsigned	gs_max_out_vertices;
	unsigned	gs_num_invocations;
	unsigned	max_gs_stream; /* count - 1 */
	unsigned	gsvs_vertex_size;
	unsigned	max_gsvs_emit_size;
	unsigned	enabled_streamout_buffer_mask;
	bool		tess_turns_off_ngg;

	/* PS parameters. */
	unsigned	color_attr_index[2];
	unsigned	db_shader_control;
	/* Set 0xf or 0x0 (4 bits) per each written output.
	 * ANDed with spi_shader_col_format.
	 */
	unsigned	colors_written_4bit;

	uint64_t	outputs_written_before_ps; /* "get_unique_index" bits */
	uint64_t	outputs_written;	/* "get_unique_index" bits */
	uint32_t	patch_outputs_written;	/* "get_unique_index_patch" bits */

	uint64_t	inputs_read;		/* "get_unique_index" bits */

	/* bitmasks of used descriptor slots */
	uint32_t	active_const_and_shader_buffers;
	uint64_t	active_samplers_and_images;
};

/* Valid shader configurations:
 *
 * API shaders           VS | TCS | TES | GS |pass| PS
 * are compiled as:         |     |     |    |thru|
 *                          |     |     |    |    |
 * Only VS & PS:         VS |     |     |    |    | PS
 * GFX6     - with GS:   ES |     |     | GS | VS | PS
 *          - with tess: LS | HS  | VS  |    |    | PS
 *          - with both: LS | HS  | ES  | GS | VS | PS
 * GFX9     - with GS:   -> |     |     | GS | VS | PS
 *          - with tess: -> | HS  | VS  |    |    | PS
 *          - with both: -> | HS  | ->  | GS | VS | PS
 *                          |     |     |    |    |
 * NGG      - VS & PS:   GS |     |     |    |    | PS
 * (GFX10+) - with GS:   -> |     |     | GS |    | PS
 *          - with tess: -> | HS  | GS  |    |    | PS
 *          - with both: -> | HS  | ->  | GS |    | PS
 *
 * -> = merged with the next stage
 */

/* Use the byte alignment for all following structure members for optimal
 * shader key memory footprint.
 */
#pragma pack(push, 1)

/* Common VS bits between the shader key and the prolog key. */
struct si_vs_prolog_bits {
	/* - If neither "is_one" nor "is_fetched" has a bit set, the instance
	 *   divisor is 0.
	 * - If "is_one" has a bit set, the instance divisor is 1.
	 * - If "is_fetched" has a bit set, the instance divisor will be loaded
	 *   from the constant buffer.
	 */
	uint16_t	instance_divisor_is_one;     /* bitmask of inputs */
	uint16_t	instance_divisor_is_fetched; /* bitmask of inputs */
	unsigned	ls_vgpr_fix:1;
	unsigned	unpack_instance_id_from_vertex_id:1;
};

/* Common TCS bits between the shader key and the epilog key. */
struct si_tcs_epilog_bits {
	unsigned	prim_mode:3;
	unsigned	invoc0_tess_factors_are_def:1;
	unsigned	tes_reads_tess_factors:1;
};

struct si_gs_prolog_bits {
	unsigned	tri_strip_adj_fix:1;
	unsigned	gfx9_prev_is_vs:1;
};

/* Common PS bits between the shader key and the prolog key. */
struct si_ps_prolog_bits {
	unsigned	color_two_side:1;
	unsigned	flatshade_colors:1;
	unsigned	poly_stipple:1;
	unsigned	force_persp_sample_interp:1;
	unsigned	force_linear_sample_interp:1;
	unsigned	force_persp_center_interp:1;
	unsigned	force_linear_center_interp:1;
	unsigned	bc_optimize_for_persp:1;
	unsigned	bc_optimize_for_linear:1;
	unsigned	samplemask_log_ps_iter:3;
};

/* Common PS bits between the shader key and the epilog key. */
struct si_ps_epilog_bits {
	unsigned	spi_shader_col_format;
	unsigned	color_is_int8:8;
	unsigned	color_is_int10:8;
	unsigned	last_cbuf:3;
	unsigned	alpha_func:3;
	unsigned	alpha_to_one:1;
	unsigned	poly_line_smoothing:1;
	unsigned	clamp_color:1;
};

union si_shader_part_key {
	struct {
		struct si_vs_prolog_bits states;
		unsigned	num_input_sgprs:6;
		/* For merged stages such as LS-HS, HS input VGPRs are first. */
		unsigned	num_merged_next_stage_vgprs:3;
		unsigned	num_inputs:5;
		unsigned	as_ls:1;
		unsigned	as_es:1;
		unsigned	as_ngg:1;
		/* Prologs for monolithic shaders shouldn't set EXEC. */
		unsigned	is_monolithic:1;
	} vs_prolog;
	struct {
		struct si_tcs_epilog_bits states;
	} tcs_epilog;
	struct {
		struct si_gs_prolog_bits states;
		/* Prologs of monolithic shaders shouldn't set EXEC. */
		unsigned	is_monolithic:1;
		unsigned	as_ngg:1;
	} gs_prolog;
	struct {
		struct si_ps_prolog_bits states;
		unsigned	num_input_sgprs:6;
		unsigned	num_input_vgprs:5;
		/* Color interpolation and two-side color selection. */
		unsigned	colors_read:8; /* color input components read */
		unsigned	num_interp_inputs:5; /* BCOLOR is at this location */
		unsigned	face_vgpr_index:5;
		unsigned	ancillary_vgpr_index:5;
		unsigned	wqm:1;
		char		color_attr_index[2];
		signed char	color_interp_vgpr_index[2]; /* -1 == constant */
	} ps_prolog;
	struct {
		struct si_ps_epilog_bits states;
		unsigned	colors_written:8;
		unsigned	writes_z:1;
		unsigned	writes_stencil:1;
		unsigned	writes_samplemask:1;
	} ps_epilog;
};

struct si_shader_key {
	/* Prolog and epilog flags. */
	union {
		struct {
			struct si_vs_prolog_bits prolog;
		} vs;
		struct {
			struct si_vs_prolog_bits ls_prolog; /* for merged LS-HS */
			struct si_shader_selector *ls;   /* for merged LS-HS */
			struct si_tcs_epilog_bits epilog;
		} tcs; /* tessellation control shader */
		struct {
			struct si_vs_prolog_bits vs_prolog; /* for merged ES-GS */
			struct si_shader_selector *es;   /* for merged ES-GS */
			struct si_gs_prolog_bits prolog;
		} gs;
		struct {
			struct si_ps_prolog_bits prolog;
			struct si_ps_epilog_bits epilog;
		} ps;
	} part;

	/* These three are initially set according to the NEXT_SHADER property,
	 * or guessed if the property doesn't seem correct.
	 */
	unsigned as_es:1; /* export shader, which precedes GS */
	unsigned as_ls:1; /* local shader, which precedes TCS */
	unsigned as_ngg:1; /* VS, TES, or GS compiled as NGG primitive shader */

	/* Flags for monolithic compilation only. */
	struct {
		/* Whether fetch should be opencoded according to vs_fix_fetch.
		 * Otherwise, if vs_fix_fetch is non-zero, buffer_load_format_xyzw
		 * with minimal fixups is used. */
		uint16_t vs_fetch_opencode;
		union si_vs_fix_fetch vs_fix_fetch[SI_MAX_ATTRIBS];

		union {
			uint64_t	ff_tcs_inputs_to_copy; /* for fixed-func TCS */
			/* When PS needs PrimID and GS is disabled. */
			unsigned	vs_export_prim_id:1;
			struct {
				unsigned interpolate_at_sample_force_center:1;
				unsigned fbfetch_msaa:1;
				unsigned fbfetch_is_1D:1;
				unsigned fbfetch_layered:1;
			} ps;
		} u;
	} mono;

	/* Optimization flags for asynchronous compilation only. */
	struct {
		/* For HW VS (it can be VS, TES, GS) */
		uint64_t	kill_outputs; /* "get_unique_index" bits */
		unsigned	clip_disable:1;

		/* For shaders where monolithic variants have better code.
		 *
		 * This is a flag that has no effect on code generation,
		 * but forces monolithic shaders to be used as soon as
		 * possible, because it's in the "opt" group.
		 */
		unsigned	prefer_mono:1;

		/* Primitive discard compute shader. */
		unsigned	vs_as_prim_discard_cs:1;
		unsigned	cs_prim_type:4;
		unsigned	cs_indexed:1;
		unsigned	cs_instancing:1;
		unsigned	cs_primitive_restart:1;
		unsigned	cs_provoking_vertex_first:1;
		unsigned	cs_need_correct_orientation:1;
		unsigned	cs_cull_front:1;
		unsigned	cs_cull_back:1;
		unsigned	cs_cull_z:1;
		unsigned	cs_halfz_clip_space:1;
	} opt;
};

/* Restore the pack alignment to default. */
#pragma pack(pop)

/* GCN-specific shader info. */
struct si_shader_binary_info {
	ubyte			vs_output_param_offset[SI_MAX_VS_OUTPUTS];
	ubyte			num_input_sgprs;
	ubyte			num_input_vgprs;
	signed char		face_vgpr_index;
	signed char		ancillary_vgpr_index;
	bool			uses_instanceid;
	ubyte			nr_pos_exports;
	ubyte			nr_param_exports;
	unsigned		private_mem_vgprs;
	unsigned		max_simd_waves;
};

struct si_shader_binary {
	const char *elf_buffer;
	size_t elf_size;

	char *llvm_ir_string;
};

struct gfx9_gs_info {
	unsigned es_verts_per_subgroup;
	unsigned gs_prims_per_subgroup;
	unsigned gs_inst_prims_in_subgroup;
	unsigned max_prims_per_subgroup;
	unsigned esgs_ring_size; /* in bytes */
};

struct si_shader {
	struct si_compiler_ctx_state	compiler_ctx_state;

	struct si_shader_selector	*selector;
	struct si_shader_selector	*previous_stage_sel; /* for refcounting */
	struct si_shader		*next_variant;

	struct si_shader_part		*prolog;
	struct si_shader		*previous_stage; /* for GFX9 */
	struct si_shader_part		*prolog2;
	struct si_shader_part		*epilog;

	struct si_pm4_state		*pm4;
	struct si_resource		*bo;
	struct si_resource		*scratch_bo;
	struct si_shader_key		key;
	struct util_queue_fence		ready;
	bool				compilation_failed;
	bool				is_monolithic;
	bool				is_optimized;
	bool				is_binary_shared;
	bool				is_gs_copy_shader;

	/* The following data is all that's needed for binary shaders. */
	struct si_shader_binary		binary;
	struct ac_shader_config		config;
	struct si_shader_binary_info	info;

	struct {
		uint16_t ngg_emit_size; /* in dwords */
		uint16_t hw_max_esverts;
		uint16_t max_gsprims;
		uint16_t max_out_verts;
		uint16_t prim_amp_factor;
		bool max_vert_out_per_gs_instance;
	} ngg;

	/* Shader key + LLVM IR + disassembly + statistics.
	 * Generated for debug contexts only.
	 */
	char				*shader_log;
	size_t				shader_log_size;

	struct gfx9_gs_info gs_info;

	/* For save precompute context registers values. */
	union {
		struct {
			unsigned	vgt_gsvs_ring_offset_1;
			unsigned	vgt_gsvs_ring_offset_2;
			unsigned	vgt_gsvs_ring_offset_3;
			unsigned	vgt_gsvs_ring_itemsize;
			unsigned	vgt_gs_max_vert_out;
			unsigned	vgt_gs_vert_itemsize;
			unsigned	vgt_gs_vert_itemsize_1;
			unsigned	vgt_gs_vert_itemsize_2;
			unsigned	vgt_gs_vert_itemsize_3;
			unsigned	vgt_gs_instance_cnt;
			unsigned	vgt_gs_onchip_cntl;
			unsigned	vgt_gs_max_prims_per_subgroup;
			unsigned	vgt_esgs_ring_itemsize;
		} gs;

		struct {
			unsigned	ge_max_output_per_subgroup;
			unsigned	ge_ngg_subgrp_cntl;
			unsigned	vgt_primitiveid_en;
			unsigned	vgt_gs_onchip_cntl;
			unsigned	vgt_gs_instance_cnt;
			unsigned	vgt_esgs_ring_itemsize;
			unsigned	spi_vs_out_config;
			unsigned	spi_shader_idx_format;
			unsigned	spi_shader_pos_format;
			unsigned	pa_cl_vte_cntl;
			unsigned	pa_cl_ngg_cntl;
			unsigned	vgt_gs_max_vert_out; /* for API GS */
		} ngg;

		struct {
			unsigned	vgt_gs_mode;
			unsigned	vgt_primitiveid_en;
			unsigned	vgt_reuse_off;
			unsigned	spi_vs_out_config;
			unsigned	spi_shader_pos_format;
			unsigned	pa_cl_vte_cntl;
		} vs;

		struct {
			unsigned	spi_ps_input_ena;
			unsigned	spi_ps_input_addr;
			unsigned	spi_baryc_cntl;
			unsigned	spi_ps_in_control;
			unsigned	spi_shader_z_format;
			unsigned	spi_shader_col_format;
			unsigned	cb_shader_mask;
		} ps;
	} ctx_reg;

	/*For save precompute registers value */
	unsigned vgt_tf_param; /* VGT_TF_PARAM */
	unsigned vgt_vertex_reuse_block_cntl; /* VGT_VERTEX_REUSE_BLOCK_CNTL */
	unsigned pa_cl_vs_out_cntl;
	unsigned ge_cntl;
};

struct si_shader_part {
	struct si_shader_part *next;
	union si_shader_part_key key;
	struct si_shader_binary binary;
	struct ac_shader_config config;
};

/* si_shader.c */
struct si_shader *
si_generate_gs_copy_shader(struct si_screen *sscreen,
			   struct ac_llvm_compiler *compiler,
			   struct si_shader_selector *gs_selector,
			   struct pipe_debug_callback *debug);
int si_compile_shader(struct si_screen *sscreen,
		      struct ac_llvm_compiler *compiler,
		      struct si_shader *shader,
		      struct pipe_debug_callback *debug);
bool si_shader_create(struct si_screen *sscreen, struct ac_llvm_compiler *compiler,
		     struct si_shader *shader,
		     struct pipe_debug_callback *debug);
void si_shader_destroy(struct si_shader *shader);
unsigned si_shader_io_get_unique_index_patch(unsigned semantic_name, unsigned index);
unsigned si_shader_io_get_unique_index(unsigned semantic_name, unsigned index,
				       unsigned is_varying);
bool si_shader_binary_upload(struct si_screen *sscreen, struct si_shader *shader,
			     uint64_t scratch_va);
void si_shader_dump(struct si_screen *sscreen, struct si_shader *shader,
		    struct pipe_debug_callback *debug,
		    FILE *f, bool check_debug_option);
void si_shader_dump_stats_for_shader_db(struct si_screen *screen,
					struct si_shader *shader,
					struct pipe_debug_callback *debug);
void si_multiwave_lds_size_workaround(struct si_screen *sscreen,
				      unsigned *lds_size);
const char *si_get_shader_name(const struct si_shader *shader);
void si_shader_binary_clean(struct si_shader_binary *binary);

/* si_shader_nir.c */
void si_nir_scan_shader(const struct nir_shader *nir,
			struct si_shader_info *info);
void si_nir_adjust_driver_locations(struct nir_shader *nir);
void si_finalize_nir(struct pipe_screen *screen, void *nirptr, bool optimize);

/* si_state_shaders.c */
void gfx9_get_gs_info(struct si_shader_selector *es,
		      struct si_shader_selector *gs,
		      struct gfx9_gs_info *out);

/* Inline helpers. */

/* Return the pointer to the main shader part's pointer. */
static inline struct si_shader **
si_get_main_shader_part(struct si_shader_selector *sel,
			struct si_shader_key *key)
{
	if (key->as_ls)
		return &sel->main_shader_part_ls;
	if (key->as_es && key->as_ngg)
		return &sel->main_shader_part_ngg_es;
	if (key->as_es)
		return &sel->main_shader_part_es;
	if (key->as_ngg)
		return &sel->main_shader_part_ngg;
	return &sel->main_shader_part;
}

static inline bool
gfx10_is_ngg_passthrough(struct si_shader *shader)
{
	struct si_shader_selector *sel = shader->selector;

	return sel->type != PIPE_SHADER_GEOMETRY &&
	       !sel->so.num_outputs &&
	       !sel->info.writes_edgeflag &&
	       (sel->type != PIPE_SHADER_VERTEX ||
		!shader->key.mono.u.vs_export_prim_id);
}

static inline bool
si_shader_uses_bindless_samplers(struct si_shader_selector *selector)
{
	return selector ? selector->info.uses_bindless_samplers : false;
}

static inline bool
si_shader_uses_bindless_images(struct si_shader_selector *selector)
{
	return selector ? selector->info.uses_bindless_images : false;
}

void si_destroy_shader_selector(struct si_context *sctx,
			        struct si_shader_selector *sel);

static inline void
si_shader_selector_reference(struct si_context *sctx,
			     struct si_shader_selector **dst,
			     struct si_shader_selector *src)
{
	if (pipe_reference(&(*dst)->reference, &src->reference))
		si_destroy_shader_selector(sctx, *dst);

	*dst = src;
}

#endif