glslang/spirv: Update repo revisions

Update the SPIR-V Tools, SPIR-V Headers, and Glslang revisions
for the upcoming SDK.

Change-Id: I12d57d75691d1a0e40efd986247ecdb58bf0bf61

glslang: Remove change to revert texel fetch fix.

Previously, we had to revert a texel fetch fix in glslang as
part of the update_external_sources.bat/sh due to a bug in the
certain drivers.  The drivers have been fixed and released so
we can remove the change.

Change-Id: I018a0dbbc5fb27d7fbd91bc3073f0f5bef5cd346

layers: return collect_* result containers rather than using & out

This is clearer at the call site, should be no slower in C++11+, and
complies with the style guide.

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

demos: Restore Wayland compile behavior in cube

And document supported configurations

Change-Id: Ib6cdccf48c75373acfc2ebe625719360caa16657

demos: GH862 Fix build errors of demos (cube, vulkaninfo) on the wayland only window system

Change-Id: I76a36e3aad059356bcb69455702ade1cfec8b924
Signed-off-by: Mun Gwan-gyeong <elongbug@gmail.com>

layers: GH849: Defend against poorly-written applications

A test application was written that didn't properly call some count-based query
commands.  In this particular case, they always hard-coded the count variable
to 1 the 2nd time the query was called.  The swapchain layer was only recording
the 1st count value in this case, and this caused a seg fault when the
vkCreateSwapchainKHR command validation code was run.

This commit better defends against such poorly-written applications, so that
the vkCreateSwapchainKHR command validation code won't seg fault.  This
includes looking for VK_INCOMPLETE as a successful return code from the ICD.

layers: Fix paramter_validation array name codegen

Replace std::string with ParameterName for the generated
parameter_validation layer code so that the parameter names
printed by the generated code contain the correct array
subscript values.  Also updates the parameter_validation
tests to reflect the change to the printed names.

Issues-Addressed: GitHub #462
Change-Id: I3032e08052fc003ba066bbe613e5faf3ed049964

layers: Fix parameter_validation array name format

Replace std::string with ParameterName for the parameter_validation
utility functions so that the parameter names printed by these
functions contain the correct array subscript values.

Issues-Addressed: GitHub #462
Change-Id: I09fc6a45e8e41ba28ef7d8fc44ce9e8874feefad

layers: Add parameter name formatting class

Add a custom parameter name class with support for deferred
formatting of names containing array subscripts.  The class
stores a format string and a vector of index values, and
performs string formatting when an accessor function is called
to retrieve the name string.

Change-Id: I941116a16b6fa19e63314cbeab33223e0fa072d3

loader: Fix build warning on Linux

Change-Id: Iae099e6edffacdfad010aebe099e8e13d2ef8510

layers: Update descriptor binding to use an ordered map

When dealing with dynamic offsets, the binding numbers, and array indices within
a binding, are all sequential.
This is according to the spec "Descriptor Set Binding" section which states,
"...entries are ordered by the binding numbers in the descriptor set layouts; and
within a binding array, elements are in order."

This means when processing the binding numbers to validate the dynamic offsets at
draw time, we should do so in order to make sure that the sequential dynamic offset
index correctly correlates with the dynamic offset being processed.

tests: Add InvalidCmdBufferDescriptorSetImageSamplerDestroyed test

This test hits 3 newly added checks of an invalid cmd buffer at submit time due to:
1. Bound descriptor set sampler being destroyed
2. Bound descriptor set image being destroyed
3. Bound descriptor set being destroyed

tests: Add InvalidCmdBufferDescriptorSetBufferDestroyed test

This test creates a cmd buffer and binds a buffer-type descriptor set.
Then it detroys the buffer prior to submitting cmd buffer and verifies
that the cmd buffer is flagged as invalid.

tests: Fix DescriptorSetNotUpdated test comment

Remove incorrect DescriptorSetNotUpdated test comment and replace with
a correct TEST_DESCRIPTION.

layers: Add cmd buffer binding for descriptor resources

This commit creates bindings between a cmd buffer and the images/buffers
and their memory allocations that are tied to that cmd buffer's active
descriptor slots (set/binding combination).
The active resources are anything that's in use during any of the draws
issued in the cmd buffer.
If any of the bound resources are deleted, the cmd buffer will become
invalid and an error will be issued on the next attempt to submit it.

