radeonsi: move VS shader code into si_shader_llvm_vs.c

[mesa.git] / src / gallium / drivers / radeonsi / gfx10_shader_ngg.c

/*
 * Copyright 2017 Advanced Micro Devices, Inc.
 *
 * 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.
 */

#include "si_pipe.h"
#include "si_shader_internal.h"

#include "sid.h"

#include "util/u_memory.h"
#include "util/u_prim.h"
#include "ac_llvm_cull.h"

static LLVMValueRef get_wave_id_in_tg(struct si_shader_context *ctx)
{
        return si_unpack_param(ctx, ctx->merged_wave_info, 24, 4);
}

static LLVMValueRef get_tgsize(struct si_shader_context *ctx)
{
        return si_unpack_param(ctx, ctx->merged_wave_info, 28, 4);
}

static LLVMValueRef get_thread_id_in_tg(struct si_shader_context *ctx)
{
        LLVMBuilderRef builder = ctx->ac.builder;
        LLVMValueRef tmp;
        tmp = LLVMBuildMul(builder, get_wave_id_in_tg(ctx),
                           LLVMConstInt(ctx->ac.i32, ctx->ac.wave_size, false), "");
        return LLVMBuildAdd(builder, tmp, ac_get_thread_id(&ctx->ac), "");
}

static LLVMValueRef ngg_get_vtx_cnt(struct si_shader_context *ctx)
{
        return si_unpack_param(ctx, ctx->gs_tg_info, 12, 9);
}

static LLVMValueRef ngg_get_prim_cnt(struct si_shader_context *ctx)
{
        return si_unpack_param(ctx, ctx->gs_tg_info, 22, 9);
}

static LLVMValueRef ngg_get_ordered_id(struct si_shader_context *ctx)
{
        return si_unpack_param(ctx, ctx->gs_tg_info, 0, 12);
}

static LLVMValueRef ngg_get_query_buf(struct si_shader_context *ctx)
{
        LLVMValueRef buf_ptr = ac_get_arg(&ctx->ac, ctx->rw_buffers);

        return ac_build_load_to_sgpr(&ctx->ac, buf_ptr,
                                     LLVMConstInt(ctx->ac.i32, GFX10_GS_QUERY_BUF, false));
}

static LLVMValueRef ngg_get_initial_edgeflag(struct si_shader_context *ctx, unsigned index)
{
        if (ctx->type == PIPE_SHADER_VERTEX) {
                LLVMValueRef tmp;
                tmp = LLVMBuildLShr(ctx->ac.builder,
                                    ac_get_arg(&ctx->ac, ctx->args.gs_invocation_id),
                                    LLVMConstInt(ctx->ac.i32, 8 + index, false), "");
                return LLVMBuildTrunc(ctx->ac.builder, tmp, ctx->ac.i1, "");
        }
        return ctx->ac.i1false;
}

/**
 * Return the number of vertices as a constant in \p num_vertices,
 * and return a more precise value as LLVMValueRef from the function.
 */
static LLVMValueRef ngg_get_vertices_per_prim(struct si_shader_context *ctx,
                                              unsigned *num_vertices)
{
        const struct si_shader_info *info = &ctx->shader->selector->info;

        if (ctx->type == PIPE_SHADER_VERTEX) {
                if (info->properties[TGSI_PROPERTY_VS_BLIT_SGPRS_AMD]) {
                        /* Blits always use axis-aligned rectangles with 3 vertices. */
                        *num_vertices = 3;
                        return LLVMConstInt(ctx->ac.i32, 3, 0);
                } else {
                        /* We always build up all three indices for the prim export
                         * independent of the primitive type. The additional garbage
                         * data shouldn't hurt. This number doesn't matter with
                         * NGG passthrough.
                         */
                        *num_vertices = 3;

                        /* Extract OUTPRIM field. */
                        LLVMValueRef num = si_unpack_param(ctx, ctx->vs_state_bits, 2, 2);
                        return LLVMBuildAdd(ctx->ac.builder, num, ctx->ac.i32_1, "");
                }
        } else {
                assert(ctx->type == PIPE_SHADER_TESS_EVAL);

                if (info->properties[TGSI_PROPERTY_TES_POINT_MODE])
                        *num_vertices = 1;
                else if (info->properties[TGSI_PROPERTY_TES_PRIM_MODE] == PIPE_PRIM_LINES)
                        *num_vertices = 2;
                else
                        *num_vertices = 3;

                return LLVMConstInt(ctx->ac.i32, *num_vertices, false);
        }
}

bool gfx10_ngg_export_prim_early(struct si_shader *shader)
{
        struct si_shader_selector *sel = shader->selector;

        assert(shader->key.as_ngg && !shader->key.as_es);

        return sel->type != PIPE_SHADER_GEOMETRY &&
               !sel->info.writes_edgeflag;
}

void gfx10_ngg_build_sendmsg_gs_alloc_req(struct si_shader_context *ctx)
{
        ac_build_sendmsg_gs_alloc_req(&ctx->ac, get_wave_id_in_tg(ctx),
                                      ngg_get_vtx_cnt(ctx),
                                      ngg_get_prim_cnt(ctx));
}

void gfx10_ngg_build_export_prim(struct si_shader_context *ctx,
                                 LLVMValueRef user_edgeflags[3],
                                 LLVMValueRef prim_passthrough)
{
        LLVMBuilderRef builder = ctx->ac.builder;

        if (gfx10_is_ngg_passthrough(ctx->shader) ||
            ctx->shader->key.opt.ngg_culling) {
                ac_build_ifcc(&ctx->ac, si_is_gs_thread(ctx), 6001);
                {
                        struct ac_ngg_prim prim = {};

                        if (prim_passthrough)
                                prim.passthrough = prim_passthrough;
                        else
                                prim.passthrough = ac_get_arg(&ctx->ac, ctx->gs_vtx01_offset);

                        /* This is only used with NGG culling, which returns the NGG
                         * passthrough prim export encoding.
                         */
                        if (ctx->shader->selector->info.writes_edgeflag) {
                                unsigned all_bits_no_edgeflags = ~SI_NGG_PRIM_EDGE_FLAG_BITS;
                                LLVMValueRef edgeflags = LLVMConstInt(ctx->ac.i32, all_bits_no_edgeflags, 0);

                                unsigned num_vertices;
                                ngg_get_vertices_per_prim(ctx, &num_vertices);

                                for (unsigned i = 0; i < num_vertices; i++) {
                                        unsigned shift = 9 + i*10;
                                        LLVMValueRef edge;

                                        edge = LLVMBuildLoad(builder, user_edgeflags[i], "");
                                        edge = LLVMBuildZExt(builder, edge, ctx->ac.i32, "");
                                        edge = LLVMBuildShl(builder, edge, LLVMConstInt(ctx->ac.i32, shift, 0), "");
                                        edgeflags = LLVMBuildOr(builder, edgeflags, edge, "");
                                }
                                prim.passthrough = LLVMBuildAnd(builder, prim.passthrough, edgeflags, "");
                        }

                        ac_build_export_prim(&ctx->ac, &prim);
                }
                ac_build_endif(&ctx->ac, 6001);
                return;
        }

        ac_build_ifcc(&ctx->ac, si_is_gs_thread(ctx), 6001);
        {
                struct ac_ngg_prim prim = {};

                ngg_get_vertices_per_prim(ctx, &prim.num_vertices);

                prim.isnull = ctx->ac.i1false;
                prim.index[0] = si_unpack_param(ctx, ctx->gs_vtx01_offset, 0, 16);
                prim.index[1] = si_unpack_param(ctx, ctx->gs_vtx01_offset, 16, 16);
                prim.index[2] = si_unpack_param(ctx, ctx->gs_vtx23_offset, 0, 16);

                for (unsigned i = 0; i < prim.num_vertices; ++i) {
                        prim.edgeflag[i] = ngg_get_initial_edgeflag(ctx, i);

                        if (ctx->shader->selector->info.writes_edgeflag) {
                                LLVMValueRef edge;

                                edge = LLVMBuildLoad(ctx->ac.builder, user_edgeflags[i], "");
                                edge = LLVMBuildAnd(ctx->ac.builder, prim.edgeflag[i], edge, "");
                                prim.edgeflag[i] = edge;
                        }
                }

                ac_build_export_prim(&ctx->ac, &prim);
        }
        ac_build_endif(&ctx->ac, 6001);
}

static void build_streamout_vertex(struct si_shader_context *ctx,
                                   LLVMValueRef *so_buffer, LLVMValueRef *wg_offset_dw,
                                   unsigned stream, LLVMValueRef offset_vtx,
                                   LLVMValueRef vertexptr)
{
        struct si_shader_info *info = &ctx->shader->selector->info;
        struct pipe_stream_output_info *so = &ctx->shader->selector->so;
        LLVMBuilderRef builder = ctx->ac.builder;
        LLVMValueRef offset[4] = {};
        LLVMValueRef tmp;

        for (unsigned buffer = 0; buffer < 4; ++buffer) {
                if (!wg_offset_dw[buffer])
                        continue;

                tmp = LLVMBuildMul(builder, offset_vtx,
                                   LLVMConstInt(ctx->ac.i32, so->stride[buffer], false), "");
                tmp = LLVMBuildAdd(builder, wg_offset_dw[buffer], tmp, "");
                offset[buffer] = LLVMBuildShl(builder, tmp, LLVMConstInt(ctx->ac.i32, 2, false), "");
        }

        for (unsigned i = 0; i < so->num_outputs; ++i) {
                if (so->output[i].stream != stream)
                        continue;

                unsigned reg = so->output[i].register_index;
                struct si_shader_output_values out;
                out.semantic_name = info->output_semantic_name[reg];
                out.semantic_index = info->output_semantic_index[reg];

                for (unsigned comp = 0; comp < 4; comp++) {
                        tmp = ac_build_gep0(&ctx->ac, vertexptr,
                                            LLVMConstInt(ctx->ac.i32, 4 * reg + comp, false));
                        out.values[comp] = LLVMBuildLoad(builder, tmp, "");
                        out.vertex_stream[comp] =
                                (info->output_streams[reg] >> (2 * comp)) & 3;
                }

                si_llvm_streamout_store_output(ctx, so_buffer, offset, &so->output[i], &out);
        }
}

struct ngg_streamout {
        LLVMValueRef num_vertices;

        /* per-thread data */
        LLVMValueRef prim_enable[4]; /* i1 per stream */
        LLVMValueRef vertices[3]; /* [N x i32] addrspace(LDS)* */

        /* Output */
        LLVMValueRef emit[4]; /* per-stream emitted primitives (only valid for used streams) */
};

/**
 * Build streamout logic.
 *
 * Implies a barrier.
 *
 * Writes number of emitted primitives to gs_ngg_scratch[4:8].
 *
 * Clobbers gs_ngg_scratch[8:].
 */
static void build_streamout(struct si_shader_context *ctx,
                            struct ngg_streamout *nggso)
{
        struct si_shader_info *info = &ctx->shader->selector->info;
        struct pipe_stream_output_info *so = &ctx->shader->selector->so;
        LLVMBuilderRef builder = ctx->ac.builder;
        LLVMValueRef buf_ptr = ac_get_arg(&ctx->ac, ctx->rw_buffers);
        LLVMValueRef tid = get_thread_id_in_tg(ctx);
        LLVMValueRef tmp, tmp2;
        LLVMValueRef i32_2 = LLVMConstInt(ctx->ac.i32, 2, false);
        LLVMValueRef i32_4 = LLVMConstInt(ctx->ac.i32, 4, false);
        LLVMValueRef i32_8 = LLVMConstInt(ctx->ac.i32, 8, false);
        LLVMValueRef so_buffer[4] = {};
        unsigned max_num_vertices = 1 + (nggso->vertices[1] ? 1 : 0) +
                                        (nggso->vertices[2] ? 1 : 0);
        LLVMValueRef prim_stride_dw[4] = {};
        LLVMValueRef prim_stride_dw_vgpr = LLVMGetUndef(ctx->ac.i32);
        int stream_for_buffer[4] = { -1, -1, -1, -1 };
        unsigned bufmask_for_stream[4] = {};
        bool isgs = ctx->type == PIPE_SHADER_GEOMETRY;
        unsigned scratch_emit_base = isgs ? 4 : 0;
        LLVMValueRef scratch_emit_basev = isgs ? i32_4 : ctx->ac.i32_0;
        unsigned scratch_offset_base = isgs ? 8 : 4;
        LLVMValueRef scratch_offset_basev = isgs ? i32_8 : i32_4;

        ac_llvm_add_target_dep_function_attr(ctx->main_fn, "amdgpu-gds-size", 256);

        /* Determine the mapping of streamout buffers to vertex streams. */
        for (unsigned i = 0; i < so->num_outputs; ++i) {
                unsigned buf = so->output[i].output_buffer;
                unsigned stream = so->output[i].stream;
                assert(stream_for_buffer[buf] < 0 || stream_for_buffer[buf] == stream);
                stream_for_buffer[buf] = stream;
                bufmask_for_stream[stream] |= 1 << buf;
        }

