mesa/program/prog_parameter_layout.c

/*
 * Copyright © 2009 Intel Corporation
 *
 * 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
 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
 * 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 NONINFRINGEMENT.  IN NO EVENT SHALL
 * THE AUTHORS OR COPYRIGHT HOLDERS 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.
 */

/**
 * \file prog_parameter_layout.c
 * \brief Helper functions to layout storage for program parameters
 *
 * \author Ian Romanick <ian.d.romanick@intel.com>
 */


#include "main/mtypes.h"
#include "prog_parameter.h"
#include "prog_parameter_layout.h"
#include "prog_instruction.h"
#include "program_parser.h"

unsigned
_mesa_combine_swizzles(unsigned base, unsigned applied)
{
   unsigned swiz = 0;
   unsigned i;

   for (i = 0; i < 4; i++) {
      const unsigned s = GET_SWZ(applied, i);

      swiz |= ((s <= SWIZZLE_W) ? GET_SWZ(base, s) : s) << (i * 3);
   }

   return swiz;
}


/**
 * Copy indirect access array from one parameter list to another
 *
 * \param src   Parameter array copied from
 * \param dst   Parameter array copied to
 * \param first Index of first element in \c src to copy
 * \param count Number of elements to copy
 *
 * \return
 * The location in \c dst of the first element copied from \c src on
 * success.  -1 on failure.
 *
 * \warning
 * This function assumes that there is already enough space available in
 * \c dst to hold all of the elements that will be copied over.
 */
static int
copy_indirect_accessed_array(struct gl_program_parameter_list *src,
			     struct gl_program_parameter_list *dst,
			     unsigned first, unsigned count)
{
   const int base = dst->NumParameters;
   unsigned i, j;

   for (i = first; i < (first + count); i++) {
      struct gl_program_parameter *curr = & src->Parameters[i];

      if (curr->Type == PROGRAM_CONSTANT) {
	 j = dst->NumParameters;
      } else {
	 for (j = 0; j < dst->NumParameters; j++) {
	    if (memcmp(dst->Parameters[j].StateIndexes, curr->StateIndexes,
		       sizeof(curr->StateIndexes)) == 0) {
	       return -1;
	    }
	 }
      }

      assert(j == dst->NumParameters);

      /* copy src parameter [i] to dest parameter [j] */
      memcpy(&dst->Parameters[j], curr,
	     sizeof(dst->Parameters[j]));

      dst->Parameters[j].ValueOffset = dst->NumParameterValues;

      gl_constant_value *pv_dst =
         dst->ParameterValues + dst->Parameters[j].ValueOffset;
      gl_constant_value *pv_src =
         src->ParameterValues + src->Parameters[i].ValueOffset;

      memcpy(pv_dst, pv_src, MIN2(src->Parameters[i].Size, 4) *
             sizeof(GLfloat));
      dst->NumParameterValues += MIN2(dst->Parameters[j].Size, 4);


      /* Pointer to the string name was copied.  Null-out src param name
       * to prevent double free later.
       */
      curr->Name = NULL;

      dst->NumParameters++;
   }

   return base;
}


static int compare_state_var(const void *a1, const void *a2)
{
   const struct gl_program_parameter *p1 =
      (const struct gl_program_parameter *)a1;
   const struct gl_program_parameter *p2 =
      (const struct gl_program_parameter *)a2;

   for (unsigned i = 0; i < STATE_LENGTH; i++) {
      if (p1->StateIndexes[i] != p2->StateIndexes[i])
         return p1->StateIndexes[i] - p2->StateIndexes[i];
   }
   return 0;
}


/**
 * Create the final program parameter list in this order:
 * - constants and state variables with variable indexing are first
 * - other constants are next
 * - other state variables are last and sorted
 *
 * \return GL_TRUE for success, GL_FALSE for failure
 */
