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>

layers: Add push constant storage class to stringify support

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

layers: Remove nonsense `sinterface` param from
collect_interface_by_descriptor_slot

This was only used to produce a misleading error message.

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

layers: Add push constant validation to draw_state

Validate that push constants don't exceed maxPushConstantSize at create or update time.
Also validate that size at creation time is >0 and a multiple of 4.

winrtinstaller: Don't create a menu item for each version of RT installed

winrtinsaller: change comment

misc: Remove lunarg_debug_marker extension

This device extensions was not completely supported in any layer. It had partial
support (intercept) in draw_state  and device_limits. This extension is being
changed and has a formal proposal in Khronos as debug_marker_ext. Removing
the existing extension since it is deprecated; once the debug_marker_ext gets
registered by Khronos, layers might want to start using the ObjectTag/ObjectName
commands to supplement error report messages in debug_report_ext. Since
debug_report_ext might get changed as part of Khronos review, don't add it yet.

layers: Allow use of QUEUE_FAMILY_IGNORED for BufferMemoryBarriers

This fixed a bug in drawstate that produced invalid error messages
running apps that used FAMILY_IGNORED.

layers: add missing error check

Change-Id: I18e36f8007d6555a152ac4e0632e2d38a03352be

loader: Update documentation to remove editing comments.
Also better describe layer requirements for layers which creat new dispatchable
objects.

layers: fix imageLayout bug

layers: Fix false positive on initialLayout in image layer

loader: ghlvl 33, ghlvl 34 Fix aliasing of VkPhysicalDevice

This fixes problems with not selecting the proper PhysicalDevice within
the loader if multiple PhysicalDevices are enumerated by the loader.
Fix involves wrapping the VkPhysicalDevice object in both trampoline code
and terminator code.

Also get rid of the ICD device_extension_cache. It is now always queried from
ICD whenever needed.

LX #410 - Use ${PYTHON_EXECUTABLE} for PYTHON_CMD

smoke: use $<TARGET_FILE> instead of LOCATION prop

layers: DS: populate features correctly

- Remove the redundant first fetching of the device features. This was
  always clobbered.
- Treat pEnabledFeatures==NULL as disabling all features, as per
  30.1 of the spec.

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

layers: gllavl#78 validate base pipeline

Change-Id: I08313295ac545652aca2060744b55274ed3cd4ca

layers: gllavl#77 validate layout during clear

Change-Id: I427cd1fcc6ecf115dbaf521387a909f117c13d07

layers: gllavl#76 validate initialLayout

Change-Id: Iede6dcf3bc83a5663b80b62c3239ef54bc74278a

layers: Separate some variables

Don't abuse maxInputAttachmentCount in the second loop which has nothing
to do with input attachments.

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

layers: Update QueueFamilyIndex validation

Add handling of VK_QUEUE_FAMILY_IGNORED and allow VkImageMemoryBarrier types
inside render passes. Also plumbed functionName into ValidateBarriers.

loader: refactor EnumerateDevice*Properties terminate/trampoline code

Should be no functional change.
Restructure so the terminator functions don't contain trampoline code.

layers: GH LVL#49, Updated layer docs/README for new layers

layers: GL107, Validate queueFamilyIndices for CreateSwapchain

layers: GL207, Validate queue_family_index

Validates index is less than number of queue families for these APIs:
CmdWaitEvents, CmdPipelineBarrier, CreateBuffer, and CreateImage.
Also:  Updated layer details doc with additional error code.
       Added layer validation test for CreateBuffer

Conflicts:
layers/draw_state.h
layers/vk_validation_layer_details.md

layers: LX322, Track semaphore state acroos QueueBindSparse calls

build: GH PR17, Remove unused displayserver ENV settings

build: GH PR17, Add Android WSI info to Windows version of codegen script

layers: GH PR17, Add support for building for Android on Windows

A better fix would be to stop using sys.platform when making
decisions, but this is quick.