layers: Refactor functions to bing image/buffer to cmd buffer

The AddCommandBufferBinding[Image|Buffer]() functions both had an
unused parameter that was killed, and they both returned a bool
that was not needed so removed that too.
Also made layer_data* param const and put prototypes into
core_validation_types.h in prepration of using these functions
from the DescriptorSet class.

layers: Add tracking between sampler and cmd buffer

Update SAMPLER_NODE to inherit from BASE_NODE and keep track of
cb_bindings for sampler.
At draw time, add any bindings between cmd buffer and samplers that
are connected to active descriptors.
At DestroySampler() time, set CB_INVALID for any cmd buffers in
cb_bindings.
Also includes some additional plumbing to prepare for connecting
images/buffers that are tied to descriptor sets to cmd buffers that
those sets are bound to.

layers: Only bind active sets to cmd buffers

Don't create a binding between every set bound to a cmd buffer, but only
the sets that are verified active at draw time.
Gather up active descriptorset bindings in prepration of also binding the
resources from each individual active set to the cmd buffer.

layers: Migrate PIPELINE_NODE to core_validation_types.h

Move PIPELINE_NODE struct to core_validation_types.h so that it's visible to
descriptorSet class. Update cmd buffer lastBound state to store ptr to
PIPELINE_NODE instead of VkPipeline which saves extra lookups.

layers: Minor re-naming in core_validation

Rename a bit of code as I touch it to match general code style.
Switch a few CamelCase to lower_case and use "dev_data" instead
of "my_data" as it's more descriptive.

layers: Add descriptor sets to CB_INVALID tracking

This is start of a series intended to enable CB_INVALID tracking for
descriptor sets. Much of the tracking is already in place in the
special-purpose uniqueBoundSets data struct, so I'll be migrating
the tracking from that struct to the more general-purpose
object_bindings set.

layers: GH873, Fix ETC2 RGBA format class size

These formats were incorrectly specified as using an 8-byte storage
class, but each 4x4 block is actually compressed to 128 bits.

Change-Id: I33353cbe3574f0c640b68c8c3c544a286c79ed49

layers: GH877, Clear up descriptor state messages

Plumbed function name through for more descriptive error
messages from validate_and_update_drawtime_descriptor_state().

Change-Id: I109e14e07e6a5ba29c45dc3e0ad075ff3575d67f

layers: Update layer details doc for new tests

Change-Id: I9a0cca05f387c291494edf6970e0dd34d5922fe6

tests: Add DS Image Transfer Granularity tests

Add tests that exercise the drawstate image transfer granularity
validation checks.

Change-Id: Iae6faa8391e84e7922f6f48a088df06a027b36dd

layers: Add Image Transfer Granularity checking

CmdCopyImage and CmdCopyImageToBuffer/CmdCopyBufferToImage have
parameters that must respect the Image Transfer Granularity
requirements set in queue family property minImageTransferGranularity.

Change-Id: Ic0fed33c201310bafe86f6f509a63b675de1d572

layers: Update layer validation details doc

Updated entry for new BufferImageCopy checks.

Change-Id: I85ea2eeacae6885fbd6729180167cbe1abe4c176

tests: Add BufferImageCopy tests

Added new test cases to MiscImageLayerTests for valid usage checks
on VkBufferImageCopy data.

Change-Id: I858b76199b3ff936f15a2cf1adc1b5df5e76d0b1

layers: GH763, Add validation for VkBufferImageCopy

Added valid usage checks for members of this structure used in
vkCmdCopyImageToBuffer and vkCmdCopyBufferToImage.

Change-Id: I62ec7b04504e91fa33c86d1a5b606ba8fb7a294a

layers: Leave INDEX_BUFFER_BOUND set in set_cb_pso_status

Change-Id: I5ca986c95b97cdf97a0f65b0c34db32d91428645

docs: Add description of new SC cases

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

layers: Allow get_fundamental_type to look through OpTypeImage

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

tests: Add positive test for use of input attachments

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

layers: Validate fundamental type for input attachments

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