        for (unsigned buffer = 0; buffer < 4; ++buffer) {
                if (stream_for_buffer[buffer] == -1)
                        continue;

                assert(so->stride[buffer]);

                tmp = LLVMConstInt(ctx->ac.i32, so->stride[buffer], false);
                prim_stride_dw[buffer] = LLVMBuildMul(builder, tmp, nggso->num_vertices, "");
                prim_stride_dw_vgpr = ac_build_writelane(
                        &ctx->ac, prim_stride_dw_vgpr, prim_stride_dw[buffer],
                        LLVMConstInt(ctx->ac.i32, buffer, false));

                so_buffer[buffer] = ac_build_load_to_sgpr(
                        &ctx->ac, buf_ptr,
                        LLVMConstInt(ctx->ac.i32, SI_VS_STREAMOUT_BUF0 + buffer, false));
        }

        tmp = LLVMBuildICmp(builder, LLVMIntEQ, get_wave_id_in_tg(ctx), ctx->ac.i32_0, "");
        ac_build_ifcc(&ctx->ac, tmp, 5200);
        {
                LLVMTypeRef gdsptr = LLVMPointerType(ctx->ac.i32, AC_ADDR_SPACE_GDS);
                LLVMValueRef gdsbase = LLVMBuildIntToPtr(builder, ctx->ac.i32_0, gdsptr, "");

                /* Advance the streamout offsets in GDS. */
                LLVMValueRef offsets_vgpr = ac_build_alloca_undef(&ctx->ac, ctx->ac.i32, "");
                LLVMValueRef generated_by_stream_vgpr = ac_build_alloca_undef(&ctx->ac, ctx->ac.i32, "");

                tmp = LLVMBuildICmp(builder, LLVMIntULT, ac_get_thread_id(&ctx->ac), i32_4, "");
                ac_build_ifcc(&ctx->ac, tmp, 5210);
                {
                        if (isgs) {
                                tmp = ac_build_gep0(&ctx->ac, ctx->gs_ngg_scratch, tid);
                                tmp = LLVMBuildLoad(builder, tmp, "");
                        } else {
                                tmp = ac_build_writelane(&ctx->ac, ctx->ac.i32_0,
                                                ngg_get_prim_cnt(ctx), ctx->ac.i32_0);
                        }
                        LLVMBuildStore(builder, tmp, generated_by_stream_vgpr);

                        unsigned swizzle[4];
                        int unused_stream = -1;
                        for (unsigned stream = 0; stream < 4; ++stream) {
                                if (!info->num_stream_output_components[stream]) {
                                        unused_stream = stream;
                                        break;
                                }
                        }
                        for (unsigned buffer = 0; buffer < 4; ++buffer) {
                                if (stream_for_buffer[buffer] >= 0) {
                                        swizzle[buffer] = stream_for_buffer[buffer];
                                } else {
                                        assert(unused_stream >= 0);
                                        swizzle[buffer] = unused_stream;
                                }
                        }

                        tmp = ac_build_quad_swizzle(&ctx->ac, tmp,
                                swizzle[0], swizzle[1], swizzle[2], swizzle[3]);
                        tmp = LLVMBuildMul(builder, tmp, prim_stride_dw_vgpr, "");

                        LLVMValueRef args[] = {
                                LLVMBuildIntToPtr(builder, ngg_get_ordered_id(ctx), gdsptr, ""),
                                tmp,
                                ctx->ac.i32_0, // ordering
                                ctx->ac.i32_0, // scope
                                ctx->ac.i1false, // isVolatile
                                LLVMConstInt(ctx->ac.i32, 4 << 24, false), // OA index
                                ctx->ac.i1true, // wave release
                                ctx->ac.i1true, // wave done
                        };
                        tmp = ac_build_intrinsic(&ctx->ac, "llvm.amdgcn.ds.ordered.add",
                                                 ctx->ac.i32, args, ARRAY_SIZE(args), 0);

                        /* Keep offsets in a VGPR for quick retrieval via readlane by
                         * the first wave for bounds checking, and also store in LDS
                         * for retrieval by all waves later. */
                        LLVMBuildStore(builder, tmp, offsets_vgpr);

                        tmp2 = LLVMBuildAdd(builder, ac_get_thread_id(&ctx->ac),
                                            scratch_offset_basev, "");
                        tmp2 = ac_build_gep0(&ctx->ac, ctx->gs_ngg_scratch, tmp2);
                        LLVMBuildStore(builder, tmp, tmp2);
                }
                ac_build_endif(&ctx->ac, 5210);

                /* Determine the max emit per buffer. This is done via the SALU, in part
                 * because LLVM can't generate divide-by-multiply if we try to do this
                 * via VALU with one lane per buffer.
                 */
                LLVMValueRef max_emit[4] = {};
                for (unsigned buffer = 0; buffer < 4; ++buffer) {
                        if (stream_for_buffer[buffer] == -1)
                                continue;

                        LLVMValueRef bufsize_dw =
                                LLVMBuildLShr(builder,
                                        LLVMBuildExtractElement(builder, so_buffer[buffer], i32_2, ""),
                                        i32_2, "");

                        tmp = LLVMBuildLoad(builder, offsets_vgpr, "");
                        LLVMValueRef offset_dw =
                                ac_build_readlane(&ctx->ac, tmp,
                                                LLVMConstInt(ctx->ac.i32, buffer, false));

                        tmp = LLVMBuildSub(builder, bufsize_dw, offset_dw, "");
                        tmp = LLVMBuildUDiv(builder, tmp, prim_stride_dw[buffer], "");

                        tmp2 = LLVMBuildICmp(builder, LLVMIntULT, bufsize_dw, offset_dw, "");
                        max_emit[buffer] = LLVMBuildSelect(builder, tmp2, ctx->ac.i32_0, tmp, "");
                }

                /* Determine the number of emitted primitives per stream and fixup the
                 * GDS counter if necessary.
                 *
                 * This is complicated by the fact that a single stream can emit to
                 * multiple buffers (but luckily not vice versa).
                 */
                LLVMValueRef emit_vgpr = ctx->ac.i32_0;

                for (unsigned stream = 0; stream < 4; ++stream) {
                        if (!info->num_stream_output_components[stream])
                                continue;

                        tmp = LLVMBuildLoad(builder, generated_by_stream_vgpr, "");
                        LLVMValueRef generated =
                                ac_build_readlane(&ctx->ac, tmp,
                                                  LLVMConstInt(ctx->ac.i32, stream, false));

                        LLVMValueRef emit = generated;
                        for (unsigned buffer = 0; buffer < 4; ++buffer) {
                                if (stream_for_buffer[buffer] == stream)
                                        emit = ac_build_umin(&ctx->ac, emit, max_emit[buffer]);
                        }

                        emit_vgpr = ac_build_writelane(&ctx->ac, emit_vgpr, emit,
                                                       LLVMConstInt(ctx->ac.i32, stream, false));

                        /* Fixup the offset using a plain GDS atomic if we overflowed. */
                        tmp = LLVMBuildICmp(builder, LLVMIntULT, emit, generated, "");
                        ac_build_ifcc(&ctx->ac, tmp, 5221); /* scalar branch */
                        tmp = LLVMBuildLShr(builder,
                                            LLVMConstInt(ctx->ac.i32, bufmask_for_stream[stream], false),
                                            ac_get_thread_id(&ctx->ac), "");
                        tmp = LLVMBuildTrunc(builder, tmp, ctx->ac.i1, "");
                        ac_build_ifcc(&ctx->ac, tmp, 5222);
                        {
                                tmp = LLVMBuildSub(builder, generated, emit, "");
                                tmp = LLVMBuildMul(builder, tmp, prim_stride_dw_vgpr, "");
                                tmp2 = LLVMBuildGEP(builder, gdsbase, &tid, 1, "");
                                LLVMBuildAtomicRMW(builder, LLVMAtomicRMWBinOpSub, tmp2, tmp,
                                                   LLVMAtomicOrderingMonotonic, false);
                        }
                        ac_build_endif(&ctx->ac, 5222);
                        ac_build_endif(&ctx->ac, 5221);
                }

                tmp = LLVMBuildICmp(builder, LLVMIntULT, ac_get_thread_id(&ctx->ac), i32_4, "");
                ac_build_ifcc(&ctx->ac, tmp, 5225);
                {
                        tmp = LLVMBuildAdd(builder, ac_get_thread_id(&ctx->ac),
                                           scratch_emit_basev, "");
                        tmp = ac_build_gep0(&ctx->ac, ctx->gs_ngg_scratch, tmp);
                        LLVMBuildStore(builder, emit_vgpr, tmp);
                }
                ac_build_endif(&ctx->ac, 5225);
        }
        ac_build_endif(&ctx->ac, 5200);

        /* Determine the workgroup-relative per-thread / primitive offset into
         * the streamout buffers */
        struct ac_wg_scan primemit_scan[4] = {};

        if (isgs) {
                for (unsigned stream = 0; stream < 4; ++stream) {
                        if (!info->num_stream_output_components[stream])
                                continue;

                        primemit_scan[stream].enable_exclusive = true;
                        primemit_scan[stream].op = nir_op_iadd;
                        primemit_scan[stream].src = nggso->prim_enable[stream];
                        primemit_scan[stream].scratch =
                                ac_build_gep0(&ctx->ac, ctx->gs_ngg_scratch,
                                        LLVMConstInt(ctx->ac.i32, 12 + 8 * stream, false));
                        primemit_scan[stream].waveidx = get_wave_id_in_tg(ctx);
                        primemit_scan[stream].numwaves = get_tgsize(ctx);
                        primemit_scan[stream].maxwaves = 8;
                        ac_build_wg_scan_top(&ctx->ac, &primemit_scan[stream]);
                }
        }

        ac_build_s_barrier(&ctx->ac);

        /* Fetch the per-buffer offsets and per-stream emit counts in all waves. */
        LLVMValueRef wgoffset_dw[4] = {};

        {
                LLVMValueRef scratch_vgpr;

                tmp = ac_build_gep0(&ctx->ac, ctx->gs_ngg_scratch, ac_get_thread_id(&ctx->ac));
                scratch_vgpr = LLVMBuildLoad(builder, tmp, "");

                for (unsigned buffer = 0; buffer < 4; ++buffer) {
                        if (stream_for_buffer[buffer] >= 0) {
                                wgoffset_dw[buffer] = ac_build_readlane(
                                        &ctx->ac, scratch_vgpr,
                                        LLVMConstInt(ctx->ac.i32, scratch_offset_base + buffer, false));
                        }
                }

                for (unsigned stream = 0; stream < 4; ++stream) {
                        if (info->num_stream_output_components[stream]) {
                                nggso->emit[stream] = ac_build_readlane(
                                        &ctx->ac, scratch_vgpr,
                                        LLVMConstInt(ctx->ac.i32, scratch_emit_base + stream, false));
                        }
                }
        }

        /* Write out primitive data */
        for (unsigned stream = 0; stream < 4; ++stream) {
                if (!info->num_stream_output_components[stream])
                        continue;

                if (isgs) {
                        ac_build_wg_scan_bottom(&ctx->ac, &primemit_scan[stream]);
                } else {
                        primemit_scan[stream].result_exclusive = tid;
                }

                tmp = LLVMBuildICmp(builder, LLVMIntULT,
                                    primemit_scan[stream].result_exclusive,
                                    nggso->emit[stream], "");
                tmp = LLVMBuildAnd(builder, tmp, nggso->prim_enable[stream], "");
                ac_build_ifcc(&ctx->ac, tmp, 5240);
                {
                        LLVMValueRef offset_vtx =
                                LLVMBuildMul(builder, primemit_scan[stream].result_exclusive,
                                             nggso->num_vertices, "");

                        for (unsigned i = 0; i < max_num_vertices; ++i) {
                                tmp = LLVMBuildICmp(builder, LLVMIntULT,
                                                    LLVMConstInt(ctx->ac.i32, i, false),
                                                    nggso->num_vertices, "");
                                ac_build_ifcc(&ctx->ac, tmp, 5241);
                                build_streamout_vertex(ctx, so_buffer, wgoffset_dw,
                                                       stream, offset_vtx, nggso->vertices[i]);
                                ac_build_endif(&ctx->ac, 5241);
                                offset_vtx = LLVMBuildAdd(builder, offset_vtx, ctx->ac.i32_1, "");
                        }
                }
                ac_build_endif(&ctx->ac, 5240);
        }
}

/* LDS layout of ES vertex data for NGG culling. */
enum {
        /* Byte 0: Boolean ES thread accepted (unculled) flag, and later the old
         *         ES thread ID. After vertex compaction, compacted ES threads
         *         store the old thread ID here to copy input VGPRs from uncompacted
         *         ES threads.
         * Byte 1: New ES thread ID, loaded by GS to prepare the prim export value.
         * Byte 2: TES rel patch ID
         * Byte 3: Unused
         */
        lds_byte0_accept_flag = 0,
        lds_byte0_old_thread_id = 0,
        lds_byte1_new_thread_id,
        lds_byte2_tes_rel_patch_id,
        lds_byte3_unused,

        lds_packed_data = 0, /* lds_byteN_... */

        lds_pos_x,
        lds_pos_y,
        lds_pos_z,
        lds_pos_w,
        lds_pos_x_div_w,
        lds_pos_y_div_w,
        /* If VS: */
        lds_vertex_id,
        lds_instance_id, /* optional */
        /* If TES: */
        lds_tes_u = lds_vertex_id,
        lds_tes_v = lds_instance_id,
        lds_tes_patch_id, /* optional */
};

