/**************************************************************************
 * 
 * Copyright 2009 VMware, Inc.
 * All Rights Reserved.
 * 
 * Permission is hereby granted, free of charge, to any person obtaining a
 * copy of this software and associated documentation files (the
 * "Software"), to deal in the Software without restriction, including
 * without limitation 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 VMWARE, INC AND/OR ITS 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 "pipe/p_context.h"
#include "pipe/p_state.h"
#include "tgsi/tgsi_ureg.h"
#include "tgsi/tgsi_dump.h"
#include "util/u_memory.h"

union tgsi_any_token {
   struct tgsi_version version;
   struct tgsi_header header;
   struct tgsi_processor processor;
   struct tgsi_token token;
   struct tgsi_declaration decl;
   struct tgsi_declaration_range decl_range;
   struct tgsi_declaration_semantic decl_semantic;
   struct tgsi_immediate imm;
   union  tgsi_immediate_data imm_data;
   struct tgsi_instruction insn;
   struct tgsi_instruction_ext_nv insn_ext_nv;
   struct tgsi_instruction_ext_label insn_ext_label;
   struct tgsi_instruction_ext_texture insn_ext_texture;
   struct tgsi_instruction_ext_predicate insn_ext_predicate;
   struct tgsi_src_register src;
   struct tgsi_src_register_ext_swz src_ext_swz;
   struct tgsi_src_register_ext_mod src_ext_mod;
   struct tgsi_dimension dim;
   struct tgsi_dst_register dst;
   struct tgsi_dst_register_ext_concode dst_ext_code;
   struct tgsi_dst_register_ext_modulate dst_ext_mod;
   struct tgsi_dst_register_ext_predicate dst_ext_pred;
   unsigned value;
};


struct ureg_tokens {
   union tgsi_any_token *tokens;
   unsigned size;
   unsigned order;
   unsigned count;
};

#define UREG_MAX_INPUT PIPE_MAX_ATTRIBS
#define UREG_MAX_OUTPUT PIPE_MAX_ATTRIBS
#define UREG_MAX_IMMEDIATE 32

#define DOMAIN_DECL 0
#define DOMAIN_INSN 1

struct ureg_program
{
   unsigned processor;
   struct pipe_context *pipe;

   struct {
      unsigned semantic_name;
      unsigned semantic_index;
      unsigned interp;
   } input[UREG_MAX_INPUT];
   unsigned nr_inputs;

   struct {
      unsigned semantic_name;
      unsigned semantic_index;
   } output[UREG_MAX_OUTPUT];
   unsigned nr_outputs;

   struct {
      float v[4];
      unsigned nr;
   } immediate[UREG_MAX_OUTPUT];
   unsigned nr_immediates;


   unsigned nr_constants;
   unsigned nr_temps;
   unsigned nr_samplers;

   struct ureg_tokens domain[2];
};

static union tgsi_any_token error_tokens[32];

static void tokens_error( struct ureg_tokens *tokens )
{
   tokens->tokens = error_tokens;
   tokens->size = Elements(error_tokens);
   tokens->count = 0;
}


static void tokens_expand( struct ureg_tokens *tokens,
                           unsigned count )
{
   unsigned old_size = tokens->size * sizeof(unsigned);

   if (tokens->tokens == error_tokens)
      goto fail;

   while (tokens->count + count > tokens->size) {
      tokens->size = (1 << ++tokens->order);
   }

   tokens->tokens = REALLOC(tokens->tokens, 
                            old_size,
                            tokens->size * sizeof(unsigned));
   if (tokens->tokens == NULL) 
      goto fail;

   return;
          
fail:
   tokens_error(tokens);
}

static void set_bad( struct ureg_program *ureg )
{
   tokens_error(&ureg->domain[0]);
}



static union tgsi_any_token *get_tokens( struct ureg_program *ureg,
                                         unsigned domain,
                                         unsigned count )
{
   struct ureg_tokens *tokens = &ureg->domain[domain];
   union tgsi_any_token *result;

   if (tokens->count + count > tokens->size) 
      tokens_expand(tokens, count);

   result = &tokens->tokens[tokens->count];
   tokens->count += count;
   return result;
}


static union tgsi_any_token *retrieve_token( struct ureg_program *ureg,
                                            unsigned domain,
                                            unsigned nr )
{
   if (ureg->domain[domain].tokens == error_tokens)
      return &error_tokens[0];

   return &ureg->domain[domain].tokens[nr];
}



static INLINE struct ureg_dst
ureg_dst_register( unsigned file,
                   unsigned index )
{
   struct ureg_dst dst;

   dst.File      = file;
   dst.WriteMask = TGSI_WRITEMASK_XYZW;
   dst.Indirect  = 0;
   dst.Saturate  = 0;
   dst.Index     = index;
   dst.Pad1      = 0;
   dst.Pad2      = 0;

   return dst;
}

static INLINE struct ureg_src 
ureg_src_register( unsigned file,
                   unsigned index )
{
   struct ureg_src src;

   src.File     = file;
   src.SwizzleX = TGSI_SWIZZLE_X;
   src.SwizzleY = TGSI_SWIZZLE_Y;
   src.SwizzleZ = TGSI_SWIZZLE_Z;
   src.SwizzleW = TGSI_SWIZZLE_W;
   src.Pad      = 0;
   src.Indirect = 0;
   src.Absolute = 0;
   src.Index    = index;
   src.Negate   = 0;

   return src;
}




static struct ureg_src 
ureg_DECL_input( struct ureg_program *ureg,
                 unsigned name,
                 unsigned index,
                 unsigned interp_mode )
{
   unsigned i;

   for (i = 0; i < ureg->nr_inputs; i++) {
      if (ureg->input[i].semantic_name == name &&
          ureg->input[i].semantic_index == index) 
         goto out;
   }

   if (ureg->nr_inputs < UREG_MAX_INPUT) {
      ureg->input[i].semantic_name = name;
      ureg->input[i].semantic_index = index;
      ureg->input[i].interp = interp_mode;
      ureg->nr_inputs++;
   }
   else {
      set_bad( ureg );
   }

out:
   return ureg_src_register( TGSI_FILE_INPUT, i );
}



struct ureg_src 
ureg_DECL_fs_input( struct ureg_program *ureg,
                    unsigned name,
                    unsigned index,
                    unsigned interp )
{
   return ureg_DECL_input( ureg, name, index, interp );
}


struct ureg_src 
ureg_DECL_vs_input( struct ureg_program *ureg,
                    unsigned name,
                    unsigned index )
{
   return ureg_DECL_input( ureg, name, index, TGSI_INTERPOLATE_CONSTANT );
}


struct ureg_dst 
ureg_DECL_output( struct ureg_program *ureg,
                  unsigned name,
                  unsigned index )
{
   unsigned i;

   for (i = 0; i < ureg->nr_outputs; i++) {
      if (ureg->output[i].semantic_name == name &&
          ureg->output[i].semantic_index == index) 
         goto out;
   }

   if (ureg->nr_outputs < UREG_MAX_OUTPUT) {
      ureg->output[i].semantic_name = name;
      ureg->output[i].semantic_index = index;
      ureg->nr_outputs++;
   }
   else {
      set_bad( ureg );
   }

out:
   return ureg_dst_register( TGSI_FILE_OUTPUT, i );
}


/* Returns a new constant register.  Keep track of which have been
 * referred to so that we can emit decls later.
 *
 * There is nothing in this code to bind this constant to any tracked
 * value or manage any constant_buffer contents -- that's the
 * resposibility of the calling code.
 */
