layers: Update DestroyBufferView to use Pre/Post paradigm

Add PreCallValidate* and PostCallRecord* functions to DestroyBufferView
according to long-term core_validation architecture plans.

layers: Add binding between cmd buffer and bufferView

For a texel descriptor update, add binding between bufferView and the
command buffer as well as between underlying buffer and command buffer.

layers: Add in-use detection for VkBufferView

When VkBufferView is destroyed, flag error if in-use and mark any
bound cmd buffers as invalid.

demos: Remove tri demo

Removing tri demo for maintenance reasons.  Cube should be the demo
to go to for examples of good Vulkan

Change-Id: I4442a1882b5c168cfe88501eccc41a554ae4d026

layers: Add bool to guard command buffer state check

This is the first check-in demonstrating the boolean model to allow validation
checks to be disabled. Going forward we'd like to guard all checks in such
bools which can then be set based on VkValidationCheckEXT enum values passed
in at vkCreateInstance() time.

In the course of adding this noticed a bug where instance_state was not getting
initialized in device layer_data at CreateDevice time. Fixed this bug.

layers: Indicate correct source for validateCommandBufferState() error

Fixes #982

Instead of hard-coding vkQueueSubmit, take a parameter to clarify if the error
originates from vkQueueSubmit() or vkCmdExecuteCommands()

docs: Add CubeWithLayers to Android section

demos: Clean up logging for Android

demos: Enable validation for Android cube

demos: Add APK with layers to cube

loader: gh989 - Fix incorrect array index

An inner array loop was using an incorrect index to access the
appropriate layer in instance extension validation.

Change-Id: I27606fb32049bb531131ca29357d79491e3f96a7

demos: s/X11_INCLUDE_DIRS/X11_INCLUDE_DIR/ typo

Signed-off-by: Robert Bragg <robert.bragg@intel.com>

layers: Convert RENDER_PASS_NODE::pCreateInfo to use safe struct

Gets rid of a memory leak, and simplifies the code.

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

layers: Don't accidentally copy safe_VkFramebufferCreateInfo

This isn't cheap.

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

layers: Don't add VK_SUBPASS_EXTERNAL edges to subpass DAG.

We don't use them, and handling them safely complicates other code that
works with the DAG.

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

layers: Trim out some more old MT renderpass junk

- RENDER_PASS_NODE::attachments[i].attachment was always i.
- This whole structure is noise; we can use the VkAttachmentDescription
  directly.

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

layers: Remove unnecessary constructors from new _STATE classes

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

layers: Tweak naming of enums moved from SwapChain to CV

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

layers: Move image-not-acquired etc from swapchain to core validation

Now that Core Validation tracks the acquisition state of every swapchain
image, we can do this.

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

layers: Add tracking of acquired state to Core Validation

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

layers: Add IMAGE_NODE::acquired flag

This is necessary for moving the image ownership stuff across from
swapchain

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

layers: Move ACQUIRE_NO_SYNC check from Swapchain to Core Validation

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

loader: gh971 EnumPhysDev return VK_INCOMPLETE

vkEnumeratePhysicalDevices should return VK_INCOMPLETE if the
following conditions are met:
a) pPhysicalDeviceCount < number of physical devices available
b) pPhysicalDevices != NULL
The code was actually in place, but was not getting hit.

Change-Id: I725fec5e57239f990590d9e447bb057ebc3502a1

build: Enable parallel windows build

build: Make windows build of demos parallel build safe

Use direct output to SPIRV file names to prevent collisions.

build: Fix parallel build of layers

Change layer dependencies to prevent collisions of scripts creating headers.
Use dependency on one custom target for each group of headers built by a custom command.
The layers json targets need to depend on the layers targets.
They expect to copy into a directory created by those targets.
Make dependency of vk_safe_struct.cpp indirect through generate_vk_layer_helpers.
That will wait for a single build of the generated files.

build: Fix ImageMagick_Magick++ search

One cmake test was looking at ImageMagick_MagickWand_INCLUDE_DIR
instead of ImageMagick_Magick++_INCLUDE_DIR

build: UNSET cache variables for FIND_IMAGEMAGICK_API

The way that the ImageMagick component search calls find_path
multiple times with the same variable but different names
does not expect old cache values in the variable.

layers: Remove spurious using BASE_NODE::*.

Inheritance is all public (except for FRAMEBUFFER_NODE, which ought to
have been), and there's no template inheritance involved, so these
didn't do anything interesting.

Fix FRAMEBUFFER_NODE to publicly inherit BASE_NODE, and drop the noise
everywhere.

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

