xref: /linux/drivers/gpu/drm/vc4/vc4_validate.c (revision c6fbb759)
1 /*
2  * Copyright © 2014 Broadcom
3  *
4  * Permission is hereby granted, free of charge, to any person obtaining a
5  * copy of this software and associated documentation files (the "Software"),
6  * to deal in the Software without restriction, including without limitation
7  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8  * and/or sell copies of the Software, and to permit persons to whom the
9  * Software is furnished to do so, subject to the following conditions:
10  *
11  * The above copyright notice and this permission notice (including the next
12  * paragraph) shall be included in all copies or substantial portions of the
13  * Software.
14  *
15  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
18  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
21  * IN THE SOFTWARE.
22  */
23 
24 /**
25  * DOC: Command list validator for VC4.
26  *
27  * Since the VC4 has no IOMMU between it and system memory, a user
28  * with access to execute command lists could escalate privilege by
29  * overwriting system memory (drawing to it as a framebuffer) or
30  * reading system memory it shouldn't (reading it as a vertex buffer
31  * or index buffer)
32  *
33  * We validate binner command lists to ensure that all accesses are
34  * within the bounds of the GEM objects referenced by the submitted
35  * job.  It explicitly whitelists packets, and looks at the offsets in
36  * any address fields to make sure they're contained within the BOs
37  * they reference.
38  *
39  * Note that because CL validation is already reading the
40  * user-submitted CL and writing the validated copy out to the memory
41  * that the GPU will actually read, this is also where GEM relocation
42  * processing (turning BO references into actual addresses for the GPU
43  * to use) happens.
44  */
45 
46 #include "uapi/drm/vc4_drm.h"
47 #include "vc4_drv.h"
48 #include "vc4_packet.h"
49 
50 #define VALIDATE_ARGS \
51 	struct vc4_exec_info *exec,			\
52 	void *validated,				\
53 	void *untrusted
54 
55 /** Return the width in pixels of a 64-byte microtile. */
56 static uint32_t
57 utile_width(int cpp)
58 {
59 	switch (cpp) {
60 	case 1:
61 	case 2:
62 		return 8;
63 	case 4:
64 		return 4;
65 	case 8:
66 		return 2;
67 	default:
68 		DRM_ERROR("unknown cpp: %d\n", cpp);
69 		return 1;
70 	}
71 }
72 
73 /** Return the height in pixels of a 64-byte microtile. */
74 static uint32_t
75 utile_height(int cpp)
76 {
77 	switch (cpp) {
78 	case 1:
79 		return 8;
80 	case 2:
81 	case 4:
82 	case 8:
83 		return 4;
84 	default:
85 		DRM_ERROR("unknown cpp: %d\n", cpp);
86 		return 1;
87 	}
88 }
89 
90 /**
91  * size_is_lt() - Returns whether a miplevel of the given size will
92  * use the lineartile (LT) tiling layout rather than the normal T
93  * tiling layout.
94  * @width: Width in pixels of the miplevel
95  * @height: Height in pixels of the miplevel
96  * @cpp: Bytes per pixel of the pixel format
97  */
98 static bool
99 size_is_lt(uint32_t width, uint32_t height, int cpp)
100 {
101 	return (width <= 4 * utile_width(cpp) ||
102 		height <= 4 * utile_height(cpp));
103 }
104 
105 struct drm_gem_dma_object *
106 vc4_use_bo(struct vc4_exec_info *exec, uint32_t hindex)
107 {
108 	struct vc4_dev *vc4 = exec->dev;
109 	struct drm_gem_dma_object *obj;
110 	struct vc4_bo *bo;
111 
112 	if (WARN_ON_ONCE(vc4->is_vc5))
113 		return NULL;
114 
115 	if (hindex >= exec->bo_count) {
116 		DRM_DEBUG("BO index %d greater than BO count %d\n",
117 			  hindex, exec->bo_count);
118 		return NULL;
119 	}
120 	obj = exec->bo[hindex];
121 	bo = to_vc4_bo(&obj->base);
122 
123 	if (bo->validated_shader) {
124 		DRM_DEBUG("Trying to use shader BO as something other than "
125 			  "a shader\n");
126 		return NULL;
127 	}
128 
129 	return obj;
130 }
131 
132 static struct drm_gem_dma_object *
133 vc4_use_handle(struct vc4_exec_info *exec, uint32_t gem_handles_packet_index)
134 {
135 	return vc4_use_bo(exec, exec->bo_index[gem_handles_packet_index]);
136 }
137 
138 static bool
139 validate_bin_pos(struct vc4_exec_info *exec, void *untrusted, uint32_t pos)
140 {
141 	/* Note that the untrusted pointer passed to these functions is
142 	 * incremented past the packet byte.
143 	 */
144 	return (untrusted - 1 == exec->bin_u + pos);
145 }
146 
147 static uint32_t
148 gl_shader_rec_size(uint32_t pointer_bits)
149 {
150 	uint32_t attribute_count = pointer_bits & 7;
151 	bool extended = pointer_bits & 8;
152 
153 	if (attribute_count == 0)
154 		attribute_count = 8;
155 
156 	if (extended)
157 		return 100 + attribute_count * 4;
158 	else
159 		return 36 + attribute_count * 8;
160 }
161 
162 bool
163 vc4_check_tex_size(struct vc4_exec_info *exec, struct drm_gem_dma_object *fbo,
164 		   uint32_t offset, uint8_t tiling_format,
165 		   uint32_t width, uint32_t height, uint8_t cpp)
166 {
167 	struct vc4_dev *vc4 = exec->dev;
168 	uint32_t aligned_width, aligned_height, stride, size;
169 	uint32_t utile_w = utile_width(cpp);
170 	uint32_t utile_h = utile_height(cpp);
171 
172 	if (WARN_ON_ONCE(vc4->is_vc5))
173 		return false;
174 
175 	/* The shaded vertex format stores signed 12.4 fixed point
176 	 * (-2048,2047) offsets from the viewport center, so we should
177 	 * never have a render target larger than 4096.  The texture
178 	 * unit can only sample from 2048x2048, so it's even more
179 	 * restricted.  This lets us avoid worrying about overflow in
180 	 * our math.
181 	 */
182 	if (width > 4096 || height > 4096) {
183 		DRM_DEBUG("Surface dimensions (%d,%d) too large",
184 			  width, height);
185 		return false;
186 	}
187 
188 	switch (tiling_format) {
189 	case VC4_TILING_FORMAT_LINEAR:
190 		aligned_width = round_up(width, utile_w);
191 		aligned_height = height;
192 		break;
193 	case VC4_TILING_FORMAT_T:
194 		aligned_width = round_up(width, utile_w * 8);
195 		aligned_height = round_up(height, utile_h * 8);
196 		break;
197 	case VC4_TILING_FORMAT_LT:
198 		aligned_width = round_up(width, utile_w);
199 		aligned_height = round_up(height, utile_h);
200 		break;
201 	default:
202 		DRM_DEBUG("buffer tiling %d unsupported\n", tiling_format);
203 		return false;
204 	}
205 
206 	stride = aligned_width * cpp;
207 	size = stride * aligned_height;
208 
209 	if (size + offset < size ||
210 	    size + offset > fbo->base.size) {
211 		DRM_DEBUG("Overflow in %dx%d (%dx%d) fbo size (%d + %d > %zd)\n",
212 			  width, height,
213 			  aligned_width, aligned_height,
214 			  size, offset, fbo->base.size);
215 		return false;
216 	}
217 
218 	return true;
219 }
220 
221 static int
222 validate_flush(VALIDATE_ARGS)
223 {
224 	if (!validate_bin_pos(exec, untrusted, exec->args->bin_cl_size - 1)) {
225 		DRM_DEBUG("Bin CL must end with VC4_PACKET_FLUSH\n");
226 		return -EINVAL;
227 	}
228 	exec->found_flush = true;
229 
230 	return 0;
231 }
232 
233 static int
234 validate_start_tile_binning(VALIDATE_ARGS)
235 {
236 	if (exec->found_start_tile_binning_packet) {
237 		DRM_DEBUG("Duplicate VC4_PACKET_START_TILE_BINNING\n");
238 		return -EINVAL;
239 	}
240 	exec->found_start_tile_binning_packet = true;
241 
242 	if (!exec->found_tile_binning_mode_config_packet) {
243 		DRM_DEBUG("missing VC4_PACKET_TILE_BINNING_MODE_CONFIG\n");
244 		return -EINVAL;
245 	}
246 
247 	return 0;
248 }
249 
250 static int
251 validate_increment_semaphore(VALIDATE_ARGS)
252 {
253 	if (!validate_bin_pos(exec, untrusted, exec->args->bin_cl_size - 2)) {
254 		DRM_DEBUG("Bin CL must end with "
255 			  "VC4_PACKET_INCREMENT_SEMAPHORE\n");
256 		return -EINVAL;
257 	}
258 	exec->found_increment_semaphore_packet = true;
259 
260 	return 0;
261 }
262 
263 static int
264 validate_indexed_prim_list(VALIDATE_ARGS)
265 {
266 	struct drm_gem_dma_object *ib;
267 	uint32_t length = *(uint32_t *)(untrusted + 1);
268 	uint32_t offset = *(uint32_t *)(untrusted + 5);
269 	uint32_t max_index = *(uint32_t *)(untrusted + 9);
270 	uint32_t index_size = (*(uint8_t *)(untrusted + 0) >> 4) ? 2 : 1;
271 	struct vc4_shader_state *shader_state;
272 
273 	/* Check overflow condition */
274 	if (exec->shader_state_count == 0) {
275 		DRM_DEBUG("shader state must precede primitives\n");
276 		return -EINVAL;
277 	}
278 	shader_state = &exec->shader_state[exec->shader_state_count - 1];
279 
280 	if (max_index > shader_state->max_index)
281 		shader_state->max_index = max_index;
282 
283 	ib = vc4_use_handle(exec, 0);
284 	if (!ib)
285 		return -EINVAL;
286 
287 	exec->bin_dep_seqno = max(exec->bin_dep_seqno,
288 				  to_vc4_bo(&ib->base)->write_seqno);
289 
290 	if (offset > ib->base.size ||
291 	    (ib->base.size - offset) / index_size < length) {
292 		DRM_DEBUG("IB access overflow (%d + %d*%d > %zd)\n",
293 			  offset, length, index_size, ib->base.size);
294 		return -EINVAL;
295 	}
296 
297 	*(uint32_t *)(validated + 5) = ib->dma_addr + offset;
298 
299 	return 0;
300 }
301 
302 static int
303 validate_gl_array_primitive(VALIDATE_ARGS)
304 {
305 	uint32_t length = *(uint32_t *)(untrusted + 1);
306 	uint32_t base_index = *(uint32_t *)(untrusted + 5);
307 	uint32_t max_index;
308 	struct vc4_shader_state *shader_state;
309 
310 	/* Check overflow condition */
311 	if (exec->shader_state_count == 0) {
312 		DRM_DEBUG("shader state must precede primitives\n");
313 		return -EINVAL;
314 	}
315 	shader_state = &exec->shader_state[exec->shader_state_count - 1];
316 
317 	if (length + base_index < length) {
318 		DRM_DEBUG("primitive vertex count overflow\n");
319 		return -EINVAL;
320 	}
321 	max_index = length + base_index - 1;
322 
323 	if (max_index > shader_state->max_index)
324 		shader_state->max_index = max_index;
325 
326 	return 0;
327 }
328 
329 static int
330 validate_gl_shader_state(VALIDATE_ARGS)
331 {
332 	uint32_t i = exec->shader_state_count++;
333 
334 	if (i >= exec->shader_state_size) {
335 		DRM_DEBUG("More requests for shader states than declared\n");
336 		return -EINVAL;
337 	}
338 
339 	exec->shader_state[i].addr = *(uint32_t *)untrusted;
340 	exec->shader_state[i].max_index = 0;
341 
342 	if (exec->shader_state[i].addr & ~0xf) {
343 		DRM_DEBUG("high bits set in GL shader rec reference\n");
344 		return -EINVAL;
345 	}
346 
347 	*(uint32_t *)validated = (exec->shader_rec_p +
348 				  exec->shader_state[i].addr);
349 
350 	exec->shader_rec_p +=
351 		roundup(gl_shader_rec_size(exec->shader_state[i].addr), 16);
352 
353 	return 0;
354 }
355 
356 static int
357 validate_tile_binning_config(VALIDATE_ARGS)
358 {
359 	struct drm_device *dev = exec->exec_bo->base.dev;
360 	struct vc4_dev *vc4 = to_vc4_dev(dev);
361 	uint8_t flags;
362 	uint32_t tile_state_size;
363 	uint32_t tile_count, bin_addr;
364 	int bin_slot;
365 
366 	if (exec->found_tile_binning_mode_config_packet) {
367 		DRM_DEBUG("Duplicate VC4_PACKET_TILE_BINNING_MODE_CONFIG\n");
368 		return -EINVAL;
369 	}
370 	exec->found_tile_binning_mode_config_packet = true;
371 
372 	exec->bin_tiles_x = *(uint8_t *)(untrusted + 12);
373 	exec->bin_tiles_y = *(uint8_t *)(untrusted + 13);
374 	tile_count = exec->bin_tiles_x * exec->bin_tiles_y;
375 	flags = *(uint8_t *)(untrusted + 14);
376 
377 	if (exec->bin_tiles_x == 0 ||
378 	    exec->bin_tiles_y == 0) {
379 		DRM_DEBUG("Tile binning config of %dx%d too small\n",
380 			  exec->bin_tiles_x, exec->bin_tiles_y);
381 		return -EINVAL;
382 	}
383 
384 	if (flags & (VC4_BIN_CONFIG_DB_NON_MS |
385 		     VC4_BIN_CONFIG_TILE_BUFFER_64BIT)) {
386 		DRM_DEBUG("unsupported binning config flags 0x%02x\n", flags);
387 		return -EINVAL;
388 	}
389 
390 	bin_slot = vc4_v3d_get_bin_slot(vc4);
391 	if (bin_slot < 0) {
392 		if (bin_slot != -EINTR && bin_slot != -ERESTARTSYS) {
393 			DRM_ERROR("Failed to allocate binner memory: %d\n",
394 				  bin_slot);
395 		}
396 		return bin_slot;
397 	}
398 
399 	/* The slot we allocated will only be used by this job, and is
400 	 * free when the job completes rendering.
401 	 */
402 	exec->bin_slots |= BIT(bin_slot);
403 	bin_addr = vc4->bin_bo->base.dma_addr + bin_slot * vc4->bin_alloc_size;
404 
405 	/* The tile state data array is 48 bytes per tile, and we put it at
406 	 * the start of a BO containing both it and the tile alloc.
407 	 */
408 	tile_state_size = 48 * tile_count;
409 
410 	/* Since the tile alloc array will follow us, align. */
411 	exec->tile_alloc_offset = bin_addr + roundup(tile_state_size, 4096);
412 
413 	*(uint8_t *)(validated + 14) =
414 		((flags & ~(VC4_BIN_CONFIG_ALLOC_INIT_BLOCK_SIZE_MASK |
415 			    VC4_BIN_CONFIG_ALLOC_BLOCK_SIZE_MASK)) |
416 		 VC4_BIN_CONFIG_AUTO_INIT_TSDA |
417 		 VC4_SET_FIELD(VC4_BIN_CONFIG_ALLOC_INIT_BLOCK_SIZE_32,
418 			       VC4_BIN_CONFIG_ALLOC_INIT_BLOCK_SIZE) |
419 		 VC4_SET_FIELD(VC4_BIN_CONFIG_ALLOC_BLOCK_SIZE_128,
420 			       VC4_BIN_CONFIG_ALLOC_BLOCK_SIZE));
421 
422 	/* tile alloc address. */
423 	*(uint32_t *)(validated + 0) = exec->tile_alloc_offset;
424 	/* tile alloc size. */
425 	*(uint32_t *)(validated + 4) = (bin_addr + vc4->bin_alloc_size -
426 					exec->tile_alloc_offset);
427 	/* tile state address. */
428 	*(uint32_t *)(validated + 8) = bin_addr;
429 
430 	return 0;
431 }
432 
433 static int
434 validate_gem_handles(VALIDATE_ARGS)
435 {
436 	memcpy(exec->bo_index, untrusted, sizeof(exec->bo_index));
437 	return 0;
438 }
439 
440 #define VC4_DEFINE_PACKET(packet, func) \
441 	[packet] = { packet ## _SIZE, #packet, func }
442 
443 static const struct cmd_info {
444 	uint16_t len;
445 	const char *name;
446 	int (*func)(struct vc4_exec_info *exec, void *validated,
447 		    void *untrusted);
448 } cmd_info[] = {
449 	VC4_DEFINE_PACKET(VC4_PACKET_HALT, NULL),
450 	VC4_DEFINE_PACKET(VC4_PACKET_NOP, NULL),
451 	VC4_DEFINE_PACKET(VC4_PACKET_FLUSH, validate_flush),
452 	VC4_DEFINE_PACKET(VC4_PACKET_FLUSH_ALL, NULL),
453 	VC4_DEFINE_PACKET(VC4_PACKET_START_TILE_BINNING,
454 			  validate_start_tile_binning),
455 	VC4_DEFINE_PACKET(VC4_PACKET_INCREMENT_SEMAPHORE,
456 			  validate_increment_semaphore),
457 
458 	VC4_DEFINE_PACKET(VC4_PACKET_GL_INDEXED_PRIMITIVE,
459 			  validate_indexed_prim_list),
460 	VC4_DEFINE_PACKET(VC4_PACKET_GL_ARRAY_PRIMITIVE,
461 			  validate_gl_array_primitive),
462 
463 	VC4_DEFINE_PACKET(VC4_PACKET_PRIMITIVE_LIST_FORMAT, NULL),
464 
465 	VC4_DEFINE_PACKET(VC4_PACKET_GL_SHADER_STATE, validate_gl_shader_state),
466 
467 	VC4_DEFINE_PACKET(VC4_PACKET_CONFIGURATION_BITS, NULL),
468 	VC4_DEFINE_PACKET(VC4_PACKET_FLAT_SHADE_FLAGS, NULL),
469 	VC4_DEFINE_PACKET(VC4_PACKET_POINT_SIZE, NULL),
470 	VC4_DEFINE_PACKET(VC4_PACKET_LINE_WIDTH, NULL),
471 	VC4_DEFINE_PACKET(VC4_PACKET_RHT_X_BOUNDARY, NULL),
472 	VC4_DEFINE_PACKET(VC4_PACKET_DEPTH_OFFSET, NULL),
473 	VC4_DEFINE_PACKET(VC4_PACKET_CLIP_WINDOW, NULL),
474 	VC4_DEFINE_PACKET(VC4_PACKET_VIEWPORT_OFFSET, NULL),
475 	VC4_DEFINE_PACKET(VC4_PACKET_CLIPPER_XY_SCALING, NULL),
476 	/* Note: The docs say this was also 105, but it was 106 in the
477 	 * initial userland code drop.
478 	 */
479 	VC4_DEFINE_PACKET(VC4_PACKET_CLIPPER_Z_SCALING, NULL),
480 
481 	VC4_DEFINE_PACKET(VC4_PACKET_TILE_BINNING_MODE_CONFIG,
482 			  validate_tile_binning_config),
483 
484 	VC4_DEFINE_PACKET(VC4_PACKET_GEM_HANDLES, validate_gem_handles),
485 };
486 
487 int
488 vc4_validate_bin_cl(struct drm_device *dev,
489 		    void *validated,
490 		    void *unvalidated,
491 		    struct vc4_exec_info *exec)
492 {
493 	struct vc4_dev *vc4 = to_vc4_dev(dev);
494 	uint32_t len = exec->args->bin_cl_size;
495 	uint32_t dst_offset = 0;
496 	uint32_t src_offset = 0;
497 
498 	if (WARN_ON_ONCE(vc4->is_vc5))
499 		return -ENODEV;
500 
501 	while (src_offset < len) {
502 		void *dst_pkt = validated + dst_offset;
503 		void *src_pkt = unvalidated + src_offset;
504 		u8 cmd = *(uint8_t *)src_pkt;
505 		const struct cmd_info *info;
506 
507 		if (cmd >= ARRAY_SIZE(cmd_info)) {
508 			DRM_DEBUG("0x%08x: packet %d out of bounds\n",
509 				  src_offset, cmd);
510 			return -EINVAL;
511 		}
512 
513 		info = &cmd_info[cmd];
514 		if (!info->name) {
515 			DRM_DEBUG("0x%08x: packet %d invalid\n",
516 				  src_offset, cmd);
517 			return -EINVAL;
518 		}
519 
520 		if (src_offset + info->len > len) {
521 			DRM_DEBUG("0x%08x: packet %d (%s) length 0x%08x "
522 				  "exceeds bounds (0x%08x)\n",
523 				  src_offset, cmd, info->name, info->len,
524 				  src_offset + len);
525 			return -EINVAL;
526 		}
527 
528 		if (cmd != VC4_PACKET_GEM_HANDLES)
529 			memcpy(dst_pkt, src_pkt, info->len);
530 
531 		if (info->func && info->func(exec,
532 					     dst_pkt + 1,
533 					     src_pkt + 1)) {
534 			DRM_DEBUG("0x%08x: packet %d (%s) failed to validate\n",
535 				  src_offset, cmd, info->name);
536 			return -EINVAL;
537 		}
538 
539 		src_offset += info->len;
540 		/* GEM handle loading doesn't produce HW packets. */
541 		if (cmd != VC4_PACKET_GEM_HANDLES)
542 			dst_offset += info->len;
543 
544 		/* When the CL hits halt, it'll stop reading anything else. */
545 		if (cmd == VC4_PACKET_HALT)
546 			break;
547 	}
548 
549 	exec->ct0ea = exec->ct0ca + dst_offset;
550 
551 	if (!exec->found_start_tile_binning_packet) {
552 		DRM_DEBUG("Bin CL missing VC4_PACKET_START_TILE_BINNING\n");
553 		return -EINVAL;
554 	}
555 
556 	/* The bin CL must be ended with INCREMENT_SEMAPHORE and FLUSH.  The
557 	 * semaphore is used to trigger the render CL to start up, and the
558 	 * FLUSH is what caps the bin lists with
559 	 * VC4_PACKET_RETURN_FROM_SUB_LIST (so they jump back to the main
560 	 * render CL when they get called to) and actually triggers the queued
561 	 * semaphore increment.
562 	 */
563 	if (!exec->found_increment_semaphore_packet || !exec->found_flush) {
564 		DRM_DEBUG("Bin CL missing VC4_PACKET_INCREMENT_SEMAPHORE + "
565 			  "VC4_PACKET_FLUSH\n");
566 		return -EINVAL;
567 	}
568 
569 	return 0;
570 }
571 
572 static bool
573 reloc_tex(struct vc4_exec_info *exec,
574 	  void *uniform_data_u,
575 	  struct vc4_texture_sample_info *sample,
576 	  uint32_t texture_handle_index, bool is_cs)
577 {
578 	struct drm_gem_dma_object *tex;
579 	uint32_t p0 = *(uint32_t *)(uniform_data_u + sample->p_offset[0]);
580 	uint32_t p1 = *(uint32_t *)(uniform_data_u + sample->p_offset[1]);
581 	uint32_t p2 = (sample->p_offset[2] != ~0 ?
582 		       *(uint32_t *)(uniform_data_u + sample->p_offset[2]) : 0);
583 	uint32_t p3 = (sample->p_offset[3] != ~0 ?
584 		       *(uint32_t *)(uniform_data_u + sample->p_offset[3]) : 0);
585 	uint32_t *validated_p0 = exec->uniforms_v + sample->p_offset[0];
586 	uint32_t offset = p0 & VC4_TEX_P0_OFFSET_MASK;
587 	uint32_t miplevels = VC4_GET_FIELD(p0, VC4_TEX_P0_MIPLVLS);
588 	uint32_t width = VC4_GET_FIELD(p1, VC4_TEX_P1_WIDTH);
589 	uint32_t height = VC4_GET_FIELD(p1, VC4_TEX_P1_HEIGHT);
590 	uint32_t cpp, tiling_format, utile_w, utile_h;
591 	uint32_t i;
592 	uint32_t cube_map_stride = 0;
593 	enum vc4_texture_data_type type;
594 
595 	tex = vc4_use_bo(exec, texture_handle_index);
596 	if (!tex)
597 		return false;
598 
599 	if (sample->is_direct) {
600 		uint32_t remaining_size = tex->base.size - p0;
601 
602 		if (p0 > tex->base.size - 4) {
603 			DRM_DEBUG("UBO offset greater than UBO size\n");
604 			goto fail;
605 		}
606 		if (p1 > remaining_size - 4) {
607 			DRM_DEBUG("UBO clamp would allow reads "
608 				  "outside of UBO\n");
609 			goto fail;
610 		}
611 		*validated_p0 = tex->dma_addr + p0;
612 		return true;
613 	}
614 
615 	if (width == 0)
616 		width = 2048;
617 	if (height == 0)
618 		height = 2048;
619 
620 	if (p0 & VC4_TEX_P0_CMMODE_MASK) {
621 		if (VC4_GET_FIELD(p2, VC4_TEX_P2_PTYPE) ==
622 		    VC4_TEX_P2_PTYPE_CUBE_MAP_STRIDE)
623 			cube_map_stride = p2 & VC4_TEX_P2_CMST_MASK;
624 		if (VC4_GET_FIELD(p3, VC4_TEX_P2_PTYPE) ==
625 		    VC4_TEX_P2_PTYPE_CUBE_MAP_STRIDE) {
626 			if (cube_map_stride) {
627 				DRM_DEBUG("Cube map stride set twice\n");
628 				goto fail;
629 			}
630 
631 			cube_map_stride = p3 & VC4_TEX_P2_CMST_MASK;
632 		}
633 		if (!cube_map_stride) {
634 			DRM_DEBUG("Cube map stride not set\n");
635 			goto fail;
636 		}
637 	}
638 
639 	type = (VC4_GET_FIELD(p0, VC4_TEX_P0_TYPE) |
640 		(VC4_GET_FIELD(p1, VC4_TEX_P1_TYPE4) << 4));
641 
642 	switch (type) {
643 	case VC4_TEXTURE_TYPE_RGBA8888:
644 	case VC4_TEXTURE_TYPE_RGBX8888:
645 	case VC4_TEXTURE_TYPE_RGBA32R:
646 		cpp = 4;
647 		break;
648 	case VC4_TEXTURE_TYPE_RGBA4444:
649 	case VC4_TEXTURE_TYPE_RGBA5551:
650 	case VC4_TEXTURE_TYPE_RGB565:
651 	case VC4_TEXTURE_TYPE_LUMALPHA:
652 	case VC4_TEXTURE_TYPE_S16F:
653 	case VC4_TEXTURE_TYPE_S16:
654 		cpp = 2;
655 		break;
656 	case VC4_TEXTURE_TYPE_LUMINANCE:
657 	case VC4_TEXTURE_TYPE_ALPHA:
658 	case VC4_TEXTURE_TYPE_S8:
659 		cpp = 1;
660 		break;
661 	case VC4_TEXTURE_TYPE_ETC1:
662 		/* ETC1 is arranged as 64-bit blocks, where each block is 4x4
663 		 * pixels.
664 		 */
665 		cpp = 8;
666 		width = (width + 3) >> 2;
667 		height = (height + 3) >> 2;
668 		break;
669 	case VC4_TEXTURE_TYPE_BW1:
670 	case VC4_TEXTURE_TYPE_A4:
671 	case VC4_TEXTURE_TYPE_A1:
672 	case VC4_TEXTURE_TYPE_RGBA64:
673 	case VC4_TEXTURE_TYPE_YUV422R:
674 	default:
675 		DRM_DEBUG("Texture format %d unsupported\n", type);
676 		goto fail;
677 	}
678 	utile_w = utile_width(cpp);
679 	utile_h = utile_height(cpp);
680 
681 	if (type == VC4_TEXTURE_TYPE_RGBA32R) {
682 		tiling_format = VC4_TILING_FORMAT_LINEAR;
683 	} else {
684 		if (size_is_lt(width, height, cpp))
685 			tiling_format = VC4_TILING_FORMAT_LT;
686 		else
687 			tiling_format = VC4_TILING_FORMAT_T;
688 	}
689 
690 	if (!vc4_check_tex_size(exec, tex, offset + cube_map_stride * 5,
691 				tiling_format, width, height, cpp)) {
692 		goto fail;
693 	}
694 
695 	/* The mipmap levels are stored before the base of the texture.  Make
696 	 * sure there is actually space in the BO.
697 	 */
698 	for (i = 1; i <= miplevels; i++) {
699 		uint32_t level_width = max(width >> i, 1u);
700 		uint32_t level_height = max(height >> i, 1u);
701 		uint32_t aligned_width, aligned_height;
702 		uint32_t level_size;
703 
704 		/* Once the levels get small enough, they drop from T to LT. */
705 		if (tiling_format == VC4_TILING_FORMAT_T &&
706 		    size_is_lt(level_width, level_height, cpp)) {
707 			tiling_format = VC4_TILING_FORMAT_LT;
708 		}
709 
710 		switch (tiling_format) {
711 		case VC4_TILING_FORMAT_T:
712 			aligned_width = round_up(level_width, utile_w * 8);
713 			aligned_height = round_up(level_height, utile_h * 8);
714 			break;
715 		case VC4_TILING_FORMAT_LT:
716 			aligned_width = round_up(level_width, utile_w);
717 			aligned_height = round_up(level_height, utile_h);
718 			break;
719 		default:
720 			aligned_width = round_up(level_width, utile_w);
721 			aligned_height = level_height;
722 			break;
723 		}
724 
725 		level_size = aligned_width * cpp * aligned_height;
726 
727 		if (offset < level_size) {
728 			DRM_DEBUG("Level %d (%dx%d -> %dx%d) size %db "
729 				  "overflowed buffer bounds (offset %d)\n",
730 				  i, level_width, level_height,
731 				  aligned_width, aligned_height,
732 				  level_size, offset);
733 			goto fail;
734 		}
735 
736 		offset -= level_size;
737 	}
738 
739 	*validated_p0 = tex->dma_addr + p0;
740 
741 	if (is_cs) {
742 		exec->bin_dep_seqno = max(exec->bin_dep_seqno,
743 					  to_vc4_bo(&tex->base)->write_seqno);
744 	}
745 
746 	return true;
747  fail:
748 	DRM_INFO("Texture p0 at %d: 0x%08x\n", sample->p_offset[0], p0);
749 	DRM_INFO("Texture p1 at %d: 0x%08x\n", sample->p_offset[1], p1);
750 	DRM_INFO("Texture p2 at %d: 0x%08x\n", sample->p_offset[2], p2);
751 	DRM_INFO("Texture p3 at %d: 0x%08x\n", sample->p_offset[3], p3);
752 	return false;
753 }
754 
755 static int
756 validate_gl_shader_rec(struct drm_device *dev,
757 		       struct vc4_exec_info *exec,
758 		       struct vc4_shader_state *state)
759 {
760 	uint32_t *src_handles;
761 	void *pkt_u, *pkt_v;
762 	static const uint32_t shader_reloc_offsets[] = {
763 		4, /* fs */
764 		16, /* vs */
765 		28, /* cs */
766 	};
767 	uint32_t shader_reloc_count = ARRAY_SIZE(shader_reloc_offsets);
768 	struct drm_gem_dma_object *bo[ARRAY_SIZE(shader_reloc_offsets) + 8];
769 	uint32_t nr_attributes, nr_relocs, packet_size;
770 	int i;
771 
772 	nr_attributes = state->addr & 0x7;
773 	if (nr_attributes == 0)
774 		nr_attributes = 8;
775 	packet_size = gl_shader_rec_size(state->addr);
776 
777 	nr_relocs = ARRAY_SIZE(shader_reloc_offsets) + nr_attributes;
778 	if (nr_relocs * 4 > exec->shader_rec_size) {
779 		DRM_DEBUG("overflowed shader recs reading %d handles "
780 			  "from %d bytes left\n",
781 			  nr_relocs, exec->shader_rec_size);
782 		return -EINVAL;
783 	}
784 	src_handles = exec->shader_rec_u;
785 	exec->shader_rec_u += nr_relocs * 4;
786 	exec->shader_rec_size -= nr_relocs * 4;
787 
788 	if (packet_size > exec->shader_rec_size) {
789 		DRM_DEBUG("overflowed shader recs copying %db packet "
790 			  "from %d bytes left\n",
791 			  packet_size, exec->shader_rec_size);
792 		return -EINVAL;
793 	}
794 	pkt_u = exec->shader_rec_u;
795 	pkt_v = exec->shader_rec_v;
796 	memcpy(pkt_v, pkt_u, packet_size);
797 	exec->shader_rec_u += packet_size;
798 	/* Shader recs have to be aligned to 16 bytes (due to the attribute
799 	 * flags being in the low bytes), so round the next validated shader
800 	 * rec address up.  This should be safe, since we've got so many
801 	 * relocations in a shader rec packet.
802 	 */
803 	BUG_ON(roundup(packet_size, 16) - packet_size > nr_relocs * 4);
804 	exec->shader_rec_v += roundup(packet_size, 16);
805 	exec->shader_rec_size -= packet_size;
806 
807 	for (i = 0; i < shader_reloc_count; i++) {
808 		if (src_handles[i] > exec->bo_count) {
809 			DRM_DEBUG("Shader handle %d too big\n", src_handles[i]);
810 			return -EINVAL;
811 		}
812 
813 		bo[i] = exec->bo[src_handles[i]];
814 		if (!bo[i])
815 			return -EINVAL;
816 	}
817 	for (i = shader_reloc_count; i < nr_relocs; i++) {
818 		bo[i] = vc4_use_bo(exec, src_handles[i]);
819 		if (!bo[i])
820 			return -EINVAL;
821 	}
822 
823 	if (((*(uint16_t *)pkt_u & VC4_SHADER_FLAG_FS_SINGLE_THREAD) == 0) !=
824 	    to_vc4_bo(&bo[0]->base)->validated_shader->is_threaded) {
825 		DRM_DEBUG("Thread mode of CL and FS do not match\n");
826 		return -EINVAL;
827 	}
828 
829 	if (to_vc4_bo(&bo[1]->base)->validated_shader->is_threaded ||
830 	    to_vc4_bo(&bo[2]->base)->validated_shader->is_threaded) {
831 		DRM_DEBUG("cs and vs cannot be threaded\n");
832 		return -EINVAL;
833 	}
834 
835 	for (i = 0; i < shader_reloc_count; i++) {
836 		struct vc4_validated_shader_info *validated_shader;
837 		uint32_t o = shader_reloc_offsets[i];
838 		uint32_t src_offset = *(uint32_t *)(pkt_u + o);
839 		uint32_t *texture_handles_u;
840 		void *uniform_data_u;
841 		uint32_t tex, uni;
842 
843 		*(uint32_t *)(pkt_v + o) = bo[i]->dma_addr + src_offset;
844 
845 		if (src_offset != 0) {
846 			DRM_DEBUG("Shaders must be at offset 0 of "
847 				  "the BO.\n");
848 			return -EINVAL;
849 		}
850 
851 		validated_shader = to_vc4_bo(&bo[i]->base)->validated_shader;
852 		if (!validated_shader)
853 			return -EINVAL;
854 
855 		if (validated_shader->uniforms_src_size >
856 		    exec->uniforms_size) {
857 			DRM_DEBUG("Uniforms src buffer overflow\n");
858 			return -EINVAL;
859 		}
860 
861 		texture_handles_u = exec->uniforms_u;
862 		uniform_data_u = (texture_handles_u +
863 				  validated_shader->num_texture_samples);
864 
865 		memcpy(exec->uniforms_v, uniform_data_u,
866 		       validated_shader->uniforms_size);
867 
868 		for (tex = 0;
869 		     tex < validated_shader->num_texture_samples;
870 		     tex++) {
871 			if (!reloc_tex(exec,
872 				       uniform_data_u,
873 				       &validated_shader->texture_samples[tex],
874 				       texture_handles_u[tex],
875 				       i == 2)) {
876 				return -EINVAL;
877 			}
878 		}
879 
880 		/* Fill in the uniform slots that need this shader's
881 		 * start-of-uniforms address (used for resetting the uniform
882 		 * stream in the presence of control flow).
883 		 */
884 		for (uni = 0;
885 		     uni < validated_shader->num_uniform_addr_offsets;
886 		     uni++) {
887 			uint32_t o = validated_shader->uniform_addr_offsets[uni];
888 			((uint32_t *)exec->uniforms_v)[o] = exec->uniforms_p;
889 		}
890 
891 		*(uint32_t *)(pkt_v + o + 4) = exec->uniforms_p;
892 
893 		exec->uniforms_u += validated_shader->uniforms_src_size;
894 		exec->uniforms_v += validated_shader->uniforms_size;
895 		exec->uniforms_p += validated_shader->uniforms_size;
896 	}
897 
898 	for (i = 0; i < nr_attributes; i++) {
899 		struct drm_gem_dma_object *vbo =
900 			bo[ARRAY_SIZE(shader_reloc_offsets) + i];
901 		uint32_t o = 36 + i * 8;
902 		uint32_t offset = *(uint32_t *)(pkt_u + o + 0);
903 		uint32_t attr_size = *(uint8_t *)(pkt_u + o + 4) + 1;
904 		uint32_t stride = *(uint8_t *)(pkt_u + o + 5);
905 		uint32_t max_index;
906 
907 		exec->bin_dep_seqno = max(exec->bin_dep_seqno,
908 					  to_vc4_bo(&vbo->base)->write_seqno);
909 
910 		if (state->addr & 0x8)
911 			stride |= (*(uint32_t *)(pkt_u + 100 + i * 4)) & ~0xff;
912 
913 		if (vbo->base.size < offset ||
914 		    vbo->base.size - offset < attr_size) {
915 			DRM_DEBUG("BO offset overflow (%d + %d > %zu)\n",
916 				  offset, attr_size, vbo->base.size);
917 			return -EINVAL;
918 		}
919 
920 		if (stride != 0) {
921 			max_index = ((vbo->base.size - offset - attr_size) /
922 				     stride);
923 			if (state->max_index > max_index) {
924 				DRM_DEBUG("primitives use index %d out of "
925 					  "supplied %d\n",
926 					  state->max_index, max_index);
927 				return -EINVAL;
928 			}
929 		}
930 
931 		*(uint32_t *)(pkt_v + o) = vbo->dma_addr + offset;
932 	}
933 
934 	return 0;
935 }
936 
937 int
938 vc4_validate_shader_recs(struct drm_device *dev,
939 			 struct vc4_exec_info *exec)
940 {
941 	struct vc4_dev *vc4 = to_vc4_dev(dev);
942 	uint32_t i;
943 	int ret = 0;
944 
945 	if (WARN_ON_ONCE(vc4->is_vc5))
946 		return -ENODEV;
947 
948 	for (i = 0; i < exec->shader_state_count; i++) {
949 		ret = validate_gl_shader_rec(dev, exec, &exec->shader_state[i]);
950 		if (ret)
951 			return ret;
952 	}
953 
954 	return ret;
955 }
956