struct ureg_src ureg_DECL_constant(struct ureg_program *ureg )
{
   return ureg_src_register( TGSI_FILE_TEMPORARY, ureg->nr_constants++ );
}


/* Allocate a new temporary.  No way to release temporaries in this code. 
 */
struct ureg_dst ureg_DECL_temporary( struct ureg_program *ureg )
{
   return ureg_dst_register( TGSI_FILE_TEMPORARY, ureg->nr_temps++ );
}


/* Allocate a new sampler.
 */
struct ureg_src ureg_DECL_sampler( struct ureg_program *ureg )
{
   return ureg_src_register( TGSI_FILE_SAMPLER, ureg->nr_samplers++ );
}




static int match_or_expand_immediate( const float *v,
                                      unsigned nr,
                                      float *v2,
                                      unsigned *nr2,
                                      unsigned *swizzle )
{
   unsigned i, j;

   for (i = 0; i < nr; i++) {
      boolean found = FALSE;

      for (j = 0; j < *nr2 && !found; j++) {
         if (v[i] == v2[j]) {
            *swizzle |= j << (i * 2);
            found = TRUE;
         }
      }

      if (!found) {
         if (*nr2 >= 4) 
            return FALSE;

         v2[*nr2] = v[i];
         *swizzle |= *nr2 << (i * 2);
         (*nr2)++;
      }
   }

   return TRUE;
}