layers: Get rid of some junk in RENDER_PASS_NODE::ctor

Many moons ago, ShaderChecker used this state. Now, it digs directly in
the CreateInfo, so there are no clients. Nuke it.

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

layers: Explicitly delete IMAGE_NODE, BUFFER_NODE copy constructors

Previously we defined copy constructors that would almost certainly lead
to bugs if these objects were copied (they copied the atomic values,
etc). The layer doesn't copy these, just disallow it.

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

layers: Fix VerifyCopyUpdateContents on combined image sampler descriptors

A missing break at the end of the ImageSampler case results in falling
through to the Image case, leading to spurious validation errors such as:

  vkUpdateDescriptorsSets() failed copy update from Descriptor Set 0x108
  to Descriptor Set 0x137 with error: Attempted copy update to image
  descriptor failed due to: Invalid VkImageView: 0x100000000

layers: Prevent reading uninitialized "count" when validating array parameters

android: Add Android and C++ support to a couple files

These are needed downstream in VulkanTools for Android support.

demos: Enable arm64 build of Smoke

demos: Update Smoke permissions for trace/replay

demos: Fix Smoke build for Android

It doesn't appear that this ever worked.

demos: Update gradle properties for smoke

demos: Update smoke build script to be automatable

toolchain: Use multiple processes to build glslang

layers: Distinguish never-bound from un-bound memory cases

Fixes #964

Added special MEMORY_UNBOUND handle (0xF..FE) that indicates that memory
bound to an object has been freed. When attempting to bind memory or
checking for bound memory, distinguish the never-bound case from the
memory un-bound case.

For sparse binding case allow for memory to be re-bound.

Update tests to account for new error messages.

There's a sliver of exposure here if an actual memory handle is MEMORY_UNBOUND.
We could remove that exposure by never having unique_objects return MEMORY_UNBOUND
as a handle. I believe the exposure is small enough that we don't need to do that,
but am open to other opinions.

demos: Change cube to use FIFO present mode

And throttle using fences

Change-Id: I13cd622f9a401fdb44bf7b74343589b70e340b77

demos: Update Android documentation

demos: Give Cube and Tri distinct app names

demos: Clean up APK creation for cube and tri

Instead of moving manifest files, run the following commands:

  android update project -s -p . -t "android-23"
  ant -buildfile cube debug
  ant -buildfile tri debug

And the APKs can coexist:

  ./cube/bin/NativeActivity-debug.apk
  ./tri/bin/NativeActivity-debug.apk

layers: Clean up no memory bound checks

When memory is freed make sure to clear bindings in associated objects.

Also clean up reporting of no memory bound errors. Old assumption was that
no memory had every been bound, but it's also possible to hit such errors
if the bound memory was freed prior to operation of interest.
In descriptor error cases where no memory is bound, add a final error string
as clarification since descriptor errors are built up of multiple strings
with details from each function call in the tree.

layers: Verify memory is bound to images used to update descriptors

Fixes #663

For vkUpdateDescriptorSets() calls that include an image, verify that memory is bound to the image.

layers: A few minor clean-ups from code review

Better use of auto and killing some unneeded code.

layers: Add in-use check at DestroyImage() time

Flag error if an in-use image is destroyed.
Also clean up a couple minor issues related to binding objects to command buffer.

layers: Add in-use check for renderPass

At DestroyRenderPass() time verify that renderPass is not in-use.

layer: Add in-use validation for imageView

Bind imageView from a descriptor to the command buffer at CmdBindDescriptorSets
time and check for an in-use imageView at DestroyImageView time.

Also use new AddCommandBufferBindingImageView() helper to bind children of
framebuffer in AddFrameBufferBinding().

layers: Add in-use check for imageView

Add DestroyImageView time, make sure imageView is not in use.

layers: Add binding for framebuffer children

When BeginCommandBuffer and CmdBeginRenderPass are called, need to bind
not only the framebuffer, but all of the framebuffer's children objects
to the command buffer.
This includes the imageViews that are in the attachments as well as their
children and the renderpass.
Added this binding and included IMAGE_VIEW_STATE* in framebuffer
attachment struct for simplicity when creating binding.

layers: Add support code to handle in_use for missing objects

Add case block to in-use Increment/Decrement functions to handle the missing
object types that may be bound to a command buffer. The actual bindings for
these missing types will be added in a future commit.
Here are the types that were added:
VkBufferView
VkImageView
VkDescriptorPool
VkCommandPool
VkFramebuffer
VkRenderPass
VkDeviceMemory

Also added new error enums for all of these type except RENDERPASS which already
had an appropriate error enum.