static LLVMValueRef si_build_gep_i8(struct si_shader_context *ctx,
                                    LLVMValueRef ptr, unsigned byte_index)
{
        assert(byte_index < 4);
        LLVMTypeRef pi8 = LLVMPointerType(ctx->ac.i8, AC_ADDR_SPACE_LDS);
        LLVMValueRef index = LLVMConstInt(ctx->ac.i32, byte_index, 0);

        return LLVMBuildGEP(ctx->ac.builder,
                            LLVMBuildPointerCast(ctx->ac.builder, ptr, pi8, ""),
                            &index, 1, "");
}

static unsigned ngg_nogs_vertex_size(struct si_shader *shader)
{
        unsigned lds_vertex_size = 0;

        /* The edgeflag is always stored in the last element that's also
         * used for padding to reduce LDS bank conflicts. */
        if (shader->selector->so.num_outputs)
                lds_vertex_size = 4 * shader->selector->info.num_outputs + 1;
        if (shader->selector->info.writes_edgeflag)
                lds_vertex_size = MAX2(lds_vertex_size, 1);

        /* LDS size for passing data from GS to ES.
         * GS stores Primitive IDs into LDS at the address corresponding
         * to the ES thread of the provoking vertex. All ES threads
         * load and export PrimitiveID for their thread.
         */
        if (shader->selector->type == PIPE_SHADER_VERTEX &&
            shader->key.mono.u.vs_export_prim_id)
                lds_vertex_size = MAX2(lds_vertex_size, 1);

        if (shader->key.opt.ngg_culling) {
                if (shader->selector->type == PIPE_SHADER_VERTEX) {
                        STATIC_ASSERT(lds_instance_id + 1 == 9);
                        lds_vertex_size = MAX2(lds_vertex_size, 9);
                } else {
                        assert(shader->selector->type == PIPE_SHADER_TESS_EVAL);

                        if (shader->selector->info.uses_primid ||
                            shader->key.mono.u.vs_export_prim_id) {
                                STATIC_ASSERT(lds_tes_patch_id + 2 == 11);
                                lds_vertex_size = MAX2(lds_vertex_size, 11);
                        } else {
                                STATIC_ASSERT(lds_tes_v + 1 == 9);
                                lds_vertex_size = MAX2(lds_vertex_size, 9);
                        }
                }
        }

        return lds_vertex_size;
}

/**
 * Returns an `[N x i32] addrspace(LDS)*` pointing at contiguous LDS storage
 * for the vertex outputs.
 */
static LLVMValueRef ngg_nogs_vertex_ptr(struct si_shader_context *ctx,
                                        LLVMValueRef vtxid)
{
        /* The extra dword is used to avoid LDS bank conflicts. */
        unsigned vertex_size = ngg_nogs_vertex_size(ctx->shader);
        LLVMTypeRef ai32 = LLVMArrayType(ctx->ac.i32, vertex_size);
        LLVMTypeRef pai32 = LLVMPointerType(ai32, AC_ADDR_SPACE_LDS);
        LLVMValueRef tmp = LLVMBuildBitCast(ctx->ac.builder, ctx->esgs_ring, pai32, "");
        return LLVMBuildGEP(ctx->ac.builder, tmp, &vtxid, 1, "");
}

static LLVMValueRef si_insert_input_v4i32(struct si_shader_context *ctx,
                                          LLVMValueRef ret, struct ac_arg param,
                                          unsigned return_index)
{
        LLVMValueRef v = ac_get_arg(&ctx->ac, param);

        for (unsigned i = 0; i < 4; i++) {
                ret = LLVMBuildInsertValue(ctx->ac.builder, ret,
                                           ac_llvm_extract_elem(&ctx->ac, v, i),
                                           return_index + i, "");
        }
        return ret;
}

static void load_bitmasks_2x64(struct si_shader_context *ctx,
                               LLVMValueRef lds_ptr, unsigned dw_offset,
                               LLVMValueRef mask[2], LLVMValueRef *total_bitcount)
{
        LLVMBuilderRef builder = ctx->ac.builder;
        LLVMValueRef ptr64 = LLVMBuildPointerCast(builder, lds_ptr,
                                                  LLVMPointerType(LLVMArrayType(ctx->ac.i64, 2),
                                                                  AC_ADDR_SPACE_LDS), "");
        for (unsigned i = 0; i < 2; i++) {
                LLVMValueRef index = LLVMConstInt(ctx->ac.i32, dw_offset / 2 + i, 0);
                mask[i] = LLVMBuildLoad(builder, ac_build_gep0(&ctx->ac, ptr64, index), "");
        }

        /* We get better code if we don't use the 128-bit bitcount. */
        *total_bitcount = LLVMBuildAdd(builder, ac_build_bit_count(&ctx->ac, mask[0]),
                                       ac_build_bit_count(&ctx->ac, mask[1]), "");
}

/**
 * Given a total thread count, update total and per-wave thread counts in input SGPRs
 * and return the per-wave thread count.
 *
 * \param new_num_threads    Total thread count on the input, per-wave thread count on the output.
 * \param tg_info            tg_info SGPR value
 * \param tg_info_num_bits   the bit size of thread count field in tg_info
 * \param tg_info_shift      the bit offset of the thread count field in tg_info
 * \param wave_info          merged_wave_info SGPR value
 * \param wave_info_num_bits the bit size of thread count field in merged_wave_info
 * \param wave_info_shift    the bit offset of the thread count field in merged_wave_info
 */
static void update_thread_counts(struct si_shader_context *ctx,
                                 LLVMValueRef *new_num_threads,
                                 LLVMValueRef *tg_info,
                                 unsigned tg_info_num_bits,
                                 unsigned tg_info_shift,
                                 LLVMValueRef *wave_info,
                                 unsigned wave_info_num_bits,
                                 unsigned wave_info_shift)
{
        LLVMBuilderRef builder = ctx->ac.builder;

        /* Update the total thread count. */
        unsigned tg_info_mask = ~(u_bit_consecutive(0, tg_info_num_bits) << tg_info_shift);
        *tg_info = LLVMBuildAnd(builder, *tg_info,
                                LLVMConstInt(ctx->ac.i32, tg_info_mask, 0), "");
        *tg_info = LLVMBuildOr(builder, *tg_info,
                               LLVMBuildShl(builder, *new_num_threads,
                                            LLVMConstInt(ctx->ac.i32, tg_info_shift, 0), ""), "");

        /* Update the per-wave thread count. */
        LLVMValueRef prev_threads = LLVMBuildMul(builder, get_wave_id_in_tg(ctx),
                                                 LLVMConstInt(ctx->ac.i32, ctx->ac.wave_size, 0), "");
        *new_num_threads = LLVMBuildSub(builder, *new_num_threads, prev_threads, "");
        *new_num_threads = ac_build_imax(&ctx->ac, *new_num_threads, ctx->ac.i32_0);
        *new_num_threads = ac_build_imin(&ctx->ac, *new_num_threads,
                                        LLVMConstInt(ctx->ac.i32, ctx->ac.wave_size, 0));
        unsigned wave_info_mask = ~(u_bit_consecutive(0, wave_info_num_bits) << wave_info_shift);
        *wave_info = LLVMBuildAnd(builder, *wave_info,
                                  LLVMConstInt(ctx->ac.i32, wave_info_mask, 0), "");
        *wave_info = LLVMBuildOr(builder, *wave_info,
                                 LLVMBuildShl(builder, *new_num_threads,
                                              LLVMConstInt(ctx->ac.i32, wave_info_shift, 0), ""), "");
}

/**
 * Cull primitives for NGG VS or TES, then compact vertices, which happens
 * before the VS or TES main function. Return values for the main function.
 * Also return the position, which is passed to the shader as an input,
 * so that we don't compute it twice.
 */