struct ureg_src ureg_DECL_immediate( struct ureg_program *ureg, 
                                     const float *v,
                                     unsigned nr )
{
   unsigned i;
   unsigned swizzle;

   /* Could do a first pass where we examine all existing immediates
    * without expanding.
    */

   for (i = 0; i < ureg->nr_immediates; i++) {
      if (match_or_expand_immediate( v, 
                                     nr,
                                     ureg->immediate[i].v,
                                     &ureg->immediate[i].nr, 
                                     &swizzle ))
         goto out;
   }

   if (ureg->nr_immediates < UREG_MAX_IMMEDIATE) {
      i = ureg->nr_immediates++;
      if (match_or_expand_immediate( v,
                                     nr,
                                     ureg->immediate[i].v,
                                     &ureg->immediate[i].nr, 
                                     &swizzle ))
         goto out;
   }

   set_bad( ureg );

out:
   return ureg_swizzle( ureg_src_register( TGSI_FILE_IMMEDIATE, i ),
                        (swizzle >> 0) & 0x3,
                        (swizzle >> 2) & 0x3,
                        (swizzle >> 4) & 0x3,
                        (swizzle >> 6) & 0x3);
}


void 
ureg_emit_src( struct ureg_program *ureg,
               struct ureg_src src )
{
   unsigned size = (1 + 
                    (src.Absolute ? 1 : 0) +
                    (src.Indirect ? 1 : 0));

   union tgsi_any_token *out = get_tokens( ureg, DOMAIN_INSN, size );
   unsigned n = 0;

   out[n].value = 0;
   out[n].src.File = src.File;
   out[n].src.SwizzleX = src.SwizzleX;
   out[n].src.SwizzleY = src.SwizzleY;
   out[n].src.SwizzleZ = src.SwizzleZ;
   out[n].src.SwizzleW = src.SwizzleW;
   out[n].src.Indirect = src.Indirect;
   out[n].src.Index = src.Index;
   n++;
   
   if (src.Absolute) {
      out[n].value = 0;
      out[n].src_ext_mod.Absolute = 1;
      n++;
   }

   if (src.Indirect) {
      out[n].value = 0;
      out[n].src.File = TGSI_FILE_ADDRESS;
      out[n].src.SwizzleX = TGSI_SWIZZLE_X;
      out[n].src.SwizzleY = TGSI_SWIZZLE_X;
      out[n].src.SwizzleZ = TGSI_SWIZZLE_X;
      out[n].src.SwizzleW = TGSI_SWIZZLE_X;
      out[n].src.Indirect = 0;
      out[n].src.Index = 0;
      n++;
   }

   assert(n == size);
}


void 
ureg_emit_dst( struct ureg_program *ureg,
               struct ureg_dst dst )
{
   unsigned size = (1 + 
                    (dst.Indirect ? 1 : 0));

   union tgsi_any_token *out = get_tokens( ureg, DOMAIN_INSN, size );
   unsigned n = 0;

   out[n].value = 0;
   out[n].dst.File = dst.File;
   out[n].dst.WriteMask = dst.WriteMask;
   out[n].dst.Indirect = dst.Indirect;
   out[n].dst.Index = dst.Index;
   n++;
   
   if (dst.Indirect) {
      out[n].value = 0;
      out[n].src.File = TGSI_FILE_ADDRESS;
      out[n].src.SwizzleX = TGSI_SWIZZLE_X;
      out[n].src.SwizzleY = TGSI_SWIZZLE_X;
      out[n].src.SwizzleZ = TGSI_SWIZZLE_X;
      out[n].src.SwizzleW = TGSI_SWIZZLE_X;
      out[n].src.Indirect = 0;
      out[n].src.Index = 0;
      n++;
   }

   assert(n == size);
}