Unify object BASE_NODE look-up for removeCommandBufferBinding() and
DecrementBoundResources() to use common GetStateStructPtrFromObject() function.

Finally, had to update the state-wrapping class for DescriptorPool, DeviceMemory
and RenderPass to derive from BASE_NODE so that in_use can be tracked.

layers: Update BufferView state tracking

Create BUFFER_VIEW_STATE class to hold VkBufferViewCreateInfo and update related
state tracking. This class derives from BASE_NODE in preparation for tracking
in_use for BufferViews consistent to other object in_use tracking.

layers: Update ImageView state tracking

Create IMAGE_VIEW_STATE class to hold VkImageViewCreateInfo and update related
state tracking. This class derives from BASE_NODE in preparation for tracking
in_use for ImageViews consistent to other object in_use tracking.

layers: Clean up in-use decrement for bound objects

Decrement in-use in a single location via ptr to BASE_NODE for each bound object.

layers: Clean up in-use increment for bound objects

Simplify code with a single error call and in_use increment based on common
base class.

layers: Fix tracking of WSI fence retirement

Previously we'd note that the fence wasn't submitted to a queue, and so
never call RetireWorkOnQueue, which is the only thing that marked the
fence as retired. In the WSI fence case, we still aren't doing any
tracking of completion of the WSI operation (we should! image ownership
is easily fouled up!) but we can at least retire the fence.

Fixes #954.

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

layers: Extract RetireFence helper from WaitForFences/GetFenceStatus.

This does the same thing in both places.

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

demos: Use ownership barriers for separate queues in cube

Change-Id: Ia3456405add6ea35b9cc774b2247e6f7d9a80768

demos: Use queue search from spec example

To favor finding a queue that supports both graphics and present

Change-Id: I0223b0973b4244c006ade31c6515f149f9696ff8

loader: More changes for gh181

With Piers' fix, another path was broke because we still needed
to intercept the call before it went to the ICD.  Now, with his
change and this change, all paths work.

Also, clean up some code based on comments from Ian and Courtney
reviews.

Finally, update docs to indicate behavior of new loader 3
interface with ICDs.

Change-Id: I2d3f962baffb21c1edeb93b132ffad40f298c8e7

loader: Fixes for ICD vk{Create|Destroy}SurfaceKHR

Need to keep VkIcdSurface private to the loader.

The definition may conflict with some redefinitions of
VK_DEFINE_NON_DISPATCHABLE_HANDLE and it's not necessary to make public
anyway.

Change-Id: I30e166f0ecce2fd3ea36c745dc073b705973d75f

loader: gh181 use ICD for SurfaceKHR

Use the ICD to create and destroy VkSurfaceKHR objects instead
of just performing the work in the ICD.  This only occurs if the ICD
exports the appropriate entry-points, and exposes version 3 of the
loader/icd interface.

Change-Id: I5e7bf9506318823c57ad75cf19d3f53fdfa6451e

unique_object: Remove unneccessary code.

There is some duplication in querying the WSI extensions in the
unique_object layer.  Remove the duplication.

Change-Id: I2f240e8f801bd3d154fce8b1cbc486b62b5a50ee

GH-951 Fixed consistency issue with mip size calculations

GH-951 - Improve validation for minImageTransferGranularity

Added missing BC1_RGBA formats to vk_format_is_compressed function
Added function in vk_layer_utils to get block sizes for compressed formats

layers: Get rid of old CBSTATUS-based dynamic viewport and scissor

These were superceded by the precise tracking of dynamic scissors and
viewports.

Fix up the tests to look for the precise errors, and get rid of the
broken clearing of static scissors & viewports, which triggered other
errors.

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

build: FindImageMagick file needed updating.

Incorrectly updated the one in VulkanTools insteda of the one
in LoaderAndValidationLayers.

Thanks to Arda for the catch (even though I originally thought
he messed up).

Change-Id: Ic60d68d9c17437c4c711a8b359a8ad9246537e30

layers: Cleanup unexpected push_constants msgs

Fix to core validation CreatePipelineLayout to change
a message from warning to error.
Fixes to PushConstants layer tests to fix unintended
validation errors and to avoid generating multiple
intentional errors in a single test.

Change-Id: I618d6e5aff55fa918da5bd81c47092174b266da1

layers: Only save p-devices if call was successful

Change-Id: Ife211b1b2dc97c5bab0d6e7b177ead6b1a6105d3

demos: Give Android versions permissions for internet & read/write files

