i965: Implement a disassembler for Broadwell's new instruction encoding.

Heavily based on Keith Packard's existing brw_disasm.c code.  I've tried
to go through most of the pieces (like SFIDs) and update the lists to
include features added in recent generations.

v2: Port to use the C-based instruction emitters.  This allows us to use
    C99 array initializers, which tidies up some of the code.

v3: Improve decoding of render target write messages.

v4: Update for BRW_REGISTER_TYPE becoming an abstraction.

v5: Rebase on Chris Forbes' SFID message defines.

v6: Fix disassembly of UV immediates; remove silly casts.

Signed-off-by: Kenneth Graunke <[email protected]>
Acked-by: Matt Turner <[email protected]>
Reviewed-by: Eric Anholt <[email protected]>

2 files changed, 932 insertions, 0 deletions

diff --git a/src/mesa/drivers/dri/i965/Makefile.sources b/src/mesa/drivers/dri/i965/Makefile.sources
index be25981480c..4c629ccda32 100644
--- a/src/mesa/drivers/dri/i965/Makefile.sources
+++ b/src/mesa/drivers/dri/i965/Makefile.sources
@@ -139,5 +139,6 @@ i965_FILES = \
 	gen7_vs_state.c \
 	gen7_wm_state.c \
 	gen7_wm_surface_state.c \
+	gen8_disasm.c \
 	gen8_instruction.c \
         $()
