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.

layers : Update memory valid to be per-range

We previously only tracked a single valid bool for an entire allocation.
That can easily get out of synch when multiple objects are bound to the
same allocation. This update moves the valid tracking to be per-range so
that it can be tracked on a per-object basis.

This does handle aliasing cases where various objects completely alias each
other, but there are still various aliased resource cases that aren't handled.

layers: Refactor InsertMemoryRange

Work with local MEMORY_RANGE struct and insert to map at the end.
This avoids a loop pass and the awkward loop check of a range against itself.
Adds the slight complexity of storing aliases during loop and updating them
after the loop, but I prefer that to the alternative.

layers: Update bound memory tracking and alias checking

Store all ranges bound to a single memory allocation in a single map indexed by object id.
Add two separate unordered_sets for independent image and vector processing.

Added a set of aliases to MEMORY_RANGE struct to hold any aliased ranges.
Insert aliased ranges at create time and remove the aliases when a range
is destroyed.

Have a single function, rangesInterset, to track if regions bound to a memory
allocation overlap, and if linear/non-linear overlap in violation of the spec.

demos : SAM6 Flip projection matrix, instead of vertex-shader

Change-Id: I0000000000decaf15bad0000000000000000006b

winsdk: Clean up confiure_runtime.c and docs

winsdk: Make RT installer use C program

winsdk: Add C program for runtime configuration

docs: Add renderpass tests from GH427

Change-Id: I3804836836af714fd9ba3138518d5c78832fc4d5

tests: Add renderpass tests GH427

Change-Id: Ia86bfa71682613cb98721c0232c94daa6afe3c1a

tests: Add VkRenderpassObj to render framework

Change-Id: I04e4ee692180597cf9aae8443bb75205ebf092b9

tests: Add PhysicalDeviceFeatures to VkDeviceObj

Change-Id: I0465402cc72b829096e422548be68cf27afb8a1e

spirv-headers : Add file to restrict to commit

Restrict spirv-headers to a specific commit (just as we do to
spirv-tools and glslang) by creating a new file
(spirv-headers_revision) to track the commit we want to
syncrhonize to.  Also update the update_external_sources scripts
to use it.  This will make sure that we don't run into the
scenario where spirv-tools and spirv-headers are incompatible.

Change-Id: Ia4fdd921a5c1c500d7f751db08b6998b3d704f2d

layers: Update PV variable names, clang-format

Change-Id: I1c1da95bbfa1dce31b2b109ec7dea0c770af44c9

layers: Add WSI support to parameter_validation

Change-Id: Ieb52e121632c6297eee5e37baeade5f0c8f8f3e5

layers: Validate Enabled Features in PV

ParameterValidation was using the hardware supported feature set for
validation -- these are now replaced with the application-enabled
features at CreateDevice time.

Change-Id: If52d3ae3e55c69611e02437d33a651d88ba7043d

misc: Add vulkan C++ header

demos: Fix useless NULL check in cube and tri

layers: Refactor function names

Capitalize first letter of Validate[Image|Buffer]UsageFlags() functions