void gfx10_emit_ngg_culling_epilogue_4x_wave32(struct ac_shader_abi *abi,
                                               unsigned max_outputs,
                                               LLVMValueRef *addrs)
{
        struct si_shader_context *ctx = si_shader_context_from_abi(abi);
        struct si_shader *shader = ctx->shader;
        struct si_shader_selector *sel = shader->selector;
        struct si_shader_info *info = &sel->info;
        LLVMBuilderRef builder = ctx->ac.builder;

        assert(shader->key.opt.ngg_culling);
        assert(shader->key.as_ngg);
        assert(sel->type == PIPE_SHADER_VERTEX ||
               (sel->type == PIPE_SHADER_TESS_EVAL && !shader->key.as_es));

        LLVMValueRef position[4] = {};
        for (unsigned i = 0; i < info->num_outputs; i++) {
                switch (info->output_semantic_name[i]) {
                case TGSI_SEMANTIC_POSITION:
                        for (unsigned j = 0; j < 4; j++) {
                                position[j] = LLVMBuildLoad(ctx->ac.builder,
                                                            addrs[4 * i + j], "");
                        }
                        break;
                }
        }
        assert(position[0]);

        /* Store Position.XYZW into LDS. */
        LLVMValueRef es_vtxptr = ngg_nogs_vertex_ptr(ctx, get_thread_id_in_tg(ctx));
        for (unsigned chan = 0; chan < 4; chan++) {
                LLVMBuildStore(builder, ac_to_integer(&ctx->ac, position[chan]),
                                ac_build_gep0(&ctx->ac, es_vtxptr,
                                              LLVMConstInt(ctx->ac.i32, lds_pos_x + chan, 0)));
        }
        /* Store Position.XY / W into LDS. */
        for (unsigned chan = 0; chan < 2; chan++) {
                LLVMValueRef val = ac_build_fdiv(&ctx->ac, position[chan], position[3]);
                LLVMBuildStore(builder, ac_to_integer(&ctx->ac, val),
                                ac_build_gep0(&ctx->ac, es_vtxptr,
                                              LLVMConstInt(ctx->ac.i32, lds_pos_x_div_w + chan, 0)));
        }

        /* Store VertexID and InstanceID. ES threads will have to load them
         * from LDS after vertex compaction and use them instead of their own
         * system values.
         */
        bool uses_instance_id = false;
        bool uses_tes_prim_id = false;
        LLVMValueRef packed_data = ctx->ac.i32_0;

        if (ctx->type == PIPE_SHADER_VERTEX) {
                uses_instance_id = sel->info.uses_instanceid ||
                                   shader->key.part.vs.prolog.instance_divisor_is_one ||
                                   shader->key.part.vs.prolog.instance_divisor_is_fetched;

                LLVMBuildStore(builder, ctx->abi.vertex_id,
                               ac_build_gep0(&ctx->ac, es_vtxptr,
                                             LLVMConstInt(ctx->ac.i32, lds_vertex_id, 0)));
                if (uses_instance_id) {
                        LLVMBuildStore(builder, ctx->abi.instance_id,
                                       ac_build_gep0(&ctx->ac, es_vtxptr,
                                                     LLVMConstInt(ctx->ac.i32, lds_instance_id, 0)));
                }
        } else {
                uses_tes_prim_id = sel->info.uses_primid ||
                                   shader->key.mono.u.vs_export_prim_id;

                assert(ctx->type == PIPE_SHADER_TESS_EVAL);
                LLVMBuildStore(builder, ac_to_integer(&ctx->ac, ac_get_arg(&ctx->ac, ctx->tes_u)),
                               ac_build_gep0(&ctx->ac, es_vtxptr,
                                             LLVMConstInt(ctx->ac.i32, lds_tes_u, 0)));
                LLVMBuildStore(builder, ac_to_integer(&ctx->ac, ac_get_arg(&ctx->ac, ctx->tes_v)),
                               ac_build_gep0(&ctx->ac, es_vtxptr,
                                             LLVMConstInt(ctx->ac.i32, lds_tes_v, 0)));
                packed_data = LLVMBuildShl(builder, ac_get_arg(&ctx->ac, ctx->tes_rel_patch_id),
                                           LLVMConstInt(ctx->ac.i32, lds_byte2_tes_rel_patch_id * 8, 0), "");
                if (uses_tes_prim_id) {
                        LLVMBuildStore(builder, ac_get_arg(&ctx->ac, ctx->args.tes_patch_id),
                                       ac_build_gep0(&ctx->ac, es_vtxptr,
                                                     LLVMConstInt(ctx->ac.i32, lds_tes_patch_id, 0)));
                }
        }
        /* Initialize the packed data. */
        LLVMBuildStore(builder, packed_data,
                       ac_build_gep0(&ctx->ac, es_vtxptr,
                                     LLVMConstInt(ctx->ac.i32, lds_packed_data, 0)));
        ac_build_endif(&ctx->ac, ctx->merged_wrap_if_label);

        LLVMValueRef tid = ac_get_thread_id(&ctx->ac);

        /* Initialize the last 3 gs_ngg_scratch dwords to 0, because we may have less
         * than 4 waves, but we always read all 4 values. This is where the thread
         * bitmasks of unculled threads will be stored.
         *
         * gs_ngg_scratch layout: esmask[0..3]
         */
        ac_build_ifcc(&ctx->ac,
                      LLVMBuildICmp(builder, LLVMIntULT, get_thread_id_in_tg(ctx),
                                    LLVMConstInt(ctx->ac.i32, 3, 0), ""), 16101);
        {
                LLVMValueRef index = LLVMBuildAdd(builder, tid, ctx->ac.i32_1, "");
                LLVMBuildStore(builder, ctx->ac.i32_0,
                               ac_build_gep0(&ctx->ac, ctx->gs_ngg_scratch, index));
        }
        ac_build_endif(&ctx->ac, 16101);
        ac_build_s_barrier(&ctx->ac);

        /* The hardware requires that there are no holes between unculled vertices,
         * which means we have to pack ES threads, i.e. reduce the ES thread count
         * and move ES input VGPRs to lower threads. The upside is that varyings
         * are only fetched and computed for unculled vertices.
         *
         * Vertex compaction in GS threads:
         *
         * Part 1: Compute the surviving vertex mask in GS threads:
         * - Compute 4 32-bit surviving vertex masks in LDS. (max 4 waves)
         *   - In GS, notify ES threads whether the vertex survived.
         *   - Barrier
         *   - ES threads will create the mask and store it in LDS.
         * - Barrier
         * - Each GS thread loads the vertex masks from LDS.
         *
         * Part 2: Compact ES threads in GS threads:
         * - Compute the prefix sum for all 3 vertices from the masks. These are the new
         *   thread IDs for each vertex within the primitive.
         * - Write the value of the old thread ID into the LDS address of the new thread ID.
         *   The ES thread will load the old thread ID and use it to load the position, VertexID,
         *   and InstanceID.
         * - Update vertex indices and null flag in the GS input VGPRs.
         * - Barrier
         *
         * Part 3: Update inputs GPRs
         * - For all waves, update per-wave thread counts in input SGPRs.
         * - In ES threads, update the ES input VGPRs (VertexID, InstanceID, TES inputs).
         */

        LLVMValueRef vtxindex[3];
        if (shader->key.opt.ngg_culling & SI_NGG_CULL_GS_FAST_LAUNCH_ALL) {
                /* For the GS fast launch, the VS prologs simply puts the Vertex IDs
                 * into these VGPRs.
                 */
                vtxindex[0] = ac_get_arg(&ctx->ac, ctx->gs_vtx01_offset);
                vtxindex[1] = ac_get_arg(&ctx->ac, ctx->gs_vtx23_offset);
                vtxindex[2] = ac_get_arg(&ctx->ac, ctx->gs_vtx45_offset);
        } else {
                vtxindex[0] = si_unpack_param(ctx, ctx->gs_vtx01_offset, 0, 16);
                vtxindex[1] = si_unpack_param(ctx, ctx->gs_vtx01_offset, 16, 16);
                vtxindex[2] = si_unpack_param(ctx, ctx->gs_vtx23_offset, 0, 16);
        };
        LLVMValueRef gs_vtxptr[] = {
                ngg_nogs_vertex_ptr(ctx, vtxindex[0]),
                ngg_nogs_vertex_ptr(ctx, vtxindex[1]),
                ngg_nogs_vertex_ptr(ctx, vtxindex[2]),
        };
        es_vtxptr = ngg_nogs_vertex_ptr(ctx, get_thread_id_in_tg(ctx));

        LLVMValueRef gs_accepted = ac_build_alloca(&ctx->ac, ctx->ac.i32, "");

        /* Do culling in GS threads. */
        ac_build_ifcc(&ctx->ac, si_is_gs_thread(ctx), 16002);
        {
                /* Load positions. */
                LLVMValueRef pos[3][4] = {};
                for (unsigned vtx = 0; vtx < 3; vtx++) {
                        for (unsigned chan = 0; chan < 4; chan++) {
                                unsigned index;
                                if (chan == 0 || chan == 1)
                                        index = lds_pos_x_div_w + chan;
                                else if (chan == 3)
                                        index = lds_pos_w;
                                else
                                        continue;

                                LLVMValueRef addr = ac_build_gep0(&ctx->ac, gs_vtxptr[vtx],
                                                                  LLVMConstInt(ctx->ac.i32, index, 0));
                                pos[vtx][chan] = LLVMBuildLoad(builder, addr, "");
                                pos[vtx][chan] = ac_to_float(&ctx->ac, pos[vtx][chan]);
                        }
                }

                /* Load the viewport state for small prim culling. */
                LLVMValueRef vp = ac_build_load_invariant(&ctx->ac,
                                                          ac_get_arg(&ctx->ac, ctx->small_prim_cull_info),
                                                          ctx->ac.i32_0);
                vp = LLVMBuildBitCast(builder, vp, ctx->ac.v4f32, "");
                LLVMValueRef vp_scale[2], vp_translate[2];
                vp_scale[0] = ac_llvm_extract_elem(&ctx->ac, vp, 0);
                vp_scale[1] = ac_llvm_extract_elem(&ctx->ac, vp, 1);
                vp_translate[0] = ac_llvm_extract_elem(&ctx->ac, vp, 2);
                vp_translate[1] = ac_llvm_extract_elem(&ctx->ac, vp, 3);

                /* Get the small prim filter precision. */
                LLVMValueRef small_prim_precision = si_unpack_param(ctx, ctx->vs_state_bits, 7, 4);
                small_prim_precision = LLVMBuildOr(builder, small_prim_precision,
                                                   LLVMConstInt(ctx->ac.i32, 0x70, 0), "");
                small_prim_precision = LLVMBuildShl(builder, small_prim_precision,
                                                    LLVMConstInt(ctx->ac.i32, 23, 0), "");
                small_prim_precision = LLVMBuildBitCast(builder, small_prim_precision, ctx->ac.f32, "");

                /* Execute culling code. */
                struct ac_cull_options options = {};
                options.cull_front = shader->key.opt.ngg_culling & SI_NGG_CULL_FRONT_FACE;
                options.cull_back = shader->key.opt.ngg_culling & SI_NGG_CULL_BACK_FACE;
                options.cull_view_xy = shader->key.opt.ngg_culling & SI_NGG_CULL_VIEW_SMALLPRIMS;
                options.cull_small_prims = options.cull_view_xy;
                options.cull_zero_area = options.cull_front || options.cull_back;
                options.cull_w = true;

                /* Tell ES threads whether their vertex survived. */
                ac_build_ifcc(&ctx->ac, ac_cull_triangle(&ctx->ac, pos, ctx->ac.i1true,
                                                         vp_scale, vp_translate,
                                                         small_prim_precision, &options), 16003);
                {
                        LLVMBuildStore(builder, ctx->ac.i32_1, gs_accepted);
                        for (unsigned vtx = 0; vtx < 3; vtx++) {
                                LLVMBuildStore(builder, ctx->ac.i8_1,
                                               si_build_gep_i8(ctx, gs_vtxptr[vtx], lds_byte0_accept_flag));
                        }
                }
                ac_build_endif(&ctx->ac, 16003);
        }
        ac_build_endif(&ctx->ac, 16002);
        ac_build_s_barrier(&ctx->ac);

        gs_accepted = LLVMBuildLoad(builder, gs_accepted, "");

        LLVMValueRef es_accepted = ac_build_alloca(&ctx->ac, ctx->ac.i1, "");

        /* Convert the per-vertex flag to a thread bitmask in ES threads and store it in LDS. */
        ac_build_ifcc(&ctx->ac, si_is_es_thread(ctx), 16007);
        {
                LLVMValueRef es_accepted_flag =
                        LLVMBuildLoad(builder,
                                      si_build_gep_i8(ctx, es_vtxptr, lds_byte0_accept_flag), "");

                LLVMValueRef es_accepted_bool = LLVMBuildICmp(builder, LLVMIntNE,
                                                              es_accepted_flag, ctx->ac.i8_0, "");
                LLVMValueRef es_mask = ac_get_i1_sgpr_mask(&ctx->ac, es_accepted_bool);

                LLVMBuildStore(builder, es_accepted_bool, es_accepted);

                ac_build_ifcc(&ctx->ac, LLVMBuildICmp(builder, LLVMIntEQ,
                                                      tid, ctx->ac.i32_0, ""), 16008);
                {
                        LLVMBuildStore(builder, es_mask,
                                       ac_build_gep0(&ctx->ac, ctx->gs_ngg_scratch,
                                                     get_wave_id_in_tg(ctx)));
                }
                ac_build_endif(&ctx->ac, 16008);
        }
        ac_build_endif(&ctx->ac, 16007);
        ac_build_s_barrier(&ctx->ac);

        /* Load the vertex masks and compute the new ES thread count. */
        LLVMValueRef es_mask[2], new_num_es_threads, kill_wave;
        load_bitmasks_2x64(ctx, ctx->gs_ngg_scratch, 0, es_mask, &new_num_es_threads);
        new_num_es_threads = ac_build_readlane_no_opt_barrier(&ctx->ac, new_num_es_threads, NULL);

        /* ES threads compute their prefix sum, which is the new ES thread ID.
         * Then they write the value of the old thread ID into the LDS address
         * of the new thread ID. It will be used it to load input VGPRs from
         * the old thread's LDS location.
         */
        ac_build_ifcc(&ctx->ac, LLVMBuildLoad(builder, es_accepted, ""), 16009);
        {
                LLVMValueRef old_id = get_thread_id_in_tg(ctx);
                LLVMValueRef new_id = ac_prefix_bitcount_2x64(&ctx->ac, es_mask, old_id);

                LLVMBuildStore(builder, LLVMBuildTrunc(builder, old_id, ctx->ac.i8, ""),
                               si_build_gep_i8(ctx, ngg_nogs_vertex_ptr(ctx, new_id),
                                               lds_byte0_old_thread_id));
                LLVMBuildStore(builder, LLVMBuildTrunc(builder, new_id, ctx->ac.i8, ""),
                               si_build_gep_i8(ctx, es_vtxptr, lds_byte1_new_thread_id));
        }
        ac_build_endif(&ctx->ac, 16009);

        /* Kill waves that have inactive threads. */
        kill_wave = LLVMBuildICmp(builder, LLVMIntULE,
                                  ac_build_imax(&ctx->ac, new_num_es_threads, ngg_get_prim_cnt(ctx)),
                                  LLVMBuildMul(builder, get_wave_id_in_tg(ctx),
                                               LLVMConstInt(ctx->ac.i32, ctx->ac.wave_size, 0), ""), "");
        ac_build_ifcc(&ctx->ac, kill_wave, 19202);
        {
                /* If we are killing wave 0, send that there are no primitives
                 * in this threadgroup.
                 */
                ac_build_sendmsg_gs_alloc_req(&ctx->ac, get_wave_id_in_tg(ctx),
                                              ctx->ac.i32_0, ctx->ac.i32_0);
                ac_build_s_endpgm(&ctx->ac);
        }
        ac_build_endif(&ctx->ac, 19202);
        ac_build_s_barrier(&ctx->ac);

        /* Send the final vertex and primitive counts. */
        ac_build_sendmsg_gs_alloc_req(&ctx->ac, get_wave_id_in_tg(ctx),
                                      new_num_es_threads, ngg_get_prim_cnt(ctx));

        /* Update thread counts in SGPRs. */
        LLVMValueRef new_gs_tg_info = ac_get_arg(&ctx->ac, ctx->gs_tg_info);
        LLVMValueRef new_merged_wave_info = ac_get_arg(&ctx->ac, ctx->merged_wave_info);

        /* This also converts the thread count from the total count to the per-wave count. */
        update_thread_counts(ctx, &new_num_es_threads, &new_gs_tg_info, 9, 12,
                             &new_merged_wave_info, 8, 0);

        /* Update vertex indices in VGPR0 (same format as NGG passthrough). */
        LLVMValueRef new_vgpr0 = ac_build_alloca_undef(&ctx->ac, ctx->ac.i32, "");

        /* Set the null flag at the beginning (culled), and then
         * overwrite it for accepted primitives.
         */
        LLVMBuildStore(builder, LLVMConstInt(ctx->ac.i32, 1u << 31, 0), new_vgpr0);

        /* Get vertex indices after vertex compaction. */
        ac_build_ifcc(&ctx->ac, LLVMBuildTrunc(builder, gs_accepted, ctx->ac.i1, ""), 16011);
        {
                struct ac_ngg_prim prim = {};
                prim.num_vertices = 3;
                prim.isnull = ctx->ac.i1false;

                for (unsigned vtx = 0; vtx < 3; vtx++) {
                        prim.index[vtx] =
                                LLVMBuildLoad(builder,
                                              si_build_gep_i8(ctx, gs_vtxptr[vtx],
                                                              lds_byte1_new_thread_id), "");
                        prim.index[vtx] = LLVMBuildZExt(builder, prim.index[vtx], ctx->ac.i32, "");
                        prim.edgeflag[vtx] = ngg_get_initial_edgeflag(ctx, vtx);
                }

                /* Set the new GS input VGPR. */
                LLVMBuildStore(builder, ac_pack_prim_export(&ctx->ac, &prim), new_vgpr0);
        }
        ac_build_endif(&ctx->ac, 16011);

        if (gfx10_ngg_export_prim_early(shader))
                gfx10_ngg_build_export_prim(ctx, NULL, LLVMBuildLoad(builder, new_vgpr0, ""));

        /* Set the new ES input VGPRs. */
        LLVMValueRef es_data[4];
        LLVMValueRef old_thread_id = ac_build_alloca_undef(&ctx->ac, ctx->ac.i32, "");

        for (unsigned i = 0; i < 4; i++)
                es_data[i] = ac_build_alloca_undef(&ctx->ac, ctx->ac.i32, "");

        ac_build_ifcc(&ctx->ac, LLVMBuildICmp(ctx->ac.builder, LLVMIntULT, tid,
                                              new_num_es_threads, ""), 16012);
        {
                LLVMValueRef old_id, old_es_vtxptr, tmp;

                /* Load ES input VGPRs from the ES thread before compaction. */
                old_id = LLVMBuildLoad(builder,
                                       si_build_gep_i8(ctx, es_vtxptr, lds_byte0_old_thread_id), "");
                old_id = LLVMBuildZExt(builder, old_id, ctx->ac.i32, "");

                LLVMBuildStore(builder, old_id, old_thread_id);
                old_es_vtxptr = ngg_nogs_vertex_ptr(ctx, old_id);

                for (unsigned i = 0; i < 2; i++) {
                        tmp = LLVMBuildLoad(builder,
                                            ac_build_gep0(&ctx->ac, old_es_vtxptr,
                                                          LLVMConstInt(ctx->ac.i32, lds_vertex_id + i, 0)), "");
                        LLVMBuildStore(builder, tmp, es_data[i]);
                }

                if (ctx->type == PIPE_SHADER_TESS_EVAL) {
                        tmp = LLVMBuildLoad(builder,
                                            si_build_gep_i8(ctx, old_es_vtxptr,
                                                            lds_byte2_tes_rel_patch_id), "");
                        tmp = LLVMBuildZExt(builder, tmp, ctx->ac.i32, "");
                        LLVMBuildStore(builder, tmp, es_data[2]);

                        if (uses_tes_prim_id) {
                                tmp = LLVMBuildLoad(builder,
                                                    ac_build_gep0(&ctx->ac, old_es_vtxptr,
                                                                  LLVMConstInt(ctx->ac.i32, lds_tes_patch_id, 0)), "");
                                LLVMBuildStore(builder, tmp, es_data[3]);
                        }
                }
        }
        ac_build_endif(&ctx->ac, 16012);

        /* Return values for the main function. */
        LLVMValueRef ret = ctx->return_value;
        LLVMValueRef val;

        ret = LLVMBuildInsertValue(ctx->ac.builder, ret, new_gs_tg_info, 2, "");
        ret = LLVMBuildInsertValue(ctx->ac.builder, ret, new_merged_wave_info, 3, "");
        if (ctx->type == PIPE_SHADER_TESS_EVAL)
                ret = si_insert_input_ret(ctx, ret, ctx->tcs_offchip_offset, 4);

        ret = si_insert_input_ptr(ctx, ret, ctx->rw_buffers,
                                  8 + SI_SGPR_RW_BUFFERS);
        ret = si_insert_input_ptr(ctx, ret,
                                  ctx->bindless_samplers_and_images,
                                  8 + SI_SGPR_BINDLESS_SAMPLERS_AND_IMAGES);
        ret = si_insert_input_ptr(ctx, ret,
                                  ctx->const_and_shader_buffers,
                                  8 + SI_SGPR_CONST_AND_SHADER_BUFFERS);
        ret = si_insert_input_ptr(ctx, ret,
                                  ctx->samplers_and_images,
                                  8 + SI_SGPR_SAMPLERS_AND_IMAGES);
        ret = si_insert_input_ptr(ctx, ret, ctx->vs_state_bits,
                                  8 + SI_SGPR_VS_STATE_BITS);

        if (ctx->type == PIPE_SHADER_VERTEX) {
                ret = si_insert_input_ptr(ctx, ret, ctx->args.base_vertex,
                                          8 + SI_SGPR_BASE_VERTEX);
                ret = si_insert_input_ptr(ctx, ret, ctx->args.start_instance,
                                          8 + SI_SGPR_START_INSTANCE);
                ret = si_insert_input_ptr(ctx, ret, ctx->args.draw_id,
                                          8 + SI_SGPR_DRAWID);
                ret = si_insert_input_ptr(ctx, ret, ctx->vertex_buffers,
                                          8 + SI_VS_NUM_USER_SGPR);

                for (unsigned i = 0; i < shader->selector->num_vbos_in_user_sgprs; i++) {
                        ret = si_insert_input_v4i32(ctx, ret, ctx->vb_descriptors[i],
                                                    8 + SI_SGPR_VS_VB_DESCRIPTOR_FIRST + i * 4);
                }
        } else {
                assert(ctx->type == PIPE_SHADER_TESS_EVAL);
                ret = si_insert_input_ptr(ctx, ret, ctx->tcs_offchip_layout,
                                          8 + SI_SGPR_TES_OFFCHIP_LAYOUT);
                ret = si_insert_input_ptr(ctx, ret, ctx->tes_offchip_addr,
                                          8 + SI_SGPR_TES_OFFCHIP_ADDR);
        }

        unsigned vgpr;
        if (ctx->type == PIPE_SHADER_VERTEX) {
                if (shader->selector->num_vbos_in_user_sgprs) {
                        vgpr = 8 + SI_SGPR_VS_VB_DESCRIPTOR_FIRST +
                               shader->selector->num_vbos_in_user_sgprs * 4;
                } else {
                        vgpr = 8 + GFX9_VSGS_NUM_USER_SGPR + 1;
                }
        } else {
                vgpr = 8 + GFX9_TESGS_NUM_USER_SGPR;
        }

        val = LLVMBuildLoad(builder, new_vgpr0, "");
        ret = LLVMBuildInsertValue(builder, ret, ac_to_float(&ctx->ac, val),
                                   vgpr++, "");
        vgpr++; /* gs_vtx23_offset */

        ret = si_insert_input_ret_float(ctx, ret, ctx->args.gs_prim_id, vgpr++);
        ret = si_insert_input_ret_float(ctx, ret, ctx->args.gs_invocation_id, vgpr++);
        vgpr++; /* gs_vtx45_offset */

        if (ctx->type == PIPE_SHADER_VERTEX) {
                val = LLVMBuildLoad(builder, es_data[0], "");
                ret = LLVMBuildInsertValue(builder, ret, ac_to_float(&ctx->ac, val),
                                           vgpr++, ""); /* VGPR5 - VertexID */
                vgpr += 2;
                if (uses_instance_id) {
                        val = LLVMBuildLoad(builder, es_data[1], "");
                        ret = LLVMBuildInsertValue(builder, ret, ac_to_float(&ctx->ac, val),
                                                   vgpr++, ""); /* VGPR8 - InstanceID */
                } else {
                        vgpr++;
                }
        } else {
                assert(ctx->type == PIPE_SHADER_TESS_EVAL);
                unsigned num_vgprs = uses_tes_prim_id ? 4 : 3;
                for (unsigned i = 0; i < num_vgprs; i++) {
                        val = LLVMBuildLoad(builder, es_data[i], "");
                        ret = LLVMBuildInsertValue(builder, ret, ac_to_float(&ctx->ac, val),
                                                   vgpr++, "");
                }
                if (num_vgprs == 3)
                        vgpr++;
        }
        /* Return the old thread ID. */
        val = LLVMBuildLoad(builder, old_thread_id, "");
        ret = LLVMBuildInsertValue(builder, ret, ac_to_float(&ctx->ac, val), vgpr++, "");

        /* These two also use LDS. */
        if (sel->info.writes_edgeflag ||
            (ctx->type == PIPE_SHADER_VERTEX && shader->key.mono.u.vs_export_prim_id))
                ac_build_s_barrier(&ctx->ac);

        ctx->return_value = ret;
}

