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

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

layers: Fixes GH846 Use IMAGE_USAGE bits for images

Cut-and-paste bug. Various checks for images usage flags were being made
against BUFFER_USAGE enums instead of IMAGE_USAGE enums

layers: Update details doc w/new queue family test

Added MismatchedQueueFamiliesOnSubmit() test for validating
DRAWSTATE_INVALID_QUEUE_FAMILY errors.

Change-Id: I86ff4da21840a679e755790ae6c7810a0f752028

layers: GH790, Validate queue family at submit-time

Command buffers must come from a command pool created with the same
queue family index as the queue they are submitted on.

Change-Id: Ifd1d73a09643c11852d807cb7edfc881827005dd

layers: Adjust color/input attachment layout checks style

For consistency with depth

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

demos: Fix operator precedence problem with window width

Change-Id: Ief0b260528a6eb38788f88ec8a463307522849e8

toolchain: Fix SPIRV-Headers update script

Without specifying a branch, git pull fails.

layers: Fix MapMem image layout validation

When mapping memory, check all of the bound image ranges and for any
that overlap with the map range, make sure that the image layout is
either PREINITIALIZED or GENERAL.

layers: Rename validateMemRange()

This function is only used in MapMemory case so renamed to
ValidateMapMemRange() and added a header comment to make use
more clear.

layers: Rename DEVICE_MEM_INFO struct members

Update names from camelcase to lowercase w/ "_" as we're slowly migrating
to that uniform style

layers: Remove image member from DEVICE_MEM_INFO

The image member is broken and was superceded by objBindings which track
all objects bound to a single memory allocation.

This is also temporarily disabling a check for image layout when mapping
memory, but that check was broken and will be fixed in subsequent CL.

layers: Account for read-only depthstencil attachments in ValidateLayout

The depth stencil attachment can be DEPTH_STENCIL_READ_ONLY_OPTIMAL.

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

layers: Update validation layer details doc

Added new image test for undefined format in CreateRenderPass
attachment description and updated notes for missing tests.

Change-Id: I6a928213da8dc86d59a33a704cbbec8bd3cfbd45

layers: LX578, Add CreateRenderPass format check

Validate that AttachmentDescription.Format is not UNDEFINED.

Change-Id: Id348905aadfdc552c3b674a5752cdbc350022d8e

layers: Add minor Image::CreateRenderPass updates

Combined some repeated for-loops, code standards fixups, etc., in
the image layer.

Change-Id: I3952691d392898ce3c8fa7cc0a6762a40d06220d

demos: Fix ifdefs to allow compilation without XLIB

Change-Id: I3fbed70e842bf327437d77f56cd0fa7848ab5d19

tests: Add ColorBlendLogicOpTests

This is a dual-purpose test. If the underlying device supports logicOp,
then attempt to use an invalid logicOp and verify that an error is flagged.
If the device doesn't support logicOp, attempt to use it and verify that
the correct error is flagged.

Also update documentation.

tests: Add IndexBufferNotBound test

Attempt and indexed draw with no index buffer bound.

layers: Exclude index buffer from CBSTATUS_ALL mask

The CBSTATUS_ALL mask is set to default all dynamic state to static in the
PSO. The index buffer doesn't fall under the other dynamic state umbrella
so excluding it from the CBSTATUS_ALL mask.

tests: Add FramebufferIncompatible test

Test where secondary command buffer has different framebuffer than
primary command buffer, which is a violation.
Update documentation.

layers: Remove duplicate framebuffer incompatible check

The existing DRAWSTATE_FRAMEBUFFER_INCOMPATIBLE check was a duplicate
of a check performed a few lines earlier in the validateFramebuffer()
function.
Update the check in that function to use the DRAWSTATE_FRAMEBUFFER_INCOMPATIBLE
enum and remove the duplicate check.

demos: Fix cube to handle >1 event per frame

Change-Id: I6532f75f285b7428993da9314e128bfe5e476829

