layers: Replace draw_state and mem_tracker with core validation

Change-Id: Ib8eb7491f6c60bc6d05da64a2311c8cfa5f88d60

cmake: Find spirv/glslang dependencies

Replace the hardcoded glslang and spirv-tools path with
CMake find macros to find the include, library, and programs.

Change-Id: Id498ad75d663f2795207b39b40a11ddfe2c03920

winrtinstaller: Install both x86 and x64 redist's if either is not installed

Fix for issue:
  https://github.com/KhronosGroup/Vulkan-LoaderAndValidationLayers/issues/109

layers: Add some defensive code to core_validation

Missed a NULL check and assert when I merged in the bindingToIndexMap fix for descriptor type/stageFlags.

cmake: Fix windows debug build for large object files

The core_validation layer is presently large.

Change-Id: Id1ab0dd0af0a3bc18078bdd50bf42add46d77339

layers: Fix crash in core_validation layer

CommandBuffers were getting added to commandPoolMap twice.

Change-Id: I115757751ef0aebb1f2599217b3117beca3cd0b7

layers: Add json files for core_validation layer

Change-Id: I69495151be84fa18feb5a55848eb536ac9e73100

layers: Fix core_validation compilation error

Change-Id: I1ed4fffbf607465239afbce4d7d28b11bceaa548

layers:  Merge mem_tracker and draw_state layers into core_validation layer

cube & tri --validate now use core_validation instead of MT & DS

Very little efficiency has been pulled out for this initial merge.
A few maps have been merged, but otherwise almost all of the mem_tracker
code is pulled intact and surrounded in "#if MTMERGE" blocks.

Change-Id: Icf060bfc0177fc8c9fa7d8d57f7ddc446357b665

layers: GH130 Fix to correctly get type/flags from set binding

We were using bindingToIndexMap to do look-ups into type and stage vectors which is incorrect.
bindingToIndexMap is to index into the original pBindings map that was passed in when the
layout was created. This fix does this to correctly pull type and stage of a binding in draw_state.

winrtinstaller: Verify vulkan-1-*dll has correct file name format

layers: PR118, Remove erroneous validation error from swapchain

Remove error when selecting VK_PRESENT_MODE_FIFO_KHR (required to be supported)
without enumerating the supported presentation modes first.

Change-Id: Iacc8fa55dec1b1f72011041813b423f95912a092

layers: GH132 Event handle should be printed as a hexadecimal value

android: Fix android build

Account for update of draw_state to include SPIRV/spirv.hpp.

layers: draw state image/layout cleanup

Remove tracked device memory, subresource, and layout data associated
with an image when that image is destroyed.  Eliminates spurious
draw state messages that report invalid layout issues when the
destroyed image's handle is recylced and the new image state is
validated with the old image's data.

Change-Id: Ia956a3f7c60a34e6357f4d0d4d9dfe760910e97c

layers: Change header path for spirv.h in draw_state

Change-Id: I8d2739daa17fc6b971e9e093158b22b211920558

#include formatting changes for relative look-up.

