misc: Support for cross-platform trace/replay

Change-Id: If77890356911fa90d22af28a449a05284ad2097f

layers: Check BUFFER_CREATE_SPARSE_BINDING_BIT for buffers

layers: Validation buffer descriptor updates for bound memory

When updating buffer descriptors, make sure that there is memory bound to any
non-sparse buffer.
Add comment that we don't need to do this for image descriptor updates
because they require the imageView (not just image) and we already validate
at imageView creation that memory is bound to image.

layers: Refactor buffer/image validation functions

Add some consts and put fwd decls in core_validation_types.h so that these
can be used by descriptor_set class.

loader: Clean up some things in the MD file

Clean up some documentation in the LoaderAndLayerInterface
markdown.  Over the next few weeks, I'll be working on
cleaning up the format and language of this doc.

Change-Id: I7858981293de9befb34701c31542d88c664cd6d8

layers: Change pNext validation error to warning

Change the severity level of the parameter_validation layer's pNext
parameter validation messages from error to warning.  Also add an
explanation that the warning is derived from the Valid Usage
language from version X of the Vulkan spec/header, which may be out
of date:

This warning is based on the Valid Usage documentation for version %d
of the Vulkan header.  It is possible that you are using a struct
from a private extension or an extension that was added to a later
version of the Vulkan header, in which case your use of pNext is
perfectly valid but is not guaranteed to work correctly with
validation enabled

Issues-Addressed: LunarXchange 560
Change-Id: I97f55cba7538506d246e45ef603a86db9ad1adcb

layers: Add codegen header version

Add an integer constant to the parameter_validation layer's generated
code to specify the header/XML version from which the code was
generated.

Change-Id: Id690962856130007a24732a478ffa9c28f774b8f

codegen: Sync with Vulkan-Docs vk.xml

Update the local copy of vk.xml with header 21 changes from the
original Vulkan-Docs vk.xml.

Change-Id: I48af9f50ad31c79be2ef2c78c4a33392f7d64d51

layers: Fix Windows build warning

Change-Id: Ic40ff6cb79882be92abbb2d8c02298962c73e46f

layers: Fix an MSVS error and a warning.

Fatal error C1017: invalid integer constant expression
warning C4389: '!=': signed/unsigned mismatch

Change-Id: I13e06f1578e47a0076241e1a344f4f05ae6d50c2

layers: Clarify std_validation usage in README

Change-Id: Ia99542ca3f96d719f60d5dccab115340bd88c3f3

layers: Relax SC descriptor binding uniqueness to allow split variables

This allows the separate sampler & image variables case from 13.1.4 to
work correctly.

Signed-off-by: Chris Forbes <chrisforbes@google.com>

layers: Allow consuming COMBINED_IMAGE_SAMPLER as separate pieces

Signed-off-by: Chris Forbes <chrisforbes@google.com>

tests: Add test exceptions to doc validator

Don't require test cases for internal layer error cases.

tests: Remove old '_NA' doc check code

There are no "_NA" checks remaining so kill exception code for it.

layers: Kill redundant DRAWSTATE_PUSH_CONSTANTS_ERROR case

This check was really an INVALID_PIPELINE check that is already
handled by object_tracker so killing it in core_validation.

tests: Update doc for PUSH_CONSTANTS_ERROR

The DRAWSTATE_PUSH_CONSTANTS_ERROR cases are all hit by InvalidPushConstants
test.

layers: Replace INVALID_EVENT check with OBJECT_INUSE

If an event being destroyed is in use, the correct error enum to use
is DRAWSTATE_OBJECT_INUSE.

layers: Replace INVALID_SEMAPHORE with OBJECT_INUSE check

DRAWSTATE_INVALID_SEMAPHORE was bad name for what is really another
instance of DRAWSTATE_OBJECT_INUSE check. Updated the check to use
the new enum and removed the doc entry for the old check which is
no longer used.

tests: Remove duplicate check column from doc

tests: Updated test doc

Clarified cases to be checked for OBJECT_INUSE, INVALID_QUERY and
INVALID_FENCE cases.

tests: Update doc for CANT_FREE_FROM_NON_FREE_POOL

This case is correctly verified by test FreeDescriptorFromOneShotPool.

tests: Update doc for DRAWSTATE_INVALID_DESCRIPTOR_SET

Capture another affected API and update Notes.

layers: Remove DRAWSTATE_INVALID_POOL check