demos: Fix Android build on OSX and Windows

demos: Flip cube texture on android

Flip the cube texture on android to track commit cb7f374.
Recreate lunarg.ppm.h from lunarg.ppm using xxd.
xxd -g 1 -c 12 -i lunarg.ppm > android/include/lunarg.ppm.h

layers: Reenable fix for DS layout transitions

Fix for GH650, plus added fix for cube/tri.

Change-Id: I66c2332c30eb34a0f022c033efd9b1c5b8284c32

GH 818: Improve swapchain error for vkCreateSwapchainKHR()

When the the application calls vkCreateSwapchainKHR(), the
pCreateInfo->surface used must have been previously checked as supported,
by calling vkGetPhysicalDeviceSurfaceSupportKHR().  The error message needed
to be more clear about this.

build: pr787 - CMAKE_INSTALL_PREFIX default

CMAKE_INSTALL_PREFIX default is /usr/local on unix

In order to build with a custom CMAKE_INSTALL_PREFIX, the line
set (CMAKE_INSTALL_PREFIX "") must be removed.

CMake set will overwrite anything specified on the command
line with cmake -DCMAKE_INSTALL_PREFIX.

Change-Id: I3bc905b4ad8fb08917e500e4987eb0277ba74a40

winsdk: Make installer version programmable

layers: Update string concatenation in struct_string_helper_cpp

For structs with many fields, the generation of the final string representation
created by vk_struct_string_helper_cpp.h was getting obscene. The final string
concatentation for VkPhysicalDeviceFeatures exceeded 3000 cols and was crashing
clang.
This change builds the final string in a number of steps rather than trying to
do it all on a single line.

loader: support manifests in XDG locations

Some users set the environment variable XDG_DATA_HOME to relocate
~/.local/share/ to a more friendly location and so it is not wise to
look solely at that location.

This change adds basic support for that env var without changing the
behaviour for typical users. If XDG_DATA_HOME is defined, the loader
checks XDG_DATA_HOME/vulkan/..., if HOME is defined the loader will
check HOME/.local/share/vulkan/..., and with neither it skips looking
for user manifests.

loader_get_manifest_files() now takes a relative location inside the
config path eg `/vulkan/implicit_layer.d` and appends that onto the
preferred location.

vk_loader_platform.h Linux defines got minor adjustments to support this
change, with an added bonus of being more readable.

Change-Id: I44e8a99f2a984f94dc33cdda122e6c417d3a3653

layers: Fix function interception list for param validation

A bunch of things were missing here.

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

layers: Disable previous fix for DS layout transitions

Fix to always transition both depth and stencil aspects for DS images
is causing errors on cube and tri. Disabling the fix and test for now
to avoid unwanted false positives.

layers: GH650, Fix D/S image layout validation

When an imageView of a depth/stencil image is used as a depth/stencil
framebuffer attachment, the aspectMask is ignored and both depth and
stencil image subresources are used. Validation was throwing errors
as only the specified aspectMask transition was tracked.

Change-Id: I4f45eec74040448ba3ed52b07268fab3b3cb9318

layers: Check vtx buffer binding

Need to check vtx buffer binding based on binding values set in
pVertexBindingDescriptions array if present.

Fix Android build for mips64: NULL -> VK_NULL_HANDLE

This should affect other architectures as well.  A handle can't be assigned to
NULL (may get 32-64 type issues).  Must set a Vulkan handle to VK_NULL_HANDLE.

demos: Remove the need for QueueWaitIdle in cube

Change-Id: Iddccf0d672632ad7f0821fb98c685c944c2b8b77

demos: Use renderpass finalLayout to get to PRESENT_SRC_KHR

instead of an explicit memory barrier

Change-Id: I9c9c19ee6640fc696576d67ffc608b9205d84166

layers: Fix bug in cmd buffer framebuffer binding

