tree daceaa3e64ad2bf0ed02ab56aebf8c69cd160770
parent a6c940893ad7da034c17f10bf0816ac7c466a203
author Jeremy Kniager <jeremyk@lunarg.com> 1530554748 -0600
committer jeremyk-lunarg <jeremyk@lunarg.com> 1545064179 -0700

vulkaninfo: Cherry-pick GitLab extension code.

Cherry-picking code for the following extensions
and structures from GitLab.

Extensions:

    KHR_driver_properties
    KHR_shader_float_control
    KHR_shader_float16_int8

Structures:

    VkPhysicalDeviceDriverPropertiesKHR
    VkPhysicalDeviceFloatControlsPropertiesKHR
    VkPhysicalDeviceFloat16Int8FeaturesKHR

Change-Id: I2a7e970e681602e644f58d7cd10e66943f5650b5