This check was only flagged when Allocating descriptor sets or resetting
a descriptor pool, and in both cases object_tracker will be the first layer
to identify and flag the error.

Removing this as a redundant check and updating documentation.

tests: Update doc for DRAWSTATE_VIEWPORT_SCISSOR_MISMATCH

All of these cases are hit by various tests so added those to the doc.

tests: Update doc for DRAWSTATE_INVALID_COMMAND_BUFFER

A few of these cases are already hit so added those test names.
Most of the cases are still not hit by testing, those, so broke
those out in the Notes column.

tests: Remove DRAWSTATE_INVALID_PIPELINE_LAYOUT enum value

This was no longer used anywhere so remove from enum and doc.

tests: Update doc for CB_SIMULTANEOUS_USE check

There are 3 cases of this check in validation. The first case is hit by
CommandBufferTwoSubmits test so added that.
The other 2 cases are both in CmdExecuteCommands() and are not hit to made
a note of that for future work.

loader: Clarify in docs about WSI and inst ext.

Clarify in the LoaderAndLayerInterface markdown file what WSI
extensions are available by default in the desktop loader.
Additionally, clarify that instance extensions are not supported
by the Loader unless they have been specifically added to the
Loader.

Change-Id: I21bd2a63ed1e4a7e50d27e7a6b136eeeaea4d68c

layers: GH773 Check improper renderpass layout for only first use

Only verify that a LOAD_OP attachment does not have first layout of *READ_ONLY*
type on its first use. The spec language this is checking is from section
"7.1 Render Pass Creation" :

The first use of an attachment must not specify a layout equal to
VK_IMAGE_LAYOUT_DEPTH_STENCIL_READ_ONLY_OPTIMAL or VK_IMAGE_LAYOUT_SHADER_READ_ONLY_OPTIMAL
if the attachment specifies that the loadOp is VK_ATTACHMENT_LOAD_OP_CLEAR.

Previously we were checking this condition on all uses of an attachment
which would incorrectly flag errors on proper uses beyond the first use by
later subpasses.

Note that validation for CreateRenderPass has a fair amount of duplication and
still needs to be cleaned up to consolidate work that's currently being done
before and after the call down the chain. This is simply a singular bug fix.

misc: update spirv tools revision

Change-Id: I8abb31de604ae4a50bb4900e9498de9953c5646b

layers: NV_dedicated_allocation support for unique_objects

Add ID substitution support for the
VkDedicatedAllocationMemoryAllocateInfoNV extension structure to the
unique_objects layer.  The current implementation is specific to the
case where the vkAllocateMemory pAllocateInfo parameter references
a single VkDedicatedAllocationMemoryAllocateInfoNV struct.

Issues-Addressed: GitHub #755
Change-Id: I33c3f00d32149044694ecafe808673e5d90107b4

misc: Update to Vulkan header version 21

Change-Id: I112bb3d53daf067b231532620f45cd8891537cbb

build: Update glslang to e4821e

This includes applying a patch to glslang to revert glslang
commit a5c33d, which fixes a texel fetch problem that many IHV
drivers are not ready to cope with yet.

layers: Fix minor completeness/performance issue

The first time the condition is discovered it will
be the same as every subsequent time, so there is
no need to continue. Also, the whole structure must
be compared, so memcmp assures that will happen
with good efficiency

Change-Id: I71f608c71f83ebcd02212bb391a30bdf15279ff6

windows: Return exit code from build script if any step fails

layers: Update clearValueCount check

The pClearValues array is indexed by the attachment index which
means that it must be at least as large as the last LOAD_OP_CLEAR
attachment in the renderpass. Updating this check to reflect this
requirement.

layers: PR767, Fix crash exiting smoketest

Commit a86b57c caused a Windows crash when shutting down smoketest.
Command buffer cleanup for object bindings wasn't happening when
calling DestroyCommandPool.

Change-Id: Ie233763e37ed9bc6988dddbf932aa3eda2960940

layers: LX555/GH663, Update details doc

Add entry for new buffer/image memory binding checks.

Change-Id: Ic02c97cd8dd7e054ca67a66d82fc5728bf9167be

layers: LX555/GH663, Add BindXxxMemory validation

If the user neglected to call BindImageMemory or BindBufferMemory,
validation gave not indication of the failure which then results in
a driver or layer crash. This commit extends and generalizes the
checks done for CreateImageView and CreateBufferView to cover all
the bound memory checks for the 'recording commands in command
buffer' case in spec section 11.6