/**
 * Emit the epilogue of an API VS or TES shader compiled as ESGS shader.
 */
void gfx10_emit_ngg_epilogue(struct ac_shader_abi *abi,
                             unsigned max_outputs,
                             LLVMValueRef *addrs)
{
        struct si_shader_context *ctx = si_shader_context_from_abi(abi);
        struct si_shader_selector *sel = ctx->shader->selector;
        struct si_shader_info *info = &sel->info;
        struct si_shader_output_values outputs[PIPE_MAX_SHADER_OUTPUTS];
        LLVMBuilderRef builder = ctx->ac.builder;
        LLVMValueRef tmp, tmp2;

        assert(!ctx->shader->is_gs_copy_shader);
        assert(info->num_outputs <= max_outputs);

        LLVMValueRef vertex_ptr = NULL;

        if (sel->so.num_outputs || sel->info.writes_edgeflag)
                vertex_ptr = ngg_nogs_vertex_ptr(ctx, get_thread_id_in_tg(ctx));

        for (unsigned i = 0; i < info->num_outputs; i++) {
                outputs[i].semantic_name = info->output_semantic_name[i];
                outputs[i].semantic_index = info->output_semantic_index[i];

                for (unsigned j = 0; j < 4; j++) {
                        outputs[i].vertex_stream[j] =
                                (info->output_streams[i] >> (2 * j)) & 3;

                        /* TODO: we may store more outputs than streamout needs,
                         * but streamout performance isn't that important.
                         */
                        if (sel->so.num_outputs) {
                                tmp = ac_build_gep0(&ctx->ac, vertex_ptr,
                                        LLVMConstInt(ctx->ac.i32, 4 * i + j, false));
                                tmp2 = LLVMBuildLoad(builder, addrs[4 * i + j], "");
                                tmp2 = ac_to_integer(&ctx->ac, tmp2);
                                LLVMBuildStore(builder, tmp2, tmp);
                        }
                }

                /* Store the edgeflag at the end (if streamout is enabled) */
                if (info->output_semantic_name[i] == TGSI_SEMANTIC_EDGEFLAG &&
                    sel->info.writes_edgeflag) {
                        LLVMValueRef edgeflag = LLVMBuildLoad(builder, addrs[4 * i], "");
                        /* The output is a float, but the hw expects a 1-bit integer. */
                        edgeflag = LLVMBuildFPToUI(ctx->ac.builder, edgeflag, ctx->ac.i32, "");
                        edgeflag = ac_build_umin(&ctx->ac, edgeflag, ctx->ac.i32_1);

                        tmp = LLVMConstInt(ctx->ac.i32, ngg_nogs_vertex_size(ctx->shader) - 1, 0);
                        tmp = ac_build_gep0(&ctx->ac, vertex_ptr, tmp);
                        LLVMBuildStore(builder, edgeflag, tmp);
                }
        }

        bool unterminated_es_if_block =
                !sel->so.num_outputs &&
                !sel->info.writes_edgeflag &&
                !ctx->screen->use_ngg_streamout && /* no query buffer */
                (ctx->type != PIPE_SHADER_VERTEX ||
                 !ctx->shader->key.mono.u.vs_export_prim_id);

        if (!unterminated_es_if_block)
                ac_build_endif(&ctx->ac, ctx->merged_wrap_if_label);

        LLVMValueRef is_gs_thread = si_is_gs_thread(ctx);
        LLVMValueRef is_es_thread = si_is_es_thread(ctx);
        LLVMValueRef vtxindex[3];

        if (ctx->shader->key.opt.ngg_culling) {
                vtxindex[0] = si_unpack_param(ctx, ctx->gs_vtx01_offset, 0, 9);
                vtxindex[1] = si_unpack_param(ctx, ctx->gs_vtx01_offset, 10, 9);
                vtxindex[2] = si_unpack_param(ctx, ctx->gs_vtx01_offset, 20, 9);
        } else {
                vtxindex[0] = si_unpack_param(ctx, ctx->gs_vtx01_offset, 0, 16);
                vtxindex[1] = si_unpack_param(ctx, ctx->gs_vtx01_offset, 16, 16);
                vtxindex[2] = si_unpack_param(ctx, ctx->gs_vtx23_offset, 0, 16);
        }

        /* Determine the number of vertices per primitive. */
        unsigned num_vertices;
        LLVMValueRef num_vertices_val = ngg_get_vertices_per_prim(ctx, &num_vertices);

        /* Streamout */
        LLVMValueRef emitted_prims = NULL;

        if (sel->so.num_outputs) {
                assert(!unterminated_es_if_block);

                struct ngg_streamout nggso = {};
                nggso.num_vertices = num_vertices_val;
                nggso.prim_enable[0] = is_gs_thread;

                for (unsigned i = 0; i < num_vertices; ++i)
                        nggso.vertices[i] = ngg_nogs_vertex_ptr(ctx, vtxindex[i]);

                build_streamout(ctx, &nggso);
                emitted_prims = nggso.emit[0];
        }

        LLVMValueRef user_edgeflags[3] = {};

        if (sel->info.writes_edgeflag) {
                assert(!unterminated_es_if_block);

                /* Streamout already inserted the barrier, so don't insert it again. */
                if (!sel->so.num_outputs)
                        ac_build_s_barrier(&ctx->ac);

                ac_build_ifcc(&ctx->ac, is_gs_thread, 5400);
                /* Load edge flags from ES threads and store them into VGPRs in GS threads. */
                for (unsigned i = 0; i < num_vertices; i++) {
                        tmp = ngg_nogs_vertex_ptr(ctx, vtxindex[i]);
                        tmp2 = LLVMConstInt(ctx->ac.i32, ngg_nogs_vertex_size(ctx->shader) - 1, 0);
                        tmp = ac_build_gep0(&ctx->ac, tmp, tmp2);
                        tmp = LLVMBuildLoad(builder, tmp, "");
                        tmp = LLVMBuildTrunc(builder, tmp, ctx->ac.i1, "");

                        user_edgeflags[i] = ac_build_alloca_undef(&ctx->ac, ctx->ac.i1, "");
                        LLVMBuildStore(builder, tmp, user_edgeflags[i]);
                }
                ac_build_endif(&ctx->ac, 5400);
        }

        /* Copy Primitive IDs from GS threads to the LDS address corresponding
         * to the ES thread of the provoking vertex.
         */
        if (ctx->type == PIPE_SHADER_VERTEX &&
            ctx->shader->key.mono.u.vs_export_prim_id) {
                assert(!unterminated_es_if_block);

                /* Streamout and edge flags use LDS. Make it idle, so that we can reuse it. */
                if (sel->so.num_outputs || sel->info.writes_edgeflag)
                        ac_build_s_barrier(&ctx->ac);

                ac_build_ifcc(&ctx->ac, is_gs_thread, 5400);
                /* Extract the PROVOKING_VTX_INDEX field. */
                LLVMValueRef provoking_vtx_in_prim =
                        si_unpack_param(ctx, ctx->vs_state_bits, 4, 2);

                /* provoking_vtx_index = vtxindex[provoking_vtx_in_prim]; */
                LLVMValueRef indices = ac_build_gather_values(&ctx->ac, vtxindex, 3);
                LLVMValueRef provoking_vtx_index =
                        LLVMBuildExtractElement(builder, indices, provoking_vtx_in_prim, "");
                LLVMValueRef vertex_ptr = ngg_nogs_vertex_ptr(ctx, provoking_vtx_index);

                LLVMBuildStore(builder, ac_get_arg(&ctx->ac, ctx->args.gs_prim_id),
                               ac_build_gep0(&ctx->ac, vertex_ptr, ctx->ac.i32_0));
                ac_build_endif(&ctx->ac, 5400);
        }

        /* Update query buffer */
        if (ctx->screen->use_ngg_streamout &&
            !info->properties[TGSI_PROPERTY_VS_BLIT_SGPRS_AMD]) {
                assert(!unterminated_es_if_block);

                tmp = si_unpack_param(ctx, ctx->vs_state_bits, 6, 1);
                tmp = LLVMBuildTrunc(builder, tmp, ctx->ac.i1, "");
                ac_build_ifcc(&ctx->ac, tmp, 5029); /* if (STREAMOUT_QUERY_ENABLED) */
                tmp = LLVMBuildICmp(builder, LLVMIntEQ, get_wave_id_in_tg(ctx), ctx->ac.i32_0, "");
                ac_build_ifcc(&ctx->ac, tmp, 5030);
                tmp = LLVMBuildICmp(builder, LLVMIntULE, ac_get_thread_id(&ctx->ac),
                                    sel->so.num_outputs ? ctx->ac.i32_1 : ctx->ac.i32_0, "");
                ac_build_ifcc(&ctx->ac, tmp, 5031);
                {
                        LLVMValueRef args[] = {
                                ngg_get_prim_cnt(ctx),
                                ngg_get_query_buf(ctx),
                                LLVMConstInt(ctx->ac.i32, 16, false), /* offset of stream[0].generated_primitives */
                                ctx->ac.i32_0, /* soffset */
                                ctx->ac.i32_0, /* cachepolicy */
                        };

                        if (sel->so.num_outputs) {
                                args[0] = ac_build_writelane(&ctx->ac, args[0], emitted_prims, ctx->ac.i32_1);
                                args[2] = ac_build_writelane(&ctx->ac, args[2],
                                                LLVMConstInt(ctx->ac.i32, 24, false), ctx->ac.i32_1);
                        }

                        /* TODO: should this be 64-bit atomics? */
                        ac_build_intrinsic(&ctx->ac, "llvm.amdgcn.raw.buffer.atomic.add.i32",
                                           ctx->ac.i32, args, 5, 0);
                }
                ac_build_endif(&ctx->ac, 5031);
                ac_build_endif(&ctx->ac, 5030);
                ac_build_endif(&ctx->ac, 5029);
        }

        /* Build the primitive export. */
        if (!gfx10_ngg_export_prim_early(ctx->shader)) {
                assert(!unterminated_es_if_block);
                gfx10_ngg_build_export_prim(ctx, user_edgeflags, NULL);
        }

        /* Export per-vertex data (positions and parameters). */
        if (!unterminated_es_if_block)
                ac_build_ifcc(&ctx->ac, is_es_thread, 6002);
        {
                unsigned i;

                /* Unconditionally (re-)load the values for proper SSA form. */
                for (i = 0; i < info->num_outputs; i++) {
                        /* If the NGG cull shader part computed the position, don't
                         * use the position from the current shader part. Instead,
                         * load it from LDS.
                         */
                        if (info->output_semantic_name[i] == TGSI_SEMANTIC_POSITION &&
                            ctx->shader->key.opt.ngg_culling) {
                                vertex_ptr = ngg_nogs_vertex_ptr(ctx,
                                                ac_get_arg(&ctx->ac, ctx->ngg_old_thread_id));

                                for (unsigned j = 0; j < 4; j++) {
                                        tmp = LLVMConstInt(ctx->ac.i32, lds_pos_x + j, 0);
                                        tmp = ac_build_gep0(&ctx->ac, vertex_ptr, tmp);
                                        tmp = LLVMBuildLoad(builder, tmp, "");
                                        outputs[i].values[j] = ac_to_float(&ctx->ac, tmp);
                                }
                        } else {
                                for (unsigned j = 0; j < 4; j++) {
                                        outputs[i].values[j] =
                                                LLVMBuildLoad(builder,
                                                              addrs[4 * i + j], "");
                                }
                        }
                }

                if (ctx->shader->key.mono.u.vs_export_prim_id) {
                        outputs[i].semantic_name = TGSI_SEMANTIC_PRIMID;
                        outputs[i].semantic_index = 0;

                        if (ctx->type == PIPE_SHADER_VERTEX) {
                                /* Wait for GS stores to finish. */
                                ac_build_s_barrier(&ctx->ac);

                                tmp = ngg_nogs_vertex_ptr(ctx, get_thread_id_in_tg(ctx));
                                tmp = ac_build_gep0(&ctx->ac, tmp, ctx->ac.i32_0);
                                outputs[i].values[0] = LLVMBuildLoad(builder, tmp, "");
                        } else {
                                assert(ctx->type == PIPE_SHADER_TESS_EVAL);
                                outputs[i].values[0] = si_get_primitive_id(ctx, 0);
                        }

                        outputs[i].values[0] = ac_to_float(&ctx->ac, outputs[i].values[0]);
                        for (unsigned j = 1; j < 4; j++)
                                outputs[i].values[j] = LLVMGetUndef(ctx->ac.f32);

                        memset(outputs[i].vertex_stream, 0,
                               sizeof(outputs[i].vertex_stream));
                        i++;
                }

                si_llvm_build_vs_exports(ctx, outputs, i);
        }
        ac_build_endif(&ctx->ac, 6002);
}