tests: Add test for type mismatch between input attachment and shader

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

layers: Correctly handle input attachment collection w/ arrays

Fixes the test added in the previous commit

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

tests: Add test for array of input attachments

This shows up a gap in the initial implementation. We want the error for
xs[1], which would previously not be generated at all.

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

layers: Require every input attachment used by FS to be present.

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

layers: Add helper to collect shader's use of input attachments

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

tests: Add simple test for an input attachment not described in subpass

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

tests: Re-enable changes to InitState()

The initial series was causing InitState() to be called
twice in tests using VKTriangleTest.

This is a combination of 4 commits:

  tests: Remove InitState from VKTriangleTest

  Revert "Revert "tests: Move device creation from Setup to InitState""
  This reverts commit 5690813b28260c0acbe54ed5f63a66b57d4f3eef.

  Revert "Revert "tests: Enable passing PhysicalDeviceFeatures to InitState""
  This reverts commit 5c61db858c9e83f6a25993ee6262bd5f1a817551.

  Revert "Revert "tests: Change IndependentBlend test to use new InitState parm""
  This reverts commit 24eca2239aab4a76fa2926e5e1fa48d2171c3e6a.

layers: Fix spelling dynami->dynamic

loader: Fix CTS failures in simulate_oom tests.

The simulate_oom tests continue the trend of testing what happens
when the user-provided allocators fail.  It validates two things:
1) That the loader returns the proper error message when this
occurs.
2) That the loader cleans up any allocated items prior to
returning.

Change-Id: Ic80ff4345e1f3524d5e11ce787b10c391a37d760

adding vulkan.py extension.ifdef field to vulkan.py

Some extensions are disabled at compile time and must not be included
in generated code. Issue #72 gh72. This adds a new optional field
ifdef which contains the #define symbol to insert as a guard around
generated code.

Change-Id: I30b521dd1ff77d0db1608cb11c8c999cef40dff2

Revert "tests: Move device creation from Setup to InitState"

This reverts commit 010c49d26071d5619ddd8cd43f5c8026bee1a7f2.

Revert "tests: Enable passing PhysicalDeviceFeatures to InitState"

This reverts commit 74e0ed29a55c083db127053a4c15a2d816a44c71.

Revert "tests: Change IndependentBlend test to use new InitState parm"

This reverts commit f5085fdc45de29c82594c42bbaf71ed3517eb05e.

layers: Fix spelling error in README

Change-Id: I2e6aa600f30d89d22ce5f6f1c2e84555ba8e0b71

tests: remove bad tests

These were not supposed to be included in my last commit.

Change-Id: I5b6d6c415c80273dbda824479a71190cbdf4d507

tests: Add non-coherent MapMemory test cases

Added test case to InvalidMemoryMapping. In configurations using an
incoherent memory type they will map, flush, and invalidate which
used to cause crashes.

Change-Id: Iced94c3a5cdce6e1b89a332eb5a5d9a5a9458250

layers: GH820, MapMemory shadow copy alignment

For host-visible non-coherent memory, the validation layers use a
shadow copy of the mapped memory region. Added proper alignment
for the shadow copy, fixed handling of offsets, and implemented
resolve of the shadow data on invalidate calls.

Change-Id: I88815799865d3a30c76e16cf96ace630e1bbcf2d

tests: add implicit layer tests

Change-Id: I84e70b2eaafc59fa8d2c3642c87f3b908532445a

layers: GH859 Fix error messages for viewport/scissors state

The checks are correct but error messages were backwards and stated
"contains" instead of "does not contain".

tests: Change IndependentBlend test to use new InitState parm

Change-Id: Ied23b9241a6e093b66c76605f84481e33ebb2583

tests: Enable passing PhysicalDeviceFeatures to InitState

Change-Id: I8eea20789594e6e0f738436e06233082efa963f9

tests: Move device creation from Setup to InitState

Change-Id: Ifdaac4fe570a7dafaf2b0cdf35ea1bc074aab548

demos: Clean up vulkaninfo source formatting

A few spots where clang-format is disabled need some cleanup.

Change-Id: I1adc64d479244fc5f655b3e3e7cd74d64499f682

layers: VT59, Change query count errors to warnings

