i915_cmd_parser.c 44.1 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
/*
 * Copyright © 2013 Intel Corporation
 *
 * 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.
 *
 * Authors:
 *    Brad Volkin <bradley.d.volkin@intel.com>
 *
 */

28 29
#include "gt/intel_engine.h"

30
#include "i915_drv.h"
31
#include "i915_memcpy.h"
32 33

/**
34
 * DOC: batch buffer command parser
35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55
 *
 * Motivation:
 * Certain OpenGL features (e.g. transform feedback, performance monitoring)
 * require userspace code to submit batches containing commands such as
 * MI_LOAD_REGISTER_IMM to access various registers. Unfortunately, some
 * generations of the hardware will noop these commands in "unsecure" batches
 * (which includes all userspace batches submitted via i915) even though the
 * commands may be safe and represent the intended programming model of the
 * device.
 *
 * The software command parser is similar in operation to the command parsing
 * done in hardware for unsecure batches. However, the software parser allows
 * some operations that would be noop'd by hardware, if the parser determines
 * the operation is safe, and submits the batch as "secure" to prevent hardware
 * parsing.
 *
 * Threats:
 * At a high level, the hardware (and software) checks attempt to prevent
 * granting userspace undue privileges. There are three categories of privilege.
 *
 * First, commands which are explicitly defined as privileged or which should
56
 * only be used by the kernel driver. The parser rejects such commands
57 58 59
 *
 * Second, commands which access registers. To support correct/enhanced
 * userspace functionality, particularly certain OpenGL extensions, the parser
60
 * provides a whitelist of registers which userspace may safely access
61 62 63 64 65
 *
 * Third, commands which access privileged memory (i.e. GGTT, HWS page, etc).
 * The parser always rejects such commands.
 *
 * The majority of the problematic commands fall in the MI_* range, with only a
66
 * few specific commands on each engine (e.g. PIPE_CONTROL and MI_FLUSH_DW).
67 68
 *
 * Implementation:
69 70
 * Each engine maintains tables of commands and registers which the parser
 * uses in scanning batch buffers submitted to that engine.
71 72 73 74 75 76
 *
 * Since the set of commands that the parser must check for is significantly
 * smaller than the number of commands supported, the parser tables contain only
 * those commands required by the parser. This generally works because command
 * opcode ranges have standard command length encodings. So for commands that
 * the parser does not need to check, it can easily skip them. This is
77
 * implemented via a per-engine length decoding vfunc.
78 79 80 81
 *
 * Unfortunately, there are a number of commands that do not follow the standard
 * length encoding for their opcode range, primarily amongst the MI_* commands.
 * To handle this, the parser provides a way to define explicit "skip" entries
82
 * in the per-engine command tables.
83 84
 *
 * Other command table entries map fairly directly to high level categories
85 86 87
 * mentioned above: rejected, register whitelist. The parser implements a number
 * of checks, including the privileged memory checks, via a general bitmasking
 * mechanism.
88 89
 */

90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182
/*
 * A command that requires special handling by the command parser.
 */
struct drm_i915_cmd_descriptor {
	/*
	 * Flags describing how the command parser processes the command.
	 *
	 * CMD_DESC_FIXED: The command has a fixed length if this is set,
	 *                 a length mask if not set
	 * CMD_DESC_SKIP: The command is allowed but does not follow the
	 *                standard length encoding for the opcode range in
	 *                which it falls
	 * CMD_DESC_REJECT: The command is never allowed
	 * CMD_DESC_REGISTER: The command should be checked against the
	 *                    register whitelist for the appropriate ring
	 */
	u32 flags;
#define CMD_DESC_FIXED    (1<<0)
#define CMD_DESC_SKIP     (1<<1)
#define CMD_DESC_REJECT   (1<<2)
#define CMD_DESC_REGISTER (1<<3)
#define CMD_DESC_BITMASK  (1<<4)

	/*
	 * The command's unique identification bits and the bitmask to get them.
	 * This isn't strictly the opcode field as defined in the spec and may
	 * also include type, subtype, and/or subop fields.
	 */
	struct {
		u32 value;
		u32 mask;
	} cmd;

	/*
	 * The command's length. The command is either fixed length (i.e. does
	 * not include a length field) or has a length field mask. The flag
	 * CMD_DESC_FIXED indicates a fixed length. Otherwise, the command has
	 * a length mask. All command entries in a command table must include
	 * length information.
	 */
	union {
		u32 fixed;
		u32 mask;
	} length;

	/*
	 * Describes where to find a register address in the command to check
	 * against the ring's register whitelist. Only valid if flags has the
	 * CMD_DESC_REGISTER bit set.
	 *
	 * A non-zero step value implies that the command may access multiple
	 * registers in sequence (e.g. LRI), in that case step gives the
	 * distance in dwords between individual offset fields.
	 */
	struct {
		u32 offset;
		u32 mask;
		u32 step;
	} reg;

#define MAX_CMD_DESC_BITMASKS 3
	/*
	 * Describes command checks where a particular dword is masked and
	 * compared against an expected value. If the command does not match
	 * the expected value, the parser rejects it. Only valid if flags has
	 * the CMD_DESC_BITMASK bit set. Only entries where mask is non-zero
	 * are valid.
	 *
	 * If the check specifies a non-zero condition_mask then the parser
	 * only performs the check when the bits specified by condition_mask
	 * are non-zero.
	 */
	struct {
		u32 offset;
		u32 mask;
		u32 expected;
		u32 condition_offset;
		u32 condition_mask;
	} bits[MAX_CMD_DESC_BITMASKS];
};

/*
 * A table of commands requiring special handling by the command parser.
 *
 * Each engine has an array of tables. Each table consists of an array of
 * command descriptors, which must be sorted with command opcodes in
 * ascending order.
 */
struct drm_i915_cmd_table {
	const struct drm_i915_cmd_descriptor *table;
	int count;
};

183 184 185 186
#define STD_MI_OPCODE_SHIFT  (32 - 9)
#define STD_3D_OPCODE_SHIFT  (32 - 16)
#define STD_2D_OPCODE_SHIFT  (32 - 10)
#define STD_MFX_OPCODE_SHIFT (32 - 16)
187
#define MIN_OPCODE_SHIFT 16
188 189 190 191

#define CMD(op, opm, f, lm, fl, ...)				\
	{							\
		.flags = (fl) | ((f) ? CMD_DESC_FIXED : 0),	\
192
		.cmd = { (op), ~0u << (opm) },			\
193 194 195 196 197
		.length = { (lm) },				\
		__VA_ARGS__					\
	}

/* Convenience macros to compress the tables */
198 199 200 201
#define SMI STD_MI_OPCODE_SHIFT
#define S3D STD_3D_OPCODE_SHIFT
#define S2D STD_2D_OPCODE_SHIFT
#define SMFX STD_MFX_OPCODE_SHIFT
202 203 204 205 206 207 208 209
#define F true
#define S CMD_DESC_SKIP
#define R CMD_DESC_REJECT
#define W CMD_DESC_REGISTER
#define B CMD_DESC_BITMASK

/*            Command                          Mask   Fixed Len   Action
	      ---------------------------------------------------------- */
