/* * Copyright (C) 2005 Ben Skeggs. * * 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, 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 COPYRIGHT OWNER(S) 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. * */ /* * Authors: * Ben Skeggs * Jerome Glisse */ /*TODO'S * * - Depth write, WPOS/FOGC inputs * - FogOption * - Verify results of opcodes for accuracy, I've only checked them * in specific cases. * - and more... */ #include "glheader.h" #include "macros.h" #include "enums.h" #include "shader/prog_instruction.h" #include "shader/prog_parameter.h" #include "shader/prog_print.h" #include "r300_context.h" #include "r300_fragprog.h" #include "r300_reg.h" /* * Usefull macros and values */ #define ERROR(fmt, args...) do { \ fprintf(stderr, "%s::%s(): " fmt "\n", \ __FILE__, __func__, ##args); \ rp->error = GL_TRUE; \ } while(0) #define PFS_INVAL 0xFFFFFFFF #define COMPILE_STATE struct r300_pfs_compile_state *cs = rp->cs #define SWIZZLE_XYZ 0 #define SWIZZLE_XXX 1 #define SWIZZLE_YYY 2 #define SWIZZLE_ZZZ 3 #define SWIZZLE_WWW 4 #define SWIZZLE_YZX 5 #define SWIZZLE_ZXY 6 #define SWIZZLE_WZY 7 #define SWIZZLE_111 8 #define SWIZZLE_000 9 #define SWIZZLE_HHH 10 #define swizzle(r, x, y, z, w) do_swizzle(rp, r, \ ((SWIZZLE_##x<<0)| \ (SWIZZLE_##y<<3)| \ (SWIZZLE_##z<<6)| \ (SWIZZLE_##w<<9)), \ 0) #define REG_TYPE_INPUT 0 #define REG_TYPE_OUTPUT 1 #define REG_TYPE_TEMP 2 #define REG_TYPE_CONST 3 #define REG_TYPE_SHIFT 0 #define REG_INDEX_SHIFT 2 #define REG_VSWZ_SHIFT 8 #define REG_SSWZ_SHIFT 13 #define REG_NEGV_SHIFT 18 #define REG_NEGS_SHIFT 19 #define REG_ABS_SHIFT 20 #define REG_NO_USE_SHIFT 21 #define REG_VALID_SHIFT 22 #define REG_TYPE_MASK (0x03 << REG_TYPE_SHIFT) #define REG_INDEX_MASK (0x3F << REG_INDEX_SHIFT) #define REG_VSWZ_MASK (0x1F << REG_VSWZ_SHIFT) #define REG_SSWZ_MASK (0x1F << REG_SSWZ_SHIFT) #define REG_NEGV_MASK (0x01 << REG_NEGV_SHIFT) #define REG_NEGS_MASK (0x01 << REG_NEGS_SHIFT) #define REG_ABS_MASK (0x01 << REG_ABS_SHIFT) #define REG_NO_USE_MASK (0x01 << REG_NO_USE_SHIFT) #define REG_VALID_MASK (0x01 << REG_VALID_SHIFT) #define REG(type, index, vswz, sswz, nouse, valid) \ (((type << REG_TYPE_SHIFT) & REG_TYPE_MASK) | \ ((index << REG_INDEX_SHIFT) & REG_INDEX_MASK) | \ ((nouse << REG_NO_USE_SHIFT) & REG_NO_USE_MASK) | \ ((valid << REG_VALID_SHIFT) & REG_VALID_MASK) | \ ((vswz << REG_VSWZ_SHIFT) & REG_VSWZ_MASK) | \ ((sswz << REG_SSWZ_SHIFT) & REG_SSWZ_MASK)) #define REG_GET_TYPE(reg) \ ((reg & REG_TYPE_MASK) >> REG_TYPE_SHIFT) #define REG_GET_INDEX(reg) \ ((reg & REG_INDEX_MASK) >> REG_INDEX_SHIFT) #define REG_GET_VSWZ(reg) \ ((reg & REG_VSWZ_MASK) >> REG_VSWZ_SHIFT) #define REG_GET_SSWZ(reg) \ ((reg & REG_SSWZ_MASK) >> REG_SSWZ_SHIFT) #define REG_GET_NO_USE(reg) \ ((reg & REG_NO_USE_MASK) >> REG_NO_USE_SHIFT) #define REG_GET_VALID(reg) \ ((reg & REG_VALID_MASK) >> REG_VALID_SHIFT) #define REG_SET_TYPE(reg, type) \ reg = ((reg & ~REG_TYPE_MASK) | \ ((type << REG_TYPE_SHIFT) & REG_TYPE_MASK)) #define REG_SET_INDEX(reg, index) \ reg = ((reg & ~REG_INDEX_MASK) | \ ((index << REG_INDEX_SHIFT) & REG_INDEX_MASK)) #define REG_SET_VSWZ(reg, vswz) \ reg = ((reg & ~REG_VSWZ_MASK) | \ ((vswz << REG_VSWZ_SHIFT) & REG_VSWZ_MASK)) #define REG_SET_SSWZ(reg, sswz) \ reg = ((reg & ~REG_SSWZ_MASK) | \ ((sswz << REG_SSWZ_SHIFT) & REG_SSWZ_MASK)) #define REG_SET_NO_USE(reg, nouse) \ reg = ((reg & ~REG_NO_USE_MASK) | \ ((nouse << REG_NO_USE_SHIFT) & REG_NO_USE_MASK)) #define REG_SET_VALID(reg, valid) \ reg = ((reg & ~REG_VALID_MASK) | \ ((valid << REG_VALID_SHIFT) & REG_VALID_MASK)) #define REG_ABS(reg) \ reg = (reg | REG_ABS_MASK) #define REG_NEGV(reg) \ reg = (reg | REG_NEGV_MASK) #define REG_NEGS(reg) \ reg = (reg | REG_NEGS_MASK) /* * Datas structures for fragment program generation */ /* description of r300 native hw instructions */ static const struct { const char *name; int argc; int v_op; int s_op; } r300_fpop[] = { { "MAD", 3, R300_FPI0_OUTC_MAD, R300_FPI2_OUTA_MAD }, { "DP3", 2, R300_FPI0_OUTC_DP3, R300_FPI2_OUTA_DP4 }, { "DP4", 2, R300_FPI0_OUTC_DP4, R300_FPI2_OUTA_DP4 }, { "MIN", 2, R300_FPI0_OUTC_MIN, R300_FPI2_OUTA_MIN }, { "MAX", 2, R300_FPI0_OUTC_MAX, R300_FPI2_OUTA_MAX }, { "CMP", 3, R300_FPI0_OUTC_CMP, R300_FPI2_OUTA_CMP }, { "FRC", 1, R300_FPI0_OUTC_FRC, R300_FPI2_OUTA_FRC }, { "EX2", 1, R300_FPI0_OUTC_REPL_ALPHA, R300_FPI2_OUTA_EX2 }, { "LG2", 1, R300_FPI0_OUTC_REPL_ALPHA, R300_FPI2_OUTA_LG2 }, { "RCP", 1, R300_FPI0_OUTC_REPL_ALPHA, R300_FPI2_OUTA_RCP }, { "RSQ", 1, R300_FPI0_OUTC_REPL_ALPHA, R300_FPI2_OUTA_RSQ }, { "REPL_ALPHA", 1, R300_FPI0_OUTC_REPL_ALPHA, PFS_INVAL }, { "CMPH", 3, R300_FPI0_OUTC_CMPH, PFS_INVAL }, }; /* vector swizzles r300 can support natively, with a couple of * cases we handle specially * * REG_VSWZ/REG_SSWZ is an index into this table */ #define SLOT_VECTOR (1<<0) #define SLOT_SCALAR (1<<3) #define SLOT_BOTH (SLOT_VECTOR | SLOT_SCALAR) /* mapping from SWIZZLE_* to r300 native values for scalar insns */ #define SWIZZLE_HALF 6 #define MAKE_SWZ3(x, y, z) (MAKE_SWIZZLE4(SWIZZLE_##x, \ SWIZZLE_##y, \ SWIZZLE_##z, \ SWIZZLE_ZERO)) static const struct r300_pfs_swizzle { GLuint hash; /* swizzle value this matches */ GLuint base; /* base value for hw swizzle */ GLuint stride; /* difference in base between arg0/1/2 */ GLuint flags; } v_swiz[] = { /* native swizzles */ { MAKE_SWZ3(X, Y, Z), R300_FPI0_ARGC_SRC0C_XYZ, 4, SLOT_VECTOR }, { MAKE_SWZ3(X, X, X), R300_FPI0_ARGC_SRC0C_XXX, 4, SLOT_VECTOR }, { MAKE_SWZ3(Y, Y, Y), R300_FPI0_ARGC_SRC0C_YYY, 4, SLOT_VECTOR }, { MAKE_SWZ3(Z, Z, Z), R300_FPI0_ARGC_SRC0C_ZZZ, 4, SLOT_VECTOR }, { MAKE_SWZ3(W, W, W), R300_FPI0_ARGC_SRC0A, 1, SLOT_SCALAR }, { MAKE_SWZ3(Y, Z, X), R300_FPI0_ARGC_SRC0C_YZX, 1, SLOT_VECTOR }, { MAKE_SWZ3(Z, X, Y), R300_FPI0_ARGC_SRC0C_ZXY, 1, SLOT_VECTOR }, { MAKE_SWZ3(W, Z, Y), R300_FPI0_ARGC_SRC0CA_WZY, 1, SLOT_BOTH }, { MAKE_SWZ3(ONE, ONE, ONE), R300_FPI0_ARGC_ONE, 0, 0}, { MAKE_SWZ3(ZERO, ZERO, ZERO), R300_FPI0_ARGC_ZERO, 0, 0}, { MAKE_SWZ3(HALF, HALF, HALF), R300_FPI0_ARGC_HALF, 0, 0}, { PFS_INVAL, 0, 0, 0}, }; /* used during matching of non-native swizzles */ #define SWZ_X_MASK (7 << 0) #define SWZ_Y_MASK (7 << 3) #define SWZ_Z_MASK (7 << 6) #define SWZ_W_MASK (7 << 9) static const struct { GLuint hash; /* used to mask matching swizzle components */ int mask; /* actual outmask */ int count; /* count of components matched */ } s_mask[] = { { SWZ_X_MASK|SWZ_Y_MASK|SWZ_Z_MASK, 1|2|4, 3}, { SWZ_X_MASK|SWZ_Y_MASK, 1|2, 2}, { SWZ_X_MASK|SWZ_Z_MASK, 1|4, 2}, { SWZ_Y_MASK|SWZ_Z_MASK, 2|4, 2}, { SWZ_X_MASK, 1, 1}, { SWZ_Y_MASK, 2, 1}, { SWZ_Z_MASK, 4, 1}, { PFS_INVAL, PFS_INVAL, PFS_INVAL} }; static const struct { int base; /* hw value of swizzle */ int stride; /* difference between SRC0/1/2 */ GLuint flags; } s_swiz[] = { { R300_FPI2_ARGA_SRC0C_X, 3, SLOT_VECTOR }, { R300_FPI2_ARGA_SRC0C_Y, 3, SLOT_VECTOR }, { R300_FPI2_ARGA_SRC0C_Z, 3, SLOT_VECTOR }, { R300_FPI2_ARGA_SRC0A , 1, SLOT_SCALAR }, { R300_FPI2_ARGA_ZERO , 0, 0 }, { R300_FPI2_ARGA_ONE , 0, 0 }, { R300_FPI2_ARGA_HALF , 0, 0 } }; /* boiler-plate reg, for convenience */ static const GLuint undef = REG(REG_TYPE_TEMP, 0, SWIZZLE_XYZ, SWIZZLE_W, GL_FALSE, GL_FALSE); /* constant one source */ static const GLuint pfs_one = REG(REG_TYPE_CONST, 0, SWIZZLE_111, SWIZZLE_ONE, GL_FALSE, GL_TRUE); /* constant half source */ static const GLuint pfs_half = REG(REG_TYPE_CONST, 0, SWIZZLE_HHH, SWIZZLE_HALF, GL_FALSE, GL_TRUE); /* constant zero source */ static const GLuint pfs_zero = REG(REG_TYPE_CONST, 0, SWIZZLE_000, SWIZZLE_ZERO, GL_FALSE, GL_TRUE); /* * Common functions prototypes */ static void dump_program(struct r300_fragment_program *rp); static void emit_arith(struct r300_fragment_program *rp, int op, GLuint dest, int mask, GLuint src0, GLuint src1, GLuint src2, int flags); /* * Helper functions prototypes */ static int get_hw_temp(struct r300_fragment_program *rp) { COMPILE_STATE; int r = ffs(~cs->hwreg_in_use); if (!r) { ERROR("Out of hardware temps\n"); return 0; } cs->hwreg_in_use |= (1 << --r); if (r > rp->max_temp_idx) rp->max_temp_idx = r; return r; } static int get_hw_temp_tex(struct r300_fragment_program *rp) { COMPILE_STATE; int r; r = ffs(~(cs->hwreg_in_use | cs->used_in_node)); if (!r) return get_hw_temp(rp); /* Will cause an indirection */ cs->hwreg_in_use |= (1 << --r); if (r > rp->max_temp_idx) rp->max_temp_idx = r; return r; } static void free_hw_temp(struct r300_fragment_program *rp, int idx) { COMPILE_STATE; cs->hwreg_in_use &= ~(1<temp_in_use); if (!index) { ERROR("Out of program temps\n"); return r; } cs->temp_in_use |= (1 << --index); cs->temps[index].refcount = 0xFFFFFFFF; cs->temps[index].reg = -1; REG_SET_TYPE(r, REG_TYPE_TEMP); REG_SET_INDEX(r, index); REG_SET_VALID(r, GL_TRUE); return r; } static GLuint get_temp_reg_tex(struct r300_fragment_program *rp) { COMPILE_STATE; GLuint r = undef; GLuint index; index = ffs(~cs->temp_in_use); if (!index) { ERROR("Out of program temps\n"); return r; } cs->temp_in_use |= (1 << --index); cs->temps[index].refcount = 0xFFFFFFFF; cs->temps[index].reg = get_hw_temp_tex(rp); REG_SET_TYPE(r, REG_TYPE_TEMP); REG_SET_INDEX(r, index); REG_SET_VALID(r, GL_TRUE); return r; } static void free_temp(struct r300_fragment_program *rp, GLuint r) { COMPILE_STATE; GLuint index = REG_GET_INDEX(r); if (!(cs->temp_in_use & (1 << index))) return; if (REG_GET_TYPE(r) == REG_TYPE_TEMP) { free_hw_temp(rp, cs->temps[index].reg); cs->temps[index].reg = -1; cs->temp_in_use &= ~(1 << index); } else if (REG_GET_TYPE(r) == REG_TYPE_INPUT) { free_hw_temp(rp, cs->inputs[index].reg); cs->inputs[index].reg = -1; } } static GLuint emit_param4fv(struct r300_fragment_program *rp, GLfloat *values) { GLuint r = undef; GLuint index; int pidx; pidx = rp->param_nr++; index = rp->const_nr++; if (pidx >= PFS_NUM_CONST_REGS || index >= PFS_NUM_CONST_REGS) { ERROR("Out of const/param slots!\n"); return r; } rp->param[pidx].idx = index; rp->param[pidx].values = values; rp->params_uptodate = GL_FALSE; REG_SET_TYPE(r, REG_TYPE_CONST); REG_SET_INDEX(r, index); REG_SET_VALID(r, GL_TRUE); return r; } static GLuint emit_const4fv(struct r300_fragment_program *rp, GLfloat *cp) { GLuint r = undef; GLuint index; index = rp->const_nr++; if (index >= PFS_NUM_CONST_REGS) { ERROR("Out of hw constants!\n"); return r; } COPY_4V(rp->constant[index], cp); REG_SET_TYPE(r, REG_TYPE_CONST); REG_SET_INDEX(r, index); REG_SET_VALID(r, GL_TRUE); return r; } static inline GLuint negate(GLuint r) { REG_NEGS(r); REG_NEGV(r); return r; } /* Hack, to prevent clobbering sources used multiple times when * emulating non-native instructions */ static inline GLuint keep(GLuint r) { REG_SET_NO_USE(r, GL_TRUE); return r; } static inline GLuint absolute(GLuint r) { REG_ABS(r); return r; } static int swz_native(struct r300_fragment_program *rp, GLuint src, GLuint *r, GLuint arbneg) { /* Native swizzle, handle negation */ src = (src & ~REG_NEGS_MASK) | (((arbneg >> 3) & 1) << REG_NEGS_SHIFT); if ((arbneg & 0x7) == 0x0) { src = src & ~REG_NEGV_MASK; *r = src; } else if ((arbneg & 0x7) == 0x7) { src |= REG_NEGV_MASK; *r = src; } else { if (!REG_GET_VALID(*r)) *r = get_temp_reg(rp); src |= REG_NEGV_MASK; emit_arith(rp, PFS_OP_MAD, *r, arbneg & 0x7, keep(src), pfs_one, pfs_zero, 0); src = src & ~REG_NEGV_MASK; emit_arith(rp, PFS_OP_MAD, *r, (arbneg ^ 0x7) | WRITEMASK_W, src, pfs_one, pfs_zero, 0); } return 3; } static int swz_emit_partial(struct r300_fragment_program *rp, GLuint src, GLuint *r, int mask, int mc, GLuint arbneg) { GLuint tmp; GLuint wmask = 0; if (!REG_GET_VALID(*r)) *r = get_temp_reg(rp); /* A partial match, VSWZ/mask define what parts of the * desired swizzle we match */ if (mc + s_mask[mask].count == 3) { wmask = WRITEMASK_W; src |= ((arbneg >> 3) & 1) << REG_NEGS_SHIFT; } tmp = arbneg & s_mask[mask].mask; if (tmp) { tmp = tmp ^ s_mask[mask].mask; if (tmp) { emit_arith(rp, PFS_OP_MAD, *r, arbneg & s_mask[mask].mask, keep(src) | REG_NEGV_MASK, pfs_one, pfs_zero, 0); if (!wmask) { REG_SET_NO_USE(src, GL_TRUE); } else { REG_SET_NO_USE(src, GL_FALSE); } emit_arith(rp, PFS_OP_MAD, *r, tmp | wmask, src, pfs_one, pfs_zero, 0); } else { if (!wmask) { REG_SET_NO_USE(src, GL_TRUE); } else { REG_SET_NO_USE(src, GL_FALSE); } emit_arith(rp, PFS_OP_MAD, *r, (arbneg & s_mask[mask].mask) | wmask, src | REG_NEGV_MASK, pfs_one, pfs_zero, 0); } } else { if (!wmask) { REG_SET_NO_USE(src, GL_TRUE); } else { REG_SET_NO_USE(src, GL_FALSE); } emit_arith(rp, PFS_OP_MAD, *r, s_mask[mask].mask | wmask, src, pfs_one, pfs_zero, 0); } return s_mask[mask].count; } static GLuint do_swizzle(struct r300_fragment_program *rp, GLuint src, GLuint arbswz, GLuint arbneg) { GLuint r = undef; GLuint vswz; int c_mask = 0; int v_match = 0; /* If swizzling from something without an XYZW native swizzle, * emit result to a temp, and do new swizzle from the temp. */ #if 0 if (REG_GET_VSWZ(src) != SWIZZLE_XYZ || REG_GET_SSWZ(src) != SWIZZLE_W) { GLuint temp = get_temp_reg(rp); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_XYZW, src, pfs_one, pfs_zero, 0); src = temp; } #endif if (REG_GET_VSWZ(src) != SWIZZLE_XYZ || REG_GET_SSWZ(src) != SWIZZLE_W) { GLuint vsrcswz = (v_swiz[REG_GET_VSWZ(src)].hash & (SWZ_X_MASK|SWZ_Y_MASK|SWZ_Z_MASK)) | REG_GET_SSWZ(src) << 9; GLint i; GLuint newswz = 0; GLuint offset; for(i=0; i < 4; ++i){ offset = GET_SWZ(arbswz, i); newswz |= (offset <= 3)?GET_SWZ(vsrcswz, offset) << i*3:offset << i*3; } arbswz = newswz & (SWZ_X_MASK|SWZ_Y_MASK|SWZ_Z_MASK); REG_SET_SSWZ(src, GET_SWZ(newswz, 3)); } else { /* set scalar swizzling */ REG_SET_SSWZ(src, GET_SWZ(arbswz, 3)); } do { vswz = REG_GET_VSWZ(src); do { int chash; REG_SET_VSWZ(src, vswz); chash = v_swiz[REG_GET_VSWZ(src)].hash & s_mask[c_mask].hash; if (chash == (arbswz & s_mask[c_mask].hash)) { if (s_mask[c_mask].count == 3) { v_match += swz_native(rp, src, &r, arbneg); } else { v_match += swz_emit_partial(rp, src, &r, c_mask, v_match, arbneg); } if (v_match == 3) return r; /* Fill with something invalid.. all 0's was * wrong before, matched SWIZZLE_X. So all * 1's will be okay for now */ arbswz |= (PFS_INVAL & s_mask[c_mask].hash); } } while(v_swiz[++vswz].hash != PFS_INVAL); REG_SET_VSWZ(src, SWIZZLE_XYZ); } while (s_mask[++c_mask].hash != PFS_INVAL); ERROR("should NEVER get here\n"); return r; } static GLuint t_src(struct r300_fragment_program *rp, struct prog_src_register fpsrc) { GLuint r = undef; switch (fpsrc.File) { case PROGRAM_TEMPORARY: REG_SET_INDEX(r, fpsrc.Index); REG_SET_VALID(r, GL_TRUE); REG_SET_TYPE(r, REG_TYPE_TEMP); break; case PROGRAM_INPUT: REG_SET_INDEX(r, fpsrc.Index); REG_SET_VALID(r, GL_TRUE); REG_SET_TYPE(r, REG_TYPE_INPUT); break; case PROGRAM_LOCAL_PARAM: r = emit_param4fv(rp, rp->mesa_program.Base.LocalParams[fpsrc.Index]); break; case PROGRAM_ENV_PARAM: r = emit_param4fv(rp, rp->ctx->FragmentProgram.Parameters[fpsrc.Index]); break; case PROGRAM_STATE_VAR: case PROGRAM_NAMED_PARAM: r = emit_param4fv(rp, rp->mesa_program.Base.Parameters->ParameterValues[fpsrc.Index]); break; default: ERROR("unknown SrcReg->File %x\n", fpsrc.File); return r; } /* no point swizzling ONE/ZERO/HALF constants... */ if (REG_GET_VSWZ(r) < SWIZZLE_111 || REG_GET_SSWZ(r) < SWIZZLE_ZERO) r = do_swizzle(rp, r, fpsrc.Swizzle, fpsrc.NegateBase); return r; } static GLuint t_scalar_src(struct r300_fragment_program *rp, struct prog_src_register fpsrc) { struct prog_src_register src = fpsrc; int sc = GET_SWZ(fpsrc.Swizzle, 0); /* X */ src.Swizzle = ((sc<<0)|(sc<<3)|(sc<<6)|(sc<<9)); return t_src(rp, src); } static GLuint t_dst(struct r300_fragment_program *rp, struct prog_dst_register dest) { GLuint r = undef; switch (dest.File) { case PROGRAM_TEMPORARY: REG_SET_INDEX(r, dest.Index); REG_SET_VALID(r, GL_TRUE); REG_SET_TYPE(r, REG_TYPE_TEMP); return r; case PROGRAM_OUTPUT: REG_SET_TYPE(r, REG_TYPE_OUTPUT); switch (dest.Index) { case FRAG_RESULT_COLR: case FRAG_RESULT_DEPR: REG_SET_INDEX(r, dest.Index); REG_SET_VALID(r, GL_TRUE); return r; default: ERROR("Bad DstReg->Index 0x%x\n", dest.Index); return r; } default: ERROR("Bad DstReg->File 0x%x\n", dest.File); return r; } } static int t_hw_src(struct r300_fragment_program *rp, GLuint src, GLboolean tex) { COMPILE_STATE; int idx; int index = REG_GET_INDEX(src); switch(REG_GET_TYPE(src)) { case REG_TYPE_TEMP: /* NOTE: if reg==-1 here, a source is being read that * hasn't been written to. Undefined results */ if (cs->temps[index].reg == -1) cs->temps[index].reg = get_hw_temp(rp); idx = cs->temps[index].reg; if (!REG_GET_NO_USE(src) && (--cs->temps[index].refcount == 0)) free_temp(rp, src); break; case REG_TYPE_INPUT: idx = cs->inputs[index].reg; if (!REG_GET_NO_USE(src) && (--cs->inputs[index].refcount == 0)) free_hw_temp(rp, cs->inputs[index].reg); break; case REG_TYPE_CONST: return (index | SRC_CONST); default: ERROR("Invalid type for source reg\n"); return (0 | SRC_CONST); } if (!tex) cs->used_in_node |= (1 << idx); return idx; } static int t_hw_dst(struct r300_fragment_program *rp, GLuint dest, GLboolean tex) { COMPILE_STATE; int idx; GLuint index = REG_GET_INDEX(dest); assert(REG_GET_VALID(dest)); switch(REG_GET_TYPE(dest)) { case REG_TYPE_TEMP: if (cs->temps[REG_GET_INDEX(dest)].reg == -1) { if (!tex) { cs->temps[index].reg = get_hw_temp(rp); } else { cs->temps[index].reg = get_hw_temp_tex(rp); } } idx = cs->temps[index].reg; if (!REG_GET_NO_USE(dest) && (--cs->temps[index].refcount == 0)) free_temp(rp, dest); cs->dest_in_node |= (1 << idx); cs->used_in_node |= (1 << idx); break; case REG_TYPE_OUTPUT: switch(index) { case FRAG_RESULT_COLR: rp->node[rp->cur_node].flags |= R300_PFS_NODE_OUTPUT_COLOR; break; case FRAG_RESULT_DEPR: rp->node[rp->cur_node].flags |= R300_PFS_NODE_OUTPUT_DEPTH; break; } return index; break; default: ERROR("invalid dest reg type %d\n", REG_GET_TYPE(dest)); return 0; } return idx; } static void emit_nop(struct r300_fragment_program *rp, GLuint mask, GLboolean sync) { COMPILE_STATE; if (sync) cs->v_pos = cs->s_pos = MAX2(cs->v_pos, cs->s_pos); if (mask & WRITEMASK_XYZ) { rp->alu.inst[cs->v_pos].inst0 = NOP_INST0; rp->alu.inst[cs->v_pos].inst1 = NOP_INST1; cs->v_pos++; } if (mask & WRITEMASK_W) { rp->alu.inst[cs->s_pos].inst2 = NOP_INST2; rp->alu.inst[cs->s_pos].inst3 = NOP_INST3; cs->s_pos++; } } static void emit_tex(struct r300_fragment_program *rp, struct prog_instruction *fpi, int opcode) { COMPILE_STATE; GLuint coord = t_src(rp, fpi->SrcReg[0]); GLuint dest = undef, rdest = undef; GLuint din = cs->dest_in_node, uin = cs->used_in_node; int unit = fpi->TexSrcUnit; int hwsrc, hwdest; /* Resolve source/dest to hardware registers */ hwsrc = t_hw_src(rp, coord, GL_TRUE); if (opcode != R300_FPITX_OP_KIL) { dest = t_dst(rp, fpi->DstReg); /* r300 doesn't seem to be able to do TEX->output reg */ if (REG_GET_TYPE(dest) == REG_TYPE_OUTPUT) { rdest = dest; dest = get_temp_reg_tex(rp); } hwdest = t_hw_dst(rp, dest, GL_TRUE); /* Use a temp that hasn't been used in this node, rather * than causing an indirection */ if (uin & (1 << hwdest)) { free_hw_temp(rp, hwdest); hwdest = get_hw_temp_tex(rp); cs->temps[REG_GET_INDEX(dest)].reg = hwdest; } } else { hwdest = 0; unit = 0; } /* Indirection if source has been written in this node, or if the * dest has been read/written in this node */ if ((REG_GET_TYPE(coord) != REG_TYPE_CONST && (din & (1<v_pos = cs->s_pos = MAX2(cs->v_pos, cs->s_pos); if (rp->node[rp->cur_node].alu_offset == cs->v_pos) { /* No alu instructions in the node? Emit a NOP. */ emit_nop(rp, WRITEMASK_XYZW, GL_TRUE); cs->v_pos = cs->s_pos = MAX2(cs->v_pos, cs->s_pos); } rp->node[rp->cur_node].alu_end = cs->v_pos - rp->node[rp->cur_node].alu_offset - 1; assert(rp->node[rp->cur_node].alu_end >= 0); if (++rp->cur_node >= PFS_MAX_TEX_INDIRECT) { ERROR("too many levels of texture indirection\n"); return; } /* Start new node */ rp->node[rp->cur_node].tex_offset = rp->tex.length; rp->node[rp->cur_node].alu_offset = cs->v_pos; rp->node[rp->cur_node].tex_end = -1; rp->node[rp->cur_node].alu_end = -1; rp->node[rp->cur_node].flags = 0; cs->used_in_node = 0; cs->dest_in_node = 0; } if (rp->cur_node == 0) rp->first_node_has_tex = 1; rp->tex.inst[rp->tex.length++] = 0 | (hwsrc << R300_FPITX_SRC_SHIFT) | (hwdest << R300_FPITX_DST_SHIFT) | (unit << R300_FPITX_IMAGE_SHIFT) /* not entirely sure about this */ | (opcode << R300_FPITX_OPCODE_SHIFT); cs->dest_in_node |= (1 << hwdest); if (REG_GET_TYPE(coord) != REG_TYPE_CONST) cs->used_in_node |= (1 << hwsrc); rp->node[rp->cur_node].tex_end++; /* Copy from temp to output if needed */ if (REG_GET_VALID(rdest)) { emit_arith(rp, PFS_OP_MAD, rdest, WRITEMASK_XYZW, dest, pfs_one, pfs_zero, 0); free_temp(rp, dest); } } /* Add sources to FPI1/FPI3 lists. If source is already on list, * reuse the index instead of wasting a source. */ static int add_src(struct r300_fragment_program *rp, int reg, int pos, int srcmask) { COMPILE_STATE; int csm, i; /* Look for matches */ for (i=0,csm=srcmask; i<3; i++,csm=csm<<1) { /* If sources have been allocated in this position(s)... */ if ((cs->slot[pos].umask & csm) == csm) { /* ... and the register number(s) match, re-use the source */ if (srcmask == SLOT_VECTOR && cs->slot[pos].vsrc[i] == reg) return i; if (srcmask == SLOT_SCALAR && cs->slot[pos].ssrc[i] == reg) return i; if (srcmask == SLOT_BOTH && cs->slot[pos].vsrc[i] == reg && cs->slot[pos].ssrc[i] == reg) return i; } } /* Look for free spaces */ for (i=0,csm=srcmask; i<3; i++,csm=csm<<1) { /* If the position(s) haven't been allocated */ if ((cs->slot[pos].umask & csm) == 0) { cs->slot[pos].umask |= csm; if (srcmask & SLOT_VECTOR) cs->slot[pos].vsrc[i] = reg; if (srcmask & SLOT_SCALAR) cs->slot[pos].ssrc[i] = reg; return i; } } //ERROR("Failed to allocate sources in FPI1/FPI3!\n"); return 0; } /* Determine whether or not to position opcode in the same ALU slot for both * vector and scalar portions of an instruction. * * It's not necessary to force the first case, but it makes disassembled * shaders easier to read. */ static GLboolean force_same_slot(int vop, int sop, GLboolean emit_vop, GLboolean emit_sop, int argc, GLuint *src) { int i; if (emit_vop && emit_sop) return GL_TRUE; if (emit_vop && vop == R300_FPI0_OUTC_REPL_ALPHA) return GL_TRUE; if (emit_vop) { for (i=0;iv_pos, cs->s_pos); } else { vpos = cs->v_pos; spos = cs->s_pos; /* Here is where we'd decide on where a safe place is to * combine this instruction with a previous one. * * This is extremely simple for now.. if a source depends * on the opposite stream, force the same instruction. */ for (i=0;i<3;i++) { if (emit_vop && (v_swiz[REG_GET_VSWZ(src[i])].flags & SLOT_SCALAR)) { vpos = spos = MAX2(vpos, spos); break; } if (emit_sop && (s_swiz[REG_GET_SSWZ(src[i])].flags & SLOT_VECTOR)) { vpos = spos = MAX2(vpos, spos); break; } } } /* - Convert src->hwsrc, record for FPI1/FPI3 * - Determine ARG parts of FPI0/FPI2, unused args are filled * with ARG_ZERO. */ for (i=0;i<3;i++) { int srcpos; if (i >= argc) { vswz[i] = R300_FPI0_ARGC_ZERO; sswz[i] = R300_FPI2_ARGA_ZERO; continue; } hwsrc[i] = t_hw_src(rp, src[i], GL_FALSE); if (emit_vop && vop != R300_FPI0_OUTC_REPL_ALPHA) { srcpos = add_src(rp, hwsrc[i], vpos, v_swiz[REG_GET_VSWZ(src[i])].flags); vswz[i] = (v_swiz[REG_GET_VSWZ(src[i])].base + (srcpos * v_swiz[REG_GET_VSWZ(src[i])].stride)) | ((src[i] & REG_NEGV_MASK) ? ARG_NEG : 0) | ((src[i] & REG_ABS_MASK) ? ARG_ABS : 0); } else vswz[i] = R300_FPI0_ARGC_ZERO; if (emit_sop) { srcpos = add_src(rp, hwsrc[i], spos, s_swiz[REG_GET_SSWZ(src[i])].flags); sswz[i] = (s_swiz[REG_GET_SSWZ(src[i])].base + (srcpos * s_swiz[REG_GET_SSWZ(src[i])].stride)) | ((src[i] & REG_NEGS_MASK) ? ARG_NEG : 0) | ((src[i] & REG_ABS_MASK) ? ARG_ABS : 0); } else sswz[i] = R300_FPI2_ARGA_ZERO; } hwdest = t_hw_dst(rp, dest, GL_FALSE); if (flags & PFS_FLAG_SAT) { vop |= R300_FPI0_OUTC_SAT; sop |= R300_FPI2_OUTA_SAT; } /* Throw the pieces together and get FPI0/1 */ rp->alu.inst[vpos].inst1 = ((cs->slot[vpos].vsrc[0] << R300_FPI1_SRC0C_SHIFT) | (cs->slot[vpos].vsrc[1] << R300_FPI1_SRC1C_SHIFT) | (cs->slot[vpos].vsrc[2] << R300_FPI1_SRC2C_SHIFT)); if (emit_vop) { rp->alu.inst[vpos].inst0 = vop | (vswz[0] << R300_FPI0_ARG0C_SHIFT) | (vswz[1] << R300_FPI0_ARG1C_SHIFT) | (vswz[2] << R300_FPI0_ARG2C_SHIFT); rp->alu.inst[vpos].inst1 |= hwdest << R300_FPI1_DSTC_SHIFT; if (REG_GET_TYPE(dest) == REG_TYPE_OUTPUT) { if (REG_GET_INDEX(dest) == FRAG_RESULT_COLR) { rp->alu.inst[vpos].inst1 |= (mask & WRITEMASK_XYZ) << R300_FPI1_DSTC_OUTPUT_MASK_SHIFT; } else assert(0); } else { rp->alu.inst[vpos].inst1 |= (mask & WRITEMASK_XYZ) << R300_FPI1_DSTC_REG_MASK_SHIFT; } cs->v_pos = vpos+1; } else if (spos >= vpos) rp->alu.inst[spos].inst0 = NOP_INST0; /* And now FPI2/3 */ rp->alu.inst[spos].inst3 = ((cs->slot[spos].ssrc[0] << R300_FPI3_SRC0A_SHIFT) | (cs->slot[spos].ssrc[1] << R300_FPI3_SRC1A_SHIFT) | (cs->slot[spos].ssrc[2] << R300_FPI3_SRC2A_SHIFT)); if (emit_sop) { rp->alu.inst[spos].inst2 = sop | sswz[0] << R300_FPI2_ARG0A_SHIFT | sswz[1] << R300_FPI2_ARG1A_SHIFT | sswz[2] << R300_FPI2_ARG2A_SHIFT; if (mask & WRITEMASK_W) { if (REG_GET_TYPE(dest) == REG_TYPE_OUTPUT) { if (REG_GET_INDEX(dest) == FRAG_RESULT_COLR) { rp->alu.inst[spos].inst3 |= (hwdest << R300_FPI3_DSTA_SHIFT) | R300_FPI3_DSTA_OUTPUT; } else if (REG_GET_INDEX(dest) == FRAG_RESULT_DEPR) { rp->alu.inst[spos].inst3 |= R300_FPI3_DSTA_DEPTH; } else assert(0); } else { rp->alu.inst[spos].inst3 |= (hwdest << R300_FPI3_DSTA_SHIFT) | R300_FPI3_DSTA_REG; } } cs->s_pos = spos+1; } else if (vpos >= spos) rp->alu.inst[vpos].inst2 = NOP_INST2; return; } #if 0 static GLuint get_attrib(struct r300_fragment_program *rp, GLuint attr) { struct gl_fragment_program *mp = &rp->mesa_program; GLuint r = undef; if (!(mp->Base.InputsRead & (1<const_sin[0] == -1){ GLfloat cnstv[4]; cnstv[0] = 1.273239545; // 4/PI cnstv[1] =-0.405284735; // -4/(PI*PI) cnstv[2] = 3.141592654; // PI cnstv[3] = 0.2225; // weight rp->const_sin[0] = emit_const4fv(rp, cnstv); cnstv[0] = 0.5; cnstv[1] = -1.5; cnstv[2] = 0.159154943; // 1/(2*PI) cnstv[3] = 6.283185307; // 2*PI rp->const_sin[1] = emit_const4fv(rp, cnstv); } } static GLboolean parse_program(struct r300_fragment_program *rp) { struct gl_fragment_program *mp = &rp->mesa_program; const struct prog_instruction *inst = mp->Base.Instructions; struct prog_instruction *fpi; GLuint src[3], dest, temp; GLuint cnst; int flags, mask = 0; GLfloat cnstv[4] = {0.0, 0.0, 0.0, 0.0}; if (!inst || inst[0].Opcode == OPCODE_END) { ERROR("empty program?\n"); return GL_FALSE; } for (fpi=mp->Base.Instructions; fpi->Opcode != OPCODE_END; fpi++) { if (fpi->SaturateMode == SATURATE_ZERO_ONE) flags = PFS_FLAG_SAT; else flags = 0; if (fpi->Opcode != OPCODE_KIL) { dest = t_dst(rp, fpi->DstReg); mask = fpi->DstReg.WriteMask; } switch (fpi->Opcode) { case OPCODE_ABS: src[0] = t_src(rp, fpi->SrcReg[0]); emit_arith(rp, PFS_OP_MAD, dest, mask, absolute(src[0]), pfs_one, pfs_zero, flags); break; case OPCODE_ADD: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); emit_arith(rp, PFS_OP_MAD, dest, mask, src[0], pfs_one, src[1], flags); break; case OPCODE_CMP: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); src[2] = t_src(rp, fpi->SrcReg[2]); /* ARB_f_p - if src0.c < 0.0 ? src1.c : src2.c * r300 - if src2.c < 0.0 ? src1.c : src0.c */ emit_arith(rp, PFS_OP_CMP, dest, mask, src[2], src[1], src[0], flags); break; case OPCODE_COS: /* * cos using a parabola (see SIN): * cos(x): * x += PI/2 * x = (x/(2*PI))+0.5 * x = frac(x) * x = (x*2*PI)-PI * result = sin(x) */ temp = get_temp_reg(rp); make_sin_const(rp); src[0] = t_scalar_src(rp, fpi->SrcReg[0]); /* add 0.5*PI and do range reduction */ emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X, swizzle(rp->const_sin[0], Z, Z, Z, Z), //PI pfs_half, swizzle(keep(src[0]), X, X, X, X), 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X, swizzle(temp, X, X, X, X), swizzle(rp->const_sin[1], Z, Z, Z, Z), pfs_half, 0); emit_arith(rp, PFS_OP_FRC, temp, WRITEMASK_X, swizzle(temp, X, X, X, X), undef, undef, 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_Z, swizzle(temp, X, X, X, X), swizzle(rp->const_sin[1], W, W, W, W), //2*PI negate(swizzle(rp->const_sin[0], Z, Z, Z, Z)), //-PI 0); /* SIN */ emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X | WRITEMASK_Y, swizzle(temp, Z, Z, Z, Z), rp->const_sin[0], pfs_zero, 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X, swizzle(temp, Y, Y, Y, Y), absolute(swizzle(temp, Z, Z, Z, Z)), swizzle(temp, X, X, X, X), 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_Y, swizzle(temp, X, X, X, X), absolute(swizzle(temp, X, X, X, X)), negate(swizzle(temp, X, X, X, X)), 0); emit_arith(rp, PFS_OP_MAD, dest, mask, swizzle(temp, Y, Y, Y, Y), swizzle(rp->const_sin[0], W, W, W, W), swizzle(temp, X, X, X, X), flags); free_temp(rp, temp); break; case OPCODE_DP3: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); emit_arith(rp, PFS_OP_DP3, dest, mask, src[0], src[1], undef, flags); break; case OPCODE_DP4: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); emit_arith(rp, PFS_OP_DP4, dest, mask, src[0], src[1], undef, flags); break; case OPCODE_DPH: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); /* src0.xyz1 -> temp * DP4 dest, temp, src1 */ #if 0 temp = get_temp_reg(rp); src[0].s_swz = SWIZZLE_ONE; emit_arith(rp, PFS_OP_MAD, temp, mask, src[0], pfs_one, pfs_zero, 0); emit_arith(rp, PFS_OP_DP4, dest, mask, temp, src[1], undef, flags); free_temp(rp, temp); #else emit_arith(rp, PFS_OP_DP4, dest, mask, swizzle(src[0], X, Y, Z, ONE), src[1], undef, flags); #endif break; case OPCODE_DST: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); /* dest.y = src0.y * src1.y */ if (mask & WRITEMASK_Y) emit_arith(rp, PFS_OP_MAD, dest, WRITEMASK_Y, keep(src[0]), keep(src[1]), pfs_zero, flags); /* dest.z = src0.z */ if (mask & WRITEMASK_Z) emit_arith(rp, PFS_OP_MAD, dest, WRITEMASK_Z, src[0], pfs_one, pfs_zero, flags); /* result.x = 1.0 * result.w = src1.w */ if (mask & WRITEMASK_XW) { REG_SET_VSWZ(src[1], SWIZZLE_111); /*Cheat*/ emit_arith(rp, PFS_OP_MAD, dest, mask & WRITEMASK_XW, src[1], pfs_one, pfs_zero, flags); } break; case OPCODE_EX2: src[0] = t_scalar_src(rp, fpi->SrcReg[0]); emit_arith(rp, PFS_OP_EX2, dest, mask, src[0], undef, undef, flags); break; case OPCODE_FLR: src[0] = t_src(rp, fpi->SrcReg[0]); temp = get_temp_reg(rp); /* FRC temp, src0 * MAD dest, src0, 1.0, -temp */ emit_arith(rp, PFS_OP_FRC, temp, mask, keep(src[0]), undef, undef, 0); emit_arith(rp, PFS_OP_MAD, dest, mask, src[0], pfs_one, negate(temp), flags); free_temp(rp, temp); break; case OPCODE_FRC: src[0] = t_src(rp, fpi->SrcReg[0]); emit_arith(rp, PFS_OP_FRC, dest, mask, src[0], undef, undef, flags); break; case OPCODE_KIL: emit_tex(rp, fpi, R300_FPITX_OP_KIL); break; case OPCODE_LG2: src[0] = t_scalar_src(rp, fpi->SrcReg[0]); emit_arith(rp, PFS_OP_LG2, dest, mask, src[0], undef, undef, flags); break; case OPCODE_LIT: /* LIT * if (s.x < 0) t.x = 0; else t.x = s.x; * if (s.y < 0) t.y = 0; else t.y = s.y; * if (s.w > 128.0) t.w = 128.0; else t.w = s.w; * if (s.w < -128.0) t.w = -128.0; else t.w = s.w; * r.x = 1.0 * if (t.x > 0) r.y = pow(t.y, t.w); else r.y = 0; * Also r.y = 0 if t.y < 0 * For the t.x > 0 FGLRX use the CMPH opcode which * change the compare to (t.x + 0.5) > 0.5 we may * save one instruction by doing CMP -t.x */ cnstv[0] = cnstv[1] = cnstv[2] = cnstv[3] = 0.50001; src[0] = t_src(rp, fpi->SrcReg[0]); temp = get_temp_reg(rp); cnst = emit_const4fv(rp, cnstv); emit_arith(rp, PFS_OP_CMP, temp, WRITEMASK_X | WRITEMASK_Y, src[0], pfs_zero, src[0], flags); emit_arith(rp, PFS_OP_MIN, temp, WRITEMASK_Z, swizzle(keep(src[0]), W, W, W, W), cnst, undef, flags); emit_arith(rp, PFS_OP_LG2, temp, WRITEMASK_W, swizzle(temp, Y, Y, Y, Y), undef, undef, flags); emit_arith(rp, PFS_OP_MAX, temp, WRITEMASK_Z, temp, negate(cnst), undef, flags); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_W, temp, swizzle(temp, Z, Z, Z, Z), pfs_zero, flags); emit_arith(rp, PFS_OP_EX2, temp, WRITEMASK_W, temp, undef, undef, flags); emit_arith(rp, PFS_OP_MAD, dest, WRITEMASK_Y, swizzle(keep(temp), X, X, X, X), pfs_one, pfs_zero, flags); #if 0 emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X, temp, pfs_one, pfs_half, flags); emit_arith(rp, PFS_OP_CMPH, temp, WRITEMASK_Z, swizzle(keep(temp), W, W, W, W), pfs_zero, swizzle(keep(temp), X, X, X, X), flags); #else emit_arith(rp, PFS_OP_CMP, temp, WRITEMASK_Z, pfs_zero, swizzle(keep(temp), W, W, W, W), negate(swizzle(keep(temp), X, X, X, X)), flags); #endif emit_arith(rp, PFS_OP_CMP, dest, WRITEMASK_Z, pfs_zero, temp, negate(swizzle(keep(temp), Y, Y, Y, Y)), flags); emit_arith(rp, PFS_OP_MAD, dest, WRITEMASK_X | WRITEMASK_W, pfs_one, pfs_one, pfs_zero, flags); free_temp(rp, temp); break; case OPCODE_LRP: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); src[2] = t_src(rp, fpi->SrcReg[2]); /* result = tmp0tmp1 + (1 - tmp0)tmp2 * = tmp0tmp1 + tmp2 + (-tmp0)tmp2 * MAD temp, -tmp0, tmp2, tmp2 * MAD result, tmp0, tmp1, temp */ temp = get_temp_reg(rp); emit_arith(rp, PFS_OP_MAD, temp, mask, negate(keep(src[0])), keep(src[2]), src[2], 0); emit_arith(rp, PFS_OP_MAD, dest, mask, src[0], src[1], temp, flags); free_temp(rp, temp); break; case OPCODE_MAD: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); src[2] = t_src(rp, fpi->SrcReg[2]); emit_arith(rp, PFS_OP_MAD, dest, mask, src[0], src[1], src[2], flags); break; case OPCODE_MAX: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); emit_arith(rp, PFS_OP_MAX, dest, mask, src[0], src[1], undef, flags); break; case OPCODE_MIN: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); emit_arith(rp, PFS_OP_MIN, dest, mask, src[0], src[1], undef, flags); break; case OPCODE_MOV: case OPCODE_SWZ: src[0] = t_src(rp, fpi->SrcReg[0]); emit_arith(rp, PFS_OP_MAD, dest, mask, src[0], pfs_one, pfs_zero, flags); break; case OPCODE_MUL: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); emit_arith(rp, PFS_OP_MAD, dest, mask, src[0], src[1], pfs_zero, flags); break; case OPCODE_POW: src[0] = t_scalar_src(rp, fpi->SrcReg[0]); src[1] = t_scalar_src(rp, fpi->SrcReg[1]); temp = get_temp_reg(rp); emit_arith(rp, PFS_OP_LG2, temp, WRITEMASK_W, src[0], undef, undef, 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_W, temp, src[1], pfs_zero, 0); emit_arith(rp, PFS_OP_EX2, dest, fpi->DstReg.WriteMask, temp, undef, undef, 0); free_temp(rp, temp); break; case OPCODE_RCP: src[0] = t_scalar_src(rp, fpi->SrcReg[0]); emit_arith(rp, PFS_OP_RCP, dest, mask, src[0], undef, undef, flags); break; case OPCODE_RSQ: src[0] = t_scalar_src(rp, fpi->SrcReg[0]); emit_arith(rp, PFS_OP_RSQ, dest, mask, absolute(src[0]), pfs_zero, pfs_zero, flags); break; case OPCODE_SCS: /* * cos using a parabola (see SIN): * cos(x): * x += PI/2 * x = (x/(2*PI))+0.5 * x = frac(x) * x = (x*2*PI)-PI * result = sin(x) */ temp = get_temp_reg(rp); make_sin_const(rp); src[0] = t_scalar_src(rp, fpi->SrcReg[0]); /* add 0.5*PI and do range reduction */ emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X|WRITEMASK_Y, swizzle(rp->const_sin[0], Z, Z, Z, Z), rp->const_sin[1], swizzle(keep(src[0]), X, X, X, X), 0); emit_arith(rp, PFS_OP_CMP, temp, WRITEMASK_W, swizzle(rp->const_sin[0], Z, Z, Z, Z), negate(pfs_half), swizzle(keep(src[0]), X, X, X, X), 0); emit_arith(rp, PFS_OP_CMP, temp, WRITEMASK_Z, swizzle(temp, X, X, X, X), swizzle(temp, Y, Y, Y, Y), swizzle(temp, W, W, W, W), 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X | WRITEMASK_Y, swizzle(temp, Z, Z, Z, Z), rp->const_sin[0], pfs_zero, 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_W, swizzle(temp, Y, Y, Y, Y), absolute(swizzle(temp, Z, Z, Z, Z)), swizzle(temp, X, X, X, X), 0); if(mask & WRITEMASK_Y) { emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X | WRITEMASK_Y, swizzle(keep(src[0]), X, X, X, X), rp->const_sin[0], pfs_zero, 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X, swizzle(temp, Y, Y, Y, Y), absolute(swizzle(keep(src[0]), X, X, X, X)), swizzle(temp, X, X, X, X), 0); } emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_Z, swizzle(temp, W, W, W, W), absolute(swizzle(temp, W, W, W, W)), negate(swizzle(temp, W, W, W, W)), 0); emit_arith(rp, PFS_OP_MAD, dest, WRITEMASK_X, swizzle(temp, Z, Z, Z, Z), swizzle(rp->const_sin[0], W, W, W, W), swizzle(temp, W, W, W, W), flags); if(mask & WRITEMASK_Y) { emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_W, swizzle(temp, X, X, X, X), absolute(swizzle(temp, X, X, X, X)), negate(swizzle(temp, X, X, X, X)), 0); emit_arith(rp, PFS_OP_MAD, dest, WRITEMASK_Y, swizzle(temp, W, W, W, W), swizzle(rp->const_sin[0], W, W, W, W), swizzle(temp, X, X, X, X), flags); } free_temp(rp, temp); break; case OPCODE_SGE: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); temp = get_temp_reg(rp); /* temp = src0 - src1 * dest.c = (temp.c < 0.0) ? 0 : 1 */ emit_arith(rp, PFS_OP_MAD, temp, mask, src[0], pfs_one, negate(src[1]), 0); emit_arith(rp, PFS_OP_CMP, dest, mask, pfs_one, pfs_zero, temp, 0); free_temp(rp, temp); break; case OPCODE_SIN: /* * using a parabola: * sin(x) = 4/pi * x + -4/(pi*pi) * x * abs(x) * extra precision is obtained by weighting against * itself squared. */ temp = get_temp_reg(rp); make_sin_const(rp); src[0] = t_scalar_src(rp, fpi->SrcReg[0]); /* do range reduction */ emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X, swizzle(keep(src[0]), X, X, X, X), swizzle(rp->const_sin[1], Z, Z, Z, Z), pfs_half, 0); emit_arith(rp, PFS_OP_FRC, temp, WRITEMASK_X, swizzle(temp, X, X, X, X), undef, undef, 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_Z, swizzle(temp, X, X, X, X), swizzle(rp->const_sin[1], W, W, W, W), //2*PI negate(swizzle(rp->const_sin[0], Z, Z, Z, Z)), //PI 0); /* SIN */ emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X | WRITEMASK_Y, swizzle(temp, Z, Z, Z, Z), rp->const_sin[0], pfs_zero, 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_X, swizzle(temp, Y, Y, Y, Y), absolute(swizzle(temp, Z, Z, Z, Z)), swizzle(temp, X, X, X, X), 0); emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_Y, swizzle(temp, X, X, X, X), absolute(swizzle(temp, X, X, X, X)), negate(swizzle(temp, X, X, X, X)), 0); emit_arith(rp, PFS_OP_MAD, dest, mask, swizzle(temp, Y, Y, Y, Y), swizzle(rp->const_sin[0], W, W, W, W), swizzle(temp, X, X, X, X), flags); free_temp(rp, temp); break; case OPCODE_SLT: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); temp = get_temp_reg(rp); /* temp = src0 - src1 * dest.c = (temp.c < 0.0) ? 1 : 0 */ emit_arith(rp, PFS_OP_MAD, temp, mask, src[0], pfs_one, negate(src[1]), 0); emit_arith(rp, PFS_OP_CMP, dest, mask, pfs_zero, pfs_one, temp, 0); free_temp(rp, temp); break; case OPCODE_SUB: src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); emit_arith(rp, PFS_OP_MAD, dest, mask, src[0], pfs_one, negate(src[1]), flags); break; case OPCODE_TEX: emit_tex(rp, fpi, R300_FPITX_OP_TEX); break; case OPCODE_TXB: emit_tex(rp, fpi, R300_FPITX_OP_TXB); break; case OPCODE_TXP: emit_tex(rp, fpi, R300_FPITX_OP_TXP); break; case OPCODE_XPD: { src[0] = t_src(rp, fpi->SrcReg[0]); src[1] = t_src(rp, fpi->SrcReg[1]); temp = get_temp_reg(rp); /* temp = src0.zxy * src1.yzx */ emit_arith(rp, PFS_OP_MAD, temp, WRITEMASK_XYZ, swizzle(keep(src[0]), Z, X, Y, W), swizzle(keep(src[1]), Y, Z, X, W), pfs_zero, 0); /* dest.xyz = src0.yzx * src1.zxy - temp * dest.w = undefined * */ emit_arith(rp, PFS_OP_MAD, dest, mask & WRITEMASK_XYZ, swizzle(src[0], Y, Z, X, W), swizzle(src[1], Z, X, Y, W), negate(temp), flags); /* cleanup */ free_temp(rp, temp); break; } default: ERROR("unknown fpi->Opcode %d\n", fpi->Opcode); break; } if (rp->error) return GL_FALSE; } return GL_TRUE; } /* - Init structures * - Determine what hwregs each input corresponds to */ static void init_program(r300ContextPtr r300, struct r300_fragment_program *rp) { struct r300_pfs_compile_state *cs = NULL; struct gl_fragment_program *mp = &rp->mesa_program; struct prog_instruction *fpi; GLuint InputsRead = mp->Base.InputsRead; GLuint temps_used = 0; /* for rp->temps[] */ int i,j; /* New compile, reset tracking data */ rp->optimization = driQueryOptioni(&r300->radeon.optionCache, "fp_optimization"); rp->translated = GL_FALSE; rp->error = GL_FALSE; rp->cs = cs = &(R300_CONTEXT(rp->ctx)->state.pfs_compile); rp->tex.length = 0; rp->cur_node = 0; rp->first_node_has_tex = 0; rp->const_nr = 0; rp->param_nr = 0; rp->params_uptodate = GL_FALSE; rp->max_temp_idx = 0; rp->node[0].alu_end = -1; rp->node[0].tex_end = -1; rp->const_sin[0] = -1; _mesa_memset(cs, 0, sizeof(*rp->cs)); for (i=0;islot[i].vsrc[j] = SRC_CONST; cs->slot[i].ssrc[j] = SRC_CONST; } } /* Work out what temps the Mesa inputs correspond to, this must match * what setup_rs_unit does, which shouldn't be a problem as rs_unit * configures itself based on the fragprog's InputsRead * * NOTE: this depends on get_hw_temp() allocating registers in order, * starting from register 0. */ /* Texcoords come first */ for (i=0;ictx->Const.MaxTextureUnits;i++) { if (InputsRead & (FRAG_BIT_TEX0 << i)) { cs->inputs[FRAG_ATTRIB_TEX0+i].refcount = 0; cs->inputs[FRAG_ATTRIB_TEX0+i].reg = get_hw_temp(rp); } } InputsRead &= ~FRAG_BITS_TEX_ANY; /* fragment position treated as a texcoord */ if (InputsRead & FRAG_BIT_WPOS) { cs->inputs[FRAG_ATTRIB_WPOS].refcount = 0; cs->inputs[FRAG_ATTRIB_WPOS].reg = get_hw_temp(rp); } InputsRead &= ~FRAG_BIT_WPOS; /* Then primary colour */ if (InputsRead & FRAG_BIT_COL0) { cs->inputs[FRAG_ATTRIB_COL0].refcount = 0; cs->inputs[FRAG_ATTRIB_COL0].reg = get_hw_temp(rp); } InputsRead &= ~FRAG_BIT_COL0; /* Secondary color */ if (InputsRead & FRAG_BIT_COL1) { cs->inputs[FRAG_ATTRIB_COL1].refcount = 0; cs->inputs[FRAG_ATTRIB_COL1].reg = get_hw_temp(rp); } InputsRead &= ~FRAG_BIT_COL1; /* Anything else */ if (InputsRead) { WARN_ONCE("Don't know how to handle inputs 0x%x\n", InputsRead); /* force read from hwreg 0 for now */ for (i=0;i<32;i++) if (InputsRead & (1<inputs[i].reg = 0; } /* Pre-parse the mesa program, grabbing refcounts on input/temp regs. * That way, we can free up the reg when it's no longer needed */ if (!mp->Base.Instructions) { ERROR("No instructions found in program\n"); return; } for (fpi=mp->Base.Instructions;fpi->Opcode != OPCODE_END; fpi++) { int idx; for (i=0;i<3;i++) { idx = fpi->SrcReg[i].Index; switch (fpi->SrcReg[i].File) { case PROGRAM_TEMPORARY: if (!(temps_used & (1<temps[idx].reg = -1; cs->temps[idx].refcount = 1; temps_used |= (1 << idx); } else cs->temps[idx].refcount++; break; case PROGRAM_INPUT: cs->inputs[idx].refcount++; break; default: break; } } idx = fpi->DstReg.Index; if (fpi->DstReg.File == PROGRAM_TEMPORARY) { if (!(temps_used & (1<temps[idx].reg = -1; cs->temps[idx].refcount = 1; temps_used |= (1 << idx); } else cs->temps[idx].refcount++; } } cs->temp_in_use = temps_used; } static void update_params(struct r300_fragment_program *rp) { struct gl_fragment_program *mp = &rp->mesa_program; int i; /* Ask Mesa nicely to fill in ParameterValues for us */ if (rp->param_nr) _mesa_load_state_parameters(rp->ctx, mp->Base.Parameters); for (i=0;iparam_nr;i++) COPY_4V(rp->constant[rp->param[i].idx], rp->param[i].values); rp->params_uptodate = GL_TRUE; } void r300_translate_fragment_shader(r300ContextPtr r300, struct r300_fragment_program *rp) { struct r300_pfs_compile_state *cs = NULL; if (!rp->translated) { init_program(r300, rp); cs = rp->cs; if (parse_program(rp) == GL_FALSE) { dump_program(rp); return; } /* Finish off */ cs->v_pos = cs->s_pos = MAX2(cs->v_pos, cs->s_pos); rp->node[rp->cur_node].alu_end = cs->v_pos - rp->node[rp->cur_node].alu_offset - 1; if (rp->node[rp->cur_node].tex_end < 0) rp->node[rp->cur_node].tex_end = 0; rp->alu_offset = 0; rp->alu_end = cs->v_pos - 1; rp->tex_offset = 0; rp->tex_end = rp->tex.length ? rp->tex.length - 1 : 0; assert(rp->node[rp->cur_node].alu_end >= 0); assert(rp->alu_end >= 0); rp->translated = GL_TRUE; if (0) dump_program(rp); } update_params(rp); } /* just some random things... */ static void dump_program(struct r300_fragment_program *rp) { int i; static int pc = 0; fprintf(stderr, "pc=%d*************************************\n", pc++); fprintf(stderr, "Mesa program:\n"); fprintf(stderr, "-------------\n"); _mesa_print_program(&rp->mesa_program.Base); fflush(stdout); fprintf(stderr, "Hardware program\n"); fprintf(stderr, "----------------\n"); fprintf(stderr, "tex:\n"); for(i=0;itex.length;i++) { fprintf(stderr, "%08x\n", rp->tex.inst[i]); } for (i=0;i<(rp->cur_node+1);i++) { fprintf(stderr, "NODE %d: alu_offset: %d, tex_offset: %d, "\ "alu_end: %d, tex_end: %d\n", i, rp->node[i].alu_offset, rp->node[i].tex_offset, rp->node[i].alu_end, rp->node[i].tex_end); } fprintf(stderr, "%08x\n", ((rp->tex_end << 16) | (R300_PFS_TEXI_0 >> 2))); for (i=0;i<=rp->tex_end;i++) fprintf(stderr, "%08x\n", rp->tex.inst[i]); /* dump program in pretty_print_command_stream.tcl-readable format */ fprintf(stderr, "%08x\n", ((rp->alu_end << 16) | (R300_PFS_INSTR0_0 >> 2))); for (i=0;i<=rp->alu_end;i++) fprintf(stderr, "%08x\n", rp->alu.inst[i].inst0); fprintf(stderr, "%08x\n", ((rp->alu_end << 16) | (R300_PFS_INSTR1_0 >> 2))); for (i=0;i<=rp->alu_end;i++) fprintf(stderr, "%08x\n", rp->alu.inst[i].inst1); fprintf(stderr, "%08x\n", ((rp->alu_end << 16) | (R300_PFS_INSTR2_0 >> 2))); for (i=0;i<=rp->alu_end;i++) fprintf(stderr, "%08x\n", rp->alu.inst[i].inst2); fprintf(stderr, "%08x\n", ((rp->alu_end << 16) | (R300_PFS_INSTR3_0 >> 2))); for (i=0;i<=rp->alu_end;i++) fprintf(stderr, "%08x\n", rp->alu.inst[i].inst3); fprintf(stderr, "00000000\n"); }