static LLVMValueRef
ngg_gs_get_vertex_storage(struct si_shader_context *ctx)
{
        const struct si_shader_selector *sel = ctx->shader->selector;
        const struct si_shader_info *info = &sel->info;

        LLVMTypeRef elements[2] = {
                LLVMArrayType(ctx->ac.i32, 4 * info->num_outputs),
                LLVMArrayType(ctx->ac.i8, 4),
        };
        LLVMTypeRef type = LLVMStructTypeInContext(ctx->ac.context, elements, 2, false);
        type = LLVMPointerType(LLVMArrayType(type, 0), AC_ADDR_SPACE_LDS);
        return LLVMBuildBitCast(ctx->ac.builder, ctx->gs_ngg_emit, type, "");
}

/**
 * Return a pointer to the LDS storage reserved for the N'th vertex, where N
 * is in emit order; that is:
 * - during the epilogue, N is the threadidx (relative to the entire threadgroup)
 * - during vertex emit, i.e. while the API GS shader invocation is running,
 *   N = threadidx * gs_max_out_vertices + emitidx
 *
 * Goals of the LDS memory layout:
 * 1. Eliminate bank conflicts on write for geometry shaders that have all emits
 *    in uniform control flow
 * 2. Eliminate bank conflicts on read for export if, additionally, there is no
 *    culling
 * 3. Agnostic to the number of waves (since we don't know it before compiling)
 * 4. Allow coalescing of LDS instructions (ds_write_b128 etc.)
 * 5. Avoid wasting memory.
 *
 * We use an AoS layout due to point 4 (this also helps point 3). In an AoS
 * layout, elimination of bank conflicts requires that each vertex occupy an
 * odd number of dwords. We use the additional dword to store the output stream
 * index as well as a flag to indicate whether this vertex ends a primitive
 * for rasterization.
 *
 * Swizzling is required to satisfy points 1 and 2 simultaneously.
 *
 * Vertices are stored in export order (gsthread * gs_max_out_vertices + emitidx).
 * Indices are swizzled in groups of 32, which ensures point 1 without
 * disturbing point 2.
 *
 * \return an LDS pointer to type {[N x i32], [4 x i8]}
 */
static LLVMValueRef
ngg_gs_vertex_ptr(struct si_shader_context *ctx, LLVMValueRef vertexidx)
{
        struct si_shader_selector *sel = ctx->shader->selector;
        LLVMBuilderRef builder = ctx->ac.builder;
        LLVMValueRef storage = ngg_gs_get_vertex_storage(ctx);

        /* gs_max_out_vertices = 2^(write_stride_2exp) * some odd number */
        unsigned write_stride_2exp = ffs(sel->gs_max_out_vertices) - 1;
        if (write_stride_2exp) {
                LLVMValueRef row =
                        LLVMBuildLShr(builder, vertexidx,
                                      LLVMConstInt(ctx->ac.i32, 5, false), "");
                LLVMValueRef swizzle =
                        LLVMBuildAnd(builder, row,
                                     LLVMConstInt(ctx->ac.i32, (1u << write_stride_2exp) - 1,
                                                  false), "");
                vertexidx = LLVMBuildXor(builder, vertexidx, swizzle, "");
        }

        return ac_build_gep0(&ctx->ac, storage, vertexidx);
}

static LLVMValueRef
ngg_gs_emit_vertex_ptr(struct si_shader_context *ctx, LLVMValueRef gsthread,
                       LLVMValueRef emitidx)
{
        struct si_shader_selector *sel = ctx->shader->selector;
        LLVMBuilderRef builder = ctx->ac.builder;
        LLVMValueRef tmp;

        tmp = LLVMConstInt(ctx->ac.i32, sel->gs_max_out_vertices, false);
        tmp = LLVMBuildMul(builder, tmp, gsthread, "");
        const LLVMValueRef vertexidx = LLVMBuildAdd(builder, tmp, emitidx, "");
        return ngg_gs_vertex_ptr(ctx, vertexidx);
}

static LLVMValueRef
ngg_gs_get_emit_output_ptr(struct si_shader_context *ctx, LLVMValueRef vertexptr,
                           unsigned out_idx)
{
        LLVMValueRef gep_idx[3] = {
                ctx->ac.i32_0, /* implied C-style array */
                ctx->ac.i32_0, /* first struct entry */
                LLVMConstInt(ctx->ac.i32, out_idx, false),
        };
        return LLVMBuildGEP(ctx->ac.builder, vertexptr, gep_idx, 3, "");
}

static LLVMValueRef
ngg_gs_get_emit_primflag_ptr(struct si_shader_context *ctx, LLVMValueRef vertexptr,
                             unsigned stream)
{
        LLVMValueRef gep_idx[3] = {
                ctx->ac.i32_0, /* implied C-style array */
                ctx->ac.i32_1, /* second struct entry */
                LLVMConstInt(ctx->ac.i32, stream, false),
        };
        return LLVMBuildGEP(ctx->ac.builder, vertexptr, gep_idx, 3, "");
}

