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

build: include tests/layers build dir for vk_dispatch_table_helper.h

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

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: Fix parallel build of layers tests

Make json copy targets depend on layer targets to first create destination directory.
Make header generation go through a custom target.

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

tests: Fix unexpected errors in InvalidMemoryAliasing

Memory bindings are immutable so create a separate image2 to bind
to the second memory allocation instead of re-binding same image.

tests: Add DescriptorImageUpdateNoMemoryBound test

Attempt to update an image descriptor that doesn't have memory bound.

tests: Update error monitor to handle multiple expected errors

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.

tests: Add FramebufferImageInUseDestroyedSignaled test

Create a framebuffer, bind it to cmd buffer as part of renderpass and then
destroy the child image while in-flight to verify that correct error is
triggered.

tests: Make initial renderpass color attachment image layout UNDEFINED

This is more flexible for handling various initial image layouts and makes it
easier to add tests that avoid unexpected errors.

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.

tests: Fix incorrect descriptor type

SamplerInUseDestroyedSignaled test was incorrectly using VK_DESCRIPTOR_TYPE_SAMPLER
instead of VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER

tests: Add ImageViewInUseDestroyedSignaled test

Bind combined image/sampler descriptor to cmd buffer, then destroy
the imageView while cmd buffer in-flight and verify in-use error.

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

tests: Fix VkLayerTest.InvalidPipeline

- Remove repeated BeginCommandBuffer.
- Ensure enough state is set up for implicit BeginRenderPass for
  graphics test.
- Ensure renderpass is finished for compute test.

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

tests: Partially fix VkLayerTest.InvalidCmdBufferPipelineDestroyed

- If there is no dynamic state, MUST NOT provide the struct
  (dynamicStateCount==0 is not allowed).
- Set a real line width. This was being left at 0, which is outside
  device limits.
- Disable rasterization since we don't need it, to avoid needing to
  populate even more structures.

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

tests: Fix VkLayerTest.BufferMemoryNotBound

Wrong usage flags.

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

tests: Use CmdFillBuffer to slim down InvalidCmdBufferBufferDestroyed

- Fix the usage flags (in neither version did we want
  UNIFORM_BUFFER_BIT).
- Get rid of the image distraction, which had broken layout, /and/ would
  count as another referenced object to be complained about.

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

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>

tests: Fix VKLayerTest.StencilLoadOp

Leaving this as 0 isn't valid.

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

tests: Capture unexpected messages before first desired message is set

Otherwise, tests that specify what they want late are vulnerable to
accidental errors in their setup code.

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

tests: Fix VKTriangleTest to set the usage flags correctly on buffer.

By default, you get transfer_src|transfer_dst.

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

tests: Fix VkLayerTest.EnableWsiBeforeUse

This was producing a spurious error for completion of the ANI call not
being observable without either a fence or a semaphore.

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

tests: Fix VkLayerTest.CreateBufferViewNoMemoryBoundToBuffer

This was using the wrong usage bit.

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

tests: Fix VkLayerTest.FramebufferIncompatible

This was trying to execute a secondary command buffer within a subpass
whose contents were marked as inline.

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

tests: Silence spurious error in MapMemWithoutHostVisibleBit

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

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

tests: Complain about unexpected errors

This won't give us test failures yet, but does make the spurious errors
visible.

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

tests: Add test for depth/stencil state required in pipeline

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

tests: Hold PipelineObj::m_ds_state by ptr.

Makes it possible to pass nullptr for this structure. In fact, pretty
much all the time, we can pass nullptr here, as no depth buffer!

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

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>

tests: Reintroduce test for missing entrypoint

This used to exist, but got nuked at some point...

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