/* * Copyright (C) 2019 Connor Abbott * Copyright (C) 2019 Lyude Paul * Copyright (C) 2019 Ryan Houdek * * Permission is hereby granted, free of charge, to any person obtaining a * copy of this software and associated documentation files (the "Software"), * to deal in the Software without restriction, including without limitation * the rights to use, copy, modify, merge, publish, distribute, sublicense, * and/or sell copies of the Software, and to permit persons to whom the * Software is furnished to do so, subject to the following conditions: * * The above copyright notice and this permission notice (including the next * paragraph) shall be included in all copies or substantial portions of the * Software. * * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE * SOFTWARE. */ #ifndef __bifrost_h__ #define __bifrost_h__ #include #include #define BIFROST_DBG_MSGS 0x0001 #define BIFROST_DBG_SHADERS 0x0002 extern int bifrost_debug; enum bifrost_clause_type { BIFROST_CLAUSE_NONE = 0, BIFROST_CLAUSE_LOAD_VARY = 1, BIFROST_CLAUSE_UBO = 2, BIFROST_CLAUSE_TEX = 3, BIFROST_CLAUSE_SSBO_LOAD = 5, BIFROST_CLAUSE_SSBO_STORE = 6, BIFROST_CLAUSE_BLEND = 9, BIFROST_CLAUSE_FRAGZ = 12, BIFROST_CLAUSE_ATEST = 13, BIFROST_CLAUSE_64BIT = 15 }; enum bifrost_ftz { BIFROST_FTZ_DISABLE = 0, BIFROST_FTZ_DX11 = 1, BIFROST_FTZ_ALWAYS = 2, BIFROST_FTZ_ABRUPT = 3 }; enum bifrost_exceptions { BIFROST_EXCEPTIONS_ENABLED = 0, BIFROST_EXCEPTIONS_DISABLED = 1, BIFROST_EXCEPTIONS_PRECISE_DIVISION = 2, BIFROST_EXCEPTIONS_PRECISE_SQRT = 3, }; struct bifrost_header { /* Reserved */ unsigned zero1 : 5; /* Flush-to-zero mode, leave zero for GL */ enum bifrost_ftz flush_to_zero : 2; /* Convert any infinite result of any floating-point operation to the * biggest representable number */ unsigned suppress_inf: 1; /* Convert NaN to +0.0 */ unsigned suppress_nan : 1; /* Floating-point excception handling mode */ enum bifrost_exceptions float_exceptions : 2; // true if the execution mask of the next clause is the same as the mask of // the current clause. unsigned back_to_back : 1; unsigned no_end_of_shader: 1; unsigned unk2 : 2; /* Terminate discarded threads, rather than continuing execution. Set * for fragment shaders for standard GL behaviour of DISCARD. */ unsigned terminate_discarded_threads : 1; /* If set, the hardware may prefetch the next clause. If false, the * hardware may not. Clear for unconditional branches. */ unsigned next_clause_prefetch : 1; // This bit is set when the next clause writes to the data register of some // previous clause. unsigned datareg_writebarrier: 1; unsigned datareg : 6; unsigned scoreboard_deps: 8; unsigned scoreboard_index: 3; enum bifrost_clause_type clause_type: 4; unsigned unk3 : 1; // part of clauseType? enum bifrost_clause_type next_clause_type: 4; unsigned unk4 : 1; // part of nextClauseType? } __attribute__((packed)); enum bifrost_packed_src { BIFROST_SRC_PORT0 = 0, BIFROST_SRC_PORT1 = 1, BIFROST_SRC_PORT2 = 2, BIFROST_SRC_STAGE = 3, BIFROST_SRC_CONST_LO = 4, BIFROST_SRC_CONST_HI = 5, BIFROST_SRC_PASS_FMA = 6, BIFROST_SRC_PASS_ADD = 7, }; struct bifrost_fma_inst { unsigned src0 : 3; unsigned op : 20; } __attribute__((packed)); struct bifrost_add_inst { unsigned src0 : 3; unsigned op : 17; } __attribute__((packed)); enum bifrost_outmod { BIFROST_NONE = 0x0, BIFROST_POS = 0x1, BIFROST_SAT_SIGNED = 0x2, BIFROST_SAT = 0x3, }; enum bifrost_roundmode { BIFROST_RTE = 0x0, /* round to even */ BIFROST_RTP = 0x1, /* round to positive */ BIFROST_RTN = 0x2, /* round to negative */ BIFROST_RTZ = 0x3 /* round to zero */ }; /* NONE: Same as fmax() and fmin() -- return the other * number if any number is NaN. Also always return +0 if * one argument is +0 and the other is -0. * * NAN_WINS: Instead of never returning a NaN, always return * one. The "greater"/"lesser" NaN is always returned, first * by checking the sign and then the mantissa bits. * * SRC1_WINS: For max, implement src0 > src1 ? src0 : src1. * For min, implement src0 < src1 ? src0 : src1. This * includes handling NaN's and signedness of 0 differently * from above, since +0 and -0 compare equal and comparisons * always return false for NaN's. As a result, this mode is * *not* commutative. * * SRC0_WINS: For max, implement src0 < src1 ? src1 : src0 * For min, implement src0 > src1 ? src1 : src0 */ enum bifrost_minmax_mode { BIFROST_MINMAX_NONE = 0x0, BIFROST_NAN_WINS = 0x1, BIFROST_SRC1_WINS = 0x2, BIFROST_SRC0_WINS = 0x3, }; enum bifrost_interp_mode { BIFROST_INTERP_PER_FRAG = 0x0, BIFROST_INTERP_CENTROID = 0x1, BIFROST_INTERP_DEFAULT = 0x2, BIFROST_INTERP_EXPLICIT = 0x3 }; /* Fixed location for gl_FragCoord.zw */ #define BIFROST_FRAGZ (23) #define BIFROST_FRAGW (22) enum branch_bit_size { BR_SIZE_32 = 0, BR_SIZE_16XX = 1, BR_SIZE_16YY = 2, // For the above combinations of bitsize and location, an extra bit is // encoded via comparing the sources. The only possible source of ambiguity // would be if the sources were the same, but then the branch condition // would be always true or always false anyways, so we can ignore it. But // this no longer works when comparing the y component to the x component, // since it's valid to compare the y component of a source against its own // x component. Instead, the extra bit is encoded via an extra bitsize. BR_SIZE_16YX0 = 3, BR_SIZE_16YX1 = 4, BR_SIZE_32_AND_16X = 5, BR_SIZE_32_AND_16Y = 6, // Used for comparisons with zero and always-true, see below. I think this // only works for integer comparisons. BR_SIZE_ZERO = 7, }; struct bifrost_regs { unsigned uniform_const : 8; unsigned reg3 : 6; unsigned reg2 : 6; unsigned reg0 : 5; unsigned reg1 : 6; unsigned ctrl : 4; } __attribute__((packed)); enum bifrost_branch_cond { BR_COND_LT = 0, BR_COND_LE = 1, BR_COND_GE = 2, BR_COND_GT = 3, // Equal vs. not-equal determined by src0/src1 comparison BR_COND_EQ = 4, // floating-point comparisons // Becomes UNE when you flip the arguments BR_COND_OEQ = 5, // TODO what happens when you flip the arguments? BR_COND_OGT = 6, BR_COND_OLT = 7, }; enum bifrost_branch_code { BR_ALWAYS = 63, }; #define BIFROST_ADD_OP_BRANCH (0x0d000 >> 12) struct bifrost_branch { unsigned src0 : 3; /* For BR_SIZE_ZERO, upper two bits become ctrl */ unsigned src1 : 3; /* Offset source -- always uniform/const but * theoretically could support indirect jumps? */ unsigned src2 : 3; enum bifrost_branch_cond cond : 3; enum branch_bit_size size : 3; unsigned op : 5; }; /* Clause packing */ struct bifrost_fmt1 { unsigned ins_0 : 3; unsigned tag : 5; uint64_t ins_1 : 64; unsigned ins_2 : 11; uint64_t header : 45; } __attribute__((packed)); #define BIFROST_FMT1_INSTRUCTIONS 0b00101 #define BIFROST_FMT1_FINAL 0b01001 #define BIFROST_FMT1_CONSTANTS 0b00001 #define BIFROST_FMTC_CONSTANTS 0b0011 #define BIFROST_FMTC_FINAL 0b0111 struct bifrost_fmt_constant { unsigned pos : 4; unsigned tag : 4; uint64_t imm_1 : 60; uint64_t imm_2 : 60; } __attribute__((packed)); /* 32-bit modes for slots 2/3, as encoded in the register block. Other values * are reserved. First part specifies behaviour of slot 2 (Idle, Read, Write * Full, Write Low, Write High), second part behaviour of slot 3, and the last * part specifies the source for the write (FMA, ADD, or MIX for FMA/ADD). * * IDLE is a special mode disabling both slots, except for the first * instruction in the clause which uses IDLE_1 for the same purpose. * * All fields 0 used as sentinel for reserved encoding, so IDLE(_1) have FMA * set (and ignored) as a placeholder to differentiate from reserved. */ enum bifrost_reg_mode { BIFROST_R_WL_FMA = 1, BIFROST_R_WH_FMA = 2, BIFROST_R_W_FMA = 3, BIFROST_R_WL_ADD = 4, BIFROST_R_WH_ADD = 5, BIFROST_R_W_ADD = 6, BIFROST_WL_WL_ADD = 7, BIFROST_WL_WH_ADD = 8, BIFROST_WL_W_ADD = 9, BIFROST_WH_WL_ADD = 10, BIFROST_WH_WH_ADD = 11, BIFROST_WH_W_ADD = 12, BIFROST_W_WL_ADD = 13, BIFROST_W_WH_ADD = 14, BIFROST_W_W_ADD = 15, BIFROST_IDLE_1 = 16, BIFROST_I_W_FMA = 17, BIFROST_I_WL_FMA = 18, BIFROST_I_WH_FMA = 19, BIFROST_R_I = 20, BIFROST_I_W_ADD = 21, BIFROST_I_WL_ADD = 22, BIFROST_I_WH_ADD = 23, BIFROST_WL_WH_MIX = 24, BIFROST_WH_WL_MIX = 26, BIFROST_IDLE = 27, }; enum bifrost_reg_op { BIFROST_OP_IDLE = 0, BIFROST_OP_READ = 1, BIFROST_OP_WRITE = 2, BIFROST_OP_WRITE_LO = 3, BIFROST_OP_WRITE_HI = 4, }; struct bifrost_reg_ctrl_23 { enum bifrost_reg_op slot2; enum bifrost_reg_op slot3; bool slot3_fma; }; static const struct bifrost_reg_ctrl_23 bifrost_reg_ctrl_lut[32] = { [BIFROST_R_WL_FMA] = { BIFROST_OP_READ, BIFROST_OP_WRITE_LO, true }, [BIFROST_R_WH_FMA] = { BIFROST_OP_READ, BIFROST_OP_WRITE_HI, true }, [BIFROST_R_W_FMA] = { BIFROST_OP_READ, BIFROST_OP_WRITE, true }, [BIFROST_R_WL_ADD] = { BIFROST_OP_READ, BIFROST_OP_WRITE_LO, false }, [BIFROST_R_WH_ADD] = { BIFROST_OP_READ, BIFROST_OP_WRITE_HI, false }, [BIFROST_R_W_ADD] = { BIFROST_OP_READ, BIFROST_OP_WRITE, false }, [BIFROST_WL_WL_ADD] = { BIFROST_OP_WRITE_LO, BIFROST_OP_WRITE_LO, false }, [BIFROST_WL_WH_ADD] = { BIFROST_OP_WRITE_LO, BIFROST_OP_WRITE_HI, false }, [BIFROST_WL_W_ADD] = { BIFROST_OP_WRITE_LO, BIFROST_OP_WRITE, false }, [BIFROST_WH_WL_ADD] = { BIFROST_OP_WRITE_HI, BIFROST_OP_WRITE_LO, false }, [BIFROST_WH_WH_ADD] = { BIFROST_OP_WRITE_HI, BIFROST_OP_WRITE_HI, false }, [BIFROST_WH_W_ADD] = { BIFROST_OP_WRITE_HI, BIFROST_OP_WRITE, false }, [BIFROST_W_WL_ADD] = { BIFROST_OP_WRITE, BIFROST_OP_WRITE_LO, false }, [BIFROST_W_WH_ADD] = { BIFROST_OP_WRITE, BIFROST_OP_WRITE_HI, false }, [BIFROST_W_W_ADD] = { BIFROST_OP_WRITE, BIFROST_OP_WRITE, false }, [BIFROST_IDLE_1] = { BIFROST_OP_IDLE, BIFROST_OP_IDLE, true }, [BIFROST_I_W_FMA] = { BIFROST_OP_IDLE, BIFROST_OP_WRITE, true }, [BIFROST_I_WL_FMA] = { BIFROST_OP_IDLE, BIFROST_OP_WRITE_LO, true }, [BIFROST_I_WH_FMA] = { BIFROST_OP_IDLE, BIFROST_OP_WRITE_HI, true }, [BIFROST_R_I] = { BIFROST_OP_READ, BIFROST_OP_IDLE, false }, [BIFROST_I_W_ADD] = { BIFROST_OP_IDLE, BIFROST_OP_WRITE, false }, [BIFROST_I_WL_ADD] = { BIFROST_OP_IDLE, BIFROST_OP_WRITE_LO, false }, [BIFROST_I_WH_ADD] = { BIFROST_OP_IDLE, BIFROST_OP_WRITE_HI, false }, [BIFROST_WL_WH_MIX] = { BIFROST_OP_WRITE_LO, BIFROST_OP_WRITE_HI, false }, [BIFROST_WH_WL_MIX] = { BIFROST_OP_WRITE_HI, BIFROST_OP_WRITE_LO, false }, [BIFROST_IDLE] = { BIFROST_OP_IDLE, BIFROST_OP_IDLE, true }, }; #endif