If cmd buffers were freed via DestroyCommandPool, then the framebuffer links to the
individual cb_nodes were not getting cleared. Fix that issue.

This is initial, simple solution to avoid crash, need smarter solution long-term.

toolchain: Update revisions for Android

Also add spirv-headers, a new dependency for shaderc.

layers: Fix object_tracker build

This moves a static array of maps to be a vector of maps.
Building android from Windows crashes clang without this change.
clang in the NDK doesn't like arrays of unordered_maps.

layers: Remove debug comments from OT.h

Change-Id: I1cf485ddb54223b873746ff218f0f34085a87450

layers: Fix #808 broken mapping of image types to view types

This was trying to be too clever, and was foiled by bad assumptions
about the enum order.

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

layers: Generate full vk_dispatch_table_helper

Generate the full vk_dispatch_table-helper file for all platforms
as part of the build process now.  This includes all WSI
extension entry-points for all build targets we support increasing
portablility of the header.

Change-Id: Ie83423e7ea169f7251c5369992a6144a97db1ddc

layers: gh793 gen vk_dispatch_table_helper.h

Generate one vk_dispatch_table_helper.h for all platforms.

Change-Id: I17fa435bc69cacfdd75dd93fbb0a5a37222aaa2b

loader : Fix segfault in vulkaninfo

Last commit introduced a segfault in VulkanInfo.  This corrects it.

Change-Id: Ie4115bbe24191bdad9f539e5d9b1658982417f51

loader: gh571 vkEnumerateInstanceLayerProperties()

This fixed a memory leak.

Steps to reproduce:
Run valgrind --leak_check=full on a this test file:
```

int main() {
  uint32_t layerCount = 0;
  vkEnumerateInstanceLayerProperties(&layerCount, nullptr);
  printf("layerCount=%u\n", layerCount);
  return 0;
}
```

valgrind output will look like:
```
==PID==
==PID== 49,920 bytes in 6 blocks are definitely lost in loss record 57 of 58
==PID==    at 0x40307C4: malloc (vg_replace_malloc.c:270)
==PID==    by 0x4A2B5F3: loader_instance_heap_alloc (loader/loader.c:178)
==PID==    by 0x4A2CB0D: loader_init_generic_list (loader/loader.c:858)
==PID==    by 0x4A2CBDE: loader_add_to_ext_list (loader/loader.c:889)
==PID==    by 0x4A30A32: loader_read_json_layer (loader/loader.c:2311)
==PID==    by 0x4A31373: loader_add_layer_properties (loader/loader.c:2509)
==PID==    by 0x4A3286F: loader_layer_scan (loader/loader.c:3032)
==PID==    by 0x4A38DFC: vkEnumerateInstanceLayerProperties (loader/trampoline.c:239)
==PID==
```

The fix is simple: vkEnumerateInstanceLayerProperties() in loader/trampoline.c should call loader_delete_layer_properties(), not loader_destroy_layer_list() in both places it frees resources associated with the instance_layer_list.

Change-Id: I3275195dd27703c2747971288327d546efe5ed25

layers: Add some TODOs for weird code that should go away

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

layers: Drop QUEUE_NODE::device

This was unused.

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

layers: Track valid dynamic scissor and viewport indices with masks

CmdSetViewport/CmdSetScissor were broken; they assumed the update
replaced all the viewports/scissors; further, the drawtime validation
was too aggressive -- nowhere does the spec require the number of valid
dynamic viewports/ dynamic scissors to be equal to the number used by
the PSO; just that all viewports/scissors used by the PSO must be
provided.

V2: Add more parens to quiet warnings in android build

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

layers: Validate image view type requirement for descriptor sets

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

layers: Generate appropriate sets of requirement flags for OpTypeImage

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

layers: Add plumbing for descriptor requirements

We want to be able to impose requirements on images & views bound to
descriptor sets based on their usage in the shader. This adds the
plumbing from pipelines into descriptor sets to enable that.

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