210
static const struct drm_i915_cmd_descriptor gen7_common_cmds[] = {
211
	CMD(  MI_NOOP,                          SMI,    F,  1,      S  ),
212
	CMD(  MI_USER_INTERRUPT,                SMI,    F,  1,      R  ),
213
	CMD(  MI_WAIT_FOR_EVENT,                SMI,    F,  1,      R  ),
214 215 216
	CMD(  MI_ARB_CHECK,                     SMI,    F,  1,      S  ),
	CMD(  MI_REPORT_HEAD,                   SMI,    F,  1,      S  ),
	CMD(  MI_SUSPEND_FLUSH,                 SMI,    F,  1,      S  ),
217 218
	CMD(  MI_SEMAPHORE_MBOX,                SMI,   !F,  0xFF,   R  ),
	CMD(  MI_STORE_DWORD_INDEX,             SMI,   !F,  0xFF,   R  ),
219
	CMD(  MI_LOAD_REGISTER_IMM(1),          SMI,   !F,  0xFF,   W,
220
	      .reg = { .offset = 1, .mask = 0x007FFFFC, .step = 2 }    ),
221
	CMD(  MI_STORE_REGISTER_MEM,            SMI,    F,  3,     W | B,
222 223 224 225 226 227
	      .reg = { .offset = 1, .mask = 0x007FFFFC },
	      .bits = {{
			.offset = 0,
			.mask = MI_GLOBAL_GTT,
			.expected = 0,
	      }},						       ),
228
	CMD(  MI_LOAD_REGISTER_MEM,             SMI,    F,  3,     W | B,
229 230 231 232 233 234
	      .reg = { .offset = 1, .mask = 0x007FFFFC },
	      .bits = {{
			.offset = 0,
			.mask = MI_GLOBAL_GTT,
			.expected = 0,
	      }},						       ),
235 236 237 238 239
	/*
	 * MI_BATCH_BUFFER_START requires some special handling. It's not
	 * really a 'skip' action but it doesn't seem like it's worth adding
	 * a new action. See i915_parse_cmds().
	 */
240 241 242
	CMD(  MI_BATCH_BUFFER_START,            SMI,   !F,  0xFF,   S  ),
};

243
static const struct drm_i915_cmd_descriptor gen7_render_cmds[] = {
244
	CMD(  MI_FLUSH,                         SMI,    F,  1,      S  ),
245
	CMD(  MI_ARB_ON_OFF,                    SMI,    F,  1,      R  ),
246 247
	CMD(  MI_PREDICATE,                     SMI,    F,  1,      S  ),
	CMD(  MI_TOPOLOGY_FILTER,               SMI,    F,  1,      S  ),
248
	CMD(  MI_SET_APPID,                     SMI,    F,  1,      S  ),
249
	CMD(  MI_DISPLAY_FLIP,                  SMI,   !F,  0xFF,   R  ),
250
	CMD(  MI_SET_CONTEXT,                   SMI,   !F,  0xFF,   R  ),
251
	CMD(  MI_URB_CLEAR,                     SMI,   !F,  0xFF,   S  ),
252 253 254 255 256 257
	CMD(  MI_STORE_DWORD_IMM,               SMI,   !F,  0x3F,   B,
	      .bits = {{
			.offset = 0,
			.mask = MI_GLOBAL_GTT,
			.expected = 0,
	      }},						       ),
258
	CMD(  MI_UPDATE_GTT,                    SMI,   !F,  0xFF,   R  ),
259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276
	CMD(  MI_CLFLUSH,                       SMI,   !F,  0x3FF,  B,
	      .bits = {{
			.offset = 0,
			.mask = MI_GLOBAL_GTT,
			.expected = 0,
	      }},						       ),
	CMD(  MI_REPORT_PERF_COUNT,             SMI,   !F,  0x3F,   B,
	      .bits = {{
			.offset = 1,
			.mask = MI_REPORT_PERF_COUNT_GGTT,
			.expected = 0,
	      }},						       ),
	CMD(  MI_CONDITIONAL_BATCH_BUFFER_END,  SMI,   !F,  0xFF,   B,
	      .bits = {{
			.offset = 0,
			.mask = MI_GLOBAL_GTT,
			.expected = 0,
	      }},						       ),
277 278
	CMD(  GFX_OP_3DSTATE_VF_STATISTICS,     S3D,    F,  1,      S  ),
	CMD(  PIPELINE_SELECT,                  S3D,    F,  1,      S  ),
279 280 281 282 283 284
	CMD(  MEDIA_VFE_STATE,			S3D,   !F,  0xFFFF, B,
	      .bits = {{
			.offset = 2,
			.mask = MEDIA_VFE_STATE_MMIO_ACCESS_MASK,
			.expected = 0,
	      }},						       ),
285 286 287
	CMD(  GPGPU_OBJECT,                     S3D,   !F,  0xFF,   S  ),
	CMD(  GPGPU_WALKER,                     S3D,   !F,  0xFF,   S  ),
	CMD(  GFX_OP_3DSTATE_SO_DECL_LIST,      S3D,   !F,  0x1FF,  S  ),
288 289 290
	CMD(  GFX_OP_PIPE_CONTROL(5),           S3D,   !F,  0xFF,   B,
	      .bits = {{
			.offset = 1,
291
			.mask = (PIPE_CONTROL_MMIO_WRITE | PIPE_CONTROL_NOTIFY),
292
			.expected = 0,
293 294 295
	      },
	      {
			.offset = 1,
296 297
		        .mask = (PIPE_CONTROL_GLOBAL_GTT_IVB |
				 PIPE_CONTROL_STORE_DATA_INDEX),
298 299 300
			.expected = 0,
			.condition_offset = 1,
			.condition_mask = PIPE_CONTROL_POST_SYNC_OP_MASK,
301
	      }},						       ),
302 303 304 305 306 307
};

static const struct drm_i915_cmd_descriptor hsw_render_cmds[] = {
	CMD(  MI_SET_PREDICATE,                 SMI,    F,  1,      S  ),
	CMD(  MI_RS_CONTROL,                    SMI,    F,  1,      S  ),
	CMD(  MI_URB_ATOMIC_ALLOC,              SMI,    F,  1,      S  ),
308
	CMD(  MI_SET_APPID,                     SMI,    F,  1,      S  ),
309
	CMD(  MI_RS_CONTEXT,                    SMI,    F,  1,      S  ),
310
	CMD(  MI_LOAD_SCAN_LINES_INCL,          SMI,   !F,  0x3F,   R  ),
311
	CMD(  MI_LOAD_SCAN_LINES_EXCL,          SMI,   !F,  0x3F,   R  ),
312 313
	CMD(  MI_LOAD_REGISTER_REG,             SMI,   !F,  0xFF,   W,
	      .reg = { .offset = 1, .mask = 0x007FFFFC, .step = 1 }    ),
314 315 316 317 318 319 320 321 322 323 324 325 326
	CMD(  MI_RS_STORE_DATA_IMM,             SMI,   !F,  0xFF,   S  ),
	CMD(  MI_LOAD_URB_MEM,                  SMI,   !F,  0xFF,   S  ),
	CMD(  MI_STORE_URB_MEM,                 SMI,   !F,  0xFF,   S  ),
	CMD(  GFX_OP_3DSTATE_DX9_CONSTANTF_VS,  S3D,   !F,  0x7FF,  S  ),
	CMD(  GFX_OP_3DSTATE_DX9_CONSTANTF_PS,  S3D,   !F,  0x7FF,  S  ),

	CMD(  GFX_OP_3DSTATE_BINDING_TABLE_EDIT_VS,  S3D,   !F,  0x1FF,  S  ),
	CMD(  GFX_OP_3DSTATE_BINDING_TABLE_EDIT_GS,  S3D,   !F,  0x1FF,  S  ),
	CMD(  GFX_OP_3DSTATE_BINDING_TABLE_EDIT_HS,  S3D,   !F,  0x1FF,  S  ),
	CMD(  GFX_OP_3DSTATE_BINDING_TABLE_EDIT_DS,  S3D,   !F,  0x1FF,  S  ),
	CMD(  GFX_OP_3DSTATE_BINDING_TABLE_EDIT_PS,  S3D,   !F,  0x1FF,  S  ),
};