This is in support of RenderDoc (and other tracing libraries).  On Android,
these "native" applications must have permission to read/write files on the
Android filesystem so that a trace-capture library can write a trace file.
After building and installing the application, the following commands should be
run from a Linux shell, in order to truly grant those permissions (not normally
required for an Android Java-based app, with a GUI; but is required for these
shell-launched, native apps):

adb shell pm grant com.example.Cube android.permission.READ_EXTERNAL_STORAGE
adb shell pm grant com.example.Cube android.permission.WRITE_EXTERNAL_STORAGE

demos: Fix issue of making Vulkan calls from callback

Change-Id: I6fcb41cbcd13e8ce5ace6f857d7dd54bad48aa55

layers: Require VkGraphicsPipelineCreateInfo::pDepthStencilState

If the subpass uses a depth/stencil attachment and rasterization is not
disabled, then this structure must be present.

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

layers: tweak comments from review feedback

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

layers: Don't do cross-stage validation if individual stages failed

There are only crashes and nonsense down this path.

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

layers: Don't bother continuing after missing entrypoint

There's very little we can do here.

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

loader: Fix compiler warning

I had an unused variable left after some recent changes.

Change-Id: I934ea4a7410c6be9bbafe250bc09f38feb3d6f7c

build: Fix CMake coding error

Need STREQUAL when compating strings.

Change-Id: Id65055d18af2c0bbd3e4959f21587e2ba9afa607

demos: fix vulkaninfo warnings in display-only build

Change-Id: Iabc8edd7cd90f848d4957d005eb14c1094e94790

Fix, that display only build under Linux works

loader: Fix another possible memory leak

Added another cleanup case, just in case...

Change-Id: Ia6e09ce12c29314a1cce6b1cdcd72bdd7749f655

loader: Fixed conformance memory leak.

This fixes a memory leak found whilst running Khronos conformance with
more than 1 ICD installed.

Change-Id: I34ed978b2929c33d9e2c49cf633f09ada2788a92

winsdk: Fix ConfigureRT.exe not being deleted

loader: Add back func calls

Previously removed function calls in extension_create_instance
because I believed they were no longer needed.  I was incorrect.

Change-Id: Ibc63009f0038a413b7e1bc03225818b046a62352

layers: make CmdClearAttachments messages errors again for now.

There's some spec contradictions, captured in !488. For now, let's say
that these are errors. This commit can be reverted if !488's resolution
retains the noop behavior.

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

layers: Make d/s CmdClearAttachments without d/s attachment warning

This is pointless, but well-defined. Rework warning message to not
reference the VkClearAttachment::colorAttachment, as it's only
meaningful for color clears.

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

layers: Add VK_ATTACHMENT_UNUSED warning case for CmdClearAttachments

This is a pointless clear, but well-defined.

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

layers: CmdClearAttachments colorAttachment is index into subpass

We were previously treating this as being an index into the renderpass
attachment descriptions, but that's nonsense. It's also well-defined
what happens if an out-of-range index is provided, so downgrade to a
warning.

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

loader: Remove extension enable checks

Apparently, the intent of Vulkan is to have the loader do no
run-time checking in each of the functions as to whether or not
the extension is enabled.  This should only be done in the
validation layers.

This resolves the crash Jeff was seeing in the Nvidia driver when
using the new extension.

Change-Id: Ic90db0bde062d6b2511954abb8677f9f20bb4285

loader: Add checks for usage of wsi extensions

The loader really should validate that the WSI extensions are
enabled before being called.  Additionally, I needed to add
more checks for the KHR_display_swapchain extension in the
parameter_validation and object_tracker layers.

Change-Id: I3d07d46baf551be6f5f07e5374d6c683e3f52e7e

layers: Remove old/unnecessary FIXME from swapchain layer

This FIXME comment does not apply.  It may have applied, if the line being
referred to once copied a pointer to user data, but at this point, the actual
data is being copied into a struct owned by the swapchain layer, which is what
the comment was about.

layers: Move in_use.store(0) to BASE_NODE constructor

layers: Update bound object increment and decrement functions

Unify the handling of in-use increment/decrement for QueryPool, Pipeline,
Image, Buffer, and Event objects.

layers: Clarify in-use object error message

layers: Improve map cleanup on object deletion

If object deletion is skipped due to validation error, don't remove object from map.

layers: Add detection for in-use query pool & clean-up destroys

Flag error if in-use query pool is destroyed.
Unify in-use error reporting to use common function ValidateObjectNotInUse().

Clean up Destroy functions to only remove objects from maps if skip is not set
for semaphores, events, querypool, pipeline

layers: Flag error on destroyed pipeline in-use

layers: Flag error on destroyed sampler in-use