unsigned
ureg_emit_insn(struct ureg_program *ureg,
               unsigned opcode,
               boolean saturate,
               unsigned num_dst,
               unsigned num_src )
{
   union tgsi_any_token *out;

   out = get_tokens( ureg, DOMAIN_INSN, 1 );
   out[0].value = 0;
   out[0].insn.Type = TGSI_TOKEN_TYPE_INSTRUCTION;
   out[0].insn.NrTokens = 0;
   out[0].insn.Opcode = opcode;
   out[0].insn.Saturate = saturate;
   out[0].insn.NrTokens = 0;
   out[0].insn.NumDstRegs = num_dst;
   out[0].insn.NumSrcRegs = num_src;
   out[0].insn.Padding = 0;
   out[0].insn.Extended = 0;

   return ureg->domain[DOMAIN_INSN].count - 1;
}


void
ureg_emit_label(struct ureg_program *ureg,
                unsigned insn_token,
                unsigned *label_token )
{
   union tgsi_any_token *out, *insn;

   out = get_tokens( ureg, DOMAIN_INSN, 1 );
   insn = retrieve_token( ureg, DOMAIN_INSN, insn_token );

   insn->insn.Extended = 1;

   out[0].value = 0;
   out[0].insn_ext_label.Type = TGSI_INSTRUCTION_EXT_TYPE_LABEL;
}


void
ureg_emit_texture(struct ureg_program *ureg,
                  unsigned insn_token,
                  unsigned target )
{
   union tgsi_any_token *out, *insn;

   out = get_tokens( ureg, DOMAIN_INSN, 1 );
   insn = retrieve_token( ureg, DOMAIN_INSN, insn_token );

   insn->insn.Extended = 1;

   out[0].value = 0;
   out[0].insn_ext_texture.Type = TGSI_INSTRUCTION_EXT_TYPE_TEXTURE;
   out[0].insn_ext_texture.Texture = target;
}


void
ureg_fixup_insn_size(struct ureg_program *ureg,
                     unsigned insn )
{
   union tgsi_any_token *out = retrieve_token( ureg, DOMAIN_INSN, insn );

   out->insn.NrTokens = ureg->domain[DOMAIN_INSN].count - insn - 1;
}





static void emit_decl( struct ureg_program *ureg,
                       unsigned file,
                       unsigned index,
                       unsigned semantic_name,
                       unsigned semantic_index,
                       unsigned interp )
{
   union tgsi_any_token *out = get_tokens( ureg, DOMAIN_DECL, 3 );

   out[0].value = 0;
   out[0].decl.Type = TGSI_TOKEN_TYPE_DECLARATION;
   out[0].decl.NrTokens = 3;
   out[0].decl.File = file;
   out[0].decl.UsageMask = TGSI_WRITEMASK_XYZW; /* FIXME! */
   out[0].decl.Interpolate = interp;
   out[0].decl.Semantic = 1;

   out[1].value = 0;
   out[1].decl_range.First = 
      out[1].decl_range.Last = index;

   out[2].value = 0;
   out[2].decl_semantic.SemanticName = semantic_name;
   out[2].decl_semantic.SemanticIndex = semantic_index;

}


static void emit_decl_range( struct ureg_program *ureg,
                             unsigned file,
                             unsigned first,
                             unsigned count )
{
   union tgsi_any_token *out = get_tokens( ureg, DOMAIN_DECL, 2 );

   out[0].value = 0;
   out[0].decl.Type = TGSI_TOKEN_TYPE_DECLARATION;
   out[0].decl.NrTokens = 2;
   out[0].decl.File = file;
   out[0].decl.UsageMask = 0xf;
   out[0].decl.Interpolate = TGSI_INTERPOLATE_CONSTANT;
   out[0].decl.Semantic = 0;

   out[1].value = 0;
   out[1].decl_range.First = first;
   out[1].decl_range.Last = first + count - 1;
}

static void emit_immediate( struct ureg_program *ureg,
                            const float *v )
{
   union tgsi_any_token *out = get_tokens( ureg, DOMAIN_DECL, 5 );

   out[0].value = 0;
   out[0].imm.Type = TGSI_TOKEN_TYPE_IMMEDIATE;
   out[0].imm.NrTokens = 5;
   out[0].imm.DataType = TGSI_IMM_FLOAT32;
   out[0].imm.Padding = 0;
   out[0].imm.Extended = 0;

   out[1].imm_data.Float = v[0];
   out[2].imm_data.Float = v[1];
   out[3].imm_data.Float = v[2];
   out[4].imm_data.Float = v[3];
}