327
static const struct drm_i915_cmd_descriptor gen7_video_cmds[] = {
328
	CMD(  MI_ARB_ON_OFF,                    SMI,    F,  1,      R  ),
329
	CMD(  MI_SET_APPID,                     SMI,    F,  1,      S  ),
330 331 332 333 334 335
	CMD(  MI_STORE_DWORD_IMM,               SMI,   !F,  0xFF,   B,
	      .bits = {{
			.offset = 0,
			.mask = MI_GLOBAL_GTT,
			.expected = 0,
	      }},						       ),
336
	CMD(  MI_UPDATE_GTT,                    SMI,   !F,  0x3F,   R  ),
337 338 339 340 341
	CMD(  MI_FLUSH_DW,                      SMI,   !F,  0x3F,   B,
	      .bits = {{
			.offset = 0,
			.mask = MI_FLUSH_DW_NOTIFY,
			.expected = 0,
342 343 344 345 346 347 348
	      },
	      {
			.offset = 1,
			.mask = MI_FLUSH_DW_USE_GTT,
			.expected = 0,
			.condition_offset = 0,
			.condition_mask = MI_FLUSH_DW_OP_MASK,
349 350 351 352 353 354 355
	      },
	      {
			.offset = 0,
			.mask = MI_FLUSH_DW_STORE_INDEX,
			.expected = 0,
			.condition_offset = 0,
			.condition_mask = MI_FLUSH_DW_OP_MASK,
356 357 358 359 360 361
	      }},						       ),
	CMD(  MI_CONDITIONAL_BATCH_BUFFER_END,  SMI,   !F,  0xFF,   B,
	      .bits = {{
			.offset = 0,
			.mask = MI_GLOBAL_GTT,
			.expected = 0,
362
	      }},						       ),
363 364 365 366 367 368 369 370
	/*
	 * MFX_WAIT doesn't fit the way we handle length for most commands.
	 * It has a length field but it uses a non-standard length bias.
	 * It is always 1 dword though, so just treat it as fixed length.
	 */
	CMD(  MFX_WAIT,                         SMFX,   F,  1,      S  ),
};

371
static const struct drm_i915_cmd_descriptor gen7_vecs_cmds[] = {
372
	CMD(  MI_ARB_ON_OFF,                    SMI,    F,  1,      R  ),
373
	CMD(  MI_SET_APPID,                     SMI,    F,  1,      S  ),
374 375 376 377 378 379
	CMD(  MI_STORE_DWORD_IMM,               SMI,   !F,  0xFF,   B,
	      .bits = {{
			.offset = 0,
			.mask = MI_GLOBAL_GTT,
			.expected = 0,
	      }},						       ),
380
	CMD(  MI_UPDATE_GTT,                    SMI,   !F,  0x3F,   R  ),
381 382 383 384 385
	CMD(  MI_FLUSH_DW,                      SMI,   !F,  0x3F,   B,
	      .bits = {{
			.offset = 0,
			.mask = MI_FLUSH_DW_NOTIFY,
			.expected = 0,
386 387 388 389 390 391 392
	      },
	      {
			.offset = 1,
			.mask = MI_FLUSH_DW_USE_GTT,
			.expected = 0,
			.condition_offset = 0,
			.condition_mask = MI_FLUSH_DW_OP_MASK,
393 394 395 396 397 398 399
	      },
	      {
			.offset = 0,
			.mask = MI_FLUSH_DW_STORE_INDEX,
			.expected = 0,
			.condition_offset = 0,
			.condition_mask = MI_FLUSH_DW_OP_MASK,
400 401 402 403 404 405
	      }},						       ),
	CMD(  MI_CONDITIONAL_BATCH_BUFFER_END,  SMI,   !F,  0xFF,   B,
	      .bits = {{
			.offset = 0,
			.mask = MI_GLOBAL_GTT,
			.expected = 0,
406
	      }},						       ),
407 408
};

409
static const struct drm_i915_cmd_descriptor gen7_blt_cmds[] = {
410
	CMD(  MI_DISPLAY_FLIP,                  SMI,   !F,  0xFF,   R  ),
411 412 413 414 415 416
	CMD(  MI_STORE_DWORD_IMM,               SMI,   !F,  0x3FF,  B,
	      .bits = {{
			.offset = 0,
			.mask = MI_GLOBAL_GTT,
			.expected = 0,
	      }},						       ),
417
	CMD(  MI_UPDATE_GTT,                    SMI,   !F,  0x3F,   R  ),
418 419 420 421 422
	CMD(  MI_FLUSH_DW,                      SMI,   !F,  0x3F,   B,
	      .bits = {{
			.offset = 0,
			.mask = MI_FLUSH_DW_NOTIFY,
			.expected = 0,
423 424 425 426 427 428 429
	      },
	      {
			.offset = 1,
			.mask = MI_FLUSH_DW_USE_GTT,
			.expected = 0,
			.condition_offset = 0,
			.condition_mask = MI_FLUSH_DW_OP_MASK,
430 431 432 433 434 435 436
	      },
	      {
			.offset = 0,
			.mask = MI_FLUSH_DW_STORE_INDEX,
			.expected = 0,
			.condition_offset = 0,
			.condition_mask = MI_FLUSH_DW_OP_MASK,
437
	      }},						       ),
438 439 440 441
	CMD(  COLOR_BLT,                        S2D,   !F,  0x3F,   S  ),
	CMD(  SRC_COPY_BLT,                     S2D,   !F,  0x3F,   S  ),
};

442
static const struct drm_i915_cmd_descriptor hsw_blt_cmds[] = {
443
	CMD(  MI_LOAD_SCAN_LINES_INCL,          SMI,   !F,  0x3F,   R  ),
444 445 446
	CMD(  MI_LOAD_SCAN_LINES_EXCL,          SMI,   !F,  0x3F,   R  ),
};

J
Jon Bloomfield 已提交
447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487
/*
 * For Gen9 we can still rely on the h/w to enforce cmd security, and only
 * need to re-enforce the register access checks. We therefore only need to
 * teach the cmdparser how to find the end of each command, and identify
 * register accesses. The table doesn't need to reject any commands, and so
 * the only commands listed here are:
 *   1) Those that touch registers
 *   2) Those that do not have the default 8-bit length
 *
 * Note that the default MI length mask chosen for this table is 0xFF, not
 * the 0x3F used on older devices. This is because the vast majority of MI
 * cmds on Gen9 use a standard 8-bit Length field.
 * All the Gen9 blitter instructions are standard 0xFF length mask, and
 * none allow access to non-general registers, so in fact no BLT cmds are
 * included in the table at all.
 *
 */
static const struct drm_i915_cmd_descriptor gen9_blt_cmds[] = {
	CMD(  MI_NOOP,                          SMI,    F,  1,      S  ),
	CMD(  MI_USER_INTERRUPT,                SMI,    F,  1,      S  ),
	CMD(  MI_WAIT_FOR_EVENT,                SMI,    F,  1,      S  ),
	CMD(  MI_FLUSH,                         SMI,    F,  1,      S  ),
	CMD(  MI_ARB_CHECK,                     SMI,    F,  1,      S  ),
	CMD(  MI_REPORT_HEAD,                   SMI,    F,  1,      S  ),
	CMD(  MI_ARB_ON_OFF,                    SMI,    F,  1,      S  ),
	CMD(  MI_SUSPEND_FLUSH,                 SMI,    F,  1,      S  ),
	CMD(  MI_LOAD_SCAN_LINES_INCL,          SMI,   !F,  0x3F,   S  ),
	CMD(  MI_LOAD_SCAN_LINES_EXCL,          SMI,   !F,  0x3F,   S  ),
	CMD(  MI_STORE_DWORD_IMM,               SMI,   !F,  0x3FF,  S  ),
	CMD(  MI_LOAD_REGISTER_IMM(1),          SMI,   !F,  0xFF,   W,
	      .reg = { .offset = 1, .mask = 0x007FFFFC, .step = 2 }    ),
	CMD(  MI_UPDATE_GTT,                    SMI,   !F,  0x3FF,  S  ),
	CMD(  MI_STORE_REGISTER_MEM_GEN8,       SMI,    F,  4,      W,
	      .reg = { .offset = 1, .mask = 0x007FFFFC }               ),
	CMD(  MI_FLUSH_DW,                      SMI,   !F,  0x3F,   S  ),
	CMD(  MI_LOAD_REGISTER_MEM_GEN8,        SMI,    F,  4,      W,
	      .reg = { .offset = 1, .mask = 0x007FFFFC }               ),
	CMD(  MI_LOAD_REGISTER_REG,             SMI,    !F,  0xFF,  W,
	      .reg = { .offset = 1, .mask = 0x007FFFFC, .step = 1 }    ),
};

488 489 490
static const struct drm_i915_cmd_descriptor noop_desc =
	CMD(MI_NOOP, SMI, F, 1, S);

491 492 493 494 495 496 497 498 499 500 501
#undef CMD
#undef SMI
#undef S3D
#undef S2D
#undef SMFX
#undef F
#undef S
#undef R
#undef W
#undef B

