/* * Copyright 2008 Stefan Dösinger * Copyright 2009 Matteo Bruni * Copyright 2008-2009 Henri Verbeet for CodeWeavers * Copyright 2010 Rico Schüller * Copyright 2012 Matteo Bruni for CodeWeavers * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software Foundation; either * version 2.1 of the License, or (at your option) any later version. * * This library is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public * License along with this library; if not, write to the Free Software * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA * */ #include #include "d3dcompiler_private.h" WINE_DEFAULT_DEBUG_CHANNEL(d3dcompiler); #define WINE_D3DCOMPILER_TO_STR(x) case x: return #x const char *debug_d3dcompiler_shader_variable_class(D3D_SHADER_VARIABLE_CLASS c) { switch (c) { WINE_D3DCOMPILER_TO_STR(D3D_SVC_SCALAR); WINE_D3DCOMPILER_TO_STR(D3D_SVC_VECTOR); WINE_D3DCOMPILER_TO_STR(D3D_SVC_MATRIX_ROWS); WINE_D3DCOMPILER_TO_STR(D3D_SVC_MATRIX_COLUMNS); WINE_D3DCOMPILER_TO_STR(D3D_SVC_OBJECT); WINE_D3DCOMPILER_TO_STR(D3D_SVC_STRUCT); WINE_D3DCOMPILER_TO_STR(D3D_SVC_INTERFACE_CLASS); WINE_D3DCOMPILER_TO_STR(D3D_SVC_INTERFACE_POINTER); default: FIXME("Unrecognized D3D_SHADER_VARIABLE_CLASS %#x.\n", c); return "unrecognized"; } } const char *debug_d3dcompiler_shader_variable_type(D3D_SHADER_VARIABLE_TYPE t) { switch (t) { WINE_D3DCOMPILER_TO_STR(D3D_SVT_VOID); WINE_D3DCOMPILER_TO_STR(D3D_SVT_BOOL); WINE_D3DCOMPILER_TO_STR(D3D_SVT_INT); WINE_D3DCOMPILER_TO_STR(D3D_SVT_FLOAT); WINE_D3DCOMPILER_TO_STR(D3D_SVT_STRING); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TEXTURE); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TEXTURE1D); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TEXTURE2D); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TEXTURE3D); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TEXTURECUBE); WINE_D3DCOMPILER_TO_STR(D3D_SVT_SAMPLER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_PIXELSHADER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_VERTEXSHADER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_UINT); WINE_D3DCOMPILER_TO_STR(D3D_SVT_UINT8); WINE_D3DCOMPILER_TO_STR(D3D_SVT_GEOMETRYSHADER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_RASTERIZER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_DEPTHSTENCIL); WINE_D3DCOMPILER_TO_STR(D3D_SVT_BLEND); WINE_D3DCOMPILER_TO_STR(D3D_SVT_BUFFER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_CBUFFER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TBUFFER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TEXTURE1DARRAY); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TEXTURE2DARRAY); WINE_D3DCOMPILER_TO_STR(D3D_SVT_RENDERTARGETVIEW); WINE_D3DCOMPILER_TO_STR(D3D_SVT_DEPTHSTENCILVIEW); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TEXTURE2DMS); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TEXTURE2DMSARRAY); WINE_D3DCOMPILER_TO_STR(D3D_SVT_TEXTURECUBEARRAY); WINE_D3DCOMPILER_TO_STR(D3D_SVT_HULLSHADER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_DOMAINSHADER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_INTERFACE_POINTER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_COMPUTESHADER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_DOUBLE); WINE_D3DCOMPILER_TO_STR(D3D_SVT_RWTEXTURE1D); WINE_D3DCOMPILER_TO_STR(D3D_SVT_RWTEXTURE1DARRAY); WINE_D3DCOMPILER_TO_STR(D3D_SVT_RWTEXTURE2D); WINE_D3DCOMPILER_TO_STR(D3D_SVT_RWTEXTURE2DARRAY); WINE_D3DCOMPILER_TO_STR(D3D_SVT_RWTEXTURE3D); WINE_D3DCOMPILER_TO_STR(D3D_SVT_RWBUFFER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_BYTEADDRESS_BUFFER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_RWBYTEADDRESS_BUFFER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_STRUCTURED_BUFFER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_RWSTRUCTURED_BUFFER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_APPEND_STRUCTURED_BUFFER); WINE_D3DCOMPILER_TO_STR(D3D_SVT_CONSUME_STRUCTURED_BUFFER); default: FIXME("Unrecognized D3D_SHADER_VARIABLE_TYPE %#x.\n", t); return "unrecognized"; } } const char *debug_d3dcompiler_d3d_blob_part(D3D_BLOB_PART part) { switch(part) { WINE_D3DCOMPILER_TO_STR(D3D_BLOB_INPUT_SIGNATURE_BLOB); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_OUTPUT_SIGNATURE_BLOB); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_INPUT_AND_OUTPUT_SIGNATURE_BLOB); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_PATCH_CONSTANT_SIGNATURE_BLOB); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_ALL_SIGNATURE_BLOB); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_DEBUG_INFO); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_LEGACY_SHADER); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_XNA_PREPASS_SHADER); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_XNA_SHADER); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_TEST_ALTERNATE_SHADER); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_TEST_COMPILE_DETAILS); WINE_D3DCOMPILER_TO_STR(D3D_BLOB_TEST_COMPILE_PERF); default: FIXME("Unrecognized D3D_BLOB_PART %#x\n", part); return "unrecognized"; } } const char *debug_print_srcmod(DWORD mod) { switch (mod) { WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_NEG); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_BIAS); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_BIASNEG); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_SIGN); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_SIGNNEG); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_COMP); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_X2); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_X2NEG); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_DZ); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_DW); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_ABS); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_ABSNEG); WINE_D3DCOMPILER_TO_STR(BWRITERSPSM_NOT); default: FIXME("Unrecognized source modifier %#x.\n", mod); return "unrecognized_src_mod"; } } #undef WINE_D3DCOMPILER_TO_STR const char *debug_print_dstmod(DWORD mod) { switch (mod) { case 0: return ""; case BWRITERSPDM_SATURATE: return "_sat"; case BWRITERSPDM_PARTIALPRECISION: return "_pp"; case BWRITERSPDM_MSAMPCENTROID: return "_centroid"; case BWRITERSPDM_SATURATE | BWRITERSPDM_PARTIALPRECISION: return "_sat_pp"; case BWRITERSPDM_SATURATE | BWRITERSPDM_MSAMPCENTROID: return "_sat_centroid"; case BWRITERSPDM_PARTIALPRECISION | BWRITERSPDM_MSAMPCENTROID: return "_pp_centroid"; case BWRITERSPDM_SATURATE | BWRITERSPDM_PARTIALPRECISION | BWRITERSPDM_MSAMPCENTROID: return "_sat_pp_centroid"; default: return "Unexpected modifier\n"; } } const char *debug_print_shift(DWORD shift) { static const char * const shiftstrings[] = { "", "_x2", "_x4", "_x8", "_x16", "_x32", "", "", "", "", "", "", "_d16", "_d8", "_d4", "_d2", }; return shiftstrings[shift]; } static const char *get_regname(const struct shader_reg *reg) { switch (reg->type) { case BWRITERSPR_TEMP: return wine_dbg_sprintf("r%u", reg->regnum); case BWRITERSPR_INPUT: return wine_dbg_sprintf("v%u", reg->regnum); case BWRITERSPR_CONST: return wine_dbg_sprintf("c%u", reg->regnum); case BWRITERSPR_ADDR: return wine_dbg_sprintf("a%u", reg->regnum); case BWRITERSPR_TEXTURE: return wine_dbg_sprintf("t%u", reg->regnum); case BWRITERSPR_RASTOUT: switch (reg->regnum) { case BWRITERSRO_POSITION: return "oPos"; case BWRITERSRO_FOG: return "oFog"; case BWRITERSRO_POINT_SIZE: return "oPts"; default: return "Unexpected RASTOUT"; } case BWRITERSPR_ATTROUT: return wine_dbg_sprintf("oD%u", reg->regnum); case BWRITERSPR_TEXCRDOUT: return wine_dbg_sprintf("oT%u", reg->regnum); case BWRITERSPR_OUTPUT: return wine_dbg_sprintf("o%u", reg->regnum); case BWRITERSPR_CONSTINT: return wine_dbg_sprintf("i%u", reg->regnum); case BWRITERSPR_COLOROUT: return wine_dbg_sprintf("oC%u", reg->regnum); case BWRITERSPR_DEPTHOUT: return "oDepth"; case BWRITERSPR_SAMPLER: return wine_dbg_sprintf("s%u", reg->regnum); case BWRITERSPR_CONSTBOOL: return wine_dbg_sprintf("b%u", reg->regnum); case BWRITERSPR_LOOP: return "aL"; case BWRITERSPR_MISCTYPE: switch (reg->regnum) { case 0: return "vPos"; case 1: return "vFace"; default: return "unexpected misctype"; } case BWRITERSPR_LABEL: return wine_dbg_sprintf("l%u", reg->regnum); case BWRITERSPR_PREDICATE: return wine_dbg_sprintf("p%u", reg->regnum); default: return wine_dbg_sprintf("unknown regname %#x", reg->type); } } static const char *debug_print_writemask(DWORD mask) { char ret[6]; unsigned char pos = 1; if(mask == BWRITERSP_WRITEMASK_ALL) return ""; ret[0] = '.'; if(mask & BWRITERSP_WRITEMASK_0) ret[pos++] = 'x'; if(mask & BWRITERSP_WRITEMASK_1) ret[pos++] = 'y'; if(mask & BWRITERSP_WRITEMASK_2) ret[pos++] = 'z'; if(mask & BWRITERSP_WRITEMASK_3) ret[pos++] = 'w'; ret[pos] = 0; return wine_dbg_sprintf("%s", ret); } static const char *debug_print_swizzle(DWORD arg) { char ret[6]; unsigned int i; DWORD swizzle[4]; switch (arg) { case BWRITERVS_NOSWIZZLE: return ""; case BWRITERVS_SWIZZLE_X: return ".x"; case BWRITERVS_SWIZZLE_Y: return ".y"; case BWRITERVS_SWIZZLE_Z: return ".z"; case BWRITERVS_SWIZZLE_W: return ".w"; } swizzle[0] = arg & 3; swizzle[1] = (arg >> 2) & 3; swizzle[2] = (arg >> 4) & 3; swizzle[3] = (arg >> 6) & 3; ret[0] = '.'; for (i = 0; i < 4; ++i) { switch (swizzle[i]) { case 0: ret[1 + i] = 'x'; break; case 1: ret[1 + i] = 'y'; break; case 2: ret[1 + i] = 'z'; break; case 3: ret[1 + i] = 'w'; break; } } ret[5] = '\0'; return wine_dbg_sprintf("%s", ret); } static const char *debug_print_relarg(const struct shader_reg *reg) { const char *short_swizzle; if (!reg->rel_reg) return ""; short_swizzle = debug_print_swizzle(reg->rel_reg->u.swizzle); if (reg->rel_reg->type == BWRITERSPR_ADDR) return wine_dbg_sprintf("[a%u%s]", reg->rel_reg->regnum, short_swizzle); else if(reg->rel_reg->type == BWRITERSPR_LOOP && reg->rel_reg->regnum == 0) return wine_dbg_sprintf("[aL%s]", short_swizzle); else return "Unexpected relative addressing argument"; } const char *debug_print_dstreg(const struct shader_reg *reg) { return wine_dbg_sprintf("%s%s%s", get_regname(reg), debug_print_relarg(reg), debug_print_writemask(reg->u.writemask)); } const char *debug_print_srcreg(const struct shader_reg *reg) { switch (reg->srcmod) { case BWRITERSPSM_NONE: return wine_dbg_sprintf("%s%s%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_NEG: return wine_dbg_sprintf("-%s%s%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_BIAS: return wine_dbg_sprintf("%s%s_bias%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_BIASNEG: return wine_dbg_sprintf("-%s%s_bias%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_SIGN: return wine_dbg_sprintf("%s%s_bx2%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_SIGNNEG: return wine_dbg_sprintf("-%s%s_bx2%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_COMP: return wine_dbg_sprintf("1 - %s%s%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_X2: return wine_dbg_sprintf("%s%s_x2%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_X2NEG: return wine_dbg_sprintf("-%s%s_x2%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_DZ: return wine_dbg_sprintf("%s%s_dz%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_DW: return wine_dbg_sprintf("%s%s_dw%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_ABS: return wine_dbg_sprintf("%s%s_abs%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_ABSNEG: return wine_dbg_sprintf("-%s%s_abs%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); case BWRITERSPSM_NOT: return wine_dbg_sprintf("!%s%s%s", get_regname(reg), debug_print_relarg(reg), debug_print_swizzle(reg->u.swizzle)); } return "Unknown modifier"; } const char *debug_print_comp(DWORD comp) { switch (comp) { case BWRITER_COMPARISON_NONE: return ""; case BWRITER_COMPARISON_GT: return "_gt"; case BWRITER_COMPARISON_EQ: return "_eq"; case BWRITER_COMPARISON_GE: return "_ge"; case BWRITER_COMPARISON_LT: return "_lt"; case BWRITER_COMPARISON_NE: return "_ne"; case BWRITER_COMPARISON_LE: return "_le"; default: return "_unknown"; } } const char *debug_print_opcode(DWORD opcode) { switch (opcode) { case BWRITERSIO_NOP: return "nop"; case BWRITERSIO_MOV: return "mov"; case BWRITERSIO_ADD: return "add"; case BWRITERSIO_SUB: return "sub"; case BWRITERSIO_MAD: return "mad"; case BWRITERSIO_MUL: return "mul"; case BWRITERSIO_RCP: return "rcp"; case BWRITERSIO_RSQ: return "rsq"; case BWRITERSIO_DP3: return "dp3"; case BWRITERSIO_DP4: return "dp4"; case BWRITERSIO_MIN: return "min"; case BWRITERSIO_MAX: return "max"; case BWRITERSIO_SLT: return "slt"; case BWRITERSIO_SGE: return "sge"; case BWRITERSIO_EXP: return "exp"; case BWRITERSIO_LOG: return "log"; case BWRITERSIO_LIT: return "lit"; case BWRITERSIO_DST: return "dst"; case BWRITERSIO_LRP: return "lrp"; case BWRITERSIO_FRC: return "frc"; case BWRITERSIO_M4x4: return "m4x4"; case BWRITERSIO_M4x3: return "m4x3"; case BWRITERSIO_M3x4: return "m3x4"; case BWRITERSIO_M3x3: return "m3x3"; case BWRITERSIO_M3x2: return "m3x2"; case BWRITERSIO_CALL: return "call"; case BWRITERSIO_CALLNZ: return "callnz"; case BWRITERSIO_LOOP: return "loop"; case BWRITERSIO_RET: return "ret"; case BWRITERSIO_ENDLOOP: return "endloop"; case BWRITERSIO_LABEL: return "label"; case BWRITERSIO_DCL: return "dcl"; case BWRITERSIO_POW: return "pow"; case BWRITERSIO_CRS: return "crs"; case BWRITERSIO_SGN: return "sgn"; case BWRITERSIO_ABS: return "abs"; case BWRITERSIO_NRM: return "nrm"; case BWRITERSIO_SINCOS: return "sincos"; case BWRITERSIO_REP: return "rep"; case BWRITERSIO_ENDREP: return "endrep"; case BWRITERSIO_IF: return "if"; case BWRITERSIO_IFC: return "ifc"; case BWRITERSIO_ELSE: return "else"; case BWRITERSIO_ENDIF: return "endif"; case BWRITERSIO_BREAK: return "break"; case BWRITERSIO_BREAKC: return "breakc"; case BWRITERSIO_MOVA: return "mova"; case BWRITERSIO_DEFB: return "defb"; case BWRITERSIO_DEFI: return "defi"; case BWRITERSIO_TEXCOORD: return "texcoord"; case BWRITERSIO_TEXKILL: return "texkill"; case BWRITERSIO_TEX: return "tex"; case BWRITERSIO_TEXBEM: return "texbem"; case BWRITERSIO_TEXBEML: return "texbeml"; case BWRITERSIO_TEXREG2AR: return "texreg2ar"; case BWRITERSIO_TEXREG2GB: return "texreg2gb"; case BWRITERSIO_TEXM3x2PAD: return "texm3x2pad"; case BWRITERSIO_TEXM3x2TEX: return "texm3x2tex"; case BWRITERSIO_TEXM3x3PAD: return "texm3x3pad"; case BWRITERSIO_TEXM3x3TEX: return "texm3x3tex"; case BWRITERSIO_TEXM3x3SPEC: return "texm3x3vspec"; case BWRITERSIO_TEXM3x3VSPEC: return "texm3x3vspec"; case BWRITERSIO_EXPP: return "expp"; case BWRITERSIO_LOGP: return "logp"; case BWRITERSIO_CND: return "cnd"; case BWRITERSIO_DEF: return "def"; case BWRITERSIO_TEXREG2RGB: return "texreg2rgb"; case BWRITERSIO_TEXDP3TEX: return "texdp3tex"; case BWRITERSIO_TEXM3x2DEPTH: return "texm3x2depth"; case BWRITERSIO_TEXDP3: return "texdp3"; case BWRITERSIO_TEXM3x3: return "texm3x3"; case BWRITERSIO_TEXDEPTH: return "texdepth"; case BWRITERSIO_CMP: return "cmp"; case BWRITERSIO_BEM: return "bem"; case BWRITERSIO_DP2ADD: return "dp2add"; case BWRITERSIO_DSX: return "dsx"; case BWRITERSIO_DSY: return "dsy"; case BWRITERSIO_TEXLDD: return "texldd"; case BWRITERSIO_SETP: return "setp"; case BWRITERSIO_TEXLDL: return "texldl"; case BWRITERSIO_BREAKP: return "breakp"; case BWRITERSIO_PHASE: return "phase"; case BWRITERSIO_TEXLDP: return "texldp"; case BWRITERSIO_TEXLDB: return "texldb"; default: return "unknown"; } } void skip_dword_unknown(const char **ptr, unsigned int count) { unsigned int i; DWORD d; FIXME("Skipping %u unknown DWORDs:\n", count); for (i = 0; i < count; ++i) { read_dword(ptr, &d); FIXME("\t0x%08x\n", d); } } static void write_dword_unknown(char **ptr, DWORD d) { FIXME("Writing unknown DWORD 0x%08x\n", d); write_dword(ptr, d); } HRESULT dxbc_add_section(struct dxbc *dxbc, DWORD tag, const char *data, DWORD data_size) { TRACE("dxbc %p, tag %s, size %#x.\n", dxbc, debugstr_an((const char *)&tag, 4), data_size); if (dxbc->count >= dxbc->size) { struct dxbc_section *new_sections; DWORD new_size = dxbc->size << 1; new_sections = HeapReAlloc(GetProcessHeap(), 0, dxbc->sections, new_size * sizeof(*dxbc->sections)); if (!new_sections) { ERR("Failed to allocate dxbc section memory\n"); return E_OUTOFMEMORY; } dxbc->sections = new_sections; dxbc->size = new_size; } dxbc->sections[dxbc->count].tag = tag; dxbc->sections[dxbc->count].data_size = data_size; dxbc->sections[dxbc->count].data = data; ++dxbc->count; return S_OK; } HRESULT dxbc_init(struct dxbc *dxbc, unsigned int size) { TRACE("dxbc %p, size %u.\n", dxbc, size); /* use a good starting value for the size if none specified */ if (!size) size = 2; dxbc->sections = HeapAlloc(GetProcessHeap(), 0, size * sizeof(*dxbc->sections)); if (!dxbc->sections) { ERR("Failed to allocate dxbc section memory\n"); return E_OUTOFMEMORY; } dxbc->size = size; dxbc->count = 0; return S_OK; } HRESULT dxbc_parse(const char *data, SIZE_T data_size, struct dxbc *dxbc) { const char *ptr = data; HRESULT hr; unsigned int i; DWORD tag, total_size, chunk_count; if (!data) { WARN("No data supplied.\n"); return E_FAIL; } read_dword(&ptr, &tag); TRACE("tag: %s.\n", debugstr_an((const char *)&tag, 4)); if (tag != TAG_DXBC) { WARN("Wrong tag.\n"); return E_FAIL; } /* checksum? */ skip_dword_unknown(&ptr, 4); skip_dword_unknown(&ptr, 1); read_dword(&ptr, &total_size); TRACE("total size: %#x\n", total_size); if (data_size != total_size) { WARN("Wrong size supplied.\n"); return D3DERR_INVALIDCALL; } read_dword(&ptr, &chunk_count); TRACE("chunk count: %#x\n", chunk_count); hr = dxbc_init(dxbc, chunk_count); if (FAILED(hr)) { WARN("Failed to init dxbc\n"); return hr; } for (i = 0; i < chunk_count; ++i) { DWORD chunk_tag, chunk_size; const char *chunk_ptr; DWORD chunk_offset; read_dword(&ptr, &chunk_offset); TRACE("chunk %u at offset %#x\n", i, chunk_offset); chunk_ptr = data + chunk_offset; read_dword(&chunk_ptr, &chunk_tag); read_dword(&chunk_ptr, &chunk_size); hr = dxbc_add_section(dxbc, chunk_tag, chunk_ptr, chunk_size); if (FAILED(hr)) { WARN("Failed to add section to dxbc\n"); return hr; } } return hr; } void dxbc_destroy(struct dxbc *dxbc) { TRACE("dxbc %p.\n", dxbc); HeapFree(GetProcessHeap(), 0, dxbc->sections); } HRESULT dxbc_write_blob(struct dxbc *dxbc, ID3DBlob **blob) { DWORD size = 32, offset = size + 4 * dxbc->count; ID3DBlob *object; HRESULT hr; char *ptr; unsigned int i; TRACE("dxbc %p, blob %p.\n", dxbc, blob); for (i = 0; i < dxbc->count; ++i) { size += 12 + dxbc->sections[i].data_size; } hr = D3DCreateBlob(size, &object); if (FAILED(hr)) { WARN("Failed to create blob\n"); return hr; } ptr = ID3D10Blob_GetBufferPointer(object); write_dword(&ptr, TAG_DXBC); /* signature(?) */ write_dword_unknown(&ptr, 0); write_dword_unknown(&ptr, 0); write_dword_unknown(&ptr, 0); write_dword_unknown(&ptr, 0); /* seems to be always 1 */ write_dword_unknown(&ptr, 1); /* DXBC size */ write_dword(&ptr, size); /* chunk count */ write_dword(&ptr, dxbc->count); /* write the chunk offsets */ for (i = 0; i < dxbc->count; ++i) { write_dword(&ptr, offset); offset += 8 + dxbc->sections[i].data_size; } /* write the chunks */ for (i = 0; i < dxbc->count; ++i) { write_dword(&ptr, dxbc->sections[i].tag); write_dword(&ptr, dxbc->sections[i].data_size); memcpy(ptr, dxbc->sections[i].data, dxbc->sections[i].data_size); ptr += dxbc->sections[i].data_size; } TRACE("Created ID3DBlob %p\n", object); *blob = object; return S_OK; } void compilation_message(struct compilation_messages *msg, const char *fmt, __ms_va_list args) { char* buffer; int rc, size; if (msg->capacity == 0) { msg->string = d3dcompiler_alloc(MESSAGEBUFFER_INITIAL_SIZE); if (msg->string == NULL) { ERR("Error allocating memory for parser messages\n"); return; } msg->capacity = MESSAGEBUFFER_INITIAL_SIZE; } while (1) { rc = vsnprintf(msg->string + msg->size, msg->capacity - msg->size, fmt, args); if (rc < 0 || rc >= msg->capacity - msg->size) { size = msg->capacity * 2; buffer = d3dcompiler_realloc(msg->string, size); if (buffer == NULL) { ERR("Error reallocating memory for parser messages\n"); return; } msg->string = buffer; msg->capacity = size; } else { TRACE("%s", msg->string + msg->size); msg->size += rc; return; } } } #if D3D_COMPILER_VERSION BOOL add_declaration(struct hlsl_scope *scope, struct hlsl_ir_var *decl, BOOL local_var) { struct hlsl_ir_var *var; LIST_FOR_EACH_ENTRY(var, &scope->vars, struct hlsl_ir_var, scope_entry) { if (!strcmp(decl->name, var->name)) return FALSE; } if (local_var && scope->upper->upper == hlsl_ctx.globals) { /* Check whether the variable redefines a function parameter. */ LIST_FOR_EACH_ENTRY(var, &scope->upper->vars, struct hlsl_ir_var, scope_entry) { if (!strcmp(decl->name, var->name)) return FALSE; } } list_add_tail(&scope->vars, &decl->scope_entry); return TRUE; } struct hlsl_ir_var *get_variable(struct hlsl_scope *scope, const char *name) { struct hlsl_ir_var *var; LIST_FOR_EACH_ENTRY(var, &scope->vars, struct hlsl_ir_var, scope_entry) { if (!strcmp(name, var->name)) return var; } if (!scope->upper) return NULL; return get_variable(scope->upper, name); } void free_declaration(struct hlsl_ir_var *decl) { d3dcompiler_free((void *)decl->name); d3dcompiler_free((void *)decl->semantic); d3dcompiler_free((void *)decl->reg_reservation); d3dcompiler_free(decl); } struct hlsl_type *new_hlsl_type(const char *name, enum hlsl_type_class type_class, enum hlsl_base_type base_type, unsigned dimx, unsigned dimy) { struct hlsl_type *type; type = d3dcompiler_alloc(sizeof(*type)); if (!type) { ERR("Out of memory\n"); return NULL; } type->name = name; type->type = type_class; type->base_type = base_type; type->dimx = dimx; type->dimy = dimy; if (type_class == HLSL_CLASS_MATRIX) type->reg_size = is_row_major(type) ? dimy : dimx; else type->reg_size = 1; list_add_tail(&hlsl_ctx.types, &type->entry); return type; } struct hlsl_type *new_array_type(struct hlsl_type *basic_type, unsigned int array_size) { struct hlsl_type *type = new_hlsl_type(NULL, HLSL_CLASS_ARRAY, HLSL_TYPE_FLOAT, 1, 1); if (!type) return NULL; type->modifiers = basic_type->modifiers; type->e.array.elements_count = array_size; type->e.array.type = basic_type; type->reg_size = basic_type->reg_size * array_size; type->dimx = basic_type->dimx; type->dimy = basic_type->dimy; return type; } struct hlsl_type *get_type(struct hlsl_scope *scope, const char *name, BOOL recursive) { struct wine_rb_entry *entry = wine_rb_get(&scope->types, name); if (entry) return WINE_RB_ENTRY_VALUE(entry, struct hlsl_type, scope_entry); if (recursive && scope->upper) return get_type(scope->upper, name, recursive); return NULL; } BOOL find_function(const char *name) { return wine_rb_get(&hlsl_ctx.functions, name) != NULL; } unsigned int components_count_type(struct hlsl_type *type) { unsigned int count = 0; struct hlsl_struct_field *field; if (type->type <= HLSL_CLASS_LAST_NUMERIC) { return type->dimx * type->dimy; } if (type->type == HLSL_CLASS_ARRAY) { return components_count_type(type->e.array.type) * type->e.array.elements_count; } if (type->type != HLSL_CLASS_STRUCT) { ERR("Unexpected data type %s.\n", debug_hlsl_type(type)); return 0; } LIST_FOR_EACH_ENTRY(field, type->e.elements, struct hlsl_struct_field, entry) { count += components_count_type(field->type); } return count; } BOOL compare_hlsl_types(const struct hlsl_type *t1, const struct hlsl_type *t2) { if (t1 == t2) return TRUE; if (t1->type != t2->type) return FALSE; if (t1->base_type != t2->base_type) return FALSE; if (t1->base_type == HLSL_TYPE_SAMPLER && t1->sampler_dim != t2->sampler_dim) return FALSE; if ((t1->modifiers & HLSL_MODIFIERS_MAJORITY_MASK) != (t2->modifiers & HLSL_MODIFIERS_MAJORITY_MASK)) return FALSE; if (t1->dimx != t2->dimx) return FALSE; if (t1->dimy != t2->dimy) return FALSE; if (t1->type == HLSL_CLASS_STRUCT) { struct list *t1cur, *t2cur; struct hlsl_struct_field *t1field, *t2field; t1cur = list_head(t1->e.elements); t2cur = list_head(t2->e.elements); while (t1cur && t2cur) { t1field = LIST_ENTRY(t1cur, struct hlsl_struct_field, entry); t2field = LIST_ENTRY(t2cur, struct hlsl_struct_field, entry); if (!compare_hlsl_types(t1field->type, t2field->type)) return FALSE; if (strcmp(t1field->name, t2field->name)) return FALSE; t1cur = list_next(t1->e.elements, t1cur); t2cur = list_next(t2->e.elements, t2cur); } if (t1cur != t2cur) return FALSE; } if (t1->type == HLSL_CLASS_ARRAY) return t1->e.array.elements_count == t2->e.array.elements_count && compare_hlsl_types(t1->e.array.type, t2->e.array.type); return TRUE; } struct hlsl_type *clone_hlsl_type(struct hlsl_type *old, unsigned int default_majority) { struct hlsl_type *type; struct hlsl_struct_field *old_field, *field; type = d3dcompiler_alloc(sizeof(*type)); if (!type) { ERR("Out of memory\n"); return NULL; } if (old->name) { type->name = d3dcompiler_strdup(old->name); if (!type->name) { d3dcompiler_free(type); return NULL; } } type->type = old->type; type->base_type = old->base_type; type->dimx = old->dimx; type->dimy = old->dimy; type->modifiers = old->modifiers; if (!(type->modifiers & HLSL_MODIFIERS_MAJORITY_MASK)) type->modifiers |= default_majority; type->sampler_dim = old->sampler_dim; switch (old->type) { case HLSL_CLASS_ARRAY: type->e.array.type = clone_hlsl_type(old->e.array.type, default_majority); type->e.array.elements_count = old->e.array.elements_count; type->reg_size = type->e.array.elements_count * type->e.array.type->reg_size; break; case HLSL_CLASS_STRUCT: { unsigned int reg_size = 0; type->e.elements = d3dcompiler_alloc(sizeof(*type->e.elements)); if (!type->e.elements) { d3dcompiler_free((void *)type->name); d3dcompiler_free(type); return NULL; } list_init(type->e.elements); LIST_FOR_EACH_ENTRY(old_field, old->e.elements, struct hlsl_struct_field, entry) { field = d3dcompiler_alloc(sizeof(*field)); if (!field) { LIST_FOR_EACH_ENTRY_SAFE(field, old_field, type->e.elements, struct hlsl_struct_field, entry) { d3dcompiler_free((void *)field->semantic); d3dcompiler_free((void *)field->name); d3dcompiler_free(field); } d3dcompiler_free(type->e.elements); d3dcompiler_free((void *)type->name); d3dcompiler_free(type); return NULL; } field->type = clone_hlsl_type(old_field->type, default_majority); field->name = d3dcompiler_strdup(old_field->name); if (old_field->semantic) field->semantic = d3dcompiler_strdup(old_field->semantic); field->modifiers = old_field->modifiers; field->reg_offset = reg_size; reg_size += field->type->reg_size; list_add_tail(type->e.elements, &field->entry); } type->reg_size = reg_size; break; } case HLSL_CLASS_MATRIX: type->reg_size = is_row_major(type) ? type->dimy : type->dimx; break; default: type->reg_size = 1; break; } list_add_tail(&hlsl_ctx.types, &type->entry); return type; } static BOOL convertible_data_type(struct hlsl_type *type) { return type->type != HLSL_CLASS_OBJECT; } BOOL compatible_data_types(struct hlsl_type *t1, struct hlsl_type *t2) { if (!convertible_data_type(t1) || !convertible_data_type(t2)) return FALSE; if (t1->type <= HLSL_CLASS_LAST_NUMERIC) { /* Scalar vars can be cast to pretty much everything */ if (t1->dimx == 1 && t1->dimy == 1) return TRUE; if (t1->type == HLSL_CLASS_VECTOR && t2->type == HLSL_CLASS_VECTOR) return t1->dimx >= t2->dimx; } /* The other way around is true too i.e. whatever to scalar */ if (t2->type <= HLSL_CLASS_LAST_NUMERIC && t2->dimx == 1 && t2->dimy == 1) return TRUE; if (t1->type == HLSL_CLASS_ARRAY) { if (compare_hlsl_types(t1->e.array.type, t2)) /* e.g. float4[3] to float4 is allowed */ return TRUE; if (t2->type == HLSL_CLASS_ARRAY || t2->type == HLSL_CLASS_STRUCT) return components_count_type(t1) >= components_count_type(t2); else return components_count_type(t1) == components_count_type(t2); } if (t1->type == HLSL_CLASS_STRUCT) return components_count_type(t1) >= components_count_type(t2); if (t2->type == HLSL_CLASS_ARRAY || t2->type == HLSL_CLASS_STRUCT) return components_count_type(t1) == components_count_type(t2); if (t1->type == HLSL_CLASS_MATRIX || t2->type == HLSL_CLASS_MATRIX) { if (t1->type == HLSL_CLASS_MATRIX && t2->type == HLSL_CLASS_MATRIX && t1->dimx >= t2->dimx && t1->dimy >= t2->dimy) return TRUE; /* Matrix-vector conversion is apparently allowed if they have the same components count */ if ((t1->type == HLSL_CLASS_VECTOR || t2->type == HLSL_CLASS_VECTOR) && components_count_type(t1) == components_count_type(t2)) return TRUE; return FALSE; } if (components_count_type(t1) >= components_count_type(t2)) return TRUE; return FALSE; } static BOOL implicit_compatible_data_types(struct hlsl_type *t1, struct hlsl_type *t2) { if (!convertible_data_type(t1) || !convertible_data_type(t2)) return FALSE; if (t1->type <= HLSL_CLASS_LAST_NUMERIC) { /* Scalar vars can be converted to any other numeric data type */ if (t1->dimx == 1 && t1->dimy == 1 && t2->type <= HLSL_CLASS_LAST_NUMERIC) return TRUE; /* The other way around is true too */ if (t2->dimx == 1 && t2->dimy == 1 && t2->type <= HLSL_CLASS_LAST_NUMERIC) return TRUE; } if (t1->type == HLSL_CLASS_ARRAY && t2->type == HLSL_CLASS_ARRAY) { return components_count_type(t1) == components_count_type(t2); } if ((t1->type == HLSL_CLASS_ARRAY && t2->type <= HLSL_CLASS_LAST_NUMERIC) || (t1->type <= HLSL_CLASS_LAST_NUMERIC && t2->type == HLSL_CLASS_ARRAY)) { /* e.g. float4[3] to float4 is allowed */ if (t1->type == HLSL_CLASS_ARRAY && compare_hlsl_types(t1->e.array.type, t2)) return TRUE; if (components_count_type(t1) == components_count_type(t2)) return TRUE; return FALSE; } if (t1->type <= HLSL_CLASS_VECTOR && t2->type <= HLSL_CLASS_VECTOR) { if (t1->dimx >= t2->dimx) return TRUE; return FALSE; } if (t1->type == HLSL_CLASS_MATRIX || t2->type == HLSL_CLASS_MATRIX) { if (t1->type == HLSL_CLASS_MATRIX && t2->type == HLSL_CLASS_MATRIX && t1->dimx >= t2->dimx && t1->dimy >= t2->dimy) return TRUE; /* Matrix-vector conversion is apparently allowed if they have the same components count */ if ((t1->type == HLSL_CLASS_VECTOR || t2->type == HLSL_CLASS_VECTOR) && components_count_type(t1) == components_count_type(t2)) return TRUE; return FALSE; } if (t1->type == HLSL_CLASS_STRUCT && t2->type == HLSL_CLASS_STRUCT) return compare_hlsl_types(t1, t2); return FALSE; } static BOOL expr_compatible_data_types(struct hlsl_type *t1, struct hlsl_type *t2) { if (t1->base_type > HLSL_TYPE_LAST_SCALAR || t2->base_type > HLSL_TYPE_LAST_SCALAR) return FALSE; /* Scalar vars can be converted to pretty much everything */ if ((t1->dimx == 1 && t1->dimy == 1) || (t2->dimx == 1 && t2->dimy == 1)) return TRUE; if (t1->type == HLSL_CLASS_VECTOR && t2->type == HLSL_CLASS_VECTOR) return TRUE; if (t1->type == HLSL_CLASS_MATRIX || t2->type == HLSL_CLASS_MATRIX) { /* Matrix-vector conversion is apparently allowed if either they have the same components count or the matrix is nx1 or 1xn */ if (t1->type == HLSL_CLASS_VECTOR || t2->type == HLSL_CLASS_VECTOR) { if (components_count_type(t1) == components_count_type(t2)) return TRUE; return (t1->type == HLSL_CLASS_MATRIX && (t1->dimx == 1 || t1->dimy == 1)) || (t2->type == HLSL_CLASS_MATRIX && (t2->dimx == 1 || t2->dimy == 1)); } /* Both matrices */ if ((t1->dimx >= t2->dimx && t1->dimy >= t2->dimy) || (t1->dimx <= t2->dimx && t1->dimy <= t2->dimy)) return TRUE; } return FALSE; } static enum hlsl_base_type expr_common_base_type(enum hlsl_base_type t1, enum hlsl_base_type t2) { static const enum hlsl_base_type types[] = { HLSL_TYPE_BOOL, HLSL_TYPE_INT, HLSL_TYPE_UINT, HLSL_TYPE_HALF, HLSL_TYPE_FLOAT, HLSL_TYPE_DOUBLE, }; int t1_idx = -1, t2_idx = -1, i; for (i = 0; i < ARRAY_SIZE(types); ++i) { /* Always convert away from HLSL_TYPE_HALF */ if (t1 == types[i]) t1_idx = t1 == HLSL_TYPE_HALF ? i + 1 : i; if (t2 == types[i]) t2_idx = t2 == HLSL_TYPE_HALF ? i + 1 : i; if (t1_idx != -1 && t2_idx != -1) break; } if (t1_idx == -1 || t2_idx == -1) { FIXME("Unexpected base type.\n"); return HLSL_TYPE_FLOAT; } return t1_idx >= t2_idx ? t1 : t2; } static struct hlsl_type *expr_common_type(struct hlsl_type *t1, struct hlsl_type *t2, struct source_location *loc) { enum hlsl_type_class type; enum hlsl_base_type base; unsigned int dimx, dimy; if (t1->type > HLSL_CLASS_LAST_NUMERIC || t2->type > HLSL_CLASS_LAST_NUMERIC) { hlsl_report_message(*loc, HLSL_LEVEL_ERROR, "non scalar/vector/matrix data type in expression"); return NULL; } if (compare_hlsl_types(t1, t2)) return t1; if (!expr_compatible_data_types(t1, t2)) { hlsl_report_message(*loc, HLSL_LEVEL_ERROR, "expression data types are incompatible"); return NULL; } if (t1->base_type == t2->base_type) base = t1->base_type; else base = expr_common_base_type(t1->base_type, t2->base_type); if (t1->dimx == 1 && t1->dimy == 1) { type = t2->type; dimx = t2->dimx; dimy = t2->dimy; } else if (t2->dimx == 1 && t2->dimy == 1) { type = t1->type; dimx = t1->dimx; dimy = t1->dimy; } else if (t1->type == HLSL_CLASS_MATRIX && t2->type == HLSL_CLASS_MATRIX) { type = HLSL_CLASS_MATRIX; dimx = min(t1->dimx, t2->dimx); dimy = min(t1->dimy, t2->dimy); } else { /* Two vectors or a vector and a matrix (matrix must be 1xn or nx1) */ unsigned int max_dim_1, max_dim_2; max_dim_1 = max(t1->dimx, t1->dimy); max_dim_2 = max(t2->dimx, t2->dimy); if (t1->dimx * t1->dimy == t2->dimx * t2->dimy) { type = HLSL_CLASS_VECTOR; dimx = max(t1->dimx, t2->dimx); dimy = 1; } else if (max_dim_1 <= max_dim_2) { type = t1->type; if (type == HLSL_CLASS_VECTOR) { dimx = max_dim_1; dimy = 1; } else { dimx = t1->dimx; dimy = t1->dimy; } } else { type = t2->type; if (type == HLSL_CLASS_VECTOR) { dimx = max_dim_2; dimy = 1; } else { dimx = t2->dimx; dimy = t2->dimy; } } } return new_hlsl_type(NULL, type, base, dimx, dimy); } struct hlsl_ir_node *implicit_conversion(struct hlsl_ir_node *node, struct hlsl_type *dst_type, struct source_location *loc) { struct hlsl_type *src_type = node->data_type; struct hlsl_ir_expr *cast; if (compare_hlsl_types(src_type, dst_type)) return node; if (!implicit_compatible_data_types(src_type, dst_type)) { hlsl_report_message(*loc, HLSL_LEVEL_ERROR, "can't implicitly convert %s to %s", debug_hlsl_type(src_type), debug_hlsl_type(dst_type)); return NULL; } if (dst_type->dimx * dst_type->dimy < src_type->dimx * src_type->dimy) hlsl_report_message(*loc, HLSL_LEVEL_WARNING, "implicit truncation of vector type"); TRACE("Implicit conversion from %s to %s.\n", debug_hlsl_type(src_type), debug_hlsl_type(dst_type)); if (!(cast = new_cast(node, dst_type, loc))) return NULL; list_add_after(&node->entry, &cast->node.entry); return &cast->node; } struct hlsl_ir_expr *new_expr(enum hlsl_ir_expr_op op, struct hlsl_ir_node **operands, struct source_location *loc) { struct hlsl_ir_expr *expr; struct hlsl_type *type; unsigned int i; type = operands[0]->data_type; for (i = 1; i <= 2; ++i) { if (!operands[i]) break; type = expr_common_type(type, operands[i]->data_type, loc); if (!type) return NULL; } for (i = 0; i <= 2; ++i) { struct hlsl_ir_expr *cast; if (!operands[i]) break; if (compare_hlsl_types(operands[i]->data_type, type)) continue; TRACE("Implicitly converting %s into %s in an expression\n", debug_hlsl_type(operands[i]->data_type), debug_hlsl_type(type)); if (operands[i]->data_type->dimx * operands[i]->data_type->dimy != 1 && operands[i]->data_type->dimx * operands[i]->data_type->dimy != type->dimx * type->dimy) { hlsl_report_message(operands[i]->loc, HLSL_LEVEL_WARNING, "implicit truncation of vector/matrix type"); } if (!(cast = new_cast(operands[i], type, &operands[i]->loc))) return NULL; list_add_after(&operands[i]->entry, &cast->node.entry); operands[i] = &cast->node; } if (!(expr = d3dcompiler_alloc(sizeof(*expr)))) return NULL; init_node(&expr->node, HLSL_IR_EXPR, type, *loc); expr->op = op; expr->operands[0] = operands[0]; expr->operands[1] = operands[1]; expr->operands[2] = operands[2]; return expr; } struct hlsl_ir_expr *new_cast(struct hlsl_ir_node *node, struct hlsl_type *type, struct source_location *loc) { struct hlsl_ir_node *cast; cast = new_unary_expr(HLSL_IR_UNOP_CAST, node, *loc); if (cast) cast->data_type = type; return expr_from_node(cast); } static enum hlsl_ir_expr_op op_from_assignment(enum parse_assign_op op) { static const enum hlsl_ir_expr_op ops[] = { 0, HLSL_IR_BINOP_ADD, HLSL_IR_BINOP_SUB, HLSL_IR_BINOP_MUL, HLSL_IR_BINOP_DIV, HLSL_IR_BINOP_MOD, HLSL_IR_BINOP_LSHIFT, HLSL_IR_BINOP_RSHIFT, HLSL_IR_BINOP_BIT_AND, HLSL_IR_BINOP_BIT_OR, HLSL_IR_BINOP_BIT_XOR, }; return ops[op]; } static unsigned int invert_swizzle(unsigned int *swizzle, unsigned int writemask) { unsigned int i, j, bit = 0, inverted = 0, components, new_writemask = 0, new_swizzle = 0; /* Apply the writemask to the swizzle to get a new writemask and swizzle. */ for (i = 0; i < 4; ++i) { if (writemask & (1 << i)) { unsigned int s = (*swizzle >> (i * 2)) & 3; new_swizzle |= s << (bit++ * 2); if (new_writemask & (1 << s)) return 0; new_writemask |= 1 << s; } } components = bit; /* Invert the swizzle. */ bit = 0; for (i = 0; i < 4; ++i) { for (j = 0; j < components; ++j) { unsigned int s = (new_swizzle >> (j * 2)) & 3; if (s == i) inverted |= j << (bit++ * 2); } } *swizzle = inverted; return new_writemask; } static BOOL validate_lhs_deref(const struct hlsl_ir_node *lhs) { struct hlsl_ir_deref *deref; if (lhs->type != HLSL_IR_DEREF) { hlsl_report_message(lhs->loc, HLSL_LEVEL_ERROR, "invalid lvalue"); return FALSE; } deref = deref_from_node(lhs); if (deref->src.type == HLSL_IR_DEREF_VAR) return TRUE; if (deref->src.type == HLSL_IR_DEREF_ARRAY) return validate_lhs_deref(deref->src.v.array.array); if (deref->src.type == HLSL_IR_DEREF_RECORD) return validate_lhs_deref(deref->src.v.record.record); assert(0); return FALSE; } struct hlsl_ir_node *make_assignment(struct hlsl_ir_node *lhs, enum parse_assign_op assign_op, struct hlsl_ir_node *rhs) { struct hlsl_ir_assignment *assign = d3dcompiler_alloc(sizeof(*assign)); DWORD writemask = (1 << lhs->data_type->dimx) - 1; struct hlsl_type *type; if (!assign) { ERR("Out of memory\n"); return NULL; } while (lhs->type != HLSL_IR_DEREF) { struct hlsl_ir_node *lhs_inner; if (lhs->type == HLSL_IR_EXPR && expr_from_node(lhs)->op == HLSL_IR_UNOP_CAST) { FIXME("Cast on the lhs.\n"); d3dcompiler_free(assign); return NULL; } else if (lhs->type == HLSL_IR_SWIZZLE) { struct hlsl_ir_swizzle *swizzle = swizzle_from_node(lhs); if (lhs->data_type->type == HLSL_CLASS_MATRIX) FIXME("Assignments with writemasks and matrices on lhs are not supported yet.\n"); lhs_inner = swizzle->val; list_remove(&lhs->entry); list_add_after(&rhs->entry, &lhs->entry); swizzle->val = rhs; if (!(writemask = invert_swizzle(&swizzle->swizzle, writemask))) { hlsl_report_message(lhs->loc, HLSL_LEVEL_ERROR, "invalid writemask"); d3dcompiler_free(assign); return NULL; } rhs = &swizzle->node; } else { hlsl_report_message(lhs->loc, HLSL_LEVEL_ERROR, "invalid lvalue"); d3dcompiler_free(assign); return NULL; } lhs = lhs_inner; } if (!validate_lhs_deref(lhs)) { d3dcompiler_free(assign); return NULL; } TRACE("Creating proper assignment expression.\n"); if (writemask == BWRITERSP_WRITEMASK_ALL) type = lhs->data_type; else { unsigned int dimx = 0; DWORD bitmask; enum hlsl_type_class type_class; if (lhs->data_type->type > HLSL_CLASS_LAST_NUMERIC) { hlsl_report_message(lhs->loc, HLSL_LEVEL_ERROR, "writemask on a non scalar/vector/matrix type"); d3dcompiler_free(assign); return NULL; } bitmask = writemask & ((1 << lhs->data_type->dimx) - 1); while (bitmask) { if (bitmask & 1) dimx++; bitmask >>= 1; } if (lhs->data_type->type == HLSL_CLASS_MATRIX) FIXME("Assignments with writemasks and matrices on lhs are not supported yet.\n"); if (dimx == 1) type_class = HLSL_CLASS_SCALAR; else type_class = lhs->data_type->type; type = new_hlsl_type(NULL, type_class, lhs->data_type->base_type, dimx, 1); } init_node(&assign->node, HLSL_IR_ASSIGNMENT, type, lhs->loc); assign->writemask = writemask; rhs = implicit_conversion(rhs, type, &rhs->loc); assign->lhs = deref_from_node(lhs)->src; if (assign_op != ASSIGN_OP_ASSIGN) { enum hlsl_ir_expr_op op = op_from_assignment(assign_op); struct hlsl_ir_node *expr; if (assign->lhs.type != HLSL_IR_DEREF_VAR) { FIXME("LHS expression not supported in compound assignments yet.\n"); assign->rhs = rhs; } else { TRACE("Adding an expression for the compound assignment.\n"); expr = new_binary_expr(op, lhs, rhs, lhs->loc); list_add_after(&rhs->entry, &expr->entry); assign->rhs = expr; } } else { list_remove(&lhs->entry); /* Don't recursively free the deref; we just copied its members. */ d3dcompiler_free(lhs); assign->rhs = rhs; } return &assign->node; } static int compare_hlsl_types_rb(const void *key, const struct wine_rb_entry *entry) { const char *name = key; const struct hlsl_type *type = WINE_RB_ENTRY_VALUE(entry, const struct hlsl_type, scope_entry); if (name == type->name) return 0; if (!name || !type->name) { ERR("hlsl_type without a name in a scope?\n"); return -1; } return strcmp(name, type->name); } void push_scope(struct hlsl_parse_ctx *ctx) { struct hlsl_scope *new_scope = d3dcompiler_alloc(sizeof(*new_scope)); if (!new_scope) { ERR("Out of memory!\n"); return; } TRACE("Pushing a new scope\n"); list_init(&new_scope->vars); wine_rb_init(&new_scope->types, compare_hlsl_types_rb); new_scope->upper = ctx->cur_scope; ctx->cur_scope = new_scope; list_add_tail(&ctx->scopes, &new_scope->entry); } BOOL pop_scope(struct hlsl_parse_ctx *ctx) { struct hlsl_scope *prev_scope = ctx->cur_scope->upper; if (!prev_scope) return FALSE; TRACE("Popping current scope\n"); ctx->cur_scope = prev_scope; return TRUE; } struct hlsl_ir_function_decl *new_func_decl(struct hlsl_type *return_type, struct list *parameters) { struct hlsl_ir_function_decl *decl; decl = d3dcompiler_alloc(sizeof(*decl)); if (!decl) { ERR("Out of memory.\n"); return NULL; } decl->return_type = return_type; decl->parameters = parameters; return decl; } static int compare_param_hlsl_types(const struct hlsl_type *t1, const struct hlsl_type *t2) { if (t1->type != t2->type) { if (!((t1->type == HLSL_CLASS_SCALAR && t2->type == HLSL_CLASS_VECTOR) || (t1->type == HLSL_CLASS_VECTOR && t2->type == HLSL_CLASS_SCALAR))) return t1->type - t2->type; } if (t1->base_type != t2->base_type) return t1->base_type - t2->base_type; if (t1->base_type == HLSL_TYPE_SAMPLER && t1->sampler_dim != t2->sampler_dim) return t1->sampler_dim - t2->sampler_dim; if (t1->dimx != t2->dimx) return t1->dimx - t2->dimx; if (t1->dimy != t2->dimy) return t1->dimx - t2->dimx; if (t1->type == HLSL_CLASS_STRUCT) { struct list *t1cur, *t2cur; struct hlsl_struct_field *t1field, *t2field; int r; t1cur = list_head(t1->e.elements); t2cur = list_head(t2->e.elements); while (t1cur && t2cur) { t1field = LIST_ENTRY(t1cur, struct hlsl_struct_field, entry); t2field = LIST_ENTRY(t2cur, struct hlsl_struct_field, entry); if ((r = compare_param_hlsl_types(t1field->type, t2field->type))) return r; if ((r = strcmp(t1field->name, t2field->name))) return r; t1cur = list_next(t1->e.elements, t1cur); t2cur = list_next(t2->e.elements, t2cur); } if (t1cur != t2cur) return t1cur ? 1 : -1; return 0; } if (t1->type == HLSL_CLASS_ARRAY) { if (t1->e.array.elements_count != t2->e.array.elements_count) return t1->e.array.elements_count - t2->e.array.elements_count; return compare_param_hlsl_types(t1->e.array.type, t2->e.array.type); } return 0; } static int compare_function_decl_rb(const void *key, const struct wine_rb_entry *entry) { const struct list *params = key; const struct hlsl_ir_function_decl *decl = WINE_RB_ENTRY_VALUE(entry, const struct hlsl_ir_function_decl, entry); int params_count = params ? list_count(params) : 0; int decl_params_count = decl->parameters ? list_count(decl->parameters) : 0; int r; struct list *p1cur, *p2cur; if (params_count != decl_params_count) return params_count - decl_params_count; p1cur = params ? list_head(params) : NULL; p2cur = decl->parameters ? list_head(decl->parameters) : NULL; while (p1cur && p2cur) { struct hlsl_ir_var *p1, *p2; p1 = LIST_ENTRY(p1cur, struct hlsl_ir_var, param_entry); p2 = LIST_ENTRY(p2cur, struct hlsl_ir_var, param_entry); if ((r = compare_param_hlsl_types(p1->data_type, p2->data_type))) return r; p1cur = list_next(params, p1cur); p2cur = list_next(decl->parameters, p2cur); } return 0; } static int compare_function_rb(const void *key, const struct wine_rb_entry *entry) { const char *name = key; const struct hlsl_ir_function *func = WINE_RB_ENTRY_VALUE(entry, const struct hlsl_ir_function,entry); return strcmp(name, func->name); } void init_functions_tree(struct wine_rb_tree *funcs) { wine_rb_init(&hlsl_ctx.functions, compare_function_rb); } const char *debug_base_type(const struct hlsl_type *type) { const char *name = "(unknown)"; switch (type->base_type) { case HLSL_TYPE_FLOAT: name = "float"; break; case HLSL_TYPE_HALF: name = "half"; break; case HLSL_TYPE_DOUBLE: name = "double"; break; case HLSL_TYPE_INT: name = "int"; break; case HLSL_TYPE_UINT: name = "uint"; break; case HLSL_TYPE_BOOL: name = "bool"; break; case HLSL_TYPE_SAMPLER: switch (type->sampler_dim) { case HLSL_SAMPLER_DIM_GENERIC: name = "sampler"; break; case HLSL_SAMPLER_DIM_1D: name = "sampler1D"; break; case HLSL_SAMPLER_DIM_2D: name = "sampler2D"; break; case HLSL_SAMPLER_DIM_3D: name = "sampler3D"; break; case HLSL_SAMPLER_DIM_CUBE: name = "samplerCUBE"; break; } break; default: FIXME("Unhandled case %u\n", type->base_type); } return name; } const char *debug_hlsl_type(const struct hlsl_type *type) { const char *name; if (type->name) return debugstr_a(type->name); if (type->type == HLSL_CLASS_STRUCT) return ""; if (type->type == HLSL_CLASS_ARRAY) { name = debug_base_type(type->e.array.type); return wine_dbg_sprintf("%s[%u]", name, type->e.array.elements_count); } name = debug_base_type(type); if (type->type == HLSL_CLASS_SCALAR) return wine_dbg_sprintf("%s", name); if (type->type == HLSL_CLASS_VECTOR) return wine_dbg_sprintf("%s%u", name, type->dimx); if (type->type == HLSL_CLASS_MATRIX) return wine_dbg_sprintf("%s%ux%u", name, type->dimx, type->dimy); return "unexpected_type"; } const char *debug_modifiers(DWORD modifiers) { char string[110]; string[0] = 0; if (modifiers & HLSL_STORAGE_EXTERN) strcat(string, " extern"); /* 7 */ if (modifiers & HLSL_STORAGE_NOINTERPOLATION) strcat(string, " nointerpolation"); /* 16 */ if (modifiers & HLSL_MODIFIER_PRECISE) strcat(string, " precise"); /* 8 */ if (modifiers & HLSL_STORAGE_SHARED) strcat(string, " shared"); /* 7 */ if (modifiers & HLSL_STORAGE_GROUPSHARED) strcat(string, " groupshared"); /* 12 */ if (modifiers & HLSL_STORAGE_STATIC) strcat(string, " static"); /* 7 */ if (modifiers & HLSL_STORAGE_UNIFORM) strcat(string, " uniform"); /* 8 */ if (modifiers & HLSL_STORAGE_VOLATILE) strcat(string, " volatile"); /* 9 */ if (modifiers & HLSL_MODIFIER_CONST) strcat(string, " const"); /* 6 */ if (modifiers & HLSL_MODIFIER_ROW_MAJOR) strcat(string, " row_major"); /* 10 */ if (modifiers & HLSL_MODIFIER_COLUMN_MAJOR) strcat(string, " column_major"); /* 13 */ if ((modifiers & (HLSL_STORAGE_IN | HLSL_STORAGE_OUT)) == (HLSL_STORAGE_IN | HLSL_STORAGE_OUT)) strcat(string, " inout"); /* 6 */ else if (modifiers & HLSL_STORAGE_IN) strcat(string, " in"); /* 3 */ else if (modifiers & HLSL_STORAGE_OUT) strcat(string, " out"); /* 4 */ return wine_dbg_sprintf("%s", string[0] ? string + 1 : ""); } const char *debug_node_type(enum hlsl_ir_node_type type) { static const char * const names[] = { "HLSL_IR_ASSIGNMENT", "HLSL_IR_CONSTANT", "HLSL_IR_CONSTRUCTOR", "HLSL_IR_DEREF", "HLSL_IR_EXPR", "HLSL_IR_IF", "HLSL_IR_LOOP", "HLSL_IR_JUMP", "HLSL_IR_SWIZZLE", }; if (type >= ARRAY_SIZE(names)) return "Unexpected node type"; return names[type]; } static void debug_dump_instr(const struct hlsl_ir_node *instr); static void debug_dump_instr_list(const struct list *list) { struct hlsl_ir_node *instr; LIST_FOR_EACH_ENTRY(instr, list, struct hlsl_ir_node, entry) { debug_dump_instr(instr); wine_dbg_printf("\n"); } } static void debug_dump_src(const struct hlsl_ir_node *node) { if (node->index) wine_dbg_printf("@%u", node->index); else wine_dbg_printf("%p", node); } static void debug_dump_ir_var(const struct hlsl_ir_var *var) { if (var->modifiers) wine_dbg_printf("%s ", debug_modifiers(var->modifiers)); wine_dbg_printf("%s %s", debug_hlsl_type(var->data_type), var->name); if (var->semantic) wine_dbg_printf(" : %s", debugstr_a(var->semantic)); } static void debug_dump_deref(const struct hlsl_deref *deref) { switch (deref->type) { case HLSL_IR_DEREF_VAR: wine_dbg_printf("deref("); debug_dump_ir_var(deref->v.var); wine_dbg_printf(")"); break; case HLSL_IR_DEREF_ARRAY: debug_dump_src(deref->v.array.array); wine_dbg_printf("["); debug_dump_src(deref->v.array.index); wine_dbg_printf("]"); break; case HLSL_IR_DEREF_RECORD: debug_dump_src(deref->v.record.record); wine_dbg_printf(".%s", debugstr_a(deref->v.record.field->name)); break; } } static void debug_dump_ir_constant(const struct hlsl_ir_constant *constant) { struct hlsl_type *type = constant->node.data_type; unsigned int x, y; if (type->dimy != 1) wine_dbg_printf("{"); for (y = 0; y < type->dimy; ++y) { if (type->dimx != 1) wine_dbg_printf("{"); for (x = 0; x < type->dimx; ++x) { switch (type->base_type) { case HLSL_TYPE_FLOAT: wine_dbg_printf("%g ", (double)constant->v.value.f[y * type->dimx + x]); break; case HLSL_TYPE_DOUBLE: wine_dbg_printf("%g ", constant->v.value.d[y * type->dimx + x]); break; case HLSL_TYPE_INT: wine_dbg_printf("%d ", constant->v.value.i[y * type->dimx + x]); break; case HLSL_TYPE_UINT: wine_dbg_printf("%u ", constant->v.value.u[y * type->dimx + x]); break; case HLSL_TYPE_BOOL: wine_dbg_printf("%s ", constant->v.value.b[y * type->dimx + x] == FALSE ? "false" : "true"); break; default: wine_dbg_printf("Constants of type %s not supported\n", debug_base_type(type)); } } if (type->dimx != 1) wine_dbg_printf("}"); } if (type->dimy != 1) wine_dbg_printf("}"); } static const char *debug_expr_op(const struct hlsl_ir_expr *expr) { static const char * const op_names[] = { "~", "!", "-", "abs", "sign", "rcp", "rsq", "sqrt", "nrm", "exp2", "log2", "cast", "fract", "sin", "cos", "sin_reduced", "cos_reduced", "dsx", "dsy", "sat", "pre++", "pre--", "post++", "post--", "+", "-", "*", "/", "%", "<", ">", "<=", ">=", "==", "!=", "&&", "||", "<<", ">>", "&", "|", "^", "dot", "crs", "min", "max", "pow", "lerp", ",", }; if (expr->op == HLSL_IR_UNOP_CAST) return debug_hlsl_type(expr->node.data_type); return op_names[expr->op]; } /* Dumps the expression in a prefix "operator (operands)" form */ static void debug_dump_ir_expr(const struct hlsl_ir_expr *expr) { unsigned int i; wine_dbg_printf("%s (", debug_expr_op(expr)); for (i = 0; i < 3 && expr->operands[i]; ++i) { debug_dump_src(expr->operands[i]); wine_dbg_printf(" "); } wine_dbg_printf(")"); } static void debug_dump_ir_constructor(const struct hlsl_ir_constructor *constructor) { unsigned int i; wine_dbg_printf("%s (", debug_hlsl_type(constructor->node.data_type)); for (i = 0; i < constructor->args_count; ++i) { debug_dump_src(constructor->args[i]); wine_dbg_printf(" "); } wine_dbg_printf(")"); } static const char *debug_writemask(DWORD writemask) { static const char components[] = {'x', 'y', 'z', 'w'}; char string[5]; unsigned int i = 0, pos = 0; assert(!(writemask & ~BWRITERSP_WRITEMASK_ALL)); while (writemask) { if (writemask & 1) string[pos++] = components[i]; writemask >>= 1; i++; } string[pos] = '\0'; return wine_dbg_sprintf(".%s", string); } static void debug_dump_ir_assignment(const struct hlsl_ir_assignment *assign) { wine_dbg_printf("= ("); debug_dump_deref(&assign->lhs); if (assign->writemask != BWRITERSP_WRITEMASK_ALL) wine_dbg_printf("%s", debug_writemask(assign->writemask)); wine_dbg_printf(" "); debug_dump_src(assign->rhs); wine_dbg_printf(")"); } static void debug_dump_ir_swizzle(const struct hlsl_ir_swizzle *swizzle) { unsigned int i; debug_dump_src(swizzle->val); wine_dbg_printf("."); if (swizzle->val->data_type->dimy > 1) { for (i = 0; i < swizzle->node.data_type->dimx; ++i) wine_dbg_printf("_m%u%u", (swizzle->swizzle >> i * 8) & 0xf, (swizzle->swizzle >> (i * 8 + 4)) & 0xf); } else { static const char c[] = {'x', 'y', 'z', 'w'}; for (i = 0; i < swizzle->node.data_type->dimx; ++i) wine_dbg_printf("%c", c[(swizzle->swizzle >> i * 2) & 0x3]); } } static void debug_dump_ir_jump(const struct hlsl_ir_jump *jump) { switch (jump->type) { case HLSL_IR_JUMP_BREAK: wine_dbg_printf("break"); break; case HLSL_IR_JUMP_CONTINUE: wine_dbg_printf("continue"); break; case HLSL_IR_JUMP_DISCARD: wine_dbg_printf("discard"); break; case HLSL_IR_JUMP_RETURN: wine_dbg_printf("return "); if (jump->return_value) debug_dump_src(jump->return_value); wine_dbg_printf(";"); break; } } static void debug_dump_ir_if(const struct hlsl_ir_if *if_node) { wine_dbg_printf("if ("); debug_dump_src(if_node->condition); wine_dbg_printf(")\n{\n"); debug_dump_instr_list(if_node->then_instrs); wine_dbg_printf("}\n"); if (if_node->else_instrs) { wine_dbg_printf("else\n{\n"); debug_dump_instr_list(if_node->else_instrs); wine_dbg_printf("}\n"); } } static void debug_dump_ir_loop(const struct hlsl_ir_loop *loop) { wine_dbg_printf("for (;;)\n{\n"); debug_dump_instr_list(loop->body); wine_dbg_printf("}\n"); } static void debug_dump_instr(const struct hlsl_ir_node *instr) { if (instr->index) wine_dbg_printf("%4u: ", instr->index); else wine_dbg_printf("%p: ", instr); switch (instr->type) { case HLSL_IR_EXPR: debug_dump_ir_expr(expr_from_node(instr)); break; case HLSL_IR_DEREF: debug_dump_deref(&deref_from_node(instr)->src); break; case HLSL_IR_CONSTANT: debug_dump_ir_constant(constant_from_node(instr)); break; case HLSL_IR_ASSIGNMENT: debug_dump_ir_assignment(assignment_from_node(instr)); break; case HLSL_IR_SWIZZLE: debug_dump_ir_swizzle(swizzle_from_node(instr)); break; case HLSL_IR_CONSTRUCTOR: debug_dump_ir_constructor(constructor_from_node(instr)); break; case HLSL_IR_JUMP: debug_dump_ir_jump(jump_from_node(instr)); break; case HLSL_IR_IF: debug_dump_ir_if(if_from_node(instr)); break; case HLSL_IR_LOOP: debug_dump_ir_loop(loop_from_node(instr)); break; default: wine_dbg_printf("", debug_node_type(instr->type)); } } void debug_dump_ir_function_decl(const struct hlsl_ir_function_decl *func) { struct hlsl_ir_var *param; TRACE("Dumping function %s.\n", debugstr_a(func->func->name)); TRACE("Function parameters:\n"); LIST_FOR_EACH_ENTRY(param, func->parameters, struct hlsl_ir_var, param_entry) { debug_dump_ir_var(param); wine_dbg_printf("\n"); } if (func->semantic) TRACE("Function semantic: %s\n", debugstr_a(func->semantic)); if (func->body) { debug_dump_instr_list(func->body); } } void free_hlsl_type(struct hlsl_type *type) { struct hlsl_struct_field *field, *next_field; d3dcompiler_free((void *)type->name); if (type->type == HLSL_CLASS_STRUCT) { LIST_FOR_EACH_ENTRY_SAFE(field, next_field, type->e.elements, struct hlsl_struct_field, entry) { d3dcompiler_free((void *)field->name); d3dcompiler_free((void *)field->semantic); d3dcompiler_free(field); } } d3dcompiler_free(type); } void free_instr_list(struct list *list) { struct hlsl_ir_node *node, *next_node; if (!list) return; LIST_FOR_EACH_ENTRY_SAFE(node, next_node, list, struct hlsl_ir_node, entry) free_instr(node); d3dcompiler_free(list); } static void free_ir_constant(struct hlsl_ir_constant *constant) { struct hlsl_type *type = constant->node.data_type; unsigned int i; struct hlsl_ir_constant *field, *next_field; switch (type->type) { case HLSL_CLASS_ARRAY: for (i = 0; i < type->e.array.elements_count; ++i) free_ir_constant(&constant->v.array_elements[i]); d3dcompiler_free(constant->v.array_elements); break; case HLSL_CLASS_STRUCT: LIST_FOR_EACH_ENTRY_SAFE(field, next_field, constant->v.struct_elements, struct hlsl_ir_constant, node.entry) free_ir_constant(field); break; default: break; } d3dcompiler_free(constant); } static void free_ir_deref(struct hlsl_ir_deref *deref) { d3dcompiler_free(deref); } static void free_ir_swizzle(struct hlsl_ir_swizzle *swizzle) { d3dcompiler_free(swizzle); } static void free_ir_constructor(struct hlsl_ir_constructor *constructor) { d3dcompiler_free(constructor); } static void free_ir_expr(struct hlsl_ir_expr *expr) { d3dcompiler_free(expr); } static void free_ir_assignment(struct hlsl_ir_assignment *assignment) { d3dcompiler_free(assignment); } static void free_ir_if(struct hlsl_ir_if *if_node) { free_instr_list(if_node->then_instrs); free_instr_list(if_node->else_instrs); d3dcompiler_free(if_node); } static void free_ir_loop(struct hlsl_ir_loop *loop) { free_instr_list(loop->body); d3dcompiler_free(loop); } static void free_ir_jump(struct hlsl_ir_jump *jump) { d3dcompiler_free(jump); } void free_instr(struct hlsl_ir_node *node) { switch (node->type) { case HLSL_IR_CONSTANT: free_ir_constant(constant_from_node(node)); break; case HLSL_IR_DEREF: free_ir_deref(deref_from_node(node)); break; case HLSL_IR_SWIZZLE: free_ir_swizzle(swizzle_from_node(node)); break; case HLSL_IR_CONSTRUCTOR: free_ir_constructor(constructor_from_node(node)); break; case HLSL_IR_EXPR: free_ir_expr(expr_from_node(node)); break; case HLSL_IR_ASSIGNMENT: free_ir_assignment(assignment_from_node(node)); break; case HLSL_IR_IF: free_ir_if(if_from_node(node)); break; case HLSL_IR_LOOP: free_ir_loop(loop_from_node(node)); break; case HLSL_IR_JUMP: free_ir_jump(jump_from_node(node)); break; default: FIXME("Unsupported node type %s\n", debug_node_type(node->type)); } } static void free_function_decl(struct hlsl_ir_function_decl *decl) { d3dcompiler_free((void *)decl->semantic); d3dcompiler_free(decl->parameters); free_instr_list(decl->body); d3dcompiler_free(decl); } static void free_function_decl_rb(struct wine_rb_entry *entry, void *context) { free_function_decl(WINE_RB_ENTRY_VALUE(entry, struct hlsl_ir_function_decl, entry)); } static void free_function(struct hlsl_ir_function *func) { wine_rb_destroy(&func->overloads, free_function_decl_rb, NULL); d3dcompiler_free((void *)func->name); d3dcompiler_free(func); } void free_function_rb(struct wine_rb_entry *entry, void *context) { free_function(WINE_RB_ENTRY_VALUE(entry, struct hlsl_ir_function, entry)); } void add_function_decl(struct wine_rb_tree *funcs, char *name, struct hlsl_ir_function_decl *decl, BOOL intrinsic) { struct hlsl_ir_function *func; struct wine_rb_entry *func_entry, *old_entry; func_entry = wine_rb_get(funcs, name); if (func_entry) { func = WINE_RB_ENTRY_VALUE(func_entry, struct hlsl_ir_function, entry); if (intrinsic != func->intrinsic) { if (intrinsic) { ERR("Redeclaring a user defined function as an intrinsic.\n"); return; } TRACE("Function %s redeclared as a user defined function.\n", debugstr_a(name)); func->intrinsic = intrinsic; wine_rb_destroy(&func->overloads, free_function_decl_rb, NULL); wine_rb_init(&func->overloads, compare_function_decl_rb); } decl->func = func; if ((old_entry = wine_rb_get(&func->overloads, decl->parameters))) { struct hlsl_ir_function_decl *old_decl = WINE_RB_ENTRY_VALUE(old_entry, struct hlsl_ir_function_decl, entry); if (!decl->body) { free_function_decl(decl); d3dcompiler_free(name); return; } wine_rb_remove(&func->overloads, old_entry); free_function_decl(old_decl); } wine_rb_put(&func->overloads, decl->parameters, &decl->entry); d3dcompiler_free(name); return; } func = d3dcompiler_alloc(sizeof(*func)); func->name = name; wine_rb_init(&func->overloads, compare_function_decl_rb); decl->func = func; wine_rb_put(&func->overloads, decl->parameters, &decl->entry); func->intrinsic = intrinsic; wine_rb_put(funcs, func->name, &func->entry); } #endif