static void emit_decls( struct ureg_program *ureg )
{
   unsigned i;

   for (i = 0; i < ureg->nr_inputs; i++) {
      emit_decl( ureg, 
                 TGSI_FILE_INPUT, 
                 i,
                 ureg->input[i].semantic_name,
                 ureg->input[i].semantic_index,
                 ureg->input[i].interp );
   }

   for (i = 0; i < ureg->nr_outputs; i++) {
      emit_decl( ureg, 
                 TGSI_FILE_OUTPUT, 
                 i,
                 ureg->output[i].semantic_name,
                 ureg->output[i].semantic_index,
                 TGSI_INTERPOLATE_CONSTANT );
   }

   if (ureg->nr_samplers) {
      emit_decl_range( ureg, 
                       TGSI_FILE_SAMPLER,
                       0, ureg->nr_samplers );
   }

   if (ureg->nr_constants) {
      emit_decl_range( ureg,
                       TGSI_FILE_CONSTANT,
                       0, ureg->nr_constants );
   }

   if (ureg->nr_temps) {
      emit_decl_range( ureg,
                       TGSI_FILE_TEMPORARY,
                       0, ureg->nr_temps );
   }

   for (i = 0; i < ureg->nr_immediates; i++) {
      emit_immediate( ureg,
                      ureg->immediate[i].v );
   }
}

/* Append the instruction tokens onto the declarations to build a
 * contiguous stream suitable to send to the driver.
 */
static void copy_instructions( struct ureg_program *ureg )
{
   unsigned nr_tokens = ureg->domain[DOMAIN_INSN].count;
   union tgsi_any_token *out = get_tokens( ureg, 
                                           DOMAIN_DECL, 
                                           nr_tokens );

   memcpy(out, 
          ureg->domain[DOMAIN_INSN].tokens, 
          nr_tokens * sizeof out[0] );
}


static void
fixup_header_size(struct ureg_program *ureg,
                     unsigned insn )
{
   union tgsi_any_token *out = retrieve_token( ureg, DOMAIN_DECL, 1 );

   out->header.BodySize = ureg->domain[DOMAIN_DECL].count - 3;
}


static void
emit_header( struct ureg_program *ureg )
{
   union tgsi_any_token *out = get_tokens( ureg, DOMAIN_DECL, 3 );

   out[0].version.MajorVersion = 1;
   out[0].version.MinorVersion = 1;
   out[0].version.Padding = 0;

   out[1].header.HeaderSize = 2;
   out[1].header.BodySize = 0;

   out[2].processor.Processor = ureg->processor;
   out[2].processor.Padding = 0;
}


void *ureg_create_shader( struct ureg_program *ureg )
{
   struct pipe_shader_state state;
   unsigned insn;

   emit_header( ureg );
   emit_decls( ureg );
   copy_instructions( ureg );
   fixup_header_size( ureg, insn );
   
   if (ureg->domain[0].tokens == error_tokens ||
       ureg->domain[1].tokens == error_tokens) {
      debug_printf("%s: error in generated shader\n", __FUNCTION__);
      assert(0);
      return NULL;
   }

   state.tokens = (const struct tgsi_token *)ureg->domain[DOMAIN_DECL].tokens;

   if (1) {
      debug_printf("%s: emitted shader %d tokens:\n", __FUNCTION__, 
                   ureg->domain[DOMAIN_DECL].count);
      tgsi_dump( state.tokens, 0 );
   }

   if (ureg->processor == TGSI_PROCESSOR_VERTEX)
      return ureg->pipe->create_vs_state( ureg->pipe, &state );
   else
      return ureg->pipe->create_fs_state( ureg->pipe, &state );
}




struct ureg_program *ureg_create( struct pipe_context *pipe,
                                  unsigned processor )
{
   struct ureg_program *ureg = CALLOC_STRUCT( ureg_program );
   if (ureg == NULL)
      return NULL;

   ureg->pipe = pipe;
   ureg->processor = processor;
   return ureg;
}


void ureg_destroy( struct ureg_program *ureg )
{
   unsigned i;

   for (i = 0; i < Elements(ureg->domain); i++) {
      if (ureg->domain[i].tokens && 
          ureg->domain[i].tokens != error_tokens)
         FREE(ureg->domain[i].tokens);
   }
   
   FREE(ureg);
}