502 503 504
static const struct drm_i915_cmd_table gen7_render_cmd_table[] = {
	{ gen7_common_cmds, ARRAY_SIZE(gen7_common_cmds) },
	{ gen7_render_cmds, ARRAY_SIZE(gen7_render_cmds) },
505 506
};

507 508 509
static const struct drm_i915_cmd_table hsw_render_ring_cmd_table[] = {
	{ gen7_common_cmds, ARRAY_SIZE(gen7_common_cmds) },
	{ gen7_render_cmds, ARRAY_SIZE(gen7_render_cmds) },
510 511 512
	{ hsw_render_cmds, ARRAY_SIZE(hsw_render_cmds) },
};

513 514 515
static const struct drm_i915_cmd_table gen7_video_cmd_table[] = {
	{ gen7_common_cmds, ARRAY_SIZE(gen7_common_cmds) },
	{ gen7_video_cmds, ARRAY_SIZE(gen7_video_cmds) },
516 517
};

518 519 520
static const struct drm_i915_cmd_table hsw_vebox_cmd_table[] = {
	{ gen7_common_cmds, ARRAY_SIZE(gen7_common_cmds) },
	{ gen7_vecs_cmds, ARRAY_SIZE(gen7_vecs_cmds) },
521 522
};

523 524 525
static const struct drm_i915_cmd_table gen7_blt_cmd_table[] = {
	{ gen7_common_cmds, ARRAY_SIZE(gen7_common_cmds) },
	{ gen7_blt_cmds, ARRAY_SIZE(gen7_blt_cmds) },
526 527
};

528 529 530
static const struct drm_i915_cmd_table hsw_blt_ring_cmd_table[] = {
	{ gen7_common_cmds, ARRAY_SIZE(gen7_common_cmds) },
	{ gen7_blt_cmds, ARRAY_SIZE(gen7_blt_cmds) },
531 532 533
	{ hsw_blt_cmds, ARRAY_SIZE(hsw_blt_cmds) },
};

J
Jon Bloomfield 已提交
534 535 536 537 538
static const struct drm_i915_cmd_table gen9_blt_cmd_table[] = {
	{ gen9_blt_cmds, ARRAY_SIZE(gen9_blt_cmds) },
};


539 540
/*
 * Register whitelists, sorted by increasing register offset.
541 542 543 544 545 546 547 548 549 550 551 552
 */

/*
 * An individual whitelist entry granting access to register addr.  If
 * mask is non-zero the argument of immediate register writes will be
 * AND-ed with mask, and the command will be rejected if the result
 * doesn't match value.
 *
 * Registers with non-zero mask are only allowed to be written using
 * LRI.
 */
struct drm_i915_reg_descriptor {
553
	i915_reg_t addr;
554 555 556 557 558
	u32 mask;
	u32 value;
};

/* Convenience macro for adding 32-bit registers. */
559 560
#define REG32(_reg, ...) \
	{ .addr = (_reg), __VA_ARGS__ }
561 562 563

/*
 * Convenience macro for adding 64-bit registers.
564 565 566 567 568
 *
 * Some registers that userspace accesses are 64 bits. The register
 * access commands only allow 32-bit accesses. Hence, we have to include
 * entries for both halves of the 64-bit registers.
 */