Change-Id: I3b4a3d130e9b6c242413fc0ad14c1624295b33b3

layers: Handle binding between cmd buffer and query pools

For the CmdBind* functions that involve queryPool object, add a binding between
the cmd buffer and the queryPool.

In the event that a queryPool is destroyed, invalidate any bound cmd buffers
and make sure invalid reporting is handled correctly for query pools.

When a cmd buffer is destroyed that has query pool bindings, those bindings
will be cleared under existing object_binding cleanup in resetCB.

layers: Set cmd buffer invalid on event destroy

When an event is destroyed, set any cmd buffers that it was bound
to to the CB_INVALID state.

Also added getEventNode() helper and made use of it where appropriate.

layers: Rework Destroy/Free data structure cleanup

When destroying dispatchable objects we must cleanup internal data
structures prior to calling down the chain in the event that another
thread were to prempt execution and re-allocate a freed handle prior
to the layer cleanup code executing.

For non-dispatchable handles this shouldn't be a requirement due to
the fact that layers only see unique handles. However, moved some
non-dispatchable cleanup before the call to ICD as well for consistency
and to be extra safe.

layers: threading with cmd buffer handle reuse

A driver may reuse a command buffer handle in another thread.
The threading layer needs to remove command buffer information
before calling FreeCommandBuffers.
This addresses part of github issue #719.

layers: Remove unused vars from vk-layer-generate.py

layers: On Free/Destroy fix unique_objects map cleanup

When an object is freed or destroyed, unique_objects must clean up its
map entry prior to calling down the chain. This is becase the ICD may
be preempted just after object deletion, and the same object handle
could then be allocated before returning to validation. In that case,
unique_objects would delete the entry for the newly-created object.

layers: faster threading layer for single thread

Add a check to the threading layer to detect a single thread case.
If the application has only called vulkan from one thread at a time,
then skip access counters for externally synchronized parameters.
This greatly reduces the overhead of the layer for applications
that don't truly use vulkan in a multi-threaded way.

layers: Use type-specific mutexes in thread layer

Use type-specific mutexes to reduce lock contention.

loader: mr739 - Link VKstatic against shlwapi

Change-Id: I40345f39ece1d580139cb09ae01c1a36d43016dd

layers: Fix core_validation Win32 build

Change-Id: Ib15d5c6fad234c0d657b59613293f38d28969697

layers: Add binding between cmd buffer and pipeline

Track all pipelines bound to a cmd buffer and if any of them are destroyed
set the cmd buffer as invalid.

layers: Handle binding between cmd buffer and query pools

For the CmdBind* functions that involve queryPool object, add a binding between
the cmd buffer and the queryPool.

In the event that a queryPool is destroyed, invalidate any bound cmd buffers
and make sure invalid reporting is handled correctly for query pools.

When a cmd buffer is destroyed that has query pool bindings, those bindings
will be cleared under existing object_binding cleanup in resetCB.

layers: Add addCommandBufferBinding() utility function

Created addCommandBufferBinding() utility function that creates a link between the
cb_binding data struct of an object and the object_binding data struct of the cmd
buffer.

Currently updated events to use this utility function, but will expand to other
object types in the future.

layers: Set cmd buffer invalid on event destroy

When an event is destroyed, set any cmd buffers that it was bound
to to the CB_INVALID state.

Also added getEventNode() helper and made use of it where appropriate.

demos: Fix android build

docs: GH422 Addition of Buffer Validation Tests

Reflect new tests in documentation

Change-Id: Ib54179e4a1cea6aa38d2cf616bcf944c2e65eb08

layers: GH422 Support addition of Buffer Validation Tests

Remove dead code by getting rid of deleteMemObjInfo function,
add check for freeMemObjInfo failure, and fix an incorrect
validation test

Change-Id: Ie84d16883abfb6d4d41b06d6fa210c7011861ecd

layers: Handle special layerCount case

Make parameter validation logic for VkImageSubresource ignore
layerCount when it is set to VK_REMAINING_ARRAY_LAYERS.

Change-Id: Ib2e50e678c79f00850e085fe39c22631f9d00636
Issues-Addressed: GitHub VulkanTools #58

layers: Don't use instance pointer after it has been destroyed

In unique_objects' explicit_DestroyInstance(), the recently introduced
second get_dispatch_table() was using a destroyed instance as a lookup
key, failing to find an entry (since the driver controls that memory
and probably freed it), and was crashing consistently on PixelC.