layers: Add enum for descriptor requirements

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

demos: Flip cube texture and TC's, so image is no longer inverted

demos: Remove unused function parameter.

docs: Clean up LoaderAndLayerInterface markdown

Perform some wordsmithing and general clean-up of the
LoaderAndLayerInterface markdown file.

Change-Id: I286d0f1d01241b376ba2f4dfa97d2329b04d515d

layers: GH722 Add query function calls from secondary buffers.

tests: Create APK version of layer validation tests

demos: Fix cube to handle seperate gfx / present queues

Change-Id: I92497bb966aa6d35746184249e921155ed26d67e

loader: return incomplete when count < available

The list was being destroyed before the check.

Change-Id: I500a22c8e2fffa8c852235f688026cd80f84088d

android: Lift global offset table size limit (-mxgot)

Currently the mips64 build for Android is broken due to size
increases of core_validation.  If you disabled optimizations (-O0),
you'll get the following error:

    relocation truncated to fit: R_MIPS_CALL16

The linker flag to lift the limit is -mxgot, documented here:

    https://gcc.gnu.org/onlinedocs/gcc-4.0.0/gcc/MIPS-Options.html

It is a slight de-optimization for global symbol lookups (3 inst
instead of 1).  Hopefully we aren't using global lookups in
performance critical code.

Tools: Bump spirv-tools revision to include fix

Covers fix for SPIRV-Tools issue #270 - access violation in
Vulkan conformance test

Change-Id: Idc3470f9ba68d9189d3536fe776459ce2ccba388

layers: Restore OT WSI GPA prefixes

Change-Id: Ia83e40c8c5c92a8ac50dc2d5bf5bf9b2b255594b

layers: Fix copy-paste "DEPTH" instead of "STENCIL"

layers: Fix image aspect checks

Previously validation required DS images to have both DEPTH and STENCIL
aspect bits set, but spec only requires that at least one is set.
Also, we weren't checking case of depth or stencil only formats, or
color format to make sure that correct aspect mask was set.

tests: Update doc validation script

Changed object_tracker location, status.

Change-Id: I2b9834002cdeb8a3b48e83d8da6f727edfd2ffdd

layers: Update codegen for OT removal

Removed object_tracker code from vk_layer_generate.py.

Change-Id: I0ebd1c379deabfb0712d6692751145f34b430459

layers: Fixup OT error messages

Print object type explicitly; also fixup a couple of format
specifiers.

Change-Id: I6f5036f70cae05bd5f7ee9320e24b2e16bdc811b

layers: Fix thread-safety fails in OT FreeXxx APIs

Tracking data was cleaned up after calling down the chain in
FreeCommandBuffers and FreeDescriptorSets -- this left a hole that
another thread could walk through and corrupt the tracking data.

Change-Id: I7cc9c9bfae9f1ea179122125dd09952650f14d81

layers: Update object_tracker layer

Removed dead code, added per-instance and per-device object tracking,
(this was broken in codegen'd version with no cross-device
validation), updated for new layer architectures and coding standards,
removed OT-related codegen -- it is now a standalone cpp file.

Change-Id: I64464b855e1b4841c8e3a581387e0e9065b006f7

layers : gh682 move gipa dispatch table init

Move the GIPA setup of the dispatch tables for layers into
the layer_init_device_dispatch_table call since we're already
doing a majority of it there.  This removes the need to separately
setup the WSI extension entry-points.

Additionally, memset the table to 0, just to make sure anything
that gets added in the future is obvoiusly not set.

Change-Id: I63c7c107cd9f7957e2766fdbeb8a06bc1ae0eda6

docs: Remove extra line in doc headers

GitHub markdown adds a line after H1 and H2 entries.  Normal
markdown doesn't do this.  So my WSYIWYG editor incorrectly showed
the results of my previous edits.

Change-Id: I3c197c1fb1f364bf4b1050d1eaa1141affefe9d1

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>