569 570 571 572 573 574 575
#define REG64(_reg) \
	{ .addr = _reg }, \
	{ .addr = _reg ## _UDW }

#define REG64_IDX(_reg, idx) \
	{ .addr = _reg(idx) }, \
	{ .addr = _reg ## _UDW(idx) }
576

577
static const struct drm_i915_reg_descriptor gen7_render_regs[] = {
578
	REG64(GPGPU_THREADS_DISPATCHED),
579 580 581 582 583 584 585 586 587 588 589
	REG64(HS_INVOCATION_COUNT),
	REG64(DS_INVOCATION_COUNT),
	REG64(IA_VERTICES_COUNT),
	REG64(IA_PRIMITIVES_COUNT),
	REG64(VS_INVOCATION_COUNT),
	REG64(GS_INVOCATION_COUNT),
	REG64(GS_PRIMITIVES_COUNT),
	REG64(CL_INVOCATION_COUNT),
	REG64(CL_PRIMITIVES_COUNT),
	REG64(PS_INVOCATION_COUNT),
	REG64(PS_DEPTH_COUNT),
590
	REG64_IDX(RING_TIMESTAMP, RENDER_RING_BASE),
591 592
	REG64(MI_PREDICATE_SRC0),
	REG64(MI_PREDICATE_SRC1),
593 594 595 596 597 598
	REG32(GEN7_3DPRIM_END_OFFSET),
	REG32(GEN7_3DPRIM_START_VERTEX),
	REG32(GEN7_3DPRIM_VERTEX_COUNT),
	REG32(GEN7_3DPRIM_INSTANCE_COUNT),
	REG32(GEN7_3DPRIM_START_INSTANCE),
	REG32(GEN7_3DPRIM_BASE_VERTEX),
599 600 601
	REG32(GEN7_GPGPU_DISPATCHDIMX),
	REG32(GEN7_GPGPU_DISPATCHDIMY),
	REG32(GEN7_GPGPU_DISPATCHDIMZ),
602
	REG64_IDX(RING_TIMESTAMP, BSD_RING_BASE),
603 604 605 606 607 608 609 610
	REG64_IDX(GEN7_SO_NUM_PRIMS_WRITTEN, 0),
	REG64_IDX(GEN7_SO_NUM_PRIMS_WRITTEN, 1),
	REG64_IDX(GEN7_SO_NUM_PRIMS_WRITTEN, 2),
	REG64_IDX(GEN7_SO_NUM_PRIMS_WRITTEN, 3),
	REG64_IDX(GEN7_SO_PRIM_STORAGE_NEEDED, 0),
	REG64_IDX(GEN7_SO_PRIM_STORAGE_NEEDED, 1),
	REG64_IDX(GEN7_SO_PRIM_STORAGE_NEEDED, 2),
	REG64_IDX(GEN7_SO_PRIM_STORAGE_NEEDED, 3),
611 612 613 614 615 616 617
	REG32(GEN7_SO_WRITE_OFFSET(0)),
	REG32(GEN7_SO_WRITE_OFFSET(1)),
	REG32(GEN7_SO_WRITE_OFFSET(2)),
	REG32(GEN7_SO_WRITE_OFFSET(3)),
	REG32(GEN7_L3SQCREG1),
	REG32(GEN7_L3CNTLREG2),
	REG32(GEN7_L3CNTLREG3),
618
	REG64_IDX(RING_TIMESTAMP, BLT_RING_BASE),
619 620 621
};

static const struct drm_i915_reg_descriptor hsw_render_regs[] = {
622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637
	REG64_IDX(HSW_CS_GPR, 0),
	REG64_IDX(HSW_CS_GPR, 1),
	REG64_IDX(HSW_CS_GPR, 2),
	REG64_IDX(HSW_CS_GPR, 3),
	REG64_IDX(HSW_CS_GPR, 4),
	REG64_IDX(HSW_CS_GPR, 5),
	REG64_IDX(HSW_CS_GPR, 6),
	REG64_IDX(HSW_CS_GPR, 7),
	REG64_IDX(HSW_CS_GPR, 8),
	REG64_IDX(HSW_CS_GPR, 9),
	REG64_IDX(HSW_CS_GPR, 10),
	REG64_IDX(HSW_CS_GPR, 11),
	REG64_IDX(HSW_CS_GPR, 12),
	REG64_IDX(HSW_CS_GPR, 13),
	REG64_IDX(HSW_CS_GPR, 14),
	REG64_IDX(HSW_CS_GPR, 15),
638 639 640 641 642 643 644
	REG32(HSW_SCRATCH1,
	      .mask = ~HSW_SCRATCH1_L3_DATA_ATOMICS_DISABLE,
	      .value = 0),
	REG32(HSW_ROW_CHICKEN3,
	      .mask = ~(HSW_ROW_CHICKEN3_L3_GLOBAL_ATOMICS_DISABLE << 16 |
                        HSW_ROW_CHICKEN3_L3_GLOBAL_ATOMICS_DISABLE),
	      .value = 0),
645 646
};

647
static const struct drm_i915_reg_descriptor gen7_blt_regs[] = {
648 649
	REG64_IDX(RING_TIMESTAMP, RENDER_RING_BASE),
	REG64_IDX(RING_TIMESTAMP, BSD_RING_BASE),
650
	REG32(BCS_SWCTRL),
651
	REG64_IDX(RING_TIMESTAMP, BLT_RING_BASE),
652 653
};

J
Jon Bloomfield 已提交
654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676
static const struct drm_i915_reg_descriptor gen9_blt_regs[] = {
	REG64_IDX(RING_TIMESTAMP, RENDER_RING_BASE),
	REG64_IDX(RING_TIMESTAMP, BSD_RING_BASE),
	REG32(BCS_SWCTRL),
	REG64_IDX(RING_TIMESTAMP, BLT_RING_BASE),
	REG64_IDX(BCS_GPR, 0),
	REG64_IDX(BCS_GPR, 1),
	REG64_IDX(BCS_GPR, 2),
	REG64_IDX(BCS_GPR, 3),
	REG64_IDX(BCS_GPR, 4),
	REG64_IDX(BCS_GPR, 5),
	REG64_IDX(BCS_GPR, 6),
	REG64_IDX(BCS_GPR, 7),
	REG64_IDX(BCS_GPR, 8),
	REG64_IDX(BCS_GPR, 9),
	REG64_IDX(BCS_GPR, 10),
	REG64_IDX(BCS_GPR, 11),
	REG64_IDX(BCS_GPR, 12),
	REG64_IDX(BCS_GPR, 13),
	REG64_IDX(BCS_GPR, 14),
	REG64_IDX(BCS_GPR, 15),
};

677
#undef REG64
678
#undef REG32
679

680 681 682 683 684 685
struct drm_i915_reg_table {
	const struct drm_i915_reg_descriptor *regs;
	int num_regs;
};

static const struct drm_i915_reg_table ivb_render_reg_tables[] = {
686
	{ gen7_render_regs, ARRAY_SIZE(gen7_render_regs) },
687 688 689
};

static const struct drm_i915_reg_table ivb_blt_reg_tables[] = {
690
	{ gen7_blt_regs, ARRAY_SIZE(gen7_blt_regs) },
691 692 693
};

static const struct drm_i915_reg_table hsw_render_reg_tables[] = {
694 695
	{ gen7_render_regs, ARRAY_SIZE(gen7_render_regs) },
	{ hsw_render_regs, ARRAY_SIZE(hsw_render_regs) },
696 697 698
};

static const struct drm_i915_reg_table hsw_blt_reg_tables[] = {
699
	{ gen7_blt_regs, ARRAY_SIZE(gen7_blt_regs) },
700 701
};

J
Jon Bloomfield 已提交
702 703 704 705
static const struct drm_i915_reg_table gen9_blt_reg_tables[] = {
	{ gen9_blt_regs, ARRAY_SIZE(gen9_blt_regs) },
};

706 707
static u32 gen7_render_get_cmd_length_mask(u32 cmd_header)
{
708
	u32 client = cmd_header >> INSTR_CLIENT_SHIFT;
709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726
	u32 subclient =
		(cmd_header & INSTR_SUBCLIENT_MASK) >> INSTR_SUBCLIENT_SHIFT;

	if (client == INSTR_MI_CLIENT)
		return 0x3F;
	else if (client == INSTR_RC_CLIENT) {
		if (subclient == INSTR_MEDIA_SUBCLIENT)
			return 0xFFFF;
		else
			return 0xFF;
	}

	DRM_DEBUG_DRIVER("CMD: Abnormal rcs cmd length! 0x%08X\n", cmd_header);
	return 0;
}

static u32 gen7_bsd_get_cmd_length_mask(u32 cmd_header)
{
727
	u32 client = cmd_header >> INSTR_CLIENT_SHIFT;
728 729
	u32 subclient =
		(cmd_header & INSTR_SUBCLIENT_MASK) >> INSTR_SUBCLIENT_SHIFT;
730
	u32 op = (cmd_header & INSTR_26_TO_24_MASK) >> INSTR_26_TO_24_SHIFT;
731 732 733 734

	if (client == INSTR_MI_CLIENT)
		return 0x3F;
	else if (client == INSTR_RC_CLIENT) {
735 736 737 738 739 740
		if (subclient == INSTR_MEDIA_SUBCLIENT) {
			if (op == 6)
				return 0xFFFF;
			else
				return 0xFFF;
		} else
741 742 743 744 745 746 747 748 749
			return 0xFF;
	}

	DRM_DEBUG_DRIVER("CMD: Abnormal bsd cmd length! 0x%08X\n", cmd_header);
	return 0;
}

static u32 gen7_blt_get_cmd_length_mask(u32 cmd_header)
{
750
	u32 client = cmd_header >> INSTR_CLIENT_SHIFT;
751 752 753 754 755 756 757 758 759 760

	if (client == INSTR_MI_CLIENT)
		return 0x3F;
	else if (client == INSTR_BC_CLIENT)
		return 0xFF;

	DRM_DEBUG_DRIVER("CMD: Abnormal blt cmd length! 0x%08X\n", cmd_header);
	return 0;
}

J
Jon Bloomfield 已提交
761 762 763 764 765 766 767 768 769 770 771
static u32 gen9_blt_get_cmd_length_mask(u32 cmd_header)
{
	u32 client = cmd_header >> INSTR_CLIENT_SHIFT;

	if (client == INSTR_MI_CLIENT || client == INSTR_BC_CLIENT)
		return 0xFF;

	DRM_DEBUG_DRIVER("CMD: Abnormal blt cmd length! 0x%08X\n", cmd_header);
	return 0;
}

772
static bool validate_cmds_sorted(const struct intel_engine_cs *engine,
773 774
				 const struct drm_i915_cmd_table *cmd_tables,
				 int cmd_table_count)
775 776
{
	int i;
777
	bool ret = true;
778

779
	if (!cmd_tables || cmd_table_count == 0)
780
		return true;
781

782 783
	for (i = 0; i < cmd_table_count; i++) {
		const struct drm_i915_cmd_table *table = &cmd_tables[i];
784 785 786 787 788
		u32 previous = 0;
		int j;

		for (j = 0; j < table->count; j++) {
			const struct drm_i915_cmd_descriptor *desc =
789
				&table->table[j];
790 791
			u32 curr = desc->cmd.value & desc->cmd.mask;

792
			if (curr < previous) {
793 794 795 796
				DRM_ERROR("CMD: %s [%d] command table not sorted: "
					  "table=%d entry=%d cmd=0x%08X prev=0x%08X\n",
					  engine->name, engine->id,
					  i, j, curr, previous);
797 798
				ret = false;
			}
799 800 801 802

			previous = curr;
		}
	}
803 804

	return ret;
805 806
}

807
static bool check_sorted(const struct intel_engine_cs *engine,
808 809
			 const struct drm_i915_reg_descriptor *reg_table,
			 int reg_count)
810 811 812
{
	int i;
	u32 previous = 0;
813
	bool ret = true;
814 815

	for (i = 0; i < reg_count; i++) {
816
		u32 curr = i915_mmio_reg_offset(reg_table[i].addr);
817

818
		if (curr < previous) {
819 820 821 822
			DRM_ERROR("CMD: %s [%d] register table not sorted: "
				  "entry=%d reg=0x%08X prev=0x%08X\n",
				  engine->name, engine->id,
				  i, curr, previous);
823 824
			ret = false;
		}
825 826 827

		previous = curr;
	}
828 829

	return ret;
830 831
}

832
static bool validate_regs_sorted(struct intel_engine_cs *engine)
833
{
834 835 836 837 838
	int i;
	const struct drm_i915_reg_table *table;

	for (i = 0; i < engine->reg_table_count; i++) {
		table = &engine->reg_tables[i];
839
		if (!check_sorted(engine, table->regs, table->num_regs))
840 841 842 843
			return false;
	}

	return true;
844 845
}

846 847 848 849 850 851 852 853 854 855 856 857 858 859 860
struct cmd_node {
	const struct drm_i915_cmd_descriptor *desc;
	struct hlist_node node;
};

/*
 * Different command ranges have different numbers of bits for the opcode. For
 * example, MI commands use bits 31:23 while 3D commands use bits 31:16. The
 * problem is that, for example, MI commands use bits 22:16 for other fields
 * such as GGTT vs PPGTT bits. If we include those bits in the mask then when
 * we mask a command from a batch it could hash to the wrong bucket due to
 * non-opcode bits being set. But if we don't include those bits, some 3D
 * commands may hash to the same bucket due to not including opcode bits that
 * make the command unique. For now, we will risk hashing to the same bucket.
 */
861 862 863 864 865
static inline u32 cmd_header_key(u32 x)
{
	switch (x >> INSTR_CLIENT_SHIFT) {
	default:
	case INSTR_MI_CLIENT:
866
		return x >> STD_MI_OPCODE_SHIFT;
867
	case INSTR_RC_CLIENT:
868
		return x >> STD_3D_OPCODE_SHIFT;
869
	case INSTR_BC_CLIENT:
870
		return x >> STD_2D_OPCODE_SHIFT;
871 872
	}
}
873

874
static int init_hash_table(struct intel_engine_cs *engine,
875 876 877 878 879
			   const struct drm_i915_cmd_table *cmd_tables,
			   int cmd_table_count)
{
	int i, j;

880
	hash_init(engine->cmd_hash);
881 882 883 884 885 886 887 888 889 890 891 892 893 894

	for (i = 0; i < cmd_table_count; i++) {
		const struct drm_i915_cmd_table *table = &cmd_tables[i];

		for (j = 0; j < table->count; j++) {
			const struct drm_i915_cmd_descriptor *desc =
				&table->table[j];
			struct cmd_node *desc_node =
				kmalloc(sizeof(*desc_node), GFP_KERNEL);

			if (!desc_node)
				return -ENOMEM;

			desc_node->desc = desc;
895
			hash_add(engine->cmd_hash, &desc_node->node,
896
				 cmd_header_key(desc->cmd.value));
897 898 899 900 901 902
		}
	}

	return 0;
}

903
static void fini_hash_table(struct intel_engine_cs *engine)
904 905 906 907 908
{
	struct hlist_node *tmp;
	struct cmd_node *desc_node;
	int i;

909
	hash_for_each_safe(engine->cmd_hash, i, tmp, desc_node, node) {
910 911 912 913 914
		hash_del(&desc_node->node);
		kfree(desc_node);
	}
}

915
/**
916
 * intel_engine_init_cmd_parser() - set cmd parser related fields for an engine
917
 * @engine: the engine to initialize
918 919
 *
 * Optionally initializes fields related to batch buffer command parsing in the
920
 * struct intel_engine_cs based on whether the platform requires software
921 922
 * command parsing.
 */
923
void intel_engine_init_cmd_parser(struct intel_engine_cs *engine)
924
{
925 926 927 928
	const struct drm_i915_cmd_table *cmd_tables;
	int cmd_table_count;
	int ret;

J
Jon Bloomfield 已提交
929 930
	if (!IS_GEN(engine->i915, 7) && !(IS_GEN(engine->i915, 9) &&
					  engine->class == COPY_ENGINE_CLASS))
931
		return;
932

933 934
	switch (engine->class) {
	case RENDER_CLASS:
935
		if (IS_HASWELL(engine->i915)) {
936
			cmd_tables = hsw_render_ring_cmd_table;
937
			cmd_table_count =
938
				ARRAY_SIZE(hsw_render_ring_cmd_table);
939
		} else {
940 941
			cmd_tables = gen7_render_cmd_table;
			cmd_table_count = ARRAY_SIZE(gen7_render_cmd_table);
942 943
		}

944
		if (IS_HASWELL(engine->i915)) {
945 946
			engine->reg_tables = hsw_render_reg_tables;
			engine->reg_table_count = ARRAY_SIZE(hsw_render_reg_tables);
947
		} else {
948 949
			engine->reg_tables = ivb_render_reg_tables;
			engine->reg_table_count = ARRAY_SIZE(ivb_render_reg_tables);
950
		}
951
		engine->get_cmd_length_mask = gen7_render_get_cmd_length_mask;
952
		break;
953
	case VIDEO_DECODE_CLASS:
954 955
		cmd_tables = gen7_video_cmd_table;
		cmd_table_count = ARRAY_SIZE(gen7_video_cmd_table);
956
		engine->get_cmd_length_mask = gen7_bsd_get_cmd_length_mask;
957
		break;
958
	case COPY_ENGINE_CLASS:
J
Jon Bloomfield 已提交
959 960 961 962 963 964 965 966 967 968
		engine->get_cmd_length_mask = gen7_blt_get_cmd_length_mask;
		if (IS_GEN(engine->i915, 9)) {
			cmd_tables = gen9_blt_cmd_table;
			cmd_table_count = ARRAY_SIZE(gen9_blt_cmd_table);
			engine->get_cmd_length_mask =
				gen9_blt_get_cmd_length_mask;

			/* BCS Engine unsafe without parser */
			engine->flags |= I915_ENGINE_REQUIRES_CMD_PARSER;
		} else if (IS_HASWELL(engine->i915)) {
969 970
			cmd_tables = hsw_blt_ring_cmd_table;
			cmd_table_count = ARRAY_SIZE(hsw_blt_ring_cmd_table);
971
		} else {
972 973
			cmd_tables = gen7_blt_cmd_table;
			cmd_table_count = ARRAY_SIZE(gen7_blt_cmd_table);
974 975
		}

J
Jon Bloomfield 已提交
976 977 978 979 980
		if (IS_GEN(engine->i915, 9)) {
			engine->reg_tables = gen9_blt_reg_tables;
			engine->reg_table_count =
				ARRAY_SIZE(gen9_blt_reg_tables);
		} else if (IS_HASWELL(engine->i915)) {
981 982
			engine->reg_tables = hsw_blt_reg_tables;
			engine->reg_table_count = ARRAY_SIZE(hsw_blt_reg_tables);
983
		} else {
984 985
			engine->reg_tables = ivb_blt_reg_tables;
			engine->reg_table_count = ARRAY_SIZE(ivb_blt_reg_tables);
986
		}
987
		break;
988
	case VIDEO_ENHANCEMENT_CLASS:
989 990
		cmd_tables = hsw_vebox_cmd_table;
		cmd_table_count = ARRAY_SIZE(hsw_vebox_cmd_table);
991
		/* VECS can use the same length_mask function as VCS */
992
		engine->get_cmd_length_mask = gen7_bsd_get_cmd_length_mask;
993 994
		break;
	default:
995
		MISSING_CASE(engine->class);
996
		return;
997 998
	}

999 1000 1001 1002 1003 1004 1005 1006 1007
	if (!validate_cmds_sorted(engine, cmd_tables, cmd_table_count)) {
		DRM_ERROR("%s: command descriptions are not sorted\n",
			  engine->name);
		return;
	}
	if (!validate_regs_sorted(engine)) {
		DRM_ERROR("%s: registers are not sorted\n", engine->name);
		return;
	}
1008

1009
	ret = init_hash_table(engine, cmd_tables, cmd_table_count);
1010
	if (ret) {
1011
		DRM_ERROR("%s: initialised failed!\n", engine->name);
1012
		fini_hash_table(engine);
1013
		return;
1014 1015
	}

1016
	engine->flags |= I915_ENGINE_USING_CMD_PARSER;
1017 1018 1019
}

/**
1020
 * intel_engine_cleanup_cmd_parser() - clean up cmd parser related fields
1021
 * @engine: the engine to clean up
1022 1023
 *
 * Releases any resources related to command parsing that may have been
1024
 * initialized for the specified engine.
1025
 */
1026
void intel_engine_cleanup_cmd_parser(struct intel_engine_cs *engine)
1027
{
1028
	if (!intel_engine_using_cmd_parser(engine))
1029 1030
		return;

1031
	fini_hash_table(engine);
1032 1033 1034
}

static const struct drm_i915_cmd_descriptor*
1035
find_cmd_in_table(struct intel_engine_cs *engine,
1036 1037
		  u32 cmd_header)
{
1038
	struct cmd_node *desc_node;
1039

1040
	hash_for_each_possible(engine->cmd_hash, desc_node, node,
1041
			       cmd_header_key(cmd_header)) {
1042
		const struct drm_i915_cmd_descriptor *desc = desc_node->desc;
1043
		if (((cmd_header ^ desc->cmd.value) & desc->cmd.mask) == 0)
1044 1045 1046 1047 1048 1049 1050 1051 1052 1053
			return desc;
	}

	return NULL;
}

/*
 * Returns a pointer to a descriptor for the command specified by cmd_header.
 *
 * The caller must supply space for a default descriptor via the default_desc
1054
 * parameter. If no descriptor for the specified command exists in the engine's
1055
 * command parser tables, this function fills in default_desc based on the
1056
 * engine's default length encoding and returns default_desc.
1057 1058
 */
static const struct drm_i915_cmd_descriptor*
1059
find_cmd(struct intel_engine_cs *engine,
1060
	 u32 cmd_header,
1061
	 const struct drm_i915_cmd_descriptor *desc,
1062 1063 1064 1065
	 struct drm_i915_cmd_descriptor *default_desc)
{
	u32 mask;

1066 1067 1068
	if (((cmd_header ^ desc->cmd.value) & desc->cmd.mask) == 0)
		return desc;

1069
	desc = find_cmd_in_table(engine, cmd_header);
1070 1071
	if (desc)
		return desc;
1072

1073
	mask = engine->get_cmd_length_mask(cmd_header);
1074 1075 1076
	if (!mask)
		return NULL;

1077 1078
	default_desc->cmd.value = cmd_header;
	default_desc->cmd.mask = ~0u << MIN_OPCODE_SHIFT;
1079
	default_desc->length.mask = mask;
1080
	default_desc->flags = CMD_DESC_SKIP;
1081 1082 1083
	return default_desc;
}

1084
static const struct drm_i915_reg_descriptor *
1085
__find_reg(const struct drm_i915_reg_descriptor *table, int count, u32 addr)
1086
{
1087 1088 1089 1090 1091 1092 1093 1094 1095 1096
	int start = 0, end = count;
	while (start < end) {
		int mid = start + (end - start) / 2;
		int ret = addr - i915_mmio_reg_offset(table[mid].addr);
		if (ret < 0)
			end = mid;
		else if (ret > 0)
			start = mid + 1;
		else
			return &table[mid];
1097 1098 1099 1100 1101
	}
	return NULL;
}

static const struct drm_i915_reg_descriptor *
1102
find_reg(const struct intel_engine_cs *engine, u32 addr)
1103
{
1104
	const struct drm_i915_reg_table *table = engine->reg_tables;
1105
	const struct drm_i915_reg_descriptor *reg = NULL;
1106
	int count = engine->reg_table_count;
1107

1108 1109
	for (; !reg && (count > 0); ++table, --count)
		reg = __find_reg(table->regs, table->num_regs, addr);
1110

1111
	return reg;
1112 1113
}

1114 1115
/* Returns a vmap'd pointer to dst_obj, which the caller must unmap */
static u32 *copy_batch(struct drm_i915_gem_object *dst_obj,
1116 1117
		       struct drm_i915_gem_object *src_obj,
		       u32 batch_start_offset,
1118 1119
		       u32 batch_len,
		       bool *needs_clflush_after)
1120
{
1121 1122
	unsigned int src_needs_clflush;
	unsigned int dst_needs_clflush;
1123
	void *dst, *src;
1124
	int ret;
1125

1126
	ret = i915_gem_object_prepare_write(dst_obj, &dst_needs_clflush);
1127
	if (ret)
1128 1129
		return ERR_PTR(ret);

1130
	dst = i915_gem_object_pin_map(dst_obj, I915_MAP_FORCE_WB);
1131
	i915_gem_object_finish_access(dst_obj);
1132
	if (IS_ERR(dst))
1133 1134 1135 1136 1137 1138 1139
		return dst;

	ret = i915_gem_object_prepare_read(src_obj, &src_needs_clflush);
	if (ret) {
		i915_gem_object_unpin_map(dst_obj);
		return ERR_PTR(ret);
	}
1140

1141 1142
	src = ERR_PTR(-ENODEV);
	if (src_needs_clflush &&
1143
	    i915_can_memcpy_from_wc(NULL, batch_start_offset, 0)) {
1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182
		src = i915_gem_object_pin_map(src_obj, I915_MAP_WC);
		if (!IS_ERR(src)) {
			i915_memcpy_from_wc(dst,
					    src + batch_start_offset,
					    ALIGN(batch_len, 16));
			i915_gem_object_unpin_map(src_obj);
		}
	}
	if (IS_ERR(src)) {
		void *ptr;
		int offset, n;

		offset = offset_in_page(batch_start_offset);

		/* We can avoid clflushing partial cachelines before the write
		 * if we only every write full cache-lines. Since we know that
		 * both the source and destination are in multiples of
		 * PAGE_SIZE, we can simply round up to the next cacheline.
		 * We don't care about copying too much here as we only
		 * validate up to the end of the batch.
		 */
		if (dst_needs_clflush & CLFLUSH_BEFORE)
			batch_len = roundup(batch_len,
					    boot_cpu_data.x86_clflush_size);

		ptr = dst;
		for (n = batch_start_offset >> PAGE_SHIFT; batch_len; n++) {
			int len = min_t(int, batch_len, PAGE_SIZE - offset);

			src = kmap_atomic(i915_gem_object_get_page(src_obj, n));
			if (src_needs_clflush)
				drm_clflush_virt_range(src + offset, len);
			memcpy(ptr, src + offset, len);
			kunmap_atomic(src);

			ptr += len;
			batch_len -= len;
			offset = 0;
		}
1183
	}
1184

1185 1186
	i915_gem_object_finish_access(src_obj);

1187 1188 1189 1190
	/* dst_obj is returned with vmap pinned */
	*needs_clflush_after = dst_needs_clflush & CLFLUSH_AFTER;

	return dst;
1191 1192
}

1193
static bool check_cmd(const struct intel_engine_cs *engine,
1194
		      const struct drm_i915_cmd_descriptor *desc,
1195
		      const u32 *cmd, u32 length)
1196
{
1197 1198 1199
	if (desc->flags & CMD_DESC_SKIP)
		return true;

1200 1201 1202 1203 1204 1205
	if (desc->flags & CMD_DESC_REJECT) {
		DRM_DEBUG_DRIVER("CMD: Rejected command: 0x%08X\n", *cmd);
		return false;
	}

	if (desc->flags & CMD_DESC_REGISTER) {
1206
		/*
1207 1208 1209
		 * Get the distance between individual register offset
		 * fields if the command can perform more than one
		 * access at a time.
1210
		 */
1211 1212 1213 1214 1215 1216
		const u32 step = desc->reg.step ? desc->reg.step : length;
		u32 offset;

		for (offset = desc->reg.offset; offset < length;
		     offset += step) {
			const u32 reg_addr = cmd[offset] & desc->reg.mask;
1217
			const struct drm_i915_reg_descriptor *reg =
1218
				find_reg(engine, reg_addr);
1219 1220

			if (!reg) {
1221 1222
				DRM_DEBUG_DRIVER("CMD: Rejected register 0x%08X in command: 0x%08X (%s)\n",
						 reg_addr, *cmd, engine->name);
1223 1224
				return false;
			}
1225

1226 1227 1228 1229 1230
			/*
			 * Check the value written to the register against the
			 * allowed mask/value pair given in the whitelist entry.
			 */
			if (reg->mask) {
1231
				if (desc->cmd.value == MI_LOAD_REGISTER_MEM) {
1232 1233 1234 1235 1236
					DRM_DEBUG_DRIVER("CMD: Rejected LRM to masked register 0x%08X\n",
							 reg_addr);
					return false;
				}

1237 1238 1239 1240 1241 1242
				if (desc->cmd.value == MI_LOAD_REGISTER_REG) {
					DRM_DEBUG_DRIVER("CMD: Rejected LRR to masked register 0x%08X\n",
							 reg_addr);
					return false;
				}

1243 1244 1245 1246 1247
				if (desc->cmd.value == MI_LOAD_REGISTER_IMM(1) &&
				    (offset + 2 > length ||
				     (cmd[offset + 1] & reg->mask) != reg->value)) {
					DRM_DEBUG_DRIVER("CMD: Rejected LRI to masked register 0x%08X\n",
							 reg_addr);
1248 1249
					return false;
				}
1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272
			}
		}
	}

	if (desc->flags & CMD_DESC_BITMASK) {
		int i;

		for (i = 0; i < MAX_CMD_DESC_BITMASKS; i++) {
			u32 dword;

			if (desc->bits[i].mask == 0)
				break;

			if (desc->bits[i].condition_mask != 0) {
				u32 offset =
					desc->bits[i].condition_offset;
				u32 condition = cmd[offset] &
					desc->bits[i].condition_mask;

				if (condition == 0)
					continue;
			}

1273 1274 1275 1276 1277 1278
			if (desc->bits[i].offset >= length) {
				DRM_DEBUG_DRIVER("CMD: Rejected command 0x%08X, too short to check bitmask (%s)\n",
						 *cmd, engine->name);
				return false;
			}

1279 1280 1281 1282
			dword = cmd[desc->bits[i].offset] &
				desc->bits[i].mask;

			if (dword != desc->bits[i].expected) {
1283
				DRM_DEBUG_DRIVER("CMD: Rejected command 0x%08X for bitmask 0x%08X (exp=0x%08X act=0x%08X) (%s)\n",
1284 1285 1286
						 *cmd,
						 desc->bits[i].mask,
						 desc->bits[i].expected,
1287
						 dword, engine->name);
1288 1289 1290 1291 1292 1293 1294 1295
				return false;
			}
		}
	}

	return true;
}

1296 1297 1298 1299
#define LENGTH_BIAS 2

/**
 * i915_parse_cmds() - parse a submitted batch buffer for privilege violations
1300
 * @engine: the engine on which the batch is to execute
1301
 * @batch_obj: the batch buffer in question
1302
 * @shadow_batch_obj: copy of the batch buffer in question
1303
 * @batch_start_offset: byte offset in the batch at which execution starts
1304
 * @batch_len: length of the commands in batch_obj
1305 1306 1307 1308
 *
 * Parses the specified batch buffer looking for privilege violations as
 * described in the overview.
 *
1309 1310
 * Return: non-zero if the parser finds violations or otherwise fails; -EACCES
 * if the batch appears legal but should use hardware parsing
1311
 */
1312 1313 1314 1315
int intel_engine_cmd_parser(struct intel_engine_cs *engine,
			    struct drm_i915_gem_object *batch_obj,
			    struct drm_i915_gem_object *shadow_batch_obj,
			    u32 batch_start_offset,
1316
			    u32 batch_len)
1317
{
1318
	u32 *cmd, *batch_end;
1319 1320
	struct drm_i915_cmd_descriptor default_desc = noop_desc;
	const struct drm_i915_cmd_descriptor *desc = &default_desc;
1321
	bool needs_clflush_after = false;
1322
	int ret = 0;
1323

1324 1325 1326 1327
	cmd = copy_batch(shadow_batch_obj, batch_obj,
			 batch_start_offset, batch_len,
			 &needs_clflush_after);
	if (IS_ERR(cmd)) {
1328
		DRM_DEBUG_DRIVER("CMD: Failed to copy batch\n");
1329
		return PTR_ERR(cmd);
1330 1331
	}

1332
	/*
1333
	 * We use the batch length as size because the shadow object is as
1334 1335 1336
	 * large or larger and copy_batch() will write MI_NOPs to the extra
	 * space. Parsing should be faster in some cases this way.
	 */
1337
	batch_end = cmd + (batch_len / sizeof(*batch_end));
1338
	do {
1339 1340
		u32 length;

1341
		if (*cmd == MI_BATCH_BUFFER_END)
1342 1343
			break;

1344
		desc = find_cmd(engine, *cmd, desc, &default_desc);
1345 1346 1347 1348
		if (!desc) {
			DRM_DEBUG_DRIVER("CMD: Unrecognized command: 0x%08X\n",
					 *cmd);
			ret = -EINVAL;
1349
			goto err;
1350 1351
		}

1352
		/*
J
Jon Bloomfield 已提交
1353 1354 1355
		 * We don't try to handle BATCH_BUFFER_START because it adds
		 * non-trivial complexity. Instead we abort the scan and return
		 * and error to indicate that the batch is unsafe.
1356 1357 1358
		 */
		if (desc->cmd.value == MI_BATCH_BUFFER_START) {
			ret = -EACCES;
1359
			goto err;
1360 1361
		}

1362 1363 1364 1365 1366 1367
		if (desc->flags & CMD_DESC_FIXED)
			length = desc->length.fixed;
		else
			length = ((*cmd & desc->length.mask) + LENGTH_BIAS);

		if ((batch_end - cmd) < length) {
1368
			DRM_DEBUG_DRIVER("CMD: Command length exceeds batch length: 0x%08X length=%u batchlen=%td\n",
1369 1370
					 *cmd,
					 length,
1371
					 batch_end - cmd);
1372
			ret = -EINVAL;
1373
			goto err;
1374 1375
		}

1376
		if (!check_cmd(engine, desc, cmd, length)) {
1377
			ret = -EACCES;
1378
			goto err;
1379 1380 1381
		}

		cmd += length;
1382 1383 1384
		if  (cmd >= batch_end) {
			DRM_DEBUG_DRIVER("CMD: Got to the end of the buffer w/o a BBE cmd!\n");
			ret = -EINVAL;
1385
			goto err;
1386 1387
		}
	} while (1);
1388

1389 1390 1391 1392 1393 1394 1395
	if (needs_clflush_after) {
		void *ptr = page_mask_bits(shadow_batch_obj->mm.mapping);

		drm_clflush_virt_range(ptr, (void *)(cmd + 1) - ptr);
	}

err:
1396
	i915_gem_object_unpin_map(shadow_batch_obj);
1397 1398
	return ret;
}
1399 1400 1401

/**
 * i915_cmd_parser_get_version() - get the cmd parser version number
1402
 * @dev_priv: i915 device private
1403 1404 1405 1406 1407 1408
 *
 * The cmd parser maintains a simple increasing integer version number suitable
 * for passing to userspace clients to determine what operations are permitted.
 *
 * Return: the current version number of the cmd parser
 */
1409
int i915_cmd_parser_get_version(struct drm_i915_private *dev_priv)
1410
{
1411 1412 1413 1414
	struct intel_engine_cs *engine;
	bool active = false;

	/* If the command parser is not enabled, report 0 - unsupported */
1415
	for_each_uabi_engine(engine, dev_priv) {
1416
		if (intel_engine_using_cmd_parser(engine)) {
1417 1418 1419 1420 1421 1422 1423
			active = true;
			break;
		}
	}
	if (!active)
		return 0;

1424 1425 1426 1427 1428
	/*
	 * Command parser version history
	 *
	 * 1. Initial version. Checks batches and reports violations, but leaves
	 *    hardware parsing enabled (so does not allow new use cases).
1429 1430
	 * 2. Allow access to the MI_PREDICATE_SRC0 and
	 *    MI_PREDICATE_SRC1 registers.
1431
	 * 3. Allow access to the GPGPU_THREADS_DISPATCHED register.
1432
	 * 4. L3 atomic chicken bits of HSW_SCRATCH1 and HSW_ROW_CHICKEN3.
1433
	 * 5. GPGPU dispatch compute indirect registers.
1434
	 * 6. TIMESTAMP register and Haswell CS GPR registers
1435
	 * 7. Allow MI_LOAD_REGISTER_REG between whitelisted registers.
1436 1437 1438
	 * 8. Don't report cmd_check() failures as EINVAL errors to userspace;
	 *    rely on the HW to NOOP disallowed commands as it would without
	 *    the parser enabled.
1439 1440
	 * 9. Don't whitelist or handle oacontrol specially, as ownership
	 *    for oacontrol state is moving to i915-perf.
J
Jon Bloomfield 已提交
1441
	 * 10. Support for Gen9 BCS Parsing
1442
	 */
J
Jon Bloomfield 已提交
1443
	return 10;
1444
}