Instead, use the instance pointer to cleanup instanceExtMap before
calling down to the ICD's DestroyInstance.

Additionally, use the existing VkLayerInstanceDispatchTable* instead
of calling get_dispatch_table() twice.

layers: Added return check for freeMemObjInfo call

In FreeMemory, the return value of freeMemObjInfo was
being ignored, which incorrectly allowed calls which
failed validation to still be passed to lower levels.
This change corrects that.

Change-Id: Iddbffad22f9502061441e961daef2e7fa26a5fcf

misc: Update to Vulkan header version 20

Changes:
vulkan.h
json files
linux SO version
loader and tests to reflect API change in vkCmdUpdateBuffer
vk.xml to match Vulkan-Docs

Change-Id: I1763bca6fccf619ad8e76c0363f68fa38ad69900

layers: Fix WIN32 build

Fix a uint64_t to VkImage reinterpret_cast for 32-bit VS2013.  I
Missed this when reviewing the previous change.

Change-Id: I4a0865ab546b45792b8f4d841f6c6c04ff22501b

layers: Remove cb_bindings when CB is reset

When a CB is reset (or freed) make sure to remove it from any image/buffer
cb_bindings that it was tied to.

demos: Remove VkCommandBufferInheritanceInfo

VkCommandBufferInheritanceInfo is only required for secondary buffers.
Remove from cube and tri.

Change-Id: I0000000000000decaf15bad00000000000000028

winsdk: Fix error when installing from syswow64

layers: Hold lock during pipelineLayoutMap.erase()

layers: Remove entries from pipelineLayoutMap

When VkPipelineLayout objects are destroyed, remove their corresponding
map entries.

layers: Update layout compatibility to use stored state

When checking VkPipelineLayout compatibility, it's possible that the
VkPipelineLayout handle that was bound may have been subsequently deleted.

To account for this, store the PIPELINE_LAYOUT_NODE at bind time and
use that to do the compatibility check.

layers: Rename vars

Migrate PIPELINE_LAYOUT_NODE members from camelcase.

layers: Simplify PIPELINE_LAYOUT_NODE

Just use setLayout vector and kill duplicate descriptorSetLayout vector.

layers: Store PIPELINE_LAYOUT_NODE directly in PIPELINE_NODE

The layout and its associated node may be deleted after pipeline is
created so store a copy of the PIPELINE_LAYOUT_NODE in the
PIPELINE_NODE to make sure data is available when it's needed.

layers: Rename pipelineLayout to pipeline_layout

build: patch glslang to fix g++ 5.3 compilation issue

Add GLSLANG_REVISION-sensitive step to update_external_sources
to patch glslang to allow compilation on Ubuntu 16.10,
Arch Linux and other platforms using g++ 5.3.

This patch won't happen if the GLSLANG_REVISION is changed.

Change-Id: I84a501cb44ee527f45f499d89b2745683e0c8e70

layers: GH689 Disable perf warning for linear tiled textures

Linear tiled textures should use GENERAL layout so perf warning doesn't apply.

layers: Minor refactor to save duplicate look-ups

Pass layer_data* and GLOBAL_CB_NODE* to Verify[Dest|Source]ImageLayout() to avoid
a second look-up of the same data.

layers: Fix handling of component qualifier on VS inputs

Interface matcher assumed no location aliasing, but this is allowed.

Signed-off-by: Chris Forbes <chrisforbes@google.com>

layers: Migrate to validateImageUsageFlags function

At ImageView creation time use validateImageUsageFlags function that avoids an
additional look-up for IMAGE_NODE. Kill previous validate_image_usage_flags()
function.

layers: Remove validate_buffer_usage_flags() function

Replaced with validateBufferUsageFlags()

layers: Invalidate Cmd Buffers on DestroyBuffer

When buffer is destroyed, any command buffers that it's bound to must
be invalidated.

layers: Invalidate Cmd Buffers on DestroyImage

When image is destroyed, any command buffers that it's bound to must
be invalidated. Also clean-up DestroyImage() a bit.

layers: Add binding between images and cmd buffer

For cmds that use images, update cb_bindings to tie image to cmd
buffer. This will be used to track invalid cmd buffers due to
destroying images.

The function structure here is the same but I've updated all of the
calls to use mem bindings from IMAGE_NODE with a single call rather
than the old two-call mechanism.