In patterns where an API call is normally made twice, the first with
a NULL pointer returning the count of structures to receive followed
by second call with a pointer to the appropriately-sized buffer, the
swapchain layer was returning validation errors if the size call was
made. However, this is legal behavior so these now return validation
warnings. Also updated the relevant validation tests.

Change-Id: I9f493b27bf4fa0bec6385499c76c5cece1ad86b9

tests: Disable LongFenceChain test

tests: Turn on some more tests that now pass.

One of these used to crash; the other fail. They both pass with the new
work tracking implementation.

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

layers: Rework work tracking

This fixes cross-queue work tracking, while keeping everything else
working.

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

layers: GH819, Fix non-coherent memory shadow copy

InvalidateMappedMemoryRanges was not updating core validation's
shadow copy of non-coherent memory.

Change-Id: I7b5e05791405871489014d6b08595c9bae941185

layers: GH822, handle WHOLE_SIZE for mapped memory

A support routine for FlushMappedMemoryRanges and InvalidateMapped-
MemoryRanges ignored VK_WHOLE_SIZE, causing invalid memory accesses.

Change-Id: I28616faa1339a394a3462e72780efd1b852ac489

tests: post push resolution of Nvidia GH424Rework issues

vkEnumeratePhysicalDevices validation tests are not working on
recent NVidia drivers

Change-Id: Ie4985eef9ae27c8e1b80ea9388cea8f264950895

winsdk: Create layer registry if it doesn't exist

layers: Fix new invalid queue index test

Change-Id: Ib1b796c7901fe0377eda1d8b42083ddd1ec009a8

Revert "tests: Fixing incorrect change w/GH424Rework"

This reverts commit c11756ae28cadb604e652232da2d7cf7124cee05.
Bad rebase -- this trashed some previous changes.

tests: Fixing incorrect change w/GH424Rework

A clarification fix was done incorrectly, this resolves that.

Change-Id: Ie093f72ee3d6daebf3f9fa8530893313ac282ba5

docs: GH424 Update validation test documentation

Doc changes to reflect test additions

Change-Id: I18488615b2323dc38505e6a2df18fd960ea56bf4

tests: GH424 Addition of Device Limits Validation tests

Tests to challenge layer validation under these conditions:
1) INVALID_QUEUE_INDEX Check that queue family index is correct
     InvalidQueueIndexInvalidQuery

2) INVALID_QUERY Check that query is not in progress on
     vkEndCommandBuffer
     InvalidQueueIndexInvalidQuery

3) COUNT_MISMATCH Check that the Physical Device count
     value is not unreasonable.
     MismatchCountQueueCreateRequestedFeature

4) INVALID_QUEUE_CREATE_REQUEST Check that QueueFamilyIndex
     is reasonable on vkCreateDevice.
     MismatchCountQueueCreateRequestedFeature

5) INVALID_FEATURE_REQUESTED Check for feature requests
     that are invalid.
     MismatchCountQueueCreateRequestedFeature

Change-Id: Ib1589e24d6c9584e68779c93b91de927a177ec8d

layers: GH424 add check of skip_call results to CreateDevice

skip_call result was ignored allowing for exception violations
under some test conditions.

Change-Id: Ied673a9b932210de52ed189c67221af60415cae9

tests: Add test for NULL-blit warnings

Extended an image test to look for warnings upon calling vkCmdBlitImage
with NULL blit extents.

Change-Id: I5a8f34c2ac8b9a1f074311a16e8635cf34c1e2bc

layers: LX581, Warn for null-region blits

Parameters specifying the extents for VkCmdBlitImage are often
misinterpreted from the spec. Add warningis if the extents do not
specify a positively-sized area.

Change-Id: I11324dcf4523b094d7545f406d5f87a1145e0563

tests: Modify swapchain test for PV messages

Parameter_validation now handles parameter and valid usage checks.
Updated the SetDesiredMessage text for these cases.

Change-Id: Ib3d228eae9b347163a9a347e04db752d421b1291

layers: Run swapchain source through clang-format

Change-Id: Iaebe81e34e76d4760d1097da23d52d7ca2ef4273

layers: Some simple style tweaks for swapchain

Fixed some variable names and removed c-style casts.

