| ===================================== ReplayCreateVkDevice |
| Parameter:pCreateInfo.Range().Elem().pQueueCreateInfos.Range().Elem().pQueuePriorities.Range(): [Observation(Read)] |
| ===================================== vkAllocateDescriptorSets |
| Parameter:pAllocateInfo.Range().Elem().pSetLayouts.Range(): [Observation(Read)] |
| ===================================== vkAllocateMemory |
| Parameter:pAllocateInfo.Range().Elem().pNext.Range().Elem(): [VK_STRUCTURE_TYPE_DEDICATED_ALLOCATION_MEMORY_ALLOCATE_INFO_NV] |
| ===================================== vkCmdBeginRenderPass |
| Parameter:pRenderPassBegin.Range().Elem().pClearValues.Range(): [Observation(Read)] |
| ===================================== vkCmdBindDescriptorSets |
| Parameter:pDynamicOffsets.Range(): [Observation(Read)] |
| ===================================== vkCmdBlitImage |
| Parameter:pRegions.Range(): [Observation(Read)] |
| ===================================== vkCmdClearAttachments |
| Parameter:pAttachments.Range(): [Observation(Read)] |
| Parameter:pRects.Range(): [Observation(Read)] |
| ===================================== vkCmdClearColorImage |
| Parameter:pRanges.Range(): [Observation(Read)] |
| ===================================== vkCmdCopyBuffer |
| Parameter:pRegions.Range(): [Observation(Read)] |
| ===================================== vkCmdCopyBufferToImage |
| Parameter:pRegions.Range(): [Observation(Read)] |
| ===================================== vkCmdCopyImageToBuffer |
| Parameter:pRegions.Range(): [Observation(Read)] |
| ===================================== vkCmdExecuteCommands |
| Parameter:pCommandBuffers.Range(): [Observation(Read)] |
| ===================================== vkCmdPipelineBarrier |
| Parameter:pMemoryBarriers.Range(): [Observation(Read)] |
| Parameter:pBufferMemoryBarriers.Range(): [Observation(Read)] |
| ===================================== vkCmdPushConstants |
| Parameter:pValues.Range(): [Observation(Read)] |
| ===================================== vkCmdResolveImage |
| Parameter:pRegions.Range(): [Observation(Read)] |
| ===================================== vkCmdSetScissor |
| Parameter:pScissors.Range(): [Observation(Read)] |
| ===================================== vkCmdSetViewport |
| Parameter:pViewports.Range(): [Observation(Read)] |
| ===================================== vkCreateBuffer |
| Parameter:pCreateInfo.Range().Elem().pNext.Range().Elem(): [VK_STRUCTURE_TYPE_DEDICATED_ALLOCATION_BUFFER_CREATE_INFO_NV] |
| Parameter:pCreateInfo.Range().Elem().pQueueFamilyIndices.Range(): [Observation(Read)] |
| ===================================== vkCreateDescriptorPool |
| Parameter:pCreateInfo.Range().Elem().pPoolSizes.Range(): [Observation(Read)] |
| ===================================== vkCreateDescriptorSetLayout |
| Parameter:pCreateInfo.Range().Elem().pBindings.Range().Elem().pImmutableSamplers.Range(): [Observation(Read)] |
| ===================================== vkCreateDevice |
| Parameter:pCreateInfo.Range().Elem().pQueueCreateInfos.Range().Elem().pQueuePriorities.Range(): [Observation(Read)] |
| ===================================== vkCreateFence |
| Parameter:pCreateInfo.Range().Elem().flags: [VK_FENCE_CREATE_SIGNALED_BIT] |
| ===================================== vkCreateGraphicsPipelines |
| Parameter:pCreateInfos.Range().Elem().pColorBlendState.Range().Elem().pAttachments.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pDepthStencilState.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pDynamicState.Range().Elem().pDynamicStates.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pInputAssemblyState.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pMultisampleState.Range().Elem().pSampleMask.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pStages.Range().Elem().pSpecializationInfo.Range().Elem().pData.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pStages.Range().Elem().pSpecializationInfo.Range().Elem().pMapEntries.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pTessellationState.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pVertexInputState.Range().Elem().pVertexAttributeDescriptions.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pVertexInputState.Range().Elem().pVertexBindingDescriptions.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pViewportState.Range().Elem().pScissors.Range(): [Observation(Read)] |
| Parameter:pCreateInfos.Range().Elem().pViewportState.Range().Elem().pViewports.Range(): [Observation(Read)] |
| ===================================== vkCreateImage |
| Global:State.Images.Elem().Format: [VK_FORMAT_R8G8B8_UNORM VK_FORMAT_R8G8B8A8_UNORM VK_FORMAT_B8G8R8A8_UNORM VK_FORMAT_BC1_RGB_UNORM_BLOCK VK_FORMAT_BC1_RGB_SRGB_BLOCK VK_FORMAT_BC1_RGBA_UNORM_BLOCK VK_FORMAT_BC1_RGBA_SRGB_BLOCK VK_FORMAT_BC2_UNORM_BLOCK VK_FORMAT_BC3_UNORM_BLOCK VK_FORMAT_R16G16B16A16_SFLOAT VK_FORMAT_R32G32B32A32_SFLOAT VK_FORMAT_R8_UNORM VK_FORMAT_R16_UNORM VK_FORMAT_R32_SFLOAT VK_FORMAT_D32_SFLOAT_S8_UINT VK_FORMAT_D16_UNORM VK_FORMAT_D24_UNORM_S8_UINT VK_FORMAT_ETC2_R8G8B8_SRGB_BLOCK VK_FORMAT_ETC2_R8G8B8_UNORM_BLOCK VK_FORMAT_ETC2_R8G8B8A8_SRGB_BLOCK VK_FORMAT_ETC2_R8G8B8A8_UNORM_BLOCK] |
| Parameter:pCreateInfo.Range().Elem().format: [VK_FORMAT_R8G8B8_UNORM VK_FORMAT_R8G8B8A8_UNORM VK_FORMAT_B8G8R8A8_UNORM VK_FORMAT_BC1_RGB_UNORM_BLOCK VK_FORMAT_BC1_RGB_SRGB_BLOCK VK_FORMAT_BC1_RGBA_UNORM_BLOCK VK_FORMAT_BC1_RGBA_SRGB_BLOCK VK_FORMAT_BC2_UNORM_BLOCK VK_FORMAT_BC3_UNORM_BLOCK VK_FORMAT_R16G16B16A16_SFLOAT VK_FORMAT_R32G32B32A32_SFLOAT VK_FORMAT_R8_UNORM VK_FORMAT_R16_UNORM VK_FORMAT_R32_SFLOAT VK_FORMAT_D32_SFLOAT_S8_UINT VK_FORMAT_D16_UNORM VK_FORMAT_D24_UNORM_S8_UINT VK_FORMAT_ETC2_R8G8B8_SRGB_BLOCK VK_FORMAT_ETC2_R8G8B8_UNORM_BLOCK VK_FORMAT_ETC2_R8G8B8A8_SRGB_BLOCK VK_FORMAT_ETC2_R8G8B8A8_UNORM_BLOCK] |
| Parameter:pCreateInfo.Range().Elem().pNext.Range().Elem(): [VK_STRUCTURE_TYPE_DEDICATED_ALLOCATION_IMAGE_CREATE_INFO_NV] |
| Parameter:pCreateInfo.Range().Elem().pQueueFamilyIndices.Range(): [Observation(Read)] |
| ===================================== vkCreatePipelineCache |
| Parameter:pCreateInfo.Range().Elem().pInitialData.Range(): [Observation(Read)] |
| ===================================== vkCreatePipelineLayout |
| Parameter:pCreateInfo.Range().Elem().pPushConstantRanges.Range(): [Observation(Read)] |
| Parameter:pCreateInfo.Range().Elem().pSetLayouts.Range(): [Observation(Read)] |
| ===================================== vkCreateRenderPass |
| Parameter:pCreateInfo.Range().Elem().pAttachments.Range(): [Observation(Read)] |
| Parameter:pCreateInfo.Range().Elem().pDependencies.Range(): [Observation(Read)] |
| Parameter:pCreateInfo.Range().Elem().pSubpasses.Range(): [Observation(Read)] |
| Parameter:pCreateInfo.Range().Elem().pSubpasses.Range().Elem().pColorAttachments.Range(): [Observation(Read)] |
| Parameter:pCreateInfo.Range().Elem().pSubpasses.Range().Elem().pInputAttachments.Range(): [Observation(Read)] |
| Parameter:pCreateInfo.Range().Elem().pSubpasses.Range().Elem().pPreserveAttachments.Range(): [Observation(Read)] |
| Parameter:pCreateInfo.Range().Elem().pSubpasses.Range().Elem().pResolveAttachments.Range(): [Observation(Read)] |
| ===================================== vkCreateShaderModule |
| Parameter:pCreateInfo.Range().Elem().pCode.Range(): [Observation(Read)] |
| ===================================== vkCreateSwapchainKHR |
| Parameter:pCreateInfo.Range().Elem().pQueueFamilyIndices.Range(): [Observation(Read)] |
| ===================================== vkFlushMappedMemoryRanges |
| Global:State.DeviceMemories.Elem().Data: [Observation(Write) Observation(Read)] |
| ===================================== vkGetQueryPoolResults |
| Parameter:pData.Range(): [Observation(Write)] |
| ===================================== vkGetSwapchainImagesKHR |
| Global:State.Images.Elem().Format: [VK_FORMAT_R8G8B8_UNORM VK_FORMAT_R8G8B8A8_UNORM VK_FORMAT_B8G8R8A8_UNORM VK_FORMAT_BC1_RGB_UNORM_BLOCK VK_FORMAT_BC1_RGB_SRGB_BLOCK VK_FORMAT_BC1_RGBA_UNORM_BLOCK VK_FORMAT_BC1_RGBA_SRGB_BLOCK VK_FORMAT_BC2_UNORM_BLOCK VK_FORMAT_BC3_UNORM_BLOCK VK_FORMAT_R16G16B16A16_SFLOAT VK_FORMAT_R32G32B32A32_SFLOAT VK_FORMAT_R8_UNORM VK_FORMAT_R16_UNORM VK_FORMAT_R32_SFLOAT VK_FORMAT_D32_SFLOAT_S8_UINT VK_FORMAT_D16_UNORM VK_FORMAT_D24_UNORM_S8_UINT VK_FORMAT_ETC2_R8G8B8_SRGB_BLOCK VK_FORMAT_ETC2_R8G8B8_UNORM_BLOCK VK_FORMAT_ETC2_R8G8B8A8_SRGB_BLOCK VK_FORMAT_ETC2_R8G8B8A8_UNORM_BLOCK] |
| Global:State.Images.Elem().Layout: [VK_IMAGE_LAYOUT_UNDEFINED] |
| Global:State.Images.Elem().Samples: [VK_SAMPLE_COUNT_1_BIT] |
| Global:State.Images.Elem().Type: [VK_IMAGE_TYPE_2D] |
| ===================================== vkMapMemory |
| Parameter:ppData.Range(): [Observation(Read)] |
| ===================================== vkQueuePresentKHR |
| Parameter:pPresentInfo.Range().Elem().pResults.Range(): [Observation(Read)] |
| Parameter:pPresentInfo.Range().Elem().pWaitSemaphores.Range(): [Observation(Read)] |
| ===================================== vkQueueSubmit |
| Parameter:pSubmits.Range().Elem().pSignalSemaphores.Range(): [Observation(Read)] |
| Parameter:pSubmits.Range().Elem().pWaitDstStageMask.Range(): [Observation(Read)] |
| Parameter:pSubmits.Range().Elem().pWaitSemaphores.Range(): [Observation(Read)] |
| ===================================== vkResetFences |
| Parameter:pFences.Range(): [Observation(Read)] |
| ===================================== vkUnmapMemory |
| Global:State.DeviceMemories.Elem().Data: [Observation(Write) Observation(Read)] |
| Global:State.PhysicalDevices.Elem().MemoryProperties.memoryTypes.Elem().propertyFlags: [VK_MEMORY_PROPERTY_HOST_COHERENT_BIT] |
| ===================================== vkUpdateDescriptorSets |
| Parameter:pDescriptorWrites.Range().Elem().descriptorType: [VK_DESCRIPTOR_TYPE_SAMPLER VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER VK_DESCRIPTOR_TYPE_SAMPLED_IMAGE VK_DESCRIPTOR_TYPE_STORAGE_IMAGE VK_DESCRIPTOR_TYPE_INPUT_ATTACHMENT VK_DESCRIPTOR_TYPE_UNIFORM_TEXEL_BUFFER VK_DESCRIPTOR_TYPE_STORAGE_TEXEL_BUFFER VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER VK_DESCRIPTOR_TYPE_STORAGE_BUFFER VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER_DYNAMIC VK_DESCRIPTOR_TYPE_STORAGE_BUFFER_DYNAMIC] |
| Parameter:pDescriptorWrites.Range().Elem().pImageInfo.Range(): [Observation(Read)] |
| Parameter:pDescriptorWrites.Range().Elem().pTexelBufferView.Range(): [Observation(Read)] |
| Parameter:pDescriptorCopies.Range(): [Observation(Read)] |
| ===================================== vkWaitForFences |
| Parameter:pFences.Range(): [Observation(Read)] |