diff --git a/src/mesa/drivers/dri/i965/gen8_disasm.c b/src/mesa/drivers/dri/i965/gen8_disasm.c
new file mode 100644
index 00000000000..0ea5e73128b
--- /dev/null
+++ b/src/mesa/drivers/dri/i965/gen8_disasm.c
@@ -0,0 +1,931 @@
+/*
+ * Copyright © 2008 Keith Packard
+ * Copyright © 2009-2013 Intel Corporation
+ *
+ * Permission to use, copy, modify, distribute, and sell this software and its
+ * documentation for any purpose is hereby granted without fee, provided that
+ * the above copyright notice appear in all copies and that both that copyright
+ * notice and this permission notice appear in supporting documentation, and
+ * that the name of the copyright holders not be used in advertising or
+ * publicity pertaining to distribution of the software without specific,
+ * written prior permission.  The copyright holders make no representations
+ * about the suitability of this software for any purpose.  It is provided "as
+ * is" without express or implied warranty.
+ *
+ * THE COPYRIGHT HOLDERS DISCLAIM ALL WARRANTIES WITH REGARD TO THIS SOFTWARE,
+ * INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO
+ * EVENT SHALL THE COPYRIGHT HOLDERS BE LIABLE FOR ANY SPECIAL, INDIRECT OR
+ * CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE,
+ * DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER
+ * TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE
+ * OF THIS SOFTWARE.
+ */
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include <getopt.h>
+#include <unistd.h>
+#include <stdarg.h>
+
+#include "brw_context.h"
+#include "brw_defines.h"
+#include "gen8_instruction.h"
+
+static const struct opcode_desc *m_opcode = opcode_descs;
+
+static const char *const m_conditional_modifier[16] = {
+   [BRW_CONDITIONAL_NONE] = "",
+   [BRW_CONDITIONAL_Z]    = ".e",
+   [BRW_CONDITIONAL_NZ]   = ".ne",
+   [BRW_CONDITIONAL_G]    = ".g",
+   [BRW_CONDITIONAL_GE]   = ".ge",
+   [BRW_CONDITIONAL_L]    = ".l",
+   [BRW_CONDITIONAL_LE]   = ".le",
+   [BRW_CONDITIONAL_O]    = ".o",
+   [BRW_CONDITIONAL_U]    = ".u",
+};
+
+static const char *const m_negate[2] = { "", "-" };
+
+static const char *const m_abs[2] = { "", "(abs)" };
+
+static const char *const m_vert_stride[16] = {
+   "0",
+   "1",
+   "2",
+   "4",
+   "8",
+   "16",
+   "32",
+};
+
+static const char *const width[8] = {
+   "1",
+   "2",
+   "4",
+   "8",
+   "16",
+};
+
+static const char *const m_horiz_stride[4] = {
+   "0",
+   "1",
+   "2",
+   "4"
+};
+
+static const char *const m_chan_sel[4] = { "x", "y", "z", "w" };
+
+static const char *const m_debug_ctrl[2] = { "", ".breakpoint" };
+
+static const char *const m_saturate[2] = { "", ".sat" };
+
+static const char *const m_accwr[2] = { "", "AccWrEnable" };
+
+static const char *const m_maskctrl[2] = { "WE_normal", "WE_all" };
+
+static const char *const m_exec_size[8] = {
+   "1",
+   "2",
+   "4",
+   "8",
+   "16",
+   "32",
+};
+
+static const char *const m_pred_inv[2] = { "+", "-" };
+
+static const char *const m_pred_ctrl_align16[16] = {
+   "",
+   "",
+   ".x",
+   ".y",
+   ".z",
+   ".w",
+   ".any4h",
+   ".all4h",
+};
+
+static const char *const m_pred_ctrl_align1[16] = {
+   "",
+   "",
+   ".anyv",
+   ".allv",
+   ".any2h",
+   ".all2h",
+   ".any4h",
+   ".all4h",
+   ".any8h",
+   ".all8h",
+   ".any16h",
+   ".all16h",
+   ".any32h",
+   ".all32h",
+};
+
+static const char *const m_thread_ctrl[4] = {
+   "",
+   "atomic",
+   "switch",
+};
+
+static const char *const m_dep_clear[4] = {
+   "",
+   "NoDDClr",
+};
+
+static const char *const m_dep_check[4] = {
+   "",
+   "NoDDChk",
+};
+
+static const char *const m_mask_ctrl[4] = {
+   "",
+   "nomask",
+};
+
+static const char *const m_access_mode[2] = { "align1", "align16" };
+
+static const char *const m_reg_encoding[] = {
+   [BRW_HW_REG_TYPE_UD]          = "UD",
+   [BRW_HW_REG_TYPE_D]           = "D",
+   [BRW_HW_REG_TYPE_UW]          = "UW",
+   [BRW_HW_REG_TYPE_W]           = "W",
+   [BRW_HW_REG_NON_IMM_TYPE_UB]  = "UB",
+   [BRW_HW_REG_NON_IMM_TYPE_B]   = "B",
+   [GEN7_HW_REG_NON_IMM_TYPE_DF] = "DF",
+   [BRW_HW_REG_TYPE_F]           = "F",
+   [GEN8_HW_REG_TYPE_UQ]         = "UQ",
+   [GEN8_HW_REG_TYPE_Q]          = "Q",
+   [GEN8_HW_REG_NON_IMM_TYPE_HF] = "HF",
+};
+
+static const char *const m_three_source_reg_encoding[] = {
+   [BRW_3SRC_TYPE_F]  = "F",
+   [BRW_3SRC_TYPE_D]  = "D",
+   [BRW_3SRC_TYPE_UD] = "UD",
+};
+
+static const int reg_type_size[] = {
+   [BRW_HW_REG_TYPE_UD]          = 4,
+   [BRW_HW_REG_TYPE_D]           = 4,
+   [BRW_HW_REG_TYPE_UW]          = 2,
+   [BRW_HW_REG_TYPE_W]           = 2,
+   [BRW_HW_REG_NON_IMM_TYPE_UB]  = 1,
+   [BRW_HW_REG_NON_IMM_TYPE_B]   = 1,
+   [GEN7_HW_REG_NON_IMM_TYPE_DF] = 8,
+   [BRW_HW_REG_TYPE_F]           = 4,
+};
+
+static const char *const m_reg_file[4] = {
+   [BRW_ARCHITECTURE_REGISTER_FILE] = "A",
+   [BRW_GENERAL_REGISTER_FILE] = "g",
+   [BRW_IMMEDIATE_VALUE] = "imm",
+};
+
+static const char *const m_writemask[16] = {
+   ".(none)",
+   ".x",
+   ".y",
+   ".xy",
+   ".z",
+   ".xz",
+   ".yz",
+   ".xyz",
+   ".w",
+   ".xw",
+   ".yw",
+   ".xyw",
+   ".zw",
+   ".xzw",
+   ".yzw",
+   "",
+};
+
+static const char *const m_eot[2] = { "", "EOT" };
+
+static const char *const m_sfid[16] = {
+   [BRW_SFID_NULL]                     = "null",
+   [BRW_SFID_SAMPLER]                  = "sampler",
+   [BRW_SFID_MESSAGE_GATEWAY]          = "gateway",
+   [GEN6_SFID_DATAPORT_SAMPLER_CACHE]  = "dp/sampler_cache",
+   [GEN6_SFID_DATAPORT_RENDER_CACHE]   = "dp/render_cache",
+   [BRW_SFID_URB]                      = "URB",
+   [BRW_SFID_THREAD_SPAWNER]           = "thread_spawner",
+   [BRW_SFID_VME]                      = "vme",
+   [GEN6_SFID_DATAPORT_CONSTANT_CACHE] = "dp/constant_cache",
+   [GEN7_SFID_DATAPORT_DATA_CACHE]     = "dp/data_cache",
+   [GEN7_SFID_PIXEL_INTERPOLATOR]      = "pi",
+   [HSW_SFID_DATAPORT_DATA_CACHE_1]    = "dp/data_cache:1",
+   [HSW_SFID_CRE]                      = "cre",
+};
+
+static const char *const m_math_function[16] = {
+   [BRW_MATH_FUNCTION_INV]                            = "inv",
+   [BRW_MATH_FUNCTION_LOG]                            = "log",
+   [BRW_MATH_FUNCTION_EXP]                            = "exp",
+   [BRW_MATH_FUNCTION_SQRT]                           = "sqrt",
+   [BRW_MATH_FUNCTION_RSQ]                            = "rsq",
+   [BRW_MATH_FUNCTION_SIN]                            = "sin",
+   [BRW_MATH_FUNCTION_COS]                            = "cos",
+   [BRW_MATH_FUNCTION_FDIV]                           = "fdiv",
+   [BRW_MATH_FUNCTION_POW]                            = "pow",
+   [BRW_MATH_FUNCTION_INT_DIV_QUOTIENT_AND_REMAINDER] = "intdivmod",
+   [BRW_MATH_FUNCTION_INT_DIV_QUOTIENT]               = "intdiv",
+   [BRW_MATH_FUNCTION_INT_DIV_REMAINDER]              = "intmod",
+   [GEN8_MATH_FUNCTION_INVM]                          = "invm",
+   [GEN8_MATH_FUNCTION_RSQRTM]                        = "rsqrtm",
+};
+
+static const char *const m_urb_opcode[16] = {
+   [0] = "write HWord",
+   [1] = "write OWord",
+   [2] = "read HWord",
+   [3] = "read OWord",
+   [4] = "atomic mov",
+   [5] = "atomic inc",
+   [6] = "atomic add",
+   [7] = "SIMD8 write",
+   [8] = "SIMD8 read",
+   /* [9-15] - reserved */
+};
+
+static const char *const m_urb_interleave[2] = { "", "interleaved" };
+
+static const char *const m_rt_opcode[] = {
+   [0] = "SIMD16",
+   [1] = "RepData",
+   [2] = "DualLow",
+   [3] = "DualHigh",
+   [4] = "SIMD8",
+   [5] = "ImageWrite",
+   [6] = "Reserved",
+   [7] = "RepData(7)",
+};
+
+static int column;
+
+static int
+string(FILE *file, const char *string)
+{
+   fputs(string, file);
+   column += strlen(string);
+   return 0;
+}
+
+static int
+format(FILE *f, const char *format, ...)
+{
+   char buf[1024];
+   va_list args;
+   va_start(args, format);
+
+   vsnprintf(buf, sizeof(buf) - 1, format, args);
+   va_end(args);
+   string(f, buf);
+   return 0;
+}
+
+static int
+newline(FILE *f)
+{
+   putc('\n', f);
+   column = 0;
+   return 0;
+}
+
+static int
+pad(FILE *f, int c)
+{
+   do
+      string(f, " ");
+   while (column < c);
+   return 0;
+}
+
+static int
+control(FILE *file, const char *name, const char *const ctrl[],
+        unsigned id, int *space)
+{
+   if (!ctrl[id]) {
+      fprintf(file, "*** invalid %s value %d ", name, id);
+      return 1;
+   }
+   if (ctrl[id][0]) {
+      if (space && *space)
+         string(file, " ");
+      string(file, ctrl[id]);
+      if (space)
+         *space = 1;
+   }
+   return 0;
+}
+
+static int
+print_opcode(FILE *file, int id)
+{
+   if (!m_opcode[id].name) {
+      format(file, "*** invalid opcode value %d ", id);
+      return 1;
+   }
+   string(file, m_opcode[id].name);
+   return 0;
+}
+
+static int
+reg(FILE *file, unsigned reg_file, unsigned _reg_nr)
+{
+   int err = 0;
+
+   if (reg_file == BRW_ARCHITECTURE_REGISTER_FILE) {
+      switch (_reg_nr & 0xf0) {
+      case BRW_ARF_NULL:
+         string(file, "null");
+         return -1;
+      case BRW_ARF_ADDRESS:
+         format(file, "a%d", _reg_nr & 0x0f);
+         break;
+      case BRW_ARF_ACCUMULATOR:
+         format(file, "acc%d", _reg_nr & 0x0f);
+         break;
+      case BRW_ARF_FLAG:
+         format(file, "f%d", _reg_nr & 0x0f);
+         break;
+      case BRW_ARF_MASK:
+         format(file, "mask%d", _reg_nr & 0x0f);
+         break;
+      case BRW_ARF_MASK_STACK:
+         format(file, "msd%d", _reg_nr & 0x0f);
+         break;
+      case BRW_ARF_STATE:
+         format(file, "sr%d", _reg_nr & 0x0f);
+         break;
+      case BRW_ARF_CONTROL:
+         format(file, "cr%d", _reg_nr & 0x0f);
+         break;
+      case BRW_ARF_NOTIFICATION_COUNT:
+         format(file, "n%d", _reg_nr & 0x0f);
+         break;
+      case BRW_ARF_IP:
+         string(file, "ip");
+         return -1;
+         break;
+      default:
+         format(file, "ARF%d", _reg_nr);
+         break;
+      }
+   } else {
+      err |= control(file, "src reg file", m_reg_file, reg_file, NULL);
+      format(file, "%d", _reg_nr);
+   }
+   return err;
+}
+
+static int
+dest(FILE *file, struct gen8_instruction *inst)
+{
+   int err = 0;
+
+   if (gen8_access_mode(inst) == BRW_ALIGN_1) {
+      assert(gen8_dst_address_mode(inst) == BRW_ADDRESS_DIRECT);
+      err |= reg(file, gen8_dst_reg_file(inst), gen8_dst_da_reg_nr(inst));
+      if (err == -1)
+         return 0;
+      if (gen8_dst_da1_subreg_nr(inst))
+         format(file, ".%d", gen8_dst_da1_subreg_nr(inst) /
+                reg_type_size[gen8_dst_reg_type(inst)]);
+      string(file, "<");
+      err |= control(file, "horiz stride", m_horiz_stride, gen8_dst_da1_hstride(inst), NULL);
+      string(file, ">");
+      err |= control(file, "dest reg encoding", m_reg_encoding, gen8_dst_reg_type(inst), NULL);
+   } else {
+      assert(gen8_dst_address_mode(inst) == BRW_ADDRESS_DIRECT);
+      err |= reg(file, gen8_dst_reg_file(inst), gen8_dst_da_reg_nr(inst));
+      if (err == -1)
+         return 0;
+      if (gen8_dst_da16_subreg_nr(inst))
+         format(file, ".%d", gen8_dst_da16_subreg_nr(inst) /
+                reg_type_size[gen8_dst_reg_type(inst)]);
+      string(file, "<1>");
+      err |= control(file, "writemask", m_writemask, gen8_da16_writemask(inst), NULL);
+      err |= control(file, "dest reg encoding", m_reg_encoding, gen8_dst_reg_type(inst), NULL);
+   }
+
+   return 0;
+}
+
+static int
+dest_3src(FILE *file, struct gen8_instruction *inst)
+{
+   int      err = 0;
+
+   err |= reg(file, BRW_GENERAL_REGISTER_FILE, gen8_dst_3src_reg_nr(inst));
+   if (err == -1)
+      return 0;
+   if (gen8_dst_3src_subreg_nr(inst))
+      format(file, ".%d", gen8_dst_3src_subreg_nr(inst));
+   string(file, "<1>");
+   err |= control(file, "writemask", m_writemask, gen8_dst_3src_writemask(inst),
+                  NULL);
+   err |= control(file, "dest reg encoding", m_three_source_reg_encoding,
+                  gen8_dst_3src_type(inst), NULL);
+
+   return 0;
+}
+
+static int
+src_align1_region(FILE *file, unsigned vert_stride, unsigned _width,
+                  unsigned horiz_stride)
+{
+   int err = 0;
+   string(file, "<");
+   err |= control(file, "vert stride", m_vert_stride, vert_stride, NULL);
+   string(file, ",");
+   err |= control(file, "width", width, _width, NULL);
+   string(file, ",");
+   err |= control(file, "horiz_stride", m_horiz_stride, horiz_stride, NULL);
+   string(file, ">");
+   return err;
+}
+
+static int
+src_swizzle(FILE *file, unsigned x, unsigned y, unsigned z, unsigned w)
+{
+   int err = 0;
+
+   /* Three kinds of swizzle display:
+    * - identity - nothing printed
+    * - 1->all   - print the single channel
+    * - 1->1     - print the mapping
+    */
+   if (x == BRW_CHANNEL_X &&
+       y == BRW_CHANNEL_Y &&
+       z == BRW_CHANNEL_Z &&
+       w == BRW_CHANNEL_W) {
+      ; /* Print nothing */
+   } else if (x == y && x == z && x == w) {
+      string(file, ".");
+      err |= control(file, "channel select", m_chan_sel, x, NULL);
+   } else {
+      string(file, ".");
+      err |= control(file, "channel select", m_chan_sel, x, NULL);
+      err |= control(file, "channel select", m_chan_sel, y, NULL);
+      err |= control(file, "channel select", m_chan_sel, z, NULL);
+      err |= control(file, "channel select", m_chan_sel, w, NULL);
+   }
+   return err;
+}
+
+static int
+src_da1(FILE *file, unsigned type, unsigned reg_file,
+        unsigned vert_stride, unsigned _width, unsigned horiz_stride,
+        unsigned reg_num, unsigned sub_reg_num, unsigned _abs, unsigned negate)
+{
+   int err = 0;
+   err |= control(file, "negate", m_negate, negate, NULL);
+   err |= control(file, "abs", m_abs, _abs, NULL);
+
+   err |= reg(file, reg_file, reg_num);
+   if (err == -1)
+      return 0;
+   if (sub_reg_num)
+      format(file, ".%d", sub_reg_num / reg_type_size[type]); /* use formal style like spec */
+   src_align1_region(file, vert_stride, _width, horiz_stride);
+   err |= control(file, "src reg encoding", m_reg_encoding, type, NULL);
+   return err;
+}
+
+static int
+src_da16(FILE *file,
+         unsigned _reg_type,
+         unsigned reg_file,
+         unsigned vert_stride,
+         unsigned _reg_nr,
+         unsigned _subreg_nr,
+         unsigned _abs,
+         unsigned negate,
+         unsigned swz_x,
+         unsigned swz_y,
+         unsigned swz_z,
+         unsigned swz_w)
+{
+   int err = 0;
+   err |= control(file, "negate", m_negate, negate, NULL);
+   err |= control(file, "abs", m_abs, _abs, NULL);
+
+   err |= reg(file, reg_file, _reg_nr);
+   if (err == -1)
+      return 0;
+   if (_subreg_nr)
+      /* bit4 for subreg number byte addressing. Make this same meaning as
+       * in da1 case, so output looks consistent.
+       */
+      format(file, ".%d", 16 / reg_type_size[_reg_type]);
+   string(file, "<");
+   err |= control(file, "vert stride", m_vert_stride, vert_stride, NULL);
+   string(file, ",4,1>");
+   /*
+    * Three kinds of swizzle display:
+    *  identity - nothing printed
+    *  1->all       - print the single channel
+    *  1->1    - print the mapping
+    */
+   if (swz_x == BRW_CHANNEL_X &&
+      swz_y == BRW_CHANNEL_Y &&
+      swz_z == BRW_CHANNEL_Z &&
+      swz_w == BRW_CHANNEL_W) {
+      ; /* Print nothing */
+   } else if (swz_x == swz_y && swz_x == swz_z && swz_x == swz_w) {
+      string(file, ".");
+      err |= control(file, "channel select", m_chan_sel, swz_x, NULL);
+   } else {
+      string(file, ".");
+      err |= control(file, "channel select", m_chan_sel, swz_x, NULL);
+      err |= control(file, "channel select", m_chan_sel, swz_y, NULL);
+      err |= control(file, "channel select", m_chan_sel, swz_z, NULL);
+      err |= control(file, "channel select", m_chan_sel, swz_w, NULL);
+   }
+   err |= control(file, "src da16 reg type", m_reg_encoding, _reg_type, NULL);
+   return err;
+}
+
+static int
+src0_3src(FILE *file, struct gen8_instruction *inst)
+{
+   int err = 0;
+   unsigned swiz = gen8_src0_3src_swizzle(inst);
+   unsigned swz_x = (swiz >> 0) & 0x3;
+   unsigned swz_y = (swiz >> 2) & 0x3;
+   unsigned swz_z = (swiz >> 4) & 0x3;
+   unsigned swz_w = (swiz >> 6) & 0x3;
+
+   err |= control(file, "negate", m_negate, gen8_src0_3src_negate(inst), NULL);
+   err |= control(file, "abs", m_abs, gen8_src0_3src_abs(inst), NULL);
+
+   err |= reg(file, BRW_GENERAL_REGISTER_FILE, gen8_src0_3src_reg_nr(inst));
+   if (err == -1)
+      return 0;
+   if (gen8_src0_3src_subreg_nr(inst))
+      format(file, ".%d", gen8_src0_3src_subreg_nr(inst));
+   string(file, "<4,1,1>");
+   err |= control(file, "src da16 reg type", m_three_source_reg_encoding,
+                  gen8_src_3src_type(inst), NULL);
+   err |= src_swizzle(file, swz_x, swz_y, swz_z, swz_w);
+   return err;
+}
+
+static int
+src1_3src(FILE *file, struct gen8_instruction *inst)
+{
+   int err = 0;
+   unsigned swiz = gen8_src1_3src_swizzle(inst);
+   unsigned swz_x = (swiz >> 0) & 0x3;
+   unsigned swz_y = (swiz >> 2) & 0x3;
+   unsigned swz_z = (swiz >> 4) & 0x3;
+   unsigned swz_w = (swiz >> 6) & 0x3;
+   unsigned src1_subreg_nr = gen8_src1_3src_subreg_nr(inst);
+
+   err |= control(file, "negate", m_negate, gen8_src1_3src_negate(inst), NULL);
+   err |= control(file, "abs", m_abs, gen8_src1_3src_abs(inst), NULL);
+
+   err |= reg(file, BRW_GENERAL_REGISTER_FILE, gen8_src1_3src_reg_nr(inst));
+   if (err == -1)
+      return 0;
+   if (src1_subreg_nr)
+      format(file, ".%d", src1_subreg_nr);
+   string(file, "<4,1,1>");
+   err |= control(file, "src da16 reg type", m_three_source_reg_encoding,
+                  gen8_src_3src_type(inst), NULL);
+   err |= src_swizzle(file, swz_x, swz_y, swz_z, swz_w);
+   return err;
+}
+
+static int
+src2_3src(FILE *file, struct gen8_instruction *inst)
+{
+   int err = 0;
+   unsigned swiz = gen8_src2_3src_swizzle(inst);
+   unsigned swz_x = (swiz >> 0) & 0x3;
+   unsigned swz_y = (swiz >> 2) & 0x3;
+   unsigned swz_z = (swiz >> 4) & 0x3;
+   unsigned swz_w = (swiz >> 6) & 0x3;
+
+   err |= control(file, "negate", m_negate, gen8_src2_3src_negate(inst), NULL);
+   err |= control(file, "abs", m_abs, gen8_src2_3src_abs(inst), NULL);
+
+   err |= reg(file, BRW_GENERAL_REGISTER_FILE, gen8_src2_3src_reg_nr(inst));
+   if (err == -1)
+      return 0;
+   if (gen8_src2_3src_subreg_nr(inst))
+      format(file, ".%d", gen8_src2_3src_subreg_nr(inst));
+   string(file, "<4,1,1>");
+   err |= control(file, "src da16 reg type", m_three_source_reg_encoding,
+                  gen8_src_3src_type(inst), NULL);
+   err |= src_swizzle(file, swz_x, swz_y, swz_z, swz_w);
+   return err;
+}
+
+static int
+imm(FILE *file, unsigned type, struct gen8_instruction *inst)
+{
+   switch (type) {
+   case BRW_HW_REG_TYPE_UD:
+      format(file, "0x%08xUD", gen8_src1_imm_ud(inst));
+      break;
+   case BRW_HW_REG_TYPE_D:
+      format(file, "%dD", gen8_src1_imm_d(inst));
+      break;
+   case BRW_HW_REG_TYPE_UW:
+      format(file, "0x%04xUW", (uint16_t) gen8_src1_imm_ud(inst));
+      break;
+   case BRW_HW_REG_TYPE_W:
+      format(file, "%dW", (int16_t) gen8_src1_imm_d(inst));
+      break;
+   case BRW_HW_REG_IMM_TYPE_UV:
+      format(file, "0x%08xUV", gen8_src1_imm_ud(inst));
+      break;
+   case BRW_HW_REG_IMM_TYPE_VF:
+      format(file, "Vector Float");
+      break;
+   case BRW_HW_REG_IMM_TYPE_V:
+      format(file, "0x%08xV", gen8_src1_imm_ud(inst));
+      break;
+   case BRW_HW_REG_TYPE_F:
+      format(file, "%-gF", gen8_src1_imm_f(inst));
+      break;
+   case GEN8_HW_REG_IMM_TYPE_DF:
+   case GEN8_HW_REG_IMM_TYPE_HF:
+      assert(!"Not implemented yet");
+      break;
+   }
+   return 0;
+}
+
+static int
+src0(FILE *file, struct gen8_instruction *inst)
+{
+   if (gen8_src0_reg_file(inst) == BRW_IMMEDIATE_VALUE)
+      return imm(file, gen8_src0_reg_type(inst), inst);
+
+   if (gen8_access_mode(inst) == BRW_ALIGN_1) {
+      assert(gen8_src0_address_mode(inst) == BRW_ADDRESS_DIRECT);
+      return src_da1(file,
+                     gen8_src0_reg_type(inst),
+                     gen8_src0_reg_file(inst),
+                     gen8_src0_vert_stride(inst),
+                     gen8_src0_da1_width(inst),
+                     gen8_src0_da1_hstride(inst),
+                     gen8_src0_da_reg_nr(inst),
+                     gen8_src0_da1_subreg_nr(inst),
+                     gen8_src0_abs(inst),
+                     gen8_src0_negate(inst));
+   } else {
+      assert(gen8_src0_address_mode(inst) == BRW_ADDRESS_DIRECT);
+      return src_da16(file,
+                      gen8_src0_reg_type(inst),
+                      gen8_src0_reg_file(inst),
+                      gen8_src0_vert_stride(inst),
+                      gen8_src0_da_reg_nr(inst),
+                      gen8_src0_da16_subreg_nr(inst),
+                      gen8_src0_abs(inst),
+                      gen8_src0_negate(inst),
+                      gen8_src0_da16_swiz_x(inst),
+                      gen8_src0_da16_swiz_y(inst),
+                      gen8_src0_da16_swiz_z(inst),
+                      gen8_src0_da16_swiz_w(inst));
+   }
+}
+
+static int
+src1(FILE *file, struct gen8_instruction *inst)
+{
+   if (gen8_src1_reg_file(inst) == BRW_IMMEDIATE_VALUE)
+      return imm(file, gen8_src1_reg_type(inst), inst);
+
+   if (gen8_access_mode(inst) == BRW_ALIGN_1) {
+      assert(gen8_src1_address_mode(inst) == BRW_ADDRESS_DIRECT);
+      return src_da1(file,
+                     gen8_src1_reg_type(inst),
+                     gen8_src1_reg_file(inst),
+                     gen8_src1_vert_stride(inst),
+                     gen8_src1_da1_width(inst),
+                     gen8_src1_da1_hstride(inst),
+                     gen8_src1_da_reg_nr(inst),
+                     gen8_src1_da1_subreg_nr(inst),
+                     gen8_src1_abs(inst),
+                     gen8_src1_negate(inst));
+   } else {
+      assert(gen8_src1_address_mode(inst) == BRW_ADDRESS_DIRECT);
+      return src_da16(file,
+                      gen8_src1_reg_type(inst),
+                      gen8_src1_reg_file(inst),
+                      gen8_src1_vert_stride(inst),
+                      gen8_src1_da_reg_nr(inst),
+                      gen8_src1_da16_subreg_nr(inst),
+                      gen8_src1_abs(inst),
+                      gen8_src1_negate(inst),
+                      gen8_src1_da16_swiz_x(inst),
+                      gen8_src1_da16_swiz_y(inst),
+                      gen8_src1_da16_swiz_z(inst),
+                      gen8_src1_da16_swiz_w(inst));
+   }
+}
+
+static int esize[6] = { 1, 2, 4, 8, 16, 32 };
+
+static int
+qtr_ctrl(FILE *file, struct gen8_instruction *inst)
+{
+   int qtr_ctl = gen8_qtr_control(inst);
+   int exec_size = esize[gen8_exec_size(inst)];
+
+   if (exec_size == 8) {
+      switch (qtr_ctl) {
+      case 0:
+         string(file, " 1Q");
+         break;
+      case 1:
+         string(file, " 2Q");
+         break;
+      case 2:
+         string(file, " 3Q");
+         break;
+      case 3:
+         string(file, " 4Q");
+         break;
+      }
+   } else if (exec_size == 16) {
+      if (qtr_ctl < 2)
+         string(file, " 1H");
+      else
+         string(file, " 2H");
+   }
+   return 0;
+}
+
+int
+gen8_disassemble(FILE *file, struct gen8_instruction *inst, int gen)
+{
+   int err = 0;
+   int space = 0;
+
+   const int opcode = gen8_opcode(inst);
+
+   if (gen8_pred_control(inst)) {
+      string(file, "(");
+      err |= control(file, "predicate inverse", m_pred_inv, gen8_pred_inv(inst), NULL);
+      format(file, "f%d", gen8_flag_reg_nr(inst));
+      if (gen8_flag_subreg_nr(inst))
+         format(file, ".%d", gen8_flag_subreg_nr(inst));
+      if (gen8_access_mode(inst) == BRW_ALIGN_1) {
+         err |= control(file, "predicate control align1", m_pred_ctrl_align1,
+                        gen8_pred_control(inst), NULL);
+      } else {
+         err |= control(file, "predicate control align16", m_pred_ctrl_align16,
+                        gen8_pred_control(inst), NULL);
+      }
+      string(file, ") ");
+   }
+
+   err |= print_opcode(file, opcode);
+   err |= control(file, "saturate", m_saturate, gen8_saturate(inst), NULL);
+   err |= control(file, "debug control", m_debug_ctrl, gen8_debug_control(inst), NULL);
+
+   if (opcode == BRW_OPCODE_MATH) {
+      string(file, " ");
+      err |= control(file, "function", m_math_function, gen8_math_function(inst),
+                     NULL);
+   } else if (opcode != BRW_OPCODE_SEND && opcode != BRW_OPCODE_SENDC) {
+      err |= control(file, "conditional modifier", m_conditional_modifier,
+                     gen8_cond_modifier(inst), NULL);
+
+      /* If we're using the conditional modifier, print the flag reg used. */
+      if (gen8_cond_modifier(inst) && opcode != BRW_OPCODE_SEL) {
+         format(file, ".f%d", gen8_flag_reg_nr(inst));
+         if (gen8_flag_subreg_nr(inst))
+            format(file, ".%d", gen8_flag_subreg_nr(inst));
+      }
+   }
+
+   if (opcode != BRW_OPCODE_NOP) {
+      string(file, "(");
+      err |= control(file, "execution size", m_exec_size, gen8_exec_size(inst), NULL);
+      string(file, ")");
+   }
+
+   if (m_opcode[opcode].nsrc == 3) {
+      pad(file, 16);
+      err |= dest_3src(file, inst);
+
+      pad(file, 32);
+      err |= src0_3src(file, inst);
+
+      pad(file, 48);
+      err |= src1_3src(file, inst);
+
+      pad(file, 64);
+      err |= src2_3src(file, inst);
+   } else {
+      if (m_opcode[opcode].ndst > 0) {
+         pad(file, 16);
+         err |= dest(file, inst);
+      } else if (opcode == BRW_OPCODE_ENDIF) {
+         format(file, " %d", gen8_jip(inst));
+      } else if (opcode == BRW_OPCODE_IF ||
+                 opcode == BRW_OPCODE_ELSE ||
+                 opcode == BRW_OPCODE_WHILE ||
+                 opcode == BRW_OPCODE_BREAK ||
+                 opcode == BRW_OPCODE_CONTINUE ||
+                 opcode == BRW_OPCODE_HALT) {
+         format(file, " %d %d", gen8_jip(inst), gen8_uip(inst));
+      }
+
+      if (m_opcode[opcode].nsrc > 0) {
+         pad(file, 32);
+         err |= src0(file, inst);
+      }
+      if (m_opcode[opcode].nsrc > 1) {
+         pad(file, 48);
+         err |= src1(file, inst);
+      }
+   }
+
+   if (opcode == BRW_OPCODE_SEND || opcode == BRW_OPCODE_SENDC) {
+      const int sfid = gen8_sfid(inst);
+
+      newline(file);
+      pad(file, 16);
+      space = 0;
+
+      err |= control(file, "SFID", m_sfid, sfid, &space);
+
+      switch (sfid) {
+      case BRW_SFID_SAMPLER:
+         format(file, " (%d, %d, %d, %d)",
+                gen8_binding_table_index(inst),
+                gen8_sampler(inst),
+                gen8_sampler_msg_type(inst),
+                gen8_sampler_simd_mode(inst));
+         break;
+
+      case BRW_SFID_URB:
+         space = 1;
+         err |= control(file, "urb opcode", m_urb_opcode,
+                        gen8_urb_opcode(inst), &space);
+         err |= control(file, "urb interleave", m_urb_interleave,
+                        gen8_urb_interleave(inst), &space);
+         format(file, " %d %d",
+                gen8_urb_global_offset(inst), gen8_urb_per_slot_offset(inst));
+         break;
+
+      case GEN6_SFID_DATAPORT_RENDER_CACHE: {
+         err |= control(file, "rt message", m_rt_opcode,
+                        gen8_rt_message_type(inst), &space);
+         format(file, " %s%sSurface = %d",
+                gen8_rt_slot_group(inst) ? "Hi " : "",
+                gen8_rt_last(inst) ? "LastRT " : "",
+                gen8_binding_table_index(inst));
+         break;
+      }
+
+      case GEN6_SFID_DATAPORT_SAMPLER_CACHE:
+      case GEN6_SFID_DATAPORT_CONSTANT_CACHE:
+      case GEN7_SFID_DATAPORT_DATA_CACHE:
+         format(file, " (%d, 0x%x)",
+                gen8_binding_table_index(inst),
+                gen8_function_control(inst));
+         break;
+
+      default:
+         format(file, "unsupported shared function ID (%d)", sfid);
+         break;
+      }
+      if (space)
+         string(file, " ");
+      format(file, "mlen %d", gen8_mlen(inst));
+      format(file, " rlen %d", gen8_rlen(inst));
+   }
+   pad(file, 64);
+   if (opcode != BRW_OPCODE_NOP) {
+      string(file, "{");
+      space = 1;
+      err |= control(file, "access mode", m_access_mode, gen8_access_mode(inst), &space);
+      err |= control(file, "mask control", m_maskctrl, gen8_mask_control(inst), &space);
+      err |= control(file, "DDClr", m_dep_clear, gen8_no_dd_clear(inst), &space);
+      err |= control(file, "DDChk", m_dep_check, gen8_no_dd_check(inst), &space);
+
+      err |= qtr_ctrl(file, inst);
+
+      err |= control(file, "thread control", m_thread_ctrl, gen8_thread_control(inst), &space);
+      err |= control(file, "acc write control", m_accwr, gen8_acc_wr_control(inst), &space);
+      if (opcode == BRW_OPCODE_SEND || opcode == BRW_OPCODE_SENDC)
+         err |= control(file, "end of thread", m_eot, gen8_eot(inst), &space);
+      if (space)
+         string(file, " ");
+      string(file, "}");
+   }
+   string(file, ";");
+   newline(file);
+   return err;
+}