The assumption is that parameter_checker should be above
core_validation so I haven't replicated a bunch of its checks in the
case of invalid objects. I've added some asserts as a last line of
defense to make debugging invalid object issues in core_validation
simpler, but if running with full validation stack and responding to
validation errors from parameter_checker, then the asserts should
never be hit.

layers: Add image to IMAGE_NODE

Store image inside the image ptr so that once node is looked-up
all relevent data is available when just node ptr is passed around.

layers: Add binding between buffer and cmd buffer

Updated call mechanism to create binding between a VkBuffer
and a VkCommandBuffer so that it occurs in a single call.
Removed old mem_tracker mechanism for looking up memory from
a buffer and just use mem in BUFFER_NODE instead.
Also simplified call to check valid buffer use flags in order
to avoid a redundant map look-up.

Will make similar changes for images next.

layers: Bulk rename skipCall -> skip_call

Trying to migrate to consistent lowercase variable naming and
skip_call was different all over the place to unifying in a
single commit.

loader: Fix 2 warnings detected in VS2015.

warning C4456: declaration of 'i' hides previous local declaration
warning C4244: '=': conversion from 'int' to 'uint16_t', possible loss of data

Change-Id: I651de053b206afa36fce27af92ffbe0a608e89d0

layers: Remove device_limits from Android build

Change-Id: I4d63b740f046ee8378267082abc3792aa7a85418

scripts: Fix device_limits details doc validation

Change-Id: Idd383c1a28fa7007449fe24a205c2164b21dfe09

loader: Remove device_limits layer

Change-Id: I2660be2eb099ab6300b78e364991ca23f0abf26d

layers: Deprecate device_limits layer

Change-Id: Idd440935f3329d017ba4ee21d9ce87e432eec98e

demos: Remove device_limits layer from cube and tri

Change-Id: I834133e5054668433c355408886f46c042a2ec6f

tests: Add tests for invalid VkDescriptorBufferInfo

Hit 3 new checks just added for VkDescriptorBufferInfo:
1. offset larger than buffer
2. range of 0
3. range larger than buffer size minus offset

Also update descriptor write and copy update error enums to be more clear,
along with also updating documentation.

layers: Add validation for VkDescriptorBufferInfo struct

For a descriptor write update to a buffer type, verify that the contents of
VkDescriptorBufferInfo struct are valid according to valid usage guidelines
of the spec.

Spun off the usage bit validation into its own function ValidateBufferUsage().
Previous ValidateBufferUpdate() function now calls that function as well as
performing all of the checks for the buffer, range, and offset members of
VkDescriptorBufferInfo struct.

layers: Skip UNUSED attachments in pColorAttachments array

layers: Use VkRenderPassCreateInfo to check compatibility

Make the two renderpass compatibility functions only use VkRenderPassCreateInfo.
At the call site, check renderPass handles and if they don't match, proceed to
call the compatibility function with valid VkRenderPassCreateInfo.

Note that saved renderPass handles are valid at the call site, as they are
stored in framebuffer, command buffer, or pipeline state. However it's possible
that renderPass itself was destroyed, so VkRenderPassCreateInfo is pulled from
the framebuffer or pipeline state in those cases.

layers: GH690 Save renderPass create info in PSO

The renderPass that a pipeline is created with may be destroyed before
the pipeline is used in a draw. In order to make sure that the renderPass
data will live as long as the pipeline, save the VkRenderPassCreateInfo
using a safe_VkRenderPassCreateInfo in the PIPELINE_NODE struct.

layers: Init default safe_* struct ptrs to nullptr

When default-constructing safe_* struct types, make sure that
any ptrs are set to nullptr.

demos: Set window minimum size for tri.c

demos: Set window minimum size on windows.

Vulkan surface must be at least 1 pixel high, to prevent crash.

Change-Id: I0000000decaf15bad00000000000000000000026

layers: gh376 Verify memory on vkCreateXXXView

Verify that a vkImage has memory bound to it when
vkCreateImageView is called.  Likewise, verify vkBuffer
memory at vkCreateBufferView time.

Also, add tests to vk_layer_validation_tests:
CreateBufferViewNoMemoryBoundToBuffer and
CreateImageViewNoMemoryBoundToImage.

Change-Id: If0cf1c972f721e5596f7b8a1c7652f6165401b2c

layers: Use backing memory size rather than buffer size in barrier

Fixes #648.

Signed-off-by: Chris Forbes <chrisforbes@google.com>