GLboolean
_mesa_layout_parameters(struct asm_parser_state *state)
{
   struct gl_program_parameter_list *layout;
   struct asm_instruction *inst;

   layout =
      _mesa_new_parameter_list_sized(state->prog->Parameters->NumParameters);

   /* PASS 1:  Move any parameters that are accessed indirectly from the
    * original parameter list to the new parameter list.
    */
   for (inst = state->inst_head; inst != NULL; inst = inst->next) {
      for (unsigned i = 0; i < 3; i++) {
         if (inst->SrcReg[i].Base.RelAddr) {
            /* Only attempt to add the to the new parameter list once.
             */
            if (!inst->SrcReg[i].Symbol->pass1_done) {
               const int new_begin =
                  copy_indirect_accessed_array(state->prog->Parameters, layout,
                                               inst->SrcReg[i].Symbol->param_binding_begin,
                                               inst->SrcReg[i].Symbol->param_binding_length);

               if (new_begin < 0) {
                  _mesa_free_parameter_list(layout);
                  return GL_FALSE;
               }

               inst->SrcReg[i].Symbol->param_binding_begin = new_begin;
               inst->SrcReg[i].Symbol->pass1_done = 1;
            }

            /* Previously the Index was just the offset from the parameter
             * array.  Now that the base of the parameter array is known, the
             * index can be updated to its actual value.
             */
            inst->Base.SrcReg[i] = inst->SrcReg[i].Base;
            inst->Base.SrcReg[i].Index +=
               inst->SrcReg[i].Symbol->param_binding_begin;
         }
      }
   }

   /* PASS 2: Move any constants that are not accessed indirectly from the
    * original parameter list to the new parameter list.
    */
   for (inst = state->inst_head; inst != NULL; inst = inst->next) {
      for (unsigned i = 0; i < 3; i++) {
         const int idx = inst->SrcReg[i].Base.Index;
         const struct gl_program_parameter *const p =
            &state->prog->Parameters->Parameters[idx];
         unsigned swizzle = SWIZZLE_NOOP;

         if (inst->SrcReg[i].Base.RelAddr ||
             inst->SrcReg[i].Base.File <= PROGRAM_OUTPUT ||
             inst->SrcReg[i].Base.File >= PROGRAM_WRITE_ONLY ||
             p->Type != PROGRAM_CONSTANT)
            continue;

         inst->Base.SrcReg[i] = inst->SrcReg[i].Base;

         unsigned pvo = state->prog->Parameters->Parameters[idx].ValueOffset;
         const gl_constant_value *const v =
            state->prog->Parameters->ParameterValues + pvo;

         inst->Base.SrcReg[i].Index =
            _mesa_add_unnamed_constant(layout, v, p->Size, &swizzle);

         inst->Base.SrcReg[i].Swizzle =
            _mesa_combine_swizzles(swizzle, inst->Base.SrcReg[i].Swizzle);

         inst->SrcReg[i].Base.File = p->Type;
         inst->Base.SrcReg[i].File = p->Type;
      }
   }

   /* PASS 3: Add sorted state variables.  NOTE: This pass does **not** modify
    * the instruction with the updated index.  The sorting step might
    * invalidate the index that was calculated by _mesa_add_state_reference.
    * Instead, it relies on PASS 4 to do this.
    */
   unsigned first_state_var = layout->NumParameters;

   for (inst = state->inst_head; inst != NULL; inst = inst->next) {
      for (unsigned i = 0; i < 3; i++) {
         const struct gl_program_parameter *p;
         const int idx = inst->SrcReg[i].Base.Index;

         p = &state->prog->Parameters->Parameters[idx];

         if (inst->SrcReg[i].Base.RelAddr ||
             inst->SrcReg[i].Base.File <= PROGRAM_OUTPUT ||
             inst->SrcReg[i].Base.File >= PROGRAM_WRITE_ONLY ||
             p->Type != PROGRAM_STATE_VAR)
            continue;

         _mesa_add_state_reference(layout, p->StateIndexes);
      }
   }

   /* Sort if we have added at least 2 state vars. */
   if (first_state_var + 2 <= layout->NumParameters) {
      /* All state vars should be vec4s. */
      for (unsigned i = first_state_var; i < layout->NumParameters; i++) {
         assert(layout->Parameters[i].Size == 4);
         assert(layout->Parameters[i].ValueOffset == i * 4);
      }

      qsort(layout->Parameters + first_state_var,
            layout->NumParameters - first_state_var,
            sizeof(layout->Parameters[0]), compare_state_var);

      /* Fix offsets. */
      for (unsigned i = first_state_var; i < layout->NumParameters; i++) {
         layout->Parameters[i].ValueOffset = i * 4;
      }
   }

   /* PASS 4: Fix up the index and file information for instructions whose
    * parameters were added to the parameter list in PASS 3.
    */
   for (inst = state->inst_head; inst != NULL; inst = inst->next) {
      for (unsigned i = 0; i < 3; i++) {
         const int idx = inst->SrcReg[i].Base.Index;
         const struct gl_program_parameter *const p =
            &state->prog->Parameters->Parameters[idx];

         if (inst->SrcReg[i].Base.RelAddr ||
             inst->SrcReg[i].Base.File <= PROGRAM_OUTPUT ||
             inst->SrcReg[i].Base.File >= PROGRAM_WRITE_ONLY ||
             p->Type != PROGRAM_STATE_VAR)
            continue;

         inst->Base.SrcReg[i] = inst->SrcReg[i].Base;

         inst->Base.SrcReg[i].Index =
            _mesa_add_state_reference(layout, p->StateIndexes);

         inst->SrcReg[i].Base.File = p->Type;
         inst->Base.SrcReg[i].File = p->Type;
      }
   }

   assert(layout->NumParameters <= state->prog->Parameters->NumParameters);
   _mesa_recompute_parameter_bounds(layout);

   layout->StateFlags = state->prog->Parameters->StateFlags;
   _mesa_free_parameter_list(state->prog->Parameters);
   state->prog->Parameters = layout;

   return GL_TRUE;
}