blob: e54540eb3e52f906790c9e532f54c1cdf8f53d41 [file] [log] [blame]
Jasper St. Pierre512613a2019-04-08 16:25:23 -07001/* Copyright (c) 2015-2019 The Khronos Group Inc.
2 * Copyright (c) 2015-2019 Valve Corporation
3 * Copyright (c) 2015-2019 LunarG, Inc.
4 * Copyright (C) 2015-2019 Google Inc.
5 *
6 * Licensed under the Apache License, Version 2.0 (the "License");
7 * you may not use this file except in compliance with the License.
8 * You may obtain a copy of the License at
9 *
10 * http://www.apache.org/licenses/LICENSE-2.0
11 *
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
17 *
18 * Author: Cody Northrop <cnorthrop@google.com>
19 * Author: Michael Lentine <mlentine@google.com>
20 * Author: Tobin Ehlis <tobine@google.com>
21 * Author: Chia-I Wu <olv@google.com>
22 * Author: Chris Forbes <chrisf@ijw.co.nz>
23 * Author: Mark Lobodzinski <mark@lunarg.com>
24 * Author: Ian Elliott <ianelliott@google.com>
25 * Author: Dave Houlton <daveh@lunarg.com>
26 * Author: Dustin Graves <dustin@lunarg.com>
27 * Author: Jeremy Hayes <jeremy@lunarg.com>
28 * Author: Jon Ashburn <jon@lunarg.com>
29 * Author: Karl Schultz <karl@lunarg.com>
30 * Author: Mark Young <marky@lunarg.com>
31 * Author: Mike Schuchardt <mikes@lunarg.com>
32 * Author: Mike Weiblen <mikew@lunarg.com>
33 * Author: Tony Barbour <tony@LunarG.com>
34 * Author: John Zulauf <jzulauf@lunarg.com>
35 * Author: Shannon McPherson <shannon@lunarg.com>
36 */
37
38// Allow use of STL min and max functions in Windows
39#define NOMINMAX
40
41#include "chassis.h"
42#include "core_validation.h"
43
Mark Lobodzinski33a34b82019-04-25 11:38:36 -060044static inline void UpdateResourceTrackingOnDraw(CMD_BUFFER_STATE *pCB) { pCB->draw_data.push_back(pCB->current_draw_data); }
Jasper St. Pierre512613a2019-04-08 16:25:23 -070045
46// Generic function to handle validation for all CmdDraw* type functions
47bool CoreChecks::ValidateCmdDrawType(VkCommandBuffer cmd_buffer, bool indexed, VkPipelineBindPoint bind_point, CMD_TYPE cmd_type,
48 const char *caller, VkQueueFlags queue_flags, const char *queue_flag_code,
49 const char *renderpass_msg_code, const char *pipebound_msg_code,
50 const char *dynamic_state_msg_code) {
51 bool skip = false;
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -060052 CMD_BUFFER_STATE *cb_state = GetCBState(cmd_buffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -070053 if (cb_state) {
54 skip |= ValidateCmdQueueFlags(cb_state, caller, queue_flags, queue_flag_code);
55 skip |= ValidateCmd(cb_state, cmd_type, caller);
56 skip |=
57 ValidateCmdBufDrawState(cb_state, cmd_type, indexed, bind_point, caller, pipebound_msg_code, dynamic_state_msg_code);
58 skip |= (VK_PIPELINE_BIND_POINT_GRAPHICS == bind_point) ? OutsideRenderPass(cb_state, caller, renderpass_msg_code)
59 : InsideRenderPass(cb_state, caller, renderpass_msg_code);
60 }
61 return skip;
62}
63
64// Generic function to handle state update for all CmdDraw* and CmdDispatch* type functions
Mark Lobodzinski33a34b82019-04-25 11:38:36 -060065void CoreChecks::UpdateStateCmdDrawDispatchType(CMD_BUFFER_STATE *cb_state, VkPipelineBindPoint bind_point) {
Jasper St. Pierre512613a2019-04-08 16:25:23 -070066 UpdateDrawState(cb_state, bind_point);
67}
68
69// Generic function to handle state update for all CmdDraw* type functions
Mark Lobodzinski33a34b82019-04-25 11:38:36 -060070void CoreChecks::UpdateStateCmdDrawType(CMD_BUFFER_STATE *cb_state, VkPipelineBindPoint bind_point) {
Jasper St. Pierre512613a2019-04-08 16:25:23 -070071 UpdateStateCmdDrawDispatchType(cb_state, bind_point);
72 UpdateResourceTrackingOnDraw(cb_state);
73 cb_state->hasDrawCmd = true;
74}
75
76bool CoreChecks::PreCallValidateCmdDraw(VkCommandBuffer commandBuffer, uint32_t vertexCount, uint32_t instanceCount,
77 uint32_t firstVertex, uint32_t firstInstance) {
78 return ValidateCmdDrawType(commandBuffer, false, VK_PIPELINE_BIND_POINT_GRAPHICS, CMD_DRAW, "vkCmdDraw()",
79 VK_QUEUE_GRAPHICS_BIT, "VUID-vkCmdDraw-commandBuffer-cmdpool", "VUID-vkCmdDraw-renderpass",
80 "VUID-vkCmdDraw-None-00442", "VUID-vkCmdDraw-None-00443");
81}
82
83void CoreChecks::PreCallRecordCmdDraw(VkCommandBuffer commandBuffer, uint32_t vertexCount, uint32_t instanceCount,
84 uint32_t firstVertex, uint32_t firstInstance) {
85 GpuAllocateValidationResources(commandBuffer, VK_PIPELINE_BIND_POINT_GRAPHICS);
86}
87
88void CoreChecks::PostCallRecordCmdDraw(VkCommandBuffer commandBuffer, uint32_t vertexCount, uint32_t instanceCount,
89 uint32_t firstVertex, uint32_t firstInstance) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -060090 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -070091 UpdateStateCmdDrawType(cb_state, VK_PIPELINE_BIND_POINT_GRAPHICS);
92}
93
94bool CoreChecks::PreCallValidateCmdDrawIndexed(VkCommandBuffer commandBuffer, uint32_t indexCount, uint32_t instanceCount,
95 uint32_t firstIndex, int32_t vertexOffset, uint32_t firstInstance) {
96 bool skip = ValidateCmdDrawType(commandBuffer, true, VK_PIPELINE_BIND_POINT_GRAPHICS, CMD_DRAWINDEXED, "vkCmdDrawIndexed()",
97 VK_QUEUE_GRAPHICS_BIT, "VUID-vkCmdDrawIndexed-commandBuffer-cmdpool",
98 "VUID-vkCmdDrawIndexed-renderpass", "VUID-vkCmdDrawIndexed-None-00461",
99 "VUID-vkCmdDrawIndexed-None-00462");
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600100 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700101 if (!skip && (cb_state->status & CBSTATUS_INDEX_BUFFER_BOUND)) {
102 unsigned int index_size = 0;
103 const auto &index_buffer_binding = cb_state->index_buffer_binding;
104 if (index_buffer_binding.index_type == VK_INDEX_TYPE_UINT16) {
105 index_size = 2;
106 } else if (index_buffer_binding.index_type == VK_INDEX_TYPE_UINT32) {
107 index_size = 4;
108 }
109 VkDeviceSize end_offset = (index_size * ((VkDeviceSize)firstIndex + indexCount)) + index_buffer_binding.offset;
110 if (end_offset > index_buffer_binding.size) {
111 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_BUFFER_EXT,
112 HandleToUint64(index_buffer_binding.buffer), "VUID-vkCmdDrawIndexed-indexSize-00463",
113 "vkCmdDrawIndexed() index size (%d) * (firstIndex (%d) + indexCount (%d)) "
114 "+ binding offset (%" PRIuLEAST64 ") = an ending offset of %" PRIuLEAST64
115 " bytes, "
116 "which is greater than the index buffer size (%" PRIuLEAST64 ").",
117 index_size, firstIndex, indexCount, index_buffer_binding.offset, end_offset, index_buffer_binding.size);
118 }
119 }
120 return skip;
121}
122
123void CoreChecks::PreCallRecordCmdDrawIndexed(VkCommandBuffer commandBuffer, uint32_t indexCount, uint32_t instanceCount,
124 uint32_t firstIndex, int32_t vertexOffset, uint32_t firstInstance) {
125 GpuAllocateValidationResources(commandBuffer, VK_PIPELINE_BIND_POINT_GRAPHICS);
126}
127
128void CoreChecks::PostCallRecordCmdDrawIndexed(VkCommandBuffer commandBuffer, uint32_t indexCount, uint32_t instanceCount,
129 uint32_t firstIndex, int32_t vertexOffset, uint32_t firstInstance) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600130 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700131 UpdateStateCmdDrawType(cb_state, VK_PIPELINE_BIND_POINT_GRAPHICS);
132}
133
134bool CoreChecks::PreCallValidateCmdDrawIndirect(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset, uint32_t count,
135 uint32_t stride) {
136 bool skip = ValidateCmdDrawType(commandBuffer, false, VK_PIPELINE_BIND_POINT_GRAPHICS, CMD_DRAWINDIRECT, "vkCmdDrawIndirect()",
137 VK_QUEUE_GRAPHICS_BIT, "VUID-vkCmdDrawIndirect-commandBuffer-cmdpool",
138 "VUID-vkCmdDrawIndirect-renderpass", "VUID-vkCmdDrawIndirect-None-00485",
139 "VUID-vkCmdDrawIndirect-None-00486");
140 BUFFER_STATE *buffer_state = GetBufferState(buffer);
141 skip |= ValidateMemoryIsBoundToBuffer(buffer_state, "vkCmdDrawIndirect()", "VUID-vkCmdDrawIndirect-buffer-00474");
Jasper St. Pierrebf080462019-04-11 12:54:38 -0700142 skip |= ValidateBufferUsageFlags(buffer_state, VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT, true, "VUID-vkCmdDrawIndirect-buffer-01660",
143 "vkCmdDrawIndirect()", "VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT");
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700144 // TODO: If the drawIndirectFirstInstance feature is not enabled, all the firstInstance members of the
145 // VkDrawIndirectCommand structures accessed by this command must be 0, which will require access to the contents of 'buffer'.
146 return skip;
147}
148
149void CoreChecks::PreCallRecordCmdDrawIndirect(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset, uint32_t count,
150 uint32_t stride) {
151 GpuAllocateValidationResources(commandBuffer, VK_PIPELINE_BIND_POINT_GRAPHICS);
152}
153
154void CoreChecks::PostCallRecordCmdDrawIndirect(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset, uint32_t count,
155 uint32_t stride) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600156 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700157 BUFFER_STATE *buffer_state = GetBufferState(buffer);
158 UpdateStateCmdDrawType(cb_state, VK_PIPELINE_BIND_POINT_GRAPHICS);
159 AddCommandBufferBindingBuffer(cb_state, buffer_state);
160}
161
162bool CoreChecks::PreCallValidateCmdDrawIndexedIndirect(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
163 uint32_t count, uint32_t stride) {
164 bool skip = ValidateCmdDrawType(
165 commandBuffer, true, VK_PIPELINE_BIND_POINT_GRAPHICS, CMD_DRAWINDEXEDINDIRECT, "vkCmdDrawIndexedIndirect()",
166 VK_QUEUE_GRAPHICS_BIT, "VUID-vkCmdDrawIndexedIndirect-commandBuffer-cmdpool", "VUID-vkCmdDrawIndexedIndirect-renderpass",
167 "VUID-vkCmdDrawIndexedIndirect-None-00537", "VUID-vkCmdDrawIndexedIndirect-None-00538");
168 BUFFER_STATE *buffer_state = GetBufferState(buffer);
169 skip |= ValidateMemoryIsBoundToBuffer(buffer_state, "vkCmdDrawIndexedIndirect()", "VUID-vkCmdDrawIndexedIndirect-buffer-00526");
Jasper St. Pierrebf080462019-04-11 12:54:38 -0700170 skip |= ValidateBufferUsageFlags(buffer_state, VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT, true,
171 "VUID-vkCmdDrawIndexedIndirect-buffer-01665", "vkCmdDrawIndexedIndirect()",
172 "VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT");
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700173 // TODO: If the drawIndirectFirstInstance feature is not enabled, all the firstInstance members of the
174 // VkDrawIndexedIndirectCommand structures accessed by this command must be 0, which will require access to the contents of
175 // 'buffer'.
176 return skip;
177}
178
179void CoreChecks::PreCallRecordCmdDrawIndexedIndirect(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
180 uint32_t count, uint32_t stride) {
181 GpuAllocateValidationResources(commandBuffer, VK_PIPELINE_BIND_POINT_GRAPHICS);
182}
183
184void CoreChecks::PostCallRecordCmdDrawIndexedIndirect(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
185 uint32_t count, uint32_t stride) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600186 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700187 BUFFER_STATE *buffer_state = GetBufferState(buffer);
188 UpdateStateCmdDrawType(cb_state, VK_PIPELINE_BIND_POINT_GRAPHICS);
189 AddCommandBufferBindingBuffer(cb_state, buffer_state);
190}
191
192bool CoreChecks::PreCallValidateCmdDispatch(VkCommandBuffer commandBuffer, uint32_t x, uint32_t y, uint32_t z) {
Lockef39c0772019-04-03 14:40:02 -0600193 bool skip = false;
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600194 auto *cb_state = GetCBState(commandBuffer);
Lockef39c0772019-04-03 14:40:02 -0600195 if (cb_state) {
196 skip |= ValidateComputeWorkGroupInvocations(cb_state, x, y, z);
197 }
198 skip |= ValidateCmdDrawType(commandBuffer, false, VK_PIPELINE_BIND_POINT_COMPUTE, CMD_DISPATCH, "vkCmdDispatch()",
199 VK_QUEUE_COMPUTE_BIT, "VUID-vkCmdDispatch-commandBuffer-cmdpool", "VUID-vkCmdDispatch-renderpass",
200 "VUID-vkCmdDispatch-None-00391", kVUIDUndefined);
201 return skip;
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700202}
203
204void CoreChecks::PreCallRecordCmdDispatch(VkCommandBuffer commandBuffer, uint32_t x, uint32_t y, uint32_t z) {
205 GpuAllocateValidationResources(commandBuffer, VK_PIPELINE_BIND_POINT_COMPUTE);
206}
207
208void CoreChecks::PostCallRecordCmdDispatch(VkCommandBuffer commandBuffer, uint32_t x, uint32_t y, uint32_t z) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600209 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700210 UpdateStateCmdDrawDispatchType(cb_state, VK_PIPELINE_BIND_POINT_COMPUTE);
211}
212
213bool CoreChecks::PreCallValidateCmdDispatchIndirect(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset) {
214 bool skip =
215 ValidateCmdDrawType(commandBuffer, false, VK_PIPELINE_BIND_POINT_COMPUTE, CMD_DISPATCHINDIRECT, "vkCmdDispatchIndirect()",
216 VK_QUEUE_COMPUTE_BIT, "VUID-vkCmdDispatchIndirect-commandBuffer-cmdpool",
217 "VUID-vkCmdDispatchIndirect-renderpass", "VUID-vkCmdDispatchIndirect-None-00404", kVUIDUndefined);
218 BUFFER_STATE *buffer_state = GetBufferState(buffer);
219 skip |= ValidateMemoryIsBoundToBuffer(buffer_state, "vkCmdDispatchIndirect()", "VUID-vkCmdDispatchIndirect-buffer-00401");
Jasper St. Pierrebf080462019-04-11 12:54:38 -0700220 skip |=
221 ValidateBufferUsageFlags(buffer_state, VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT, true, "VUID-vkCmdDispatchIndirect-buffer-00405",
222 "vkCmdDispatchIndirect()", "VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT");
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700223 return skip;
224}
225
226void CoreChecks::PreCallRecordCmdDispatchIndirect(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset) {
227 GpuAllocateValidationResources(commandBuffer, VK_PIPELINE_BIND_POINT_COMPUTE);
228}
229
230void CoreChecks::PostCallRecordCmdDispatchIndirect(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600231 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700232 UpdateStateCmdDrawDispatchType(cb_state, VK_PIPELINE_BIND_POINT_COMPUTE);
233 BUFFER_STATE *buffer_state = GetBufferState(buffer);
234 AddCommandBufferBindingBuffer(cb_state, buffer_state);
235}
236
237bool CoreChecks::PreCallValidateCmdDrawIndirectCountKHR(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
238 VkBuffer countBuffer, VkDeviceSize countBufferOffset, uint32_t maxDrawCount,
239 uint32_t stride) {
240 bool skip = false;
241 if (offset & 3) {
242 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
243 HandleToUint64(commandBuffer), "VUID-vkCmdDrawIndirectCountKHR-offset-03108",
244 "vkCmdDrawIndirectCountKHR() parameter, VkDeviceSize offset (0x%" PRIxLEAST64 "), is not a multiple of 4.",
245 offset);
246 }
247
248 if (countBufferOffset & 3) {
249 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
250 HandleToUint64(commandBuffer), "VUID-vkCmdDrawIndirectCountKHR-countBufferOffset-03109",
251 "vkCmdDrawIndirectCountKHR() parameter, VkDeviceSize countBufferOffset (0x%" PRIxLEAST64
252 "), is not a multiple of 4.",
253 countBufferOffset);
254 }
255
256 if ((stride & 3) || stride < sizeof(VkDrawIndirectCommand)) {
257 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
258 HandleToUint64(commandBuffer), "VUID-vkCmdDrawIndirectCountKHR-stride-03110",
259 "vkCmdDrawIndirectCountKHR() parameter, uint32_t stride (0x%" PRIxLEAST32
260 "), is not a multiple of 4 or smaller than sizeof (VkDrawIndirectCommand).",
261 stride);
262 }
263
264 skip |= ValidateCmdDrawType(commandBuffer, false, VK_PIPELINE_BIND_POINT_GRAPHICS, CMD_DRAWINDIRECTCOUNTKHR,
265 "vkCmdDrawIndirectCountKHR()", VK_QUEUE_GRAPHICS_BIT,
266 "VUID-vkCmdDrawIndirectCountKHR-commandBuffer-cmdpool", "VUID-vkCmdDrawIndirectCountKHR-renderpass",
267 "VUID-vkCmdDrawIndirectCountKHR-None-03119", "VUID-vkCmdDrawIndirectCountKHR-None-03120");
268 BUFFER_STATE *buffer_state = GetBufferState(buffer);
269 BUFFER_STATE *count_buffer_state = GetBufferState(countBuffer);
270 skip |=
271 ValidateMemoryIsBoundToBuffer(buffer_state, "vkCmdDrawIndirectCountKHR()", "VUID-vkCmdDrawIndirectCountKHR-buffer-03104");
272 skip |= ValidateMemoryIsBoundToBuffer(count_buffer_state, "vkCmdDrawIndirectCountKHR()",
273 "VUID-vkCmdDrawIndirectCountKHR-countBuffer-03106");
Jasper St. Pierrebf080462019-04-11 12:54:38 -0700274 skip |= ValidateBufferUsageFlags(buffer_state, VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT, true,
275 "VUID-vkCmdDrawIndirectCountKHR-buffer-03105", "vkCmdDrawIndirectCountKHR()",
276 "VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT");
277 skip |= ValidateBufferUsageFlags(count_buffer_state, VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT, true,
278 "VUID-vkCmdDrawIndirectCountKHR-countBuffer-03107", "vkCmdDrawIndirectCountKHR()",
279 "VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT");
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700280 return skip;
281}
282
283void CoreChecks::PreCallRecordCmdDrawIndirectCountKHR(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
284 VkBuffer countBuffer, VkDeviceSize countBufferOffset, uint32_t maxDrawCount,
285 uint32_t stride) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600286 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700287 BUFFER_STATE *buffer_state = GetBufferState(buffer);
288 BUFFER_STATE *count_buffer_state = GetBufferState(countBuffer);
289 UpdateStateCmdDrawType(cb_state, VK_PIPELINE_BIND_POINT_GRAPHICS);
290 AddCommandBufferBindingBuffer(cb_state, buffer_state);
291 AddCommandBufferBindingBuffer(cb_state, count_buffer_state);
292}
293
294bool CoreChecks::PreCallValidateCmdDrawIndexedIndirectCountKHR(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
295 VkBuffer countBuffer, VkDeviceSize countBufferOffset,
296 uint32_t maxDrawCount, uint32_t stride) {
297 bool skip = false;
298 if (offset & 3) {
299 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
300 HandleToUint64(commandBuffer), "VUID-vkCmdDrawIndexedIndirectCountKHR-offset-03140",
301 "vkCmdDrawIndexedIndirectCountKHR() parameter, VkDeviceSize offset (0x%" PRIxLEAST64
302 "), is not a multiple of 4.",
303 offset);
304 }
305
306 if (countBufferOffset & 3) {
307 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
308 HandleToUint64(commandBuffer), "VUID-vkCmdDrawIndexedIndirectCountKHR-countBufferOffset-03141",
309 "vkCmdDrawIndexedIndirectCountKHR() parameter, VkDeviceSize countBufferOffset (0x%" PRIxLEAST64
310 "), is not a multiple of 4.",
311 countBufferOffset);
312 }
313
314 if ((stride & 3) || stride < sizeof(VkDrawIndexedIndirectCommand)) {
315 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
316 HandleToUint64(commandBuffer), "VUID-vkCmdDrawIndexedIndirectCountKHR-stride-03142",
317 "vkCmdDrawIndexedIndirectCountKHR() parameter, uint32_t stride (0x%" PRIxLEAST32
318 "), is not a multiple of 4 or smaller than sizeof (VkDrawIndexedIndirectCommand).",
319 stride);
320 }
321
322 skip |= ValidateCmdDrawType(
323 commandBuffer, true, VK_PIPELINE_BIND_POINT_GRAPHICS, CMD_DRAWINDEXEDINDIRECTCOUNTKHR, "vkCmdDrawIndexedIndirectCountKHR()",
324 VK_QUEUE_GRAPHICS_BIT, "VUID-vkCmdDrawIndexedIndirectCountKHR-commandBuffer-cmdpool",
325 "VUID-vkCmdDrawIndexedIndirectCountKHR-renderpass", "VUID-vkCmdDrawIndexedIndirectCountKHR-None-03151",
326 "VUID-vkCmdDrawIndexedIndirectCountKHR-None-03152");
327 BUFFER_STATE *buffer_state = GetBufferState(buffer);
328 BUFFER_STATE *count_buffer_state = GetBufferState(countBuffer);
329 skip |= ValidateMemoryIsBoundToBuffer(buffer_state, "vkCmdDrawIndexedIndirectCountKHR()",
330 "VUID-vkCmdDrawIndexedIndirectCountKHR-buffer-03136");
331 skip |= ValidateMemoryIsBoundToBuffer(count_buffer_state, "vkCmdDrawIndexedIndirectCountKHR()",
332 "VUID-vkCmdDrawIndexedIndirectCountKHR-countBuffer-03138");
Jasper St. Pierrebf080462019-04-11 12:54:38 -0700333 skip |= ValidateBufferUsageFlags(buffer_state, VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT, true,
334 "VUID-vkCmdDrawIndexedIndirectCountKHR-buffer-03137", "vkCmdDrawIndexedIndirectCountKHR()",
335 "VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT");
336 skip |= ValidateBufferUsageFlags(count_buffer_state, VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT, true,
337 "VUID-vkCmdDrawIndexedIndirectCountKHR-countBuffer-03139",
338 "vkCmdDrawIndexedIndirectCountKHR()", "VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT");
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700339 return skip;
340}
341
342void CoreChecks::PreCallRecordCmdDrawIndexedIndirectCountKHR(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
343 VkBuffer countBuffer, VkDeviceSize countBufferOffset,
344 uint32_t maxDrawCount, uint32_t stride) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600345 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700346 BUFFER_STATE *buffer_state = GetBufferState(buffer);
347 BUFFER_STATE *count_buffer_state = GetBufferState(countBuffer);
348 UpdateStateCmdDrawType(cb_state, VK_PIPELINE_BIND_POINT_GRAPHICS);
349 AddCommandBufferBindingBuffer(cb_state, buffer_state);
350 AddCommandBufferBindingBuffer(cb_state, count_buffer_state);
351}
352
353bool CoreChecks::PreCallValidateCmdDrawMeshTasksNV(VkCommandBuffer commandBuffer, uint32_t taskCount, uint32_t firstTask) {
354 bool skip = ValidateCmdDrawType(commandBuffer, false, VK_PIPELINE_BIND_POINT_GRAPHICS, CMD_DRAWMESHTASKSNV,
355 "vkCmdDrawMeshTasksNV()", VK_QUEUE_GRAPHICS_BIT,
356 "VUID-vkCmdDrawMeshTasksNV-commandBuffer-cmdpool", "VUID-vkCmdDrawMeshTasksNV-renderpass",
357 "VUID-vkCmdDrawMeshTasksNV-None-02125", "VUID-vkCmdDrawMeshTasksNV-None-02126");
358 return skip;
359}
360
361void CoreChecks::PreCallRecordCmdDrawMeshTasksNV(VkCommandBuffer commandBuffer, uint32_t taskCount, uint32_t firstTask) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600362 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700363 UpdateStateCmdDrawType(cb_state, VK_PIPELINE_BIND_POINT_GRAPHICS);
364}
365
366bool CoreChecks::PreCallValidateCmdDrawMeshTasksIndirectNV(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
367 uint32_t drawCount, uint32_t stride) {
368 bool skip = ValidateCmdDrawType(commandBuffer, false, VK_PIPELINE_BIND_POINT_GRAPHICS, CMD_DRAWMESHTASKSINDIRECTNV,
369 "vkCmdDrawMeshTasksIndirectNV()", VK_QUEUE_GRAPHICS_BIT,
370 "VUID-vkCmdDrawMeshTasksIndirectNV-commandBuffer-cmdpool",
371 "VUID-vkCmdDrawMeshTasksIndirectNV-renderpass", "VUID-vkCmdDrawMeshTasksIndirectNV-None-02154",
372 "VUID-vkCmdDrawMeshTasksIndirectNV-None-02155");
373 BUFFER_STATE *buffer_state = GetBufferState(buffer);
374 skip |= ValidateMemoryIsBoundToBuffer(buffer_state, "vkCmdDrawMeshTasksIndirectNV()",
375 "VUID-vkCmdDrawMeshTasksIndirectNV-buffer-02143");
Jasper St. Pierrebf080462019-04-11 12:54:38 -0700376 skip |= ValidateBufferUsageFlags(buffer_state, VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT, true,
377 "VUID-vkCmdDrawMeshTasksIndirectNV-buffer-02144", "vkCmdDrawMeshTasksIndirectNV()",
378 "VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT");
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700379 return skip;
380}
381
382void CoreChecks::PreCallRecordCmdDrawMeshTasksIndirectNV(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
383 uint32_t drawCount, uint32_t stride) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600384 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700385 UpdateStateCmdDrawType(cb_state, VK_PIPELINE_BIND_POINT_GRAPHICS);
386 BUFFER_STATE *buffer_state = GetBufferState(buffer);
387 if (buffer_state) {
388 AddCommandBufferBindingBuffer(cb_state, buffer_state);
389 }
390}
391
392bool CoreChecks::PreCallValidateCmdDrawMeshTasksIndirectCountNV(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
393 VkBuffer countBuffer, VkDeviceSize countBufferOffset,
394 uint32_t maxDrawCount, uint32_t stride) {
395 bool skip = ValidateCmdDrawType(
396 commandBuffer, false, VK_PIPELINE_BIND_POINT_GRAPHICS, CMD_DRAWMESHTASKSINDIRECTCOUNTNV,
397 "vkCmdDrawMeshTasksIndirectCountNV()", VK_QUEUE_GRAPHICS_BIT,
398 "VUID-vkCmdDrawMeshTasksIndirectCountNV-commandBuffer-cmdpool", "VUID-vkCmdDrawMeshTasksIndirectCountNV-renderpass",
399 "VUID-vkCmdDrawMeshTasksIndirectCountNV-None-02189", "VUID-vkCmdDrawMeshTasksIndirectCountNV-None-02190");
400 BUFFER_STATE *buffer_state = GetBufferState(buffer);
401 BUFFER_STATE *count_buffer_state = GetBufferState(countBuffer);
402 skip |= ValidateMemoryIsBoundToBuffer(buffer_state, "vkCmdDrawMeshTasksIndirectCountNV()",
403 "VUID-vkCmdDrawMeshTasksIndirectCountNV-buffer-02176");
404 skip |= ValidateMemoryIsBoundToBuffer(count_buffer_state, "vkCmdDrawMeshTasksIndirectCountNV()",
405 "VUID-vkCmdDrawMeshTasksIndirectCountNV-countBuffer-02178");
Jasper St. Pierrebf080462019-04-11 12:54:38 -0700406 skip |= ValidateBufferUsageFlags(buffer_state, VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT, true,
407 "VUID-vkCmdDrawMeshTasksIndirectCountNV-buffer-02177", "vkCmdDrawIndexedIndirectCountKHR()",
408 "VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT");
409 skip |= ValidateBufferUsageFlags(count_buffer_state, VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT, true,
410 "VUID-vkCmdDrawMeshTasksIndirectCountNV-countBuffer-02179",
411 "vkCmdDrawIndexedIndirectCountKHR()", "VK_BUFFER_USAGE_INDIRECT_BUFFER_BIT");
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700412 return skip;
413}
414
415void CoreChecks::PreCallRecordCmdDrawMeshTasksIndirectCountNV(VkCommandBuffer commandBuffer, VkBuffer buffer, VkDeviceSize offset,
416 VkBuffer countBuffer, VkDeviceSize countBufferOffset,
417 uint32_t maxDrawCount, uint32_t stride) {
Mark Lobodzinskicefe42f2019-04-25 12:16:27 -0600418 CMD_BUFFER_STATE *cb_state = GetCBState(commandBuffer);
Jasper St. Pierre512613a2019-04-08 16:25:23 -0700419 BUFFER_STATE *buffer_state = GetBufferState(buffer);
420 BUFFER_STATE *count_buffer_state = GetBufferState(countBuffer);
421 UpdateStateCmdDrawType(cb_state, VK_PIPELINE_BIND_POINT_GRAPHICS);
422 if (buffer_state) {
423 AddCommandBufferBindingBuffer(cb_state, buffer_state);
424 }
425 if (count_buffer_state) {
426 AddCommandBufferBindingBuffer(cb_state, count_buffer_state);
427 }
428}