void gfx10_ngg_gs_emit_vertex(struct si_shader_context *ctx,
                              unsigned stream,
                              LLVMValueRef *addrs)
{
        const struct si_shader_selector *sel = ctx->shader->selector;
        const struct si_shader_info *info = &sel->info;
        LLVMBuilderRef builder = ctx->ac.builder;
        LLVMValueRef tmp;
        const LLVMValueRef vertexidx =
                LLVMBuildLoad(builder, ctx->gs_next_vertex[stream], "");

        /* If this thread has already emitted the declared maximum number of
         * vertices, skip the write: excessive vertex emissions are not
         * supposed to have any effect.
         */
        const LLVMValueRef can_emit =
                LLVMBuildICmp(builder, LLVMIntULT, vertexidx,
                              LLVMConstInt(ctx->ac.i32, sel->gs_max_out_vertices, false), "");

        tmp = LLVMBuildAdd(builder, vertexidx, ctx->ac.i32_1, "");
        tmp = LLVMBuildSelect(builder, can_emit, tmp, vertexidx, "");
        LLVMBuildStore(builder, tmp, ctx->gs_next_vertex[stream]);

        ac_build_ifcc(&ctx->ac, can_emit, 9001);

        const LLVMValueRef vertexptr =
                ngg_gs_emit_vertex_ptr(ctx, get_thread_id_in_tg(ctx), vertexidx);
        unsigned out_idx = 0;
        for (unsigned i = 0; i < info->num_outputs; i++) {
                for (unsigned chan = 0; chan < 4; chan++, out_idx++) {
                        if (!(info->output_usagemask[i] & (1 << chan)) ||
                            ((info->output_streams[i] >> (2 * chan)) & 3) != stream)
                                continue;

                        LLVMValueRef out_val = LLVMBuildLoad(builder, addrs[4 * i + chan], "");
                        out_val = ac_to_integer(&ctx->ac, out_val);
                        LLVMBuildStore(builder, out_val,
                                       ngg_gs_get_emit_output_ptr(ctx, vertexptr, out_idx));
                }
        }
        assert(out_idx * 4 == sel->gsvs_vertex_size);

        /* Determine and store whether this vertex completed a primitive. */
        const LLVMValueRef curverts = LLVMBuildLoad(builder, ctx->gs_curprim_verts[stream], "");

        tmp = LLVMConstInt(ctx->ac.i32, u_vertices_per_prim(sel->gs_output_prim) - 1, false);
        const LLVMValueRef iscompleteprim =
                LLVMBuildICmp(builder, LLVMIntUGE, curverts, tmp, "");

        /* Since the geometry shader emits triangle strips, we need to
         * track which primitive is odd and swap vertex indices to get
         * the correct vertex order.
         */
        LLVMValueRef is_odd = ctx->ac.i1false;
        if (stream == 0 && u_vertices_per_prim(sel->gs_output_prim) == 3) {
                tmp = LLVMBuildAnd(builder, curverts, ctx->ac.i32_1, "");
                is_odd = LLVMBuildICmp(builder, LLVMIntEQ, tmp, ctx->ac.i32_1, "");
        }

        tmp = LLVMBuildAdd(builder, curverts, ctx->ac.i32_1, "");
        LLVMBuildStore(builder, tmp, ctx->gs_curprim_verts[stream]);

        /* The per-vertex primitive flag encoding:
         *   bit 0: whether this vertex finishes a primitive
         *   bit 1: whether the primitive is odd (if we are emitting triangle strips)
         */
        tmp = LLVMBuildZExt(builder, iscompleteprim, ctx->ac.i8, "");
        tmp = LLVMBuildOr(builder, tmp,
                          LLVMBuildShl(builder,
                                       LLVMBuildZExt(builder, is_odd, ctx->ac.i8, ""),
                                       ctx->ac.i8_1, ""), "");
        LLVMBuildStore(builder, tmp, ngg_gs_get_emit_primflag_ptr(ctx, vertexptr, stream));

        tmp = LLVMBuildLoad(builder, ctx->gs_generated_prims[stream], "");
        tmp = LLVMBuildAdd(builder, tmp, LLVMBuildZExt(builder, iscompleteprim, ctx->ac.i32, ""), "");
        LLVMBuildStore(builder, tmp, ctx->gs_generated_prims[stream]);

        ac_build_endif(&ctx->ac, 9001);
}

void gfx10_ngg_gs_emit_prologue(struct si_shader_context *ctx)
{
        /* Zero out the part of LDS scratch that is used to accumulate the
         * per-stream generated primitive count.
         */
        LLVMBuilderRef builder = ctx->ac.builder;
        LLVMValueRef scratchptr = ctx->gs_ngg_scratch;
        LLVMValueRef tid = get_thread_id_in_tg(ctx);
        LLVMValueRef tmp;

        tmp = LLVMBuildICmp(builder, LLVMIntULT, tid, LLVMConstInt(ctx->ac.i32, 4, false), "");
        ac_build_ifcc(&ctx->ac, tmp, 5090);
        {
                LLVMValueRef ptr = ac_build_gep0(&ctx->ac, scratchptr, tid);
                LLVMBuildStore(builder, ctx->ac.i32_0, ptr);
        }
        ac_build_endif(&ctx->ac, 5090);

        ac_build_s_barrier(&ctx->ac);
}

void gfx10_ngg_gs_emit_epilogue(struct si_shader_context *ctx)
{
        const struct si_shader_selector *sel = ctx->shader->selector;
        const struct si_shader_info *info = &sel->info;
        const unsigned verts_per_prim = u_vertices_per_prim(sel->gs_output_prim);
        LLVMBuilderRef builder = ctx->ac.builder;
        LLVMValueRef i8_0 = LLVMConstInt(ctx->ac.i8, 0, false);
        LLVMValueRef tmp, tmp2;

        /* Zero out remaining (non-emitted) primitive flags.
         *
         * Note: Alternatively, we could pass the relevant gs_next_vertex to
         *       the emit threads via LDS. This is likely worse in the expected
         *       typical case where each GS thread emits the full set of
         *       vertices.
         */
        for (unsigned stream = 0; stream < 4; ++stream) {
                if (!info->num_stream_output_components[stream])
                        continue;

                const LLVMValueRef gsthread = get_thread_id_in_tg(ctx);

                ac_build_bgnloop(&ctx->ac, 5100);

                const LLVMValueRef vertexidx =
                        LLVMBuildLoad(builder, ctx->gs_next_vertex[stream], "");
                tmp = LLVMBuildICmp(builder, LLVMIntUGE, vertexidx,
                        LLVMConstInt(ctx->ac.i32, sel->gs_max_out_vertices, false), "");
                ac_build_ifcc(&ctx->ac, tmp, 5101);
                ac_build_break(&ctx->ac);
                ac_build_endif(&ctx->ac, 5101);

                tmp = LLVMBuildAdd(builder, vertexidx, ctx->ac.i32_1, "");
                LLVMBuildStore(builder, tmp, ctx->gs_next_vertex[stream]);

                tmp = ngg_gs_emit_vertex_ptr(ctx, gsthread, vertexidx);
                LLVMBuildStore(builder, i8_0, ngg_gs_get_emit_primflag_ptr(ctx, tmp, stream));

                ac_build_endloop(&ctx->ac, 5100);
        }

        /* Accumulate generated primitives counts across the entire threadgroup. */
        for (unsigned stream = 0; stream < 4; ++stream) {
                if (!info->num_stream_output_components[stream])
                        continue;

                LLVMValueRef numprims =
                        LLVMBuildLoad(builder, ctx->gs_generated_prims[stream], "");
                numprims = ac_build_reduce(&ctx->ac, numprims, nir_op_iadd, ctx->ac.wave_size);

                tmp = LLVMBuildICmp(builder, LLVMIntEQ, ac_get_thread_id(&ctx->ac), ctx->ac.i32_0, "");
                ac_build_ifcc(&ctx->ac, tmp, 5105);
                {
                        LLVMBuildAtomicRMW(builder, LLVMAtomicRMWBinOpAdd,
                                           ac_build_gep0(&ctx->ac, ctx->gs_ngg_scratch,
                                                         LLVMConstInt(ctx->ac.i32, stream, false)),
                                           numprims, LLVMAtomicOrderingMonotonic, false);
                }
                ac_build_endif(&ctx->ac, 5105);
        }

        ac_build_endif(&ctx->ac, ctx->merged_wrap_if_label);

        ac_build_s_barrier(&ctx->ac);

        const LLVMValueRef tid = get_thread_id_in_tg(ctx);
        LLVMValueRef num_emit_threads = ngg_get_prim_cnt(ctx);

        /* Streamout */
        if (sel->so.num_outputs) {
                struct ngg_streamout nggso = {};

                nggso.num_vertices = LLVMConstInt(ctx->ac.i32, verts_per_prim, false);

                LLVMValueRef vertexptr = ngg_gs_vertex_ptr(ctx, tid);
                for (unsigned stream = 0; stream < 4; ++stream) {
                        if (!info->num_stream_output_components[stream])
                                continue;

                        tmp = LLVMBuildLoad(builder, ngg_gs_get_emit_primflag_ptr(ctx, vertexptr, stream), "");
                        tmp = LLVMBuildTrunc(builder, tmp, ctx->ac.i1, "");
                        tmp2 = LLVMBuildICmp(builder, LLVMIntULT, tid, num_emit_threads, "");
                        nggso.prim_enable[stream] = LLVMBuildAnd(builder, tmp, tmp2, "");
                }

                for (unsigned i = 0; i < verts_per_prim; ++i) {
                        tmp = LLVMBuildSub(builder, tid,
                                           LLVMConstInt(ctx->ac.i32, verts_per_prim - i - 1, false), "");
                        tmp = ngg_gs_vertex_ptr(ctx, tmp);
                        nggso.vertices[i] = ac_build_gep0(&ctx->ac, tmp, ctx->ac.i32_0);
                }

                build_streamout(ctx, &nggso);
        }

        /* Write shader query data. */
        if (ctx->screen->use_ngg_streamout) {
                tmp = si_unpack_param(ctx, ctx->vs_state_bits, 6, 1);
                tmp = LLVMBuildTrunc(builder, tmp, ctx->ac.i1, "");
                ac_build_ifcc(&ctx->ac, tmp, 5109); /* if (STREAMOUT_QUERY_ENABLED) */
                unsigned num_query_comps = sel->so.num_outputs ? 8 : 4;
                tmp = LLVMBuildICmp(builder, LLVMIntULT, tid,
                                    LLVMConstInt(ctx->ac.i32, num_query_comps, false), "");
                ac_build_ifcc(&ctx->ac, tmp, 5110);
                {
                        LLVMValueRef offset;
                        tmp = tid;
                        if (sel->so.num_outputs)
                                tmp = LLVMBuildAnd(builder, tmp, LLVMConstInt(ctx->ac.i32, 3, false), "");
                        offset = LLVMBuildNUWMul(builder, tmp, LLVMConstInt(ctx->ac.i32, 32, false), "");
                        if (sel->so.num_outputs) {
                                tmp = LLVMBuildLShr(builder, tid, LLVMConstInt(ctx->ac.i32, 2, false), "");
                                tmp = LLVMBuildNUWMul(builder, tmp, LLVMConstInt(ctx->ac.i32, 8, false), "");
                                offset = LLVMBuildAdd(builder, offset, tmp, "");
                        }

                        tmp = LLVMBuildLoad(builder, ac_build_gep0(&ctx->ac, ctx->gs_ngg_scratch, tid), "");
                        LLVMValueRef args[] = {
                                tmp,
                                ngg_get_query_buf(ctx),
                                offset,
                                LLVMConstInt(ctx->ac.i32, 16, false), /* soffset */
                                ctx->ac.i32_0, /* cachepolicy */
                        };
                        ac_build_intrinsic(&ctx->ac, "llvm.amdgcn.raw.buffer.atomic.add.i32",
                                           ctx->ac.i32, args, 5, 0);
                }
                ac_build_endif(&ctx->ac, 5110);
                ac_build_endif(&ctx->ac, 5109);
        }

        /* Determine vertex liveness. */
        LLVMValueRef vertliveptr = ac_build_alloca(&ctx->ac, ctx->ac.i1, "vertexlive");

        tmp = LLVMBuildICmp(builder, LLVMIntULT, tid, num_emit_threads, "");
        ac_build_ifcc(&ctx->ac, tmp, 5120);
        {
                for (unsigned i = 0; i < verts_per_prim; ++i) {
                        const LLVMValueRef primidx =
                                LLVMBuildAdd(builder, tid,
                                             LLVMConstInt(ctx->ac.i32, i, false), "");

                        if (i > 0) {
                                tmp = LLVMBuildICmp(builder, LLVMIntULT, primidx, num_emit_threads, "");
                                ac_build_ifcc(&ctx->ac, tmp, 5121 + i);
                        }

                        /* Load primitive liveness */
                        tmp = ngg_gs_vertex_ptr(ctx, primidx);
                        tmp = LLVMBuildLoad(builder, ngg_gs_get_emit_primflag_ptr(ctx, tmp, 0), "");
                        const LLVMValueRef primlive =
                                LLVMBuildTrunc(builder, tmp, ctx->ac.i1, "");

                        tmp = LLVMBuildLoad(builder, vertliveptr, "");
                        tmp = LLVMBuildOr(builder, tmp, primlive, ""),
                        LLVMBuildStore(builder, tmp, vertliveptr);

                        if (i > 0)
                                ac_build_endif(&ctx->ac, 5121 + i);
                }
        }
        ac_build_endif(&ctx->ac, 5120);

        /* Inclusive scan addition across the current wave. */
        LLVMValueRef vertlive = LLVMBuildLoad(builder, vertliveptr, "");
        struct ac_wg_scan vertlive_scan = {};
        vertlive_scan.op = nir_op_iadd;
        vertlive_scan.enable_reduce = true;
        vertlive_scan.enable_exclusive = true;
        vertlive_scan.src = vertlive;
        vertlive_scan.scratch = ac_build_gep0(&ctx->ac, ctx->gs_ngg_scratch, ctx->ac.i32_0);
        vertlive_scan.waveidx = get_wave_id_in_tg(ctx);
        vertlive_scan.numwaves = get_tgsize(ctx);
        vertlive_scan.maxwaves = 8;

        ac_build_wg_scan(&ctx->ac, &vertlive_scan);

        /* Skip all exports (including index exports) when possible. At least on
         * early gfx10 revisions this is also to avoid hangs.
         */
        LLVMValueRef have_exports =
                LLVMBuildICmp(builder, LLVMIntNE, vertlive_scan.result_reduce, ctx->ac.i32_0, "");
        num_emit_threads =
                LLVMBuildSelect(builder, have_exports, num_emit_threads, ctx->ac.i32_0, "");

        /* Allocate export space. Send this message as early as possible, to
         * hide the latency of the SQ <-> SPI roundtrip.
         *
         * Note: We could consider compacting primitives for export as well.
         *       PA processes 1 non-null prim / clock, but it fetches 4 DW of
         *       prim data per clock and skips null primitives at no additional
         *       cost. So compacting primitives can only be beneficial when
         *       there are 4 or more contiguous null primitives in the export
         *       (in the common case of single-dword prim exports).
         */
        ac_build_sendmsg_gs_alloc_req(&ctx->ac, get_wave_id_in_tg(ctx),
                                      vertlive_scan.result_reduce, num_emit_threads);

        /* Setup the reverse vertex compaction permutation. We re-use stream 1
         * of the primitive liveness flags, relying on the fact that each
         * threadgroup can have at most 256 threads. */
        ac_build_ifcc(&ctx->ac, vertlive, 5130);
        {
                tmp = ngg_gs_vertex_ptr(ctx, vertlive_scan.result_exclusive);
                tmp2 = LLVMBuildTrunc(builder, tid, ctx->ac.i8, "");
                LLVMBuildStore(builder, tmp2, ngg_gs_get_emit_primflag_ptr(ctx, tmp, 1));
        }
        ac_build_endif(&ctx->ac, 5130);

        ac_build_s_barrier(&ctx->ac);

        /* Export primitive data */
        tmp = LLVMBuildICmp(builder, LLVMIntULT, tid, num_emit_threads, "");
        ac_build_ifcc(&ctx->ac, tmp, 5140);
        {
                LLVMValueRef flags;
                struct ac_ngg_prim prim = {};
                prim.num_vertices = verts_per_prim;

                tmp = ngg_gs_vertex_ptr(ctx, tid);
                flags = LLVMBuildLoad(builder, ngg_gs_get_emit_primflag_ptr(ctx, tmp, 0), "");
                prim.isnull = LLVMBuildNot(builder, LLVMBuildTrunc(builder, flags, ctx->ac.i1, ""), "");

                for (unsigned i = 0; i < verts_per_prim; ++i) {
                        prim.index[i] = LLVMBuildSub(builder, vertlive_scan.result_exclusive,
                                LLVMConstInt(ctx->ac.i32, verts_per_prim - i - 1, false), "");
                        prim.edgeflag[i] = ctx->ac.i1false;
                }

                /* Geometry shaders output triangle strips, but NGG expects triangles. */
                if (verts_per_prim == 3) {
                        LLVMValueRef is_odd = LLVMBuildLShr(builder, flags, ctx->ac.i8_1, "");
                        is_odd = LLVMBuildTrunc(builder, is_odd, ctx->ac.i1, "");
                        LLVMValueRef flatshade_first =
                                LLVMBuildICmp(builder, LLVMIntEQ,
                                              si_unpack_param(ctx, ctx->vs_state_bits, 4, 2),
                                              ctx->ac.i32_0, "");

                        ac_build_triangle_strip_indices_to_triangle(&ctx->ac, is_odd,
                                                                    flatshade_first,
                                                                    prim.index);
                }

                ac_build_export_prim(&ctx->ac, &prim);
        }
        ac_build_endif(&ctx->ac, 5140);

        /* Export position and parameter data */
        tmp = LLVMBuildICmp(builder, LLVMIntULT, tid, vertlive_scan.result_reduce, "");
        ac_build_ifcc(&ctx->ac, tmp, 5145);
        {
                struct si_shader_output_values outputs[PIPE_MAX_SHADER_OUTPUTS];

                tmp = ngg_gs_vertex_ptr(ctx, tid);
                tmp = LLVMBuildLoad(builder, ngg_gs_get_emit_primflag_ptr(ctx, tmp, 1), "");
                tmp = LLVMBuildZExt(builder, tmp, ctx->ac.i32, "");
                const LLVMValueRef vertexptr = ngg_gs_vertex_ptr(ctx, tmp);

                unsigned out_idx = 0;
                for (unsigned i = 0; i < info->num_outputs; i++) {
                        outputs[i].semantic_name = info->output_semantic_name[i];
                        outputs[i].semantic_index = info->output_semantic_index[i];

                        for (unsigned j = 0; j < 4; j++, out_idx++) {
                                tmp = ngg_gs_get_emit_output_ptr(ctx, vertexptr, out_idx);
                                tmp = LLVMBuildLoad(builder, tmp, "");
                                outputs[i].values[j] = ac_to_float(&ctx->ac, tmp);
                                outputs[i].vertex_stream[j] =
                                        (info->output_streams[i] >> (2 * j)) & 3;
                        }
                }

                si_llvm_build_vs_exports(ctx, outputs, info->num_outputs);
        }
        ac_build_endif(&ctx->ac, 5145);
}