Change-Id: I994ca311665a59d0f81ce0cfdeda4a66deb632be

layers: Removed swapchain pNext validation

This validation is already performed in parameter_validation.

Change-Id: I5fd8e92c885300aa35537d825ea67fabb723062e

layers: Fixed swapchain layer warning messages

Macro used incorrect parameter layout -- removed and in-lined log_msg
calls.

Change-Id: I2a21be76f83eed9fb3055f6f57f22204c9ea76f0

layers: Removed unused macro in swapchain

LOG_PERF_WARNING was not used.

Change-Id: I89f84611b37a809493e3d23c53809263d48b3065

layers: Moved swapchain QFI checks into function

Correct object pointers passed now.

Change-Id: Ib18e1849da2761373386eb44c2549be7c28752ab

layers: Removed swapchain ZERO_VALUE check

This validation is already performed in parameter_validation.

Change-Id: I3c1a7f17d68fa81f7770b7dd88cb075be8e59175

layers: Remove swapchain WRONG_STYPE checks

This validation is already performed in parameter_validation.

Change-Id: I0b9e83cf241bfa5de93c90898f6cd5b6d9b745b5

layers: In-line swapchain zero_prior_count macro

Change-Id: Ib9c58f05ef045f0450f1ba62dfc7ea4498ac119e

layers: Remove swapchain INVALID_COUNT macro

Change-Id: I44d19882af69541cfe9876a22fecc0a09056ba0b

layers: Remove swapchain NULL_POINTER checks

These are all overed in parameter_validation.

Change-Id: I23a7fc281414b6b8bcf30c5a9660560f2b51177f

layers: Removed LOG_ERROR_NON_VALID_OBJ macro

Change-Id: I0609694a3743ca764bcda6de66c0431fb63c1ad1

layers: Replace swapchain LOG_ERROR macros

Fixed some missing return codes, incorrect parameter order, bad object
handles, and instance-device mismatches. Inlined log-error calls.

Change-Id: I6d272cafcd8554f068896312a2b0f41a42d108be

layers: Fix typo in layer validation details doc

DynamicBlendConstantsNotBound was misspelled.

Change-Id: I33f4d53e336dc39b5f23583ee24df88441a339ac

tests: Fix typo in test comment

Change-Id: Ibcb07fe5f357e001e9d91897eebd1dfce78198d6

layers: Update details document for new PV test

Added test to use a non-solid fillmode when this feature is disabled.

Change-Id: If43d8d2f30fa892b96cb90585eb0513649c535f7

tests: Added test for invalid polygonMode

Test checks that polygonMode values are valid when
fillModeNonSolid feature is disabled.

Change-Id: I1c9cbf73a03da80bb85b8789ec5053ffbf4a733a

layers: GH785, Validate rasterinfo->polygonMode

If fillModeNonSolid is not enabled, polygonMode cannot be set to
POINT or LINE.

Change-Id: I6cfdfac8f5c9ff7d27b94bf0aa80ae1249b0ce25

tests: Fixed typo in test name

DynamiBlendConstantsNotBound -> DynamicBlendConstantsNotBound

Change-Id: If30b93d8cfb32dade686d44b615b772f6504ee17

layers: Fix missing PV WSI registration

Change-Id: I1c924977a420bc7a417710b82f0a42f4ae5dd4c3

winsdk: Move uninstall log to temp

layers: Style fixup, don't use pass-by-reference params

Change pass-by-reference to a ptr to comply with Google style guide.
This way it's more clear that function is modifying param, especially when calling.

layers: Naming corrections

Some minor fix-ups to variable names and comments for memory aliasing code.

layers: Refactor set/validate memory valid functions

Create custom image and buffer versions of functions to minimize casting.

layers: Push some casts into helper functions

layers: Handle memory mapped prior to object binding

This adds initial support for memory that is updated via a MapMemory() call
prior to an object being bound. Initially any mapped allocation will just have
global_valid set for whole allocation. This value is then picked up by any
ranges made off of that allocation.

Really, we need to create new mapped regions and mark them valid, then make
sure that any overlapped objects pick up valid from mapped regions. This
requires more thought and design, though, so commiting this changes as a
simpler and incomplete initial fix.