- <> notation skips relative path searching in Visual Studio with some settings (and per language spec if I'm not mistaken).  Switched to "" notation for includes where relative look-up seemed to be the intention.

demos: Fix typo in tri.c that prevented validate arg from working correctly

Change-Id: I8562e601c27e2413071f47ed97fe5ffd9f46bd07

layers: Add pNext parameter checking

Validate pNext based on the validextensionstructs tag from the XML
registry.  If the tag provides a list of valid structures, walk the
pNext list and check each node's sType value agains the
VkStructureType value associated with the structs from the list.
If no valid structure list is provided, ensure that pNext is NULL.

Invalid struct types produce errors similar to the following:
ERROR: [PARAMCHECK] Code 1 : vkCreateImage: pCreateInfo->pNext chain
 includes a structure with unexpected VkStructureType
 VK_STRUCTURE_TYPE_APPLICATION_INFO; Allowed structures are
 [VkInstanceCreateInfo, VkDeviceCreateInfo]

Change-Id: I2c2471a068cb304120c66cb4156331999f8548cd

loader: make sure createDevice uses ICDs physicalDevice

Trampoline CreateDevice was using the terminator's physicalDevice instead of
the ICDs.

Change-Id: Ifdc6497fe4130e1ac1440b225401e65600b2a999

spirv: Pick up SPIRV-Tools fix for version generation script.

This bug would only occur when building spirv-tools outside
of a git repo, such as inside of an SDK install.  When
outside of a git repo, the version generation script
would hit a corner case, making the python script fail.

Change-Id: I5c3a8ce35e8379396e8d19281bbe3331a3f75820

loader: Fix cmake on win for list of normal and opt sources

Change-Id: I5eb7836ba0606628fc663ecfa8cd3ca4d535a8b9

layers: GH67: Add missing mem_tracker interception for vkCmdBlitImage() calls

Change-Id: I5d683323f6d038907ecb82e62c418e00aeaa5315

layers: Fix overlapping attachment aliasing dependency check in draw_state

Change-Id: I3707afae288ed8edb644d68a6cacc9781ed11558

layers: Enfoce that unique objects if enabled happens before draw_state in the chain.

layers: Fix draw_state handling of special image layouts in CmdPipelineBarrier

Layer was ignoring VK_REMAINING_MIP_LEVELS and *ARRAY_LAYERS, resulting in
Source2 applications hanging.

Change-Id: I2ebecd3120eec9a97b6f3672984c15bd2e438c5c

loader: fix cmake file so it doesn't always build loader with DEBUG

layers: Fix helper script to not dereference strings with a NULL pointer.

Fixes the string helper functions.

Change-Id: I4177e498b734af9188088188a16a09aa2a6113b3

layers: Update layer validation details document

Change-Id: I4990f7882061ce36f4520ce20655b0ceb06ba168

layers: GH99 Track all command buffers submitted at once at the same time.

layers: GH96 Fix error messages for bad layout

Instead of printing attachements as #s in the error messages, print the layout string.

layers: GH98 Only check fence in-use once per QueueSubmit

In vkQueueSubmit, perform the fence in-use check first.
Then validate each submit, which includes marking the current fence in-use.

docs: Update README.md

Change-Id: Idba8b7e07d3a71e49c01e406825b96ccbb342efa

Update BUILD.md

Update for upcoming SDK release.
Reword to make it less necessary to change this file for future SDK releases.

Update CONTRIBUTING.md

Fix typos

layers: GH94 Correctly map bindingToIndex in draw_state (thanks @baldurk)

Update CONTRIBUTING.md

Rework info so that it can be used in the three repos.

layers: Add checking for may alias bit.

layers: Format updates for attachments overlapping memory code in draw_state

layers: Lighten object tracker slightly

Just avoiding some repeated unordered_map lookups.

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

layers: Remove documentation for now-defunct check "FS_MIXED_BROADCAST"

layers: Add descriptor type matching to DrawState

(Squashed from 6 commits of WIP series)

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

layers: clang-format  layers directory

Change-Id: I318e3759829f33441e57aafedec1e9ec06d658c4

layers: Add string array parameter checking

The param_checker layer had previously peformed a NULL
check on the pointer to a string array, but had not
performed a NULL check for the individual strings in the
array.  This adds NULL checks for the individual strings.

Change-Id: Id4527f670086187e8cd1f146027bfdfd1e134b7b

layers: Remove redundant/unused param checker code

Removes param checker sType and NULL check code that is now
 auto-generated.  Also remove empty functions and conditional
statements.

Change-Id: I8be8aab0bf3a8fa60219e1066a7d3d6c9d26ec05

layers: LX430, Modfiy object_tracker to handle multiple instances

Upon DestroyInstance, OT indicated that all objects in all maps were
not properly destroyed. Made this reporting work on a per-instance basis.

Change-Id: I9b4eae4364a24597cb449610a31bf9b872c45225

layers: GH83 Fix updates of copies descriptor sets in draw_state

When a copied descriptor update is valid, need to update pUpdateStructs
for the destination set. There are still some issues with how copied
descriptors are handled in draw_state (noted in TODO on line 3049) but
this fix addresses specific issue in GH83.

layers: Fix layer documentation so that it can be auto-validated

Validator currently requires each table entry to be on a single line. Fixing a couple of multi-line entries.

layers: Count attachments as the same if they have overlapping memory.

loader: Fix issue passing wrong instance if layer wraps instances

Change-Id: Iafd0f7dc3e4a911b165d3df1dadddf4d45fbef10

layers: LX405 Avoid some checks when rastrization is disabled.

When rasterization is disabled, some pipeline state checks can
be skipped since they would not be used, including sample
counts and viewport/scissor counts.
Add rasterization state to graphics pipelines in the
test suite because it is required.

Change-Id: I88f76038c2acc0abd0565f1655ceeed128557f77

codegen: LX424 Generate code for WSI-specific funs in GIPA.

For the unique_objects and object_tracker layers, generate
system types (xcb, xlib, wayland, mir) in GetInstanceProcAddr.
The previous code would only generate code for one display
system, even if more than one was selected by the CMake config.
The code to return these proc addresses is conditionally compiled
with the corresponding USE_PLATFORM #ifdef, and the CMake config
can go ahead and set multiple USE_PLATFORM defines.
The result is that GIPA resolves proc address requests for these
functions and allows them to be hooked properly when the layers
are loaded.

Change-Id: I2fa38847863f0a1187dd17d882ef9d94f546527f

Bump api_version to 1.0.5 in json files

Change-Id: I71a03cd8043906074f6c3be98af0006e1aeaf5ee

layers: Add func pointer NULL checks

Add code generated NULL checks for function pointers.  This enables
parameter checking for the VkAllocationCallbacks struct, with
param_checker additions for the vkDestroy functions that
receive VkAllocationCallbacks parameters.

Change-Id: I9910c52026aa584bb013ee5015b5cb04b2d6ddcd

layers: GH41 Flag error if cmd buffer references destroyed framebuffer

Create framebuffer node and include set of cmd buffers that reference that FB.
At the time when RenderPass is bound to cmd buffer, or when secondary cmd buffer
is created with framebuffer inheritence, store a reference from FB to cmd buffer.

When FB destroyed, set any cmd buffers referencing it as INVALID and store FB ref.

At submit time, if CB is INVALID, check for any destroyed FBs and report them.

layers: Fix android build of draw_state

Need to static cast NULL to VkFence in FENCE_NODE constructor.

layers: Fix android build from linux or Win32 system

When we codegen layers for android build, cmd line is long which was causing us to not customize build based on "Android" option on cmd line.

Handling "Android" as special case currently so android can easily be built from Win32 or linux.
Need to clean this code up at some point to make it easier to build various targets from different dev system types.

Use size_t types for output size_t.

build: Enable Xlib support to default ON on Linux builds

Change-Id: I5a89e81caf31b6cc5a5f0668a97fb05e8e6462aa

loader: gllvl #50, Add support for the WSI extension KHR_display

Change-Id: I8d5ecc7500beba3042a6b9147b2f3fd3055b3b1d

layers: LX431, FENCE_NODE structures not initialized

The fenceMap structures are never initialized, resulting in indeterminate
behavior including bad draw_state validation messages from the smoke
test. Added a default constructor to FENCE_MAP.

Change-Id: I27e6b48e485bbb1e8774e2d5789e1e8d1b48020b

build: Fix CMake Xlib DisplayServer name.

Change-Id: Ia50157cd4f245971208a1baa28c823a62683dcd3

loader: VulkanTools PR 13 Resolve ...XlibPresentationSupportKHR

Change-Id: I1177e20b657ab00f41e9e4eb6f9ac997f7be459e

demos: Change layer order in cube.c to put param_check sooner.

Also make the order match the standard meta layer.

Change-Id: Id250b9fe89b9d85d9e8ab6b803474f2c449fc6b1

glslang / spirv-tools: get latest versions

demos: Remove allocation callback code from tri demo

From LoaderAndValidationLayers issue #84:
demos/tri.c implements VkAllocationCallbacks with aligned_alloc/_aligned_malloc, free/_aligned_free, and realloc.

I belive that is broken in many ways:

realloc does not return a pointer with the necessary alignment.
realloc(_aligned_malloc(...)) crashes.
_aligned_free(realloc(...)) crashes.
aligned_alloc requires that size must be a multiple of alignment, while Vulkan provides no such guarantee to these callbacks.
On POSIX-based implementations, aligned_alloc requires that alignment must be a multiple of sizeof(void *) as well as a power of two, while Vulkan merely requires it to be a power of two.
aligned_alloc(0), realloc(p, 0) might return non-NULL, while I think Vulkan requires NULL.
_aligned_malloc(0, a) is documented to invoke the invalid parameter handler (although I'm not sure it actually does in practice).
Implementing a valid allocator is quite non-trivial, so it may be best to just delete the allocator entirely from the demo.

(See also KhronosGroup/Vulkan-Docs#21 and KhronosGroup/Vulkan-Docs#103 for related discussions.)

Change-Id: I3ef3ba19c64127bd65a7dbe7b0b54de42e68ebb0

layers: GHLVL88, Fix ValidateBarriers in draw_state

Apps using QUEUE_FAMILY_IGNORED might get bad validation errors.

Change-Id: I3c8b3723701b8b24e2e9cd81a20f7192bcef15a7

layers: GHLVL87, Fix cut/paste VerifyImageLayout call in draw_state

Change-Id: I4c34930338805ac964f0a4c70c2356977c1adabd

layers: LX402, Invalid CmdBindPipeline validation error

The draw_state layer was emitting an error if this API was
called outside a renderPass, which is indeed valid.

Change-Id: I712b381e7ea9d9e66e091ba7325ab8d884f56edb

header: update to version 1.0.5

Change-Id: I2c7fdb2349d50d06b0a875e4da0c9ab50d2249de

misc: Update to header version 1.0.4

Change-Id: I61657dc28c7850075b787413955a6c880447a03d

layers: Add param checks for CreateInstance/Device

Add parameter checks for vkCreateDevice and vkCreateInstance.
Includes a local fix for GitHub Vulkan-Docs issue #104 to
prevent false positives from being generated for the
pCreateInfo->pEnabledFeatures == NULL case.

Change-Id: I1f3642e7e18c8bfb32b0996b6e2e57a5f9d8e011

layers: Add NULL/sType checks for struct members

Add param_checker support for validating struct members.  Messages
are logged for the following conditions, based on conditions
specified in vk.xml:
 - A pointer is NULL and is not marked as optional in the XML
 - An array is NULL and is not marked as optional in the XML, unless
   its count is 0
 - An array count is 0 and is not marked as optional in the XML
 - A structure's sType value does not match the value specified
   in the XML

Addresses GL105, GL109, GH82

Change-Id: I7063fe2582b30fdfc0006fe945a0f9c84a2aa66a

layers: Handle indirection in param_checker

Code was being generated for param_checker that looked like:
  validate_pointer(pAllocInfo);
  validate_array(pAllocInfo->count, array);
Where validate_array could dereference a NULL pointer.  The code
generator was updated to insert NULL checks for this case:
  validate_pointer(pAllocInfo);
  if (pAllocInfo != NULL) {
      validate_array(pAllocInfo->count, array);
  }

Change-Id: I1eda66530dbff2e95d604a20d122179be172bedf

layers: Add vkFreeCommandBuffers param check

Add NULL pointer checks for vkFreeCommandBuffers.

Change-Id: I7bef6a9d55fda6607b483c873485156b8c8148a1

layers: LX413, Fix dynamicOffsets crash in draw_state

Properly handle CmdBindDescriptorSets being called multiple times
consecutively. DynamicOffsets being overwritten on subsequent calls,
resulting in a crash when the array was indexed out-of-bounds.

Fix assert for layouts.

Currently we assume that the layout must have been set for a subresource.
While this is true it may be set globally instead of on that specific
subresource directly causing the old assert to throw.

layers: GL156 Ignore pQueueFamilyIndices if exclusive sharing mode is requested

Regester event on creation and delete on deletion.

layers: Validate subpass index in CreateGraphicsPipelines

Not validating this upfront meant that users got really weird errors
about mismatches between their FS outputs and color attachments. Now
they should hit the real problem first.

Fixes GH #75

V2: Run through git-clang-format.

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

layers: Remove vestigial bits of old derivatives API from DS

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

layers: Validate pipeline derivative requirements in DrawState

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

Merge pull request #80 from lentinem/mlentine-buildfix

Remove unused var.

Remove unused var.

layers: LX423 Set string var with handle value before using.

Change-Id: I50e7a2778bd14ff4e0b8fc3f2fcb201faefce548

add generated files for smoke demo.

Change-Id: I7169419113c74fc7e1e16c827f6553cf86abe989

validation: Promote validation warnings to errors

Change-Id: Ib527e646aabbd0aecbadf9071ca9e271a8729735

layers: LX401, Handle VK_WHOLE_SIZE in flush/invalidateMappedMemoryRanges

Mem_tracker was ignoring this setting and emitting invalid error messages.

Change-Id: Id26a5e0bdf3f5c907356a384b9febbae1e885c27

layers: LVLGH47 DS Include swapchain images in search

Change-Id: I08941af0153c123d5f552bae8dc02023dc4f9965

loader: gllavl#46 add check for device extensions

Make GetInstanceProcAddr check layers for device extensions.

Change-Id: Ib23c5d42d11be415e9a6acd3b8427d0e474087a5

Merge pull request #59 from chrisforbes/ds-more-fixes

Miscellaneous fixes for DrawState layer

winrtinstaller: sign uninstaller

Remove generated files from source control

layers: GHPR43, Add tracking of total number of levels and layers for images

build: LVLPR65, Fix android extensions support in unique_objects

Merge pull request #42 from chrisforbes/push-constants

Validation of push constants

layers: validate push constant ranges accessed by shader

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

layers: add more shader checker error codes

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

layers: move get_shader_stage_id up a bit

We're about to need this in another place too

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

layers: extract helper for getting to block/struct type

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