static void clamp_gsprims_to_esverts(unsigned *max_gsprims, unsigned max_esverts,
                                     unsigned min_verts_per_prim, bool use_adjacency)
{
        unsigned max_reuse = max_esverts - min_verts_per_prim;
        if (use_adjacency)
                max_reuse /= 2;
        *max_gsprims = MIN2(*max_gsprims, 1 + max_reuse);
}

/**
 * Determine subgroup information like maximum number of vertices and prims.
 *
 * This happens before the shader is uploaded, since LDS relocations during
 * upload depend on the subgroup size.
 */
void gfx10_ngg_calculate_subgroup_info(struct si_shader *shader)
{
        const struct si_shader_selector *gs_sel = shader->selector;
        const struct si_shader_selector *es_sel =
                shader->previous_stage_sel ? shader->previous_stage_sel : gs_sel;
        const enum pipe_shader_type gs_type = gs_sel->type;
        const unsigned gs_num_invocations = MAX2(gs_sel->gs_num_invocations, 1);
        const unsigned input_prim = si_get_input_prim(gs_sel);
        const bool use_adjacency = input_prim >= PIPE_PRIM_LINES_ADJACENCY &&
                                   input_prim <= PIPE_PRIM_TRIANGLE_STRIP_ADJACENCY;
        const unsigned max_verts_per_prim = u_vertices_per_prim(input_prim);
        const unsigned min_verts_per_prim =
                gs_type == PIPE_SHADER_GEOMETRY ? max_verts_per_prim : 1;

        /* All these are in dwords: */
        /* We can't allow using the whole LDS, because GS waves compete with
         * other shader stages for LDS space.
         *
         * TODO: We should really take the shader's internal LDS use into
         *       account. The linker will fail if the size is greater than
         *       8K dwords.
         */
        const unsigned max_lds_size = 8 * 1024 - 768;
        const unsigned target_lds_size = max_lds_size;
        unsigned esvert_lds_size = 0;
        unsigned gsprim_lds_size = 0;

        /* All these are per subgroup: */
        bool max_vert_out_per_gs_instance = false;
        unsigned max_gsprims_base = 128; /* default prim group size clamp */
        unsigned max_esverts_base = 128;

        if (shader->key.opt.ngg_culling & SI_NGG_CULL_GS_FAST_LAUNCH_TRI_LIST) {
                max_gsprims_base = 128 / 3;
                max_esverts_base = max_gsprims_base * 3;
        } else if (shader->key.opt.ngg_culling & SI_NGG_CULL_GS_FAST_LAUNCH_TRI_STRIP) {
                max_gsprims_base = 126;
                max_esverts_base = 128;
        }

        /* Hardware has the following non-natural restrictions on the value
         * of GE_CNTL.VERT_GRP_SIZE based on based on the primitive type of
         * the draw:
         *  - at most 252 for any line input primitive type
         *  - at most 251 for any quad input primitive type
         *  - at most 251 for triangle strips with adjacency (this happens to
         *    be the natural limit for triangle *lists* with adjacency)
         */
        max_esverts_base = MIN2(max_esverts_base, 251 + max_verts_per_prim - 1);

        if (gs_type == PIPE_SHADER_GEOMETRY) {
                unsigned max_out_verts_per_gsprim =
                        gs_sel->gs_max_out_vertices * gs_num_invocations;

                if (max_out_verts_per_gsprim <= 256) {
                        if (max_out_verts_per_gsprim) {
                                max_gsprims_base = MIN2(max_gsprims_base,
                                                        256 / max_out_verts_per_gsprim);
                        }
                } else {
                        /* Use special multi-cycling mode in which each GS
                         * instance gets its own subgroup. Does not work with
                         * tessellation. */
                        max_vert_out_per_gs_instance = true;
                        max_gsprims_base = 1;
                        max_out_verts_per_gsprim = gs_sel->gs_max_out_vertices;
                }

                esvert_lds_size = es_sel->esgs_itemsize / 4;
                gsprim_lds_size = (gs_sel->gsvs_vertex_size / 4 + 1) * max_out_verts_per_gsprim;
        } else {
                /* VS and TES. */
                /* LDS size for passing data from ES to GS. */
                esvert_lds_size = ngg_nogs_vertex_size(shader);
        }

        unsigned max_gsprims = max_gsprims_base;
        unsigned max_esverts = max_esverts_base;

        if (esvert_lds_size)
                max_esverts = MIN2(max_esverts, target_lds_size / esvert_lds_size);
        if (gsprim_lds_size)
                max_gsprims = MIN2(max_gsprims, target_lds_size / gsprim_lds_size);

        max_esverts = MIN2(max_esverts, max_gsprims * max_verts_per_prim);
        clamp_gsprims_to_esverts(&max_gsprims, max_esverts, min_verts_per_prim, use_adjacency);
        assert(max_esverts >= max_verts_per_prim && max_gsprims >= 1);

        if (esvert_lds_size || gsprim_lds_size) {
                /* Now that we have a rough proportionality between esverts
                 * and gsprims based on the primitive type, scale both of them
                 * down simultaneously based on required LDS space.
                 *
                 * We could be smarter about this if we knew how much vertex
                 * reuse to expect.
                 */
                unsigned lds_total = max_esverts * esvert_lds_size +
                                     max_gsprims * gsprim_lds_size;
                if (lds_total > target_lds_size) {
                        max_esverts = max_esverts * target_lds_size / lds_total;
                        max_gsprims = max_gsprims * target_lds_size / lds_total;

                        max_esverts = MIN2(max_esverts, max_gsprims * max_verts_per_prim);
                        clamp_gsprims_to_esverts(&max_gsprims, max_esverts,
                                                 min_verts_per_prim, use_adjacency);
                        assert(max_esverts >= max_verts_per_prim && max_gsprims >= 1);
                }
        }

        /* Round up towards full wave sizes for better ALU utilization. */
        if (!max_vert_out_per_gs_instance) {
                const unsigned wavesize = gs_sel->screen->ge_wave_size;
                unsigned orig_max_esverts;
                unsigned orig_max_gsprims;
                do {
                        orig_max_esverts = max_esverts;
                        orig_max_gsprims = max_gsprims;

                        max_esverts = align(max_esverts, wavesize);
                        max_esverts = MIN2(max_esverts, max_esverts_base);
                        if (esvert_lds_size)
                                max_esverts = MIN2(max_esverts,
                                                   (max_lds_size - max_gsprims * gsprim_lds_size) /
                                                   esvert_lds_size);
                        max_esverts = MIN2(max_esverts, max_gsprims * max_verts_per_prim);

                        max_gsprims = align(max_gsprims, wavesize);
                        max_gsprims = MIN2(max_gsprims, max_gsprims_base);
                        if (gsprim_lds_size)
                                max_gsprims = MIN2(max_gsprims,
                                                   (max_lds_size - max_esverts * esvert_lds_size) /
                                                   gsprim_lds_size);
                        clamp_gsprims_to_esverts(&max_gsprims, max_esverts,
                                                 min_verts_per_prim, use_adjacency);
                        assert(max_esverts >= max_verts_per_prim && max_gsprims >= 1);
                } while (orig_max_esverts != max_esverts || orig_max_gsprims != max_gsprims);
        }

        /* Hardware restriction: minimum value of max_esverts */
        max_esverts = MAX2(max_esverts, 23 + max_verts_per_prim);

        unsigned max_out_vertices =
                max_vert_out_per_gs_instance ? gs_sel->gs_max_out_vertices :
                gs_type == PIPE_SHADER_GEOMETRY ?
                max_gsprims * gs_num_invocations * gs_sel->gs_max_out_vertices :
                max_esverts;
        assert(max_out_vertices <= 256);

        unsigned prim_amp_factor = 1;
        if (gs_type == PIPE_SHADER_GEOMETRY) {
                /* Number of output primitives per GS input primitive after
                 * GS instancing. */
                prim_amp_factor = gs_sel->gs_max_out_vertices;
        }

        /* The GE only checks against the maximum number of ES verts after
         * allocating a full GS primitive. So we need to ensure that whenever
         * this check passes, there is enough space for a full primitive without
         * vertex reuse.
         */
        shader->ngg.hw_max_esverts = max_esverts - max_verts_per_prim + 1;
        shader->ngg.max_gsprims = max_gsprims;
        shader->ngg.max_out_verts = max_out_vertices;
        shader->ngg.prim_amp_factor = prim_amp_factor;
        shader->ngg.max_vert_out_per_gs_instance = max_vert_out_per_gs_instance;

        shader->gs_info.esgs_ring_size = 4 * max_esverts * esvert_lds_size;
        shader->ngg.ngg_emit_size = max_gsprims * gsprim_lds_size;

        assert(shader->ngg.hw_max_esverts >= 24); /* HW limitation */
}