mirror of
https://github.com/ValveSoftware/Proton.git
synced 2024-12-27 07:05:46 +03:00
Fix up vkd3d-proton build
This commit is contained in:
Andrew Eikum
parent
dd7130d113
commit
1c26086688
12
.gitmodules
vendored
12
.gitmodules
vendored
@ -19,15 +19,6 @@
|
|||||||
[submodule "FAudio"]
|
[submodule "FAudio"]
|
||||||
path = FAudio
|
path = FAudio
|
||||||
url = https://github.com/FNA-XNA/FAudio/
|
url = https://github.com/FNA-XNA/FAudio/
|
||||||
[submodule "vkd3d"]
|
|
||||||
path = vkd3d
|
|
||||||
url = https://github.com/ValveSoftware/vkd3d/
|
|
||||||
[submodule "SPIRV-Headers"]
|
|
||||||
path = SPIRV-Headers
|
|
||||||
url = https://github.com/KhronosGroup/SPIRV-Headers
|
|
||||||
[submodule "Vulkan-Headers"]
|
|
||||||
path = Vulkan-Headers
|
|
||||||
url = https://github.com/KhronosGroup/Vulkan-Headers
|
|
||||||
[submodule "gstreamer"]
|
[submodule "gstreamer"]
|
||||||
path = gstreamer
|
path = gstreamer
|
||||||
url = https://gitlab.freedesktop.org/gstreamer/gstreamer.git
|
url = https://gitlab.freedesktop.org/gstreamer/gstreamer.git
|
||||||
@ -43,3 +34,6 @@
|
|||||||
[submodule "gst-orc"]
|
[submodule "gst-orc"]
|
||||||
path = gst-orc
|
path = gst-orc
|
||||||
url = https://gitlab.freedesktop.org/gstreamer/orc.git
|
url = https://gitlab.freedesktop.org/gstreamer/orc.git
|
||||||
|
[submodule "vkd3d-proton"]
|
||||||
|
path = vkd3d-proton
|
||||||
|
url = https://github.com/HansKristian-Work/vkd3d-proton
|
||||||
|
|||||||
12
Makefile
12
Makefile
@ -143,12 +143,12 @@ d9vk: configure
|
|||||||
cp $(BUILD_DIR)/dist/dist/lib/wine/dxvk/*.dll /vagrant/d9vk/lib/wine/dxvk/ && \
|
cp $(BUILD_DIR)/dist/dist/lib/wine/dxvk/*.dll /vagrant/d9vk/lib/wine/dxvk/ && \
|
||||||
cp $(BUILD_DIR)/dist/dist/lib64/wine/dxvk/*.dll /vagrant/d9vk/lib64/wine/dxvk/'
|
cp $(BUILD_DIR)/dist/dist/lib64/wine/dxvk/*.dll /vagrant/d9vk/lib64/wine/dxvk/'
|
||||||
|
|
||||||
vkd3d: configure
|
vkd3d-proton: configure
|
||||||
mkdir -p vagrant_share/vkd3d/lib/wine/vkd3d
|
mkdir -p vagrant_share/vkd3d-proton/lib/wine/vkd3d-proton/
|
||||||
mkdir -p vagrant_share/vkd3d/lib64/wine/vkd3d
|
mkdir -p vagrant_share/vkd3d-proton/lib64/wine/vkd3d-proton/
|
||||||
vagrant ssh -c 'make -C $(BUILD_DIR)/ $(UNSTRIPPED) vkd3d && \
|
vagrant ssh -c 'make -C $(BUILD_DIR)/ $(UNSTRIPPED) vkd3d-proton && \
|
||||||
cp $(BUILD_DIR)/dist/dist/lib/wine/vkd3d/*.dll /vagrant/vkd3d/lib/wine/vkd3d && \
|
cp $(BUILD_DIR)/dist/dist/lib/wine/vkd3d-proton/*.dll /vagrant/vkd3d-proton/lib/wine/vkd3d-proton/ && \
|
||||||
cp $(BUILD_DIR)/dist/dist/lib64/wine/vkd3d/*.dll /vagrant/vkd3d/lib64/wine/vkd3d'
|
cp $(BUILD_DIR)/dist/dist/lib64/wine/vkd3d-proton/*.dll /vagrant/vkd3d-proton/lib64/wine/vkd3d-proton/'
|
||||||
|
|
||||||
lsteamclient: configure
|
lsteamclient: configure
|
||||||
mkdir -p vagrant_share/lsteamclient/lib/wine
|
mkdir -p vagrant_share/lsteamclient/lib/wine
|
||||||
|
|||||||
@ -1 +0,0 @@
|
|||||||
Subproject commit 63d4d272f6e5b3cb9bb2bb50718a886a3eef4dab
|
|
||||||
@ -1 +0,0 @@
|
|||||||
Subproject commit db1a98c6cc430725669ea10eb6a35b3584d5f3ab
|
|
||||||
@ -146,12 +146,10 @@ ifneq ($(UNSTRIPPED_BUILD),)
|
|||||||
STRIP :=
|
STRIP :=
|
||||||
INSTALL_PROGRAM_FLAGS :=
|
INSTALL_PROGRAM_FLAGS :=
|
||||||
MESON_STRIP_ARG :=
|
MESON_STRIP_ARG :=
|
||||||
VKD3D_INSTALL_TARGET := install
|
|
||||||
else
|
else
|
||||||
STRIP := strip
|
STRIP := strip
|
||||||
INSTALL_PROGRAM_FLAGS := -s
|
INSTALL_PROGRAM_FLAGS := -s
|
||||||
MESON_STRIP_ARG := --strip
|
MESON_STRIP_ARG := --strip
|
||||||
VKD3D_INSTALL_TARGET := install-strip
|
|
||||||
endif
|
endif
|
||||||
|
|
||||||
OPTIMIZE_FLAGS := -O2 -march=nocona $(call cc-option,$(CC),-mtune=core-avx2,) -mfpmath=sse
|
OPTIMIZE_FLAGS := -O2 -march=nocona $(call cc-option,$(CC),-mtune=core-avx2,) -mfpmath=sse
|
||||||
@ -260,19 +258,7 @@ DXVK := $(SRCDIR)/dxvk
|
|||||||
DXVK_OBJ32 := ./obj-dxvk32
|
DXVK_OBJ32 := ./obj-dxvk32
|
||||||
DXVK_OBJ64 := ./obj-dxvk64
|
DXVK_OBJ64 := ./obj-dxvk64
|
||||||
|
|
||||||
VULKAN_HEADERS := $(SRCDIR)/Vulkan-Headers
|
VKD3D := $(SRCDIR)/vkd3d-proton
|
||||||
VULKAN_H_OBJ32 := ./obj-vulkan-headers32
|
|
||||||
VULKAN_H_OBJ64 := ./obj-vulkan-headers64
|
|
||||||
VULKAN_H32 := $(TOOLS_DIR32)/include/vulkan/vulkan.h
|
|
||||||
VULKAN_H64 := $(TOOLS_DIR64)/include/vulkan/vulkan.h
|
|
||||||
|
|
||||||
SPIRV_HEADERS := $(SRCDIR)/SPIRV-Headers
|
|
||||||
SPIRV_H_OBJ32 := ./obj-spirv-headers32
|
|
||||||
SPIRV_H_OBJ64 := ./obj-spirv-headers64
|
|
||||||
SPIRV_H32 := $(TOOLS_DIR32)/include/spirv/spirv.h
|
|
||||||
SPIRV_H64 := $(TOOLS_DIR64)/include/spirv/spirv.h
|
|
||||||
|
|
||||||
VKD3D := $(SRCDIR)/vkd3d
|
|
||||||
VKD3D_OBJ32 := ./obj-vkd3d32
|
VKD3D_OBJ32 := ./obj-vkd3d32
|
||||||
VKD3D_OBJ64 := ./obj-vkd3d64
|
VKD3D_OBJ64 := ./obj-vkd3d64
|
||||||
|
|
||||||
@ -309,8 +295,6 @@ OBJ_DIRS := $(TOOLS_DIR32) $(TOOLS_DIR64) \
|
|||||||
$(VRCLIENT_OBJ32) $(VRCLIENT_OBJ64) \
|
$(VRCLIENT_OBJ32) $(VRCLIENT_OBJ64) \
|
||||||
$(DXVK_OBJ32) $(DXVK_OBJ64) \
|
$(DXVK_OBJ32) $(DXVK_OBJ64) \
|
||||||
$(BISON_OBJ32) $(BISON_OBJ64) \
|
$(BISON_OBJ32) $(BISON_OBJ64) \
|
||||||
$(VULKAN_H_OBJ32) $(VULKAN_H_OBJ64) \
|
|
||||||
$(SPIRV_H_OBJ32) $(SPIRV_H_OBJ64) \
|
|
||||||
$(WINEWIDL_OBJ32) $(WINEWIDL_OBJ64) \
|
$(WINEWIDL_OBJ32) $(WINEWIDL_OBJ64) \
|
||||||
$(VKD3D_OBJ32) $(VKD3D_OBJ64) \
|
$(VKD3D_OBJ32) $(VKD3D_OBJ64) \
|
||||||
$(CMAKE_OBJ32) $(CMAKE_OBJ64)
|
$(CMAKE_OBJ32) $(CMAKE_OBJ64)
|
||||||
@ -473,7 +457,7 @@ $(DIST_FONTS): fonts
|
|||||||
ALL_TARGETS += dist
|
ALL_TARGETS += dist
|
||||||
GOAL_TARGETS += dist
|
GOAL_TARGETS += dist
|
||||||
|
|
||||||
dist: $(DIST_TARGETS) wine gst_good vrclient lsteamclient steam dxvk | $(DST_DIR)
|
dist: $(DIST_TARGETS) wine gst_good vrclient lsteamclient steam dxvk vkd3d-proton | $(DST_DIR)
|
||||||
echo `date '+%s'` `GIT_DIR=$(abspath $(SRCDIR)/.git) git describe --tags` > $(DIST_VERSION)
|
echo `date '+%s'` `GIT_DIR=$(abspath $(SRCDIR)/.git) git describe --tags` > $(DIST_VERSION)
|
||||||
cp $(DIST_VERSION) $(DST_BASE)/
|
cp $(DIST_VERSION) $(DST_BASE)/
|
||||||
rm -rf $(abspath $(DIST_PREFIX)) && \
|
rm -rf $(abspath $(DIST_PREFIX)) && \
|
||||||
@ -1646,56 +1630,6 @@ dxvk32: $(DXVK_CONFIGURE_FILES32)
|
|||||||
|
|
||||||
endif # NO_DXVK
|
endif # NO_DXVK
|
||||||
|
|
||||||
# Vulkan-Headers
|
|
||||||
|
|
||||||
VULKAN_H_CONFIGURE_FILES32 := $(VULKAN_H_OBJ32)/Makefile
|
|
||||||
VULKAN_H_CONFIGURE_FILES64 := $(VULKAN_H_OBJ64)/Makefile
|
|
||||||
|
|
||||||
$(VULKAN_H_CONFIGURE_FILES32): SHELL = $(CONTAINER_SHELL32)
|
|
||||||
$(VULKAN_H_CONFIGURE_FILES32): $(MAKEFILE_DEP) $(CMAKE_BIN32) $(VULKAN_HEADERS)/CMakeLists.txt | $(VULKAN_H_OBJ32)
|
|
||||||
cd $(abspath $(VULKAN_H_OBJ32)) && \
|
|
||||||
../$(CMAKE_BIN32) -DCMAKE_INSTALL_PREFIX=$(abspath $(TOOLS_DIR32)) $(abspath $(VULKAN_HEADERS))
|
|
||||||
|
|
||||||
$(VULKAN_H_CONFIGURE_FILES64): SHELL = $(CONTAINER_SHELL64)
|
|
||||||
$(VULKAN_H_CONFIGURE_FILES64): $(MAKEFILE_DEP) $(CMAKE_BIN64) $(VULKAN_HEADERS)/CMakeLists.txt | $(VULKAN_H_OBJ64)
|
|
||||||
cd $(abspath $(VULKAN_H_OBJ64)) && \
|
|
||||||
../$(CMAKE_BIN64) -DCMAKE_INSTALL_PREFIX=$(abspath $(TOOLS_DIR64)) $(abspath $(VULKAN_HEADERS))
|
|
||||||
|
|
||||||
$(VULKAN_H32): SHELL = $(CONTAINER_SHELL32)
|
|
||||||
$(VULKAN_H32): $(VULKAN_H_CONFIGURE_FILES32) | $(VULKAN_H_OBJ32)
|
|
||||||
cd $(abspath $(VULKAN_H_OBJ32)) && \
|
|
||||||
../$(CMAKE_BIN32) --build . --target install
|
|
||||||
|
|
||||||
$(VULKAN_H64): SHELL = $(CONTAINER_SHELL64)
|
|
||||||
$(VULKAN_H64): $(VULKAN_H_CONFIGURE_FILES64) | $(VULKAN_H_OBJ64)
|
|
||||||
cd $(abspath $(VULKAN_H_OBJ64)) && \
|
|
||||||
../$(CMAKE_BIN64) --build . --target install
|
|
||||||
|
|
||||||
# SPIRV-Headers
|
|
||||||
|
|
||||||
SPIRV_H_CONFIGURE_FILES32 := $(SPIRV_H_OBJ32)/Makefile
|
|
||||||
SPIRV_H_CONFIGURE_FILES64 := $(SPIRV_H_OBJ64)/Makefile
|
|
||||||
|
|
||||||
$(SPIRV_H_CONFIGURE_FILES32): SHELL = $(CONTAINER_SHELL32)
|
|
||||||
$(SPIRV_H_CONFIGURE_FILES32): $(MAKEFILE_DEP) $(CMAKE_BIN32) $(SPIRV_HEADERS)/CMakeLists.txt | $(SPIRV_H_OBJ32)
|
|
||||||
cd $(abspath $(SPIRV_H_OBJ32)) && \
|
|
||||||
../$(CMAKE_BIN32) -DCMAKE_INSTALL_PREFIX=$(abspath $(TOOLS_DIR32)) $(abspath $(SPIRV_HEADERS))
|
|
||||||
|
|
||||||
$(SPIRV_H_CONFIGURE_FILES64): SHELL = $(CONTAINER_SHELL64)
|
|
||||||
$(SPIRV_H_CONFIGURE_FILES64): $(MAKEFILE_DEP) $(CMAKE_BIN64) $(SPIRV_HEADERS)/CMakeLists.txt | $(SPIRV_H_OBJ64)
|
|
||||||
cd $(abspath $(SPIRV_H_OBJ64)) && \
|
|
||||||
../$(CMAKE_BIN64) -DCMAKE_INSTALL_PREFIX=$(abspath $(TOOLS_DIR64)) $(abspath $(SPIRV_HEADERS))
|
|
||||||
|
|
||||||
$(SPIRV_H32): SHELL = $(CONTAINER_SHELL32)
|
|
||||||
$(SPIRV_H32): $(SPIRV_H_CONFIGURE_FILES32)
|
|
||||||
cd $(abspath $(SPIRV_H_OBJ32)) && \
|
|
||||||
../$(CMAKE_BIN32) --build . --target install
|
|
||||||
|
|
||||||
$(SPIRV_H64): SHELL = $(CONTAINER_SHELL64)
|
|
||||||
$(SPIRV_H64): $(SPIRV_H_CONFIGURE_FILES64)
|
|
||||||
cd $(abspath $(SPIRV_H_OBJ64)) && \
|
|
||||||
../$(CMAKE_BIN64) --build . --target install
|
|
||||||
|
|
||||||
# widl; required for vkd3d, which is built before wine
|
# widl; required for vkd3d, which is built before wine
|
||||||
|
|
||||||
WINEWIDL_CONFIGURE_FILES64 := $(WINEWIDL_OBJ64)/Makefile
|
WINEWIDL_CONFIGURE_FILES64 := $(WINEWIDL_OBJ64)/Makefile
|
||||||
@ -1747,33 +1681,41 @@ VKD3D_CONFIGURE_FILES64 := $(VKD3D_OBJ64)/build.ninja
|
|||||||
|
|
||||||
$(VKD3D_CONFIGURE_FILES32): SHELL = $(CONTAINER_SHELL32)
|
$(VKD3D_CONFIGURE_FILES32): SHELL = $(CONTAINER_SHELL32)
|
||||||
$(VKD3D_CONFIGURE_FILES32): $(VKD3D)/meson.build $(VKD3D)/build-win32.txt $(WINEWIDL32) | $(VKD3D_OBJ32)
|
$(VKD3D_CONFIGURE_FILES32): $(VKD3D)/meson.build $(VKD3D)/build-win32.txt $(WINEWIDL32) | $(VKD3D_OBJ32)
|
||||||
(cd $(abspath $(VKD3D)) && git submodule update --init --recursive) && \
|
|
||||||
cd $(abspath $(VKD3D_OBJ32)) && \
|
cd $(abspath $(VKD3D_OBJ32)) && \
|
||||||
PATH="$(abspath $(SRCDIR))/glslang/bin/:$(abspath $(WINEWIDL_OBJ32))/tools/widl:$(PATH)" \
|
PATH="$(abspath $(SRCDIR))/glslang/bin/:$(abspath $(WINEWIDL_OBJ32))/tools/widl:$(PATH)" \
|
||||||
meson --prefix="$(abspath $(VKD3D_OBJ32))" --cross-file "$(abspath $(VKD3D))/build-win32.txt" $(MESON_STRIP_ARG) --buildtype=release -Denable_standalone_d3d12=true "$(abspath $(VKD3D))"
|
meson --prefix="$(abspath $(VKD3D_OBJ32))" \
|
||||||
|
--cross-file "$(abspath $(VKD3D))/build-win32.txt" \
|
||||||
|
$(MESON_STRIP_ARG) \
|
||||||
|
--buildtype=release -Denable_standalone_d3d12=true \
|
||||||
|
"$(abspath $(VKD3D))"
|
||||||
|
|
||||||
vkd3d32: SHELL = $(CONTAINER_SHELL32)
|
vkd3d32: SHELL = $(CONTAINER_SHELL32)
|
||||||
vkd3d32: $(VKD3D_CONFIGURE_FILES32)
|
vkd3d32: $(VKD3D_CONFIGURE_FILES32)
|
||||||
(cd $(abspath $(VKD3D)) && git submodule update --init --recursive) && \
|
ninja -C "$(VKD3D_OBJ32)" install
|
||||||
ninja -C "$(VKD3D_OBJ32)" install && \
|
mkdir -p "$(DST_DIR)"/lib/wine/vkd3d-proton
|
||||||
mkdir -p "$(DST_DIR)"/lib/wine/vkd3d && \
|
cp "$(VKD3D_OBJ32)/bin/d3d12.dll" "$(DST_DIR)"/lib/wine/vkd3d-proton/
|
||||||
cp "$(VKD3D_OBJ32)/bin/d3d12.dll" "$(DST_DIR)"/lib/wine/vkd3d
|
if test -e $(SRCDIR)/.git; then ( cd $(SRCDIR) && git submodule status -- vkd3d-proton ) > "$(DST_DIR)"/lib/wine/vkd3d-proton/version; fi
|
||||||
|
|
||||||
$(VKD3D_CONFIGURE_FILES64): SHELL = $(CONTAINER_SHELL64)
|
$(VKD3D_CONFIGURE_FILES64): SHELL = $(CONTAINER_SHELL64)
|
||||||
$(VKD3D_CONFIGURE_FILES64): $(VKD3D)/meson.build $(VKD3D)/build-win64.txt $(WINEWIDL64) | $(VKD3D_OBJ64)
|
$(VKD3D_CONFIGURE_FILES64): $(VKD3D)/meson.build $(VKD3D)/build-win64.txt $(WINEWIDL64) | $(VKD3D_OBJ64)
|
||||||
(cd $(abspath $(VKD3D)) && git submodule update --init --recursive) && \
|
|
||||||
cd $(abspath $(VKD3D_OBJ64)) && \
|
cd $(abspath $(VKD3D_OBJ64)) && \
|
||||||
PATH="$(abspath $(SRCDIR))/glslang/bin/:$(abspath $(WINEWIDL_OBJ64))/tools/widl:$(PATH)" \
|
PATH="$(abspath $(SRCDIR))/glslang/bin/:$(abspath $(WINEWIDL_OBJ64))/tools/widl:$(PATH)" \
|
||||||
meson --prefix="$(abspath $(VKD3D_OBJ64))" --cross-file "$(abspath $(VKD3D))/build-win64.txt" $(MESON_STRIP_ARG) --buildtype=release -Denable_standalone_d3d12=true "$(abspath $(VKD3D))"
|
meson --prefix="$(abspath $(VKD3D_OBJ64))" \
|
||||||
|
--cross-file "$(abspath $(VKD3D))/build-win64.txt" \
|
||||||
|
$(MESON_STRIP_ARG) \
|
||||||
|
--buildtype=release -Denable_standalone_d3d12=true \
|
||||||
|
"$(abspath $(VKD3D))"
|
||||||
|
|
||||||
vkd3d64: SHELL = $(CONTAINER_SHELL64)
|
vkd3d64: SHELL = $(CONTAINER_SHELL64)
|
||||||
vkd3d64: $(VKD3D_CONFIGURE_FILES64)
|
vkd3d64: $(VKD3D_CONFIGURE_FILES64)
|
||||||
(cd $(abspath $(VKD3D)) && git submodule update --init --recursive) && \
|
ninja -C "$(VKD3D_OBJ64)" install
|
||||||
ninja -C "$(VKD3D_OBJ64)" install && \
|
mkdir -p "$(DST_DIR)"/lib64/wine/vkd3d-proton
|
||||||
mkdir -p "$(DST_DIR)"/lib64/wine/vkd3d && \
|
cp "$(VKD3D_OBJ64)/bin/d3d12.dll" "$(DST_DIR)"/lib64/wine/vkd3d-proton/
|
||||||
cp "$(VKD3D_OBJ64)/bin/d3d12.dll" "$(DST_DIR)"/lib64/wine/vkd3d
|
if test -e $(SRCDIR)/.git; then ( cd $(SRCDIR) && git submodule status -- vkd3d-proton ) > "$(DST_DIR)"/lib64/wine/vkd3d-proton/version; fi
|
||||||
|
|
||||||
vkd3d: vkd3d32 vkd3d64
|
vkd3d: vkd3d-proton
|
||||||
|
|
||||||
|
vkd3d-proton: vkd3d32 vkd3d64
|
||||||
|
|
||||||
# TODO Tests
|
# TODO Tests
|
||||||
# build_vrclient64_tests
|
# build_vrclient64_tests
|
||||||
|
|||||||
Binary file not shown.
@ -1,110 +0,0 @@
|
|||||||
/*
|
|
||||||
** Copyright (c) 2014-2016 The Khronos Group Inc.
|
|
||||||
**
|
|
||||||
** Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
||||||
** of this software and/or associated documentation files (the "Materials"),
|
|
||||||
** to deal in the Materials without restriction, including without limitation
|
|
||||||
** the rights to use, copy, modify, merge, publish, distribute, sublicense,
|
|
||||||
** and/or sell copies of the Materials, and to permit persons to whom the
|
|
||||||
** Materials are furnished to do so, subject to the following conditions:
|
|
||||||
**
|
|
||||||
** The above copyright notice and this permission notice shall be included in
|
|
||||||
** all copies or substantial portions of the Materials.
|
|
||||||
**
|
|
||||||
** MODIFICATIONS TO THIS FILE MAY MEAN IT NO LONGER ACCURATELY REFLECTS KHRONOS
|
|
||||||
** STANDARDS. THE UNMODIFIED, NORMATIVE VERSIONS OF KHRONOS SPECIFICATIONS AND
|
|
||||||
** HEADER INFORMATION ARE LOCATED AT https://www.khronos.org/registry/
|
|
||||||
**
|
|
||||||
** THE MATERIALS ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
|
|
||||||
** OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
||||||
** FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
|
|
||||||
** THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
||||||
** LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
|
||||||
** FROM,OUT OF OR IN CONNECTION WITH THE MATERIALS OR THE USE OR OTHER DEALINGS
|
|
||||||
** IN THE MATERIALS.
|
|
||||||
*/
|
|
||||||
|
|
||||||
#ifndef GLSLextAMD_H
|
|
||||||
#define GLSLextAMD_H
|
|
||||||
|
|
||||||
enum BuiltIn;
|
|
||||||
enum Capability;
|
|
||||||
enum Decoration;
|
|
||||||
enum Op;
|
|
||||||
|
|
||||||
static const int GLSLextAMDVersion = 100;
|
|
||||||
static const int GLSLextAMDRevision = 6;
|
|
||||||
|
|
||||||
// SPV_AMD_shader_ballot
|
|
||||||
static const char* const E_SPV_AMD_shader_ballot = "SPV_AMD_shader_ballot";
|
|
||||||
|
|
||||||
enum ShaderBallotAMD {
|
|
||||||
ShaderBallotBadAMD = 0, // Don't use
|
|
||||||
|
|
||||||
SwizzleInvocationsAMD = 1,
|
|
||||||
SwizzleInvocationsMaskedAMD = 2,
|
|
||||||
WriteInvocationAMD = 3,
|
|
||||||
MbcntAMD = 4,
|
|
||||||
|
|
||||||
ShaderBallotCountAMD
|
|
||||||
};
|
|
||||||
|
|
||||||
// SPV_AMD_shader_trinary_minmax
|
|
||||||
static const char* const E_SPV_AMD_shader_trinary_minmax = "SPV_AMD_shader_trinary_minmax";
|
|
||||||
|
|
||||||
enum ShaderTrinaryMinMaxAMD {
|
|
||||||
ShaderTrinaryMinMaxBadAMD = 0, // Don't use
|
|
||||||
|
|
||||||
FMin3AMD = 1,
|
|
||||||
UMin3AMD = 2,
|
|
||||||
SMin3AMD = 3,
|
|
||||||
FMax3AMD = 4,
|
|
||||||
UMax3AMD = 5,
|
|
||||||
SMax3AMD = 6,
|
|
||||||
FMid3AMD = 7,
|
|
||||||
UMid3AMD = 8,
|
|
||||||
SMid3AMD = 9,
|
|
||||||
|
|
||||||
ShaderTrinaryMinMaxCountAMD
|
|
||||||
};
|
|
||||||
|
|
||||||
// SPV_AMD_shader_explicit_vertex_parameter
|
|
||||||
static const char* const E_SPV_AMD_shader_explicit_vertex_parameter = "SPV_AMD_shader_explicit_vertex_parameter";
|
|
||||||
|
|
||||||
enum ShaderExplicitVertexParameterAMD {
|
|
||||||
ShaderExplicitVertexParameterBadAMD = 0, // Don't use
|
|
||||||
|
|
||||||
InterpolateAtVertexAMD = 1,
|
|
||||||
|
|
||||||
ShaderExplicitVertexParameterCountAMD
|
|
||||||
};
|
|
||||||
|
|
||||||
// SPV_AMD_gcn_shader
|
|
||||||
static const char* const E_SPV_AMD_gcn_shader = "SPV_AMD_gcn_shader";
|
|
||||||
|
|
||||||
enum GcnShaderAMD {
|
|
||||||
GcnShaderBadAMD = 0, // Don't use
|
|
||||||
|
|
||||||
CubeFaceIndexAMD = 1,
|
|
||||||
CubeFaceCoordAMD = 2,
|
|
||||||
TimeAMD = 3,
|
|
||||||
|
|
||||||
GcnShaderCountAMD
|
|
||||||
};
|
|
||||||
|
|
||||||
// SPV_AMD_gpu_shader_half_float
|
|
||||||
static const char* const E_SPV_AMD_gpu_shader_half_float = "SPV_AMD_gpu_shader_half_float";
|
|
||||||
|
|
||||||
// SPV_AMD_texture_gather_bias_lod
|
|
||||||
static const char* const E_SPV_AMD_texture_gather_bias_lod = "SPV_AMD_texture_gather_bias_lod";
|
|
||||||
|
|
||||||
// SPV_AMD_gpu_shader_int16
|
|
||||||
static const char* const E_SPV_AMD_gpu_shader_int16 = "SPV_AMD_gpu_shader_int16";
|
|
||||||
|
|
||||||
// SPV_AMD_shader_image_load_store_lod
|
|
||||||
static const char* const E_SPV_AMD_shader_image_load_store_lod = "SPV_AMD_shader_image_load_store_lod";
|
|
||||||
|
|
||||||
// SPV_AMD_shader_fragment_mask
|
|
||||||
static const char* const E_SPV_AMD_shader_fragment_mask = "SPV_AMD_shader_fragment_mask";
|
|
||||||
|
|
||||||
#endif // #ifndef GLSLextAMD_H
|
|
||||||
@ -1,48 +0,0 @@
|
|||||||
/*
|
|
||||||
** Copyright (c) 2014-2016 The Khronos Group Inc.
|
|
||||||
**
|
|
||||||
** Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
||||||
** of this software and/or associated documentation files (the "Materials"),
|
|
||||||
** to deal in the Materials without restriction, including without limitation
|
|
||||||
** the rights to use, copy, modify, merge, publish, distribute, sublicense,
|
|
||||||
** and/or sell copies of the Materials, and to permit persons to whom the
|
|
||||||
** Materials are furnished to do so, subject to the following conditions:
|
|
||||||
**
|
|
||||||
** The above copyright notice and this permission notice shall be included in
|
|
||||||
** all copies or substantial portions of the Materials.
|
|
||||||
**
|
|
||||||
** MODIFICATIONS TO THIS FILE MAY MEAN IT NO LONGER ACCURATELY REFLECTS KHRONOS
|
|
||||||
** STANDARDS. THE UNMODIFIED, NORMATIVE VERSIONS OF KHRONOS SPECIFICATIONS AND
|
|
||||||
** HEADER INFORMATION ARE LOCATED AT https://www.khronos.org/registry/
|
|
||||||
**
|
|
||||||
** THE MATERIALS ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
|
|
||||||
** OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
||||||
** FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
|
|
||||||
** THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
||||||
** LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
|
||||||
** FROM,OUT OF OR IN CONNECTION WITH THE MATERIALS OR THE USE OR OTHER DEALINGS
|
|
||||||
** IN THE MATERIALS.
|
|
||||||
*/
|
|
||||||
|
|
||||||
#ifndef GLSLextKHR_H
|
|
||||||
#define GLSLextKHR_H
|
|
||||||
|
|
||||||
enum BuiltIn;
|
|
||||||
enum Op;
|
|
||||||
enum Capability;
|
|
||||||
|
|
||||||
static const int GLSLextKHRVersion = 100;
|
|
||||||
static const int GLSLextKHRRevision = 2;
|
|
||||||
|
|
||||||
static const char* const E_SPV_KHR_shader_ballot = "SPV_KHR_shader_ballot";
|
|
||||||
static const char* const E_SPV_KHR_subgroup_vote = "SPV_KHR_subgroup_vote";
|
|
||||||
static const char* const E_SPV_KHR_device_group = "SPV_KHR_device_group";
|
|
||||||
static const char* const E_SPV_KHR_multiview = "SPV_KHR_multiview";
|
|
||||||
static const char* const E_SPV_KHR_shader_draw_parameters = "SPV_KHR_shader_draw_parameters";
|
|
||||||
static const char* const E_SPV_KHR_16bit_storage = "SPV_KHR_16bit_storage";
|
|
||||||
static const char* const E_SPV_KHR_storage_buffer_storage_class = "SPV_KHR_storage_buffer_storage_class";
|
|
||||||
static const char* const E_SPV_KHR_post_depth_coverage = "SPV_KHR_post_depth_coverage";
|
|
||||||
static const char* const E_SPV_EXT_shader_stencil_export = "SPV_EXT_shader_stencil_export";
|
|
||||||
static const char* const E_SPV_EXT_shader_viewport_index_layer = "SPV_EXT_shader_viewport_index_layer";
|
|
||||||
|
|
||||||
#endif // #ifndef GLSLextKHR_H
|
|
||||||
@ -1,54 +0,0 @@
|
|||||||
/*
|
|
||||||
** Copyright (c) 2014-2017 The Khronos Group Inc.
|
|
||||||
**
|
|
||||||
** Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
||||||
** of this software and/or associated documentation files (the "Materials"),
|
|
||||||
** to deal in the Materials without restriction, including without limitation
|
|
||||||
** the rights to use, copy, modify, merge, publish, distribute, sublicense,
|
|
||||||
** and/or sell copies of the Materials, and to permit persons to whom the
|
|
||||||
** Materials are furnished to do so, subject to the following conditions:
|
|
||||||
**
|
|
||||||
** The above copyright notice and this permission notice shall be included in
|
|
||||||
** all copies or substantial portions of the Materials.
|
|
||||||
**
|
|
||||||
** MODIFICATIONS TO THIS FILE MAY MEAN IT NO LONGER ACCURATELY REFLECTS KHRONOS
|
|
||||||
** STANDARDS. THE UNMODIFIED, NORMATIVE VERSIONS OF KHRONOS SPECIFICATIONS AND
|
|
||||||
** HEADER INFORMATION ARE LOCATED AT https://www.khronos.org/registry/
|
|
||||||
**
|
|
||||||
** THE MATERIALS ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
|
|
||||||
** OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
||||||
** FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
|
|
||||||
** THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
||||||
** LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
|
||||||
** FROM,OUT OF OR IN CONNECTION WITH THE MATERIALS OR THE USE OR OTHER DEALINGS
|
|
||||||
** IN THE MATERIALS.
|
|
||||||
*/
|
|
||||||
|
|
||||||
#ifndef GLSLextNV_H
|
|
||||||
#define GLSLextNV_H
|
|
||||||
|
|
||||||
enum BuiltIn;
|
|
||||||
enum Decoration;
|
|
||||||
enum Op;
|
|
||||||
enum Capability;
|
|
||||||
|
|
||||||
static const int GLSLextNVVersion = 100;
|
|
||||||
static const int GLSLextNVRevision = 5;
|
|
||||||
|
|
||||||
//SPV_NV_sample_mask_override_coverage
|
|
||||||
const char* const E_SPV_NV_sample_mask_override_coverage = "SPV_NV_sample_mask_override_coverage";
|
|
||||||
|
|
||||||
//SPV_NV_geometry_shader_passthrough
|
|
||||||
const char* const E_SPV_NV_geometry_shader_passthrough = "SPV_NV_geometry_shader_passthrough";
|
|
||||||
|
|
||||||
//SPV_NV_viewport_array2
|
|
||||||
const char* const E_SPV_NV_viewport_array2 = "SPV_NV_viewport_array2";
|
|
||||||
const char* const E_ARB_shader_viewport_layer_array = "SPV_ARB_shader_viewport_layer_array";
|
|
||||||
|
|
||||||
//SPV_NV_stereo_view_rendering
|
|
||||||
const char* const E_SPV_NV_stereo_view_rendering = "SPV_NV_stereo_view_rendering";
|
|
||||||
|
|
||||||
//SPV_NVX_multiview_per_view_attributes
|
|
||||||
const char* const E_SPV_NVX_multiview_per_view_attributes = "SPV_NVX_multiview_per_view_attributes";
|
|
||||||
|
|
||||||
#endif // #ifndef GLSLextNV_H
|
|
||||||
@ -1,131 +0,0 @@
|
|||||||
/*
|
|
||||||
** Copyright (c) 2014-2016 The Khronos Group Inc.
|
|
||||||
**
|
|
||||||
** Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
||||||
** of this software and/or associated documentation files (the "Materials"),
|
|
||||||
** to deal in the Materials without restriction, including without limitation
|
|
||||||
** the rights to use, copy, modify, merge, publish, distribute, sublicense,
|
|
||||||
** and/or sell copies of the Materials, and to permit persons to whom the
|
|
||||||
** Materials are furnished to do so, subject to the following conditions:
|
|
||||||
**
|
|
||||||
** The above copyright notice and this permission notice shall be included in
|
|
||||||
** all copies or substantial portions of the Materials.
|
|
||||||
**
|
|
||||||
** MODIFICATIONS TO THIS FILE MAY MEAN IT NO LONGER ACCURATELY REFLECTS KHRONOS
|
|
||||||
** STANDARDS. THE UNMODIFIED, NORMATIVE VERSIONS OF KHRONOS SPECIFICATIONS AND
|
|
||||||
** HEADER INFORMATION ARE LOCATED AT https://www.khronos.org/registry/
|
|
||||||
**
|
|
||||||
** THE MATERIALS ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
|
|
||||||
** OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
||||||
** FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
|
|
||||||
** THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
||||||
** LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
|
||||||
** FROM,OUT OF OR IN CONNECTION WITH THE MATERIALS OR THE USE OR OTHER DEALINGS
|
|
||||||
** IN THE MATERIALS.
|
|
||||||
*/
|
|
||||||
|
|
||||||
#ifndef GLSLstd450_H
|
|
||||||
#define GLSLstd450_H
|
|
||||||
|
|
||||||
static const int GLSLstd450Version = 100;
|
|
||||||
static const int GLSLstd450Revision = 1;
|
|
||||||
|
|
||||||
enum GLSLstd450 {
|
|
||||||
GLSLstd450Bad = 0, // Don't use
|
|
||||||
|
|
||||||
GLSLstd450Round = 1,
|
|
||||||
GLSLstd450RoundEven = 2,
|
|
||||||
GLSLstd450Trunc = 3,
|
|
||||||
GLSLstd450FAbs = 4,
|
|
||||||
GLSLstd450SAbs = 5,
|
|
||||||
GLSLstd450FSign = 6,
|
|
||||||
GLSLstd450SSign = 7,
|
|
||||||
GLSLstd450Floor = 8,
|
|
||||||
GLSLstd450Ceil = 9,
|
|
||||||
GLSLstd450Fract = 10,
|
|
||||||
|
|
||||||
GLSLstd450Radians = 11,
|
|
||||||
GLSLstd450Degrees = 12,
|
|
||||||
GLSLstd450Sin = 13,
|
|
||||||
GLSLstd450Cos = 14,
|
|
||||||
GLSLstd450Tan = 15,
|
|
||||||
GLSLstd450Asin = 16,
|
|
||||||
GLSLstd450Acos = 17,
|
|
||||||
GLSLstd450Atan = 18,
|
|
||||||
GLSLstd450Sinh = 19,
|
|
||||||
GLSLstd450Cosh = 20,
|
|
||||||
GLSLstd450Tanh = 21,
|
|
||||||
GLSLstd450Asinh = 22,
|
|
||||||
GLSLstd450Acosh = 23,
|
|
||||||
GLSLstd450Atanh = 24,
|
|
||||||
GLSLstd450Atan2 = 25,
|
|
||||||
|
|
||||||
GLSLstd450Pow = 26,
|
|
||||||
GLSLstd450Exp = 27,
|
|
||||||
GLSLstd450Log = 28,
|
|
||||||
GLSLstd450Exp2 = 29,
|
|
||||||
GLSLstd450Log2 = 30,
|
|
||||||
GLSLstd450Sqrt = 31,
|
|
||||||
GLSLstd450InverseSqrt = 32,
|
|
||||||
|
|
||||||
GLSLstd450Determinant = 33,
|
|
||||||
GLSLstd450MatrixInverse = 34,
|
|
||||||
|
|
||||||
GLSLstd450Modf = 35, // second operand needs an OpVariable to write to
|
|
||||||
GLSLstd450ModfStruct = 36, // no OpVariable operand
|
|
||||||
GLSLstd450FMin = 37,
|
|
||||||
GLSLstd450UMin = 38,
|
|
||||||
GLSLstd450SMin = 39,
|
|
||||||
GLSLstd450FMax = 40,
|
|
||||||
GLSLstd450UMax = 41,
|
|
||||||
GLSLstd450SMax = 42,
|
|
||||||
GLSLstd450FClamp = 43,
|
|
||||||
GLSLstd450UClamp = 44,
|
|
||||||
GLSLstd450SClamp = 45,
|
|
||||||
GLSLstd450FMix = 46,
|
|
||||||
GLSLstd450IMix = 47, // Reserved
|
|
||||||
GLSLstd450Step = 48,
|
|
||||||
GLSLstd450SmoothStep = 49,
|
|
||||||
|
|
||||||
GLSLstd450Fma = 50,
|
|
||||||
GLSLstd450Frexp = 51, // second operand needs an OpVariable to write to
|
|
||||||
GLSLstd450FrexpStruct = 52, // no OpVariable operand
|
|
||||||
GLSLstd450Ldexp = 53,
|
|
||||||
|
|
||||||
GLSLstd450PackSnorm4x8 = 54,
|
|
||||||
GLSLstd450PackUnorm4x8 = 55,
|
|
||||||
GLSLstd450PackSnorm2x16 = 56,
|
|
||||||
GLSLstd450PackUnorm2x16 = 57,
|
|
||||||
GLSLstd450PackHalf2x16 = 58,
|
|
||||||
GLSLstd450PackDouble2x32 = 59,
|
|
||||||
GLSLstd450UnpackSnorm2x16 = 60,
|
|
||||||
GLSLstd450UnpackUnorm2x16 = 61,
|
|
||||||
GLSLstd450UnpackHalf2x16 = 62,
|
|
||||||
GLSLstd450UnpackSnorm4x8 = 63,
|
|
||||||
GLSLstd450UnpackUnorm4x8 = 64,
|
|
||||||
GLSLstd450UnpackDouble2x32 = 65,
|
|
||||||
|
|
||||||
GLSLstd450Length = 66,
|
|
||||||
GLSLstd450Distance = 67,
|
|
||||||
GLSLstd450Cross = 68,
|
|
||||||
GLSLstd450Normalize = 69,
|
|
||||||
GLSLstd450FaceForward = 70,
|
|
||||||
GLSLstd450Reflect = 71,
|
|
||||||
GLSLstd450Refract = 72,
|
|
||||||
|
|
||||||
GLSLstd450FindILsb = 73,
|
|
||||||
GLSLstd450FindSMsb = 74,
|
|
||||||
GLSLstd450FindUMsb = 75,
|
|
||||||
|
|
||||||
GLSLstd450InterpolateAtCentroid = 76,
|
|
||||||
GLSLstd450InterpolateAtSample = 77,
|
|
||||||
GLSLstd450InterpolateAtOffset = 78,
|
|
||||||
|
|
||||||
GLSLstd450NMin = 79,
|
|
||||||
GLSLstd450NMax = 80,
|
|
||||||
GLSLstd450NClamp = 81,
|
|
||||||
|
|
||||||
GLSLstd450Count
|
|
||||||
};
|
|
||||||
|
|
||||||
#endif // #ifndef GLSLstd450_H
|
|
||||||
@ -1,67 +0,0 @@
|
|||||||
//
|
|
||||||
// Copyright (C) 2014 LunarG, Inc.
|
|
||||||
//
|
|
||||||
// All rights reserved.
|
|
||||||
//
|
|
||||||
// Redistribution and use in source and binary forms, with or without
|
|
||||||
// modification, are permitted provided that the following conditions
|
|
||||||
// are met:
|
|
||||||
//
|
|
||||||
// Redistributions of source code must retain the above copyright
|
|
||||||
// notice, this list of conditions and the following disclaimer.
|
|
||||||
//
|
|
||||||
// Redistributions in binary form must reproduce the above
|
|
||||||
// copyright notice, this list of conditions and the following
|
|
||||||
// disclaimer in the documentation and/or other materials provided
|
|
||||||
// with the distribution.
|
|
||||||
//
|
|
||||||
// Neither the name of 3Dlabs Inc. Ltd. nor the names of its
|
|
||||||
// contributors may be used to endorse or promote products derived
|
|
||||||
// from this software without specific prior written permission.
|
|
||||||
//
|
|
||||||
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
||||||
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
||||||
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
||||||
// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
||||||
// COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
||||||
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
||||||
// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
||||||
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
||||||
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
||||||
// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
||||||
// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
||||||
// POSSIBILITY OF SUCH DAMAGE.
|
|
||||||
|
|
||||||
#pragma once
|
|
||||||
|
|
||||||
#if _MSC_VER >= 1900
|
|
||||||
#pragma warning(disable : 4464) // relative include path contains '..'
|
|
||||||
#endif
|
|
||||||
|
|
||||||
#include "../glslang/Include/intermediate.h"
|
|
||||||
|
|
||||||
#include <string>
|
|
||||||
#include <vector>
|
|
||||||
|
|
||||||
#include "Logger.h"
|
|
||||||
|
|
||||||
namespace glslang {
|
|
||||||
|
|
||||||
struct SpvOptions {
|
|
||||||
SpvOptions() : generateDebugInfo(false), disableOptimizer(true),
|
|
||||||
optimizeSize(false) { }
|
|
||||||
bool generateDebugInfo;
|
|
||||||
bool disableOptimizer;
|
|
||||||
bool optimizeSize;
|
|
||||||
};
|
|
||||||
|
|
||||||
void GetSpirvVersion(std::string&);
|
|
||||||
int GetSpirvGeneratorVersion();
|
|
||||||
void GlslangToSpv(const glslang::TIntermediate& intermediate, std::vector<unsigned int>& spirv,
|
|
||||||
SpvOptions* options = nullptr);
|
|
||||||
void GlslangToSpv(const glslang::TIntermediate& intermediate, std::vector<unsigned int>& spirv,
|
|
||||||
spv::SpvBuildLogger* logger, SpvOptions* options = nullptr);
|
|
||||||
void OutputSpvBin(const std::vector<unsigned int>& spirv, const char* baseName);
|
|
||||||
void OutputSpvHex(const std::vector<unsigned int>& spirv, const char* baseName, const char* varName);
|
|
||||||
|
|
||||||
}
|
|
||||||
@ -1,74 +0,0 @@
|
|||||||
//
|
|
||||||
// Copyright (C) 2016 Google, Inc.
|
|
||||||
//
|
|
||||||
// All rights reserved.
|
|
||||||
//
|
|
||||||
// Redistribution and use in source and binary forms, with or without
|
|
||||||
// modification, are permitted provided that the following conditions
|
|
||||||
// are met:
|
|
||||||
//
|
|
||||||
// Redistributions of source code must retain the above copyright
|
|
||||||
// notice, this list of conditions and the following disclaimer.
|
|
||||||
//
|
|
||||||
// Redistributions in binary form must reproduce the above
|
|
||||||
// copyright notice, this list of conditions and the following
|
|
||||||
// disclaimer in the documentation and/or other materials provided
|
|
||||||
// with the distribution.
|
|
||||||
//
|
|
||||||
// Neither the name of Google Inc. nor the names of its
|
|
||||||
// contributors may be used to endorse or promote products derived
|
|
||||||
// from this software without specific prior written permission.
|
|
||||||
//
|
|
||||||
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
||||||
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
||||||
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
||||||
// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
||||||
// COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
||||||
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
||||||
// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
||||||
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
||||||
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
||||||
// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
||||||
// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
||||||
// POSSIBILITY OF SUCH DAMAGE.
|
|
||||||
|
|
||||||
#ifndef GLSLANG_SPIRV_LOGGER_H
|
|
||||||
#define GLSLANG_SPIRV_LOGGER_H
|
|
||||||
|
|
||||||
#include <string>
|
|
||||||
#include <vector>
|
|
||||||
|
|
||||||
namespace spv {
|
|
||||||
|
|
||||||
// A class for holding all SPIR-V build status messages, including
|
|
||||||
// missing/TBD functionalities, warnings, and errors.
|
|
||||||
class SpvBuildLogger {
|
|
||||||
public:
|
|
||||||
SpvBuildLogger() {}
|
|
||||||
|
|
||||||
// Registers a TBD functionality.
|
|
||||||
void tbdFunctionality(const std::string& f);
|
|
||||||
// Registers a missing functionality.
|
|
||||||
void missingFunctionality(const std::string& f);
|
|
||||||
|
|
||||||
// Logs a warning.
|
|
||||||
void warning(const std::string& w) { warnings.push_back(w); }
|
|
||||||
// Logs an error.
|
|
||||||
void error(const std::string& e) { errors.push_back(e); }
|
|
||||||
|
|
||||||
// Returns all messages accumulated in the order of:
|
|
||||||
// TBD functionalities, missing functionalities, warnings, errors.
|
|
||||||
std::string getAllMessages() const;
|
|
||||||
|
|
||||||
private:
|
|
||||||
SpvBuildLogger(const SpvBuildLogger&);
|
|
||||||
|
|
||||||
std::vector<std::string> tbdFeatures;
|
|
||||||
std::vector<std::string> missingFeatures;
|
|
||||||
std::vector<std::string> warnings;
|
|
||||||
std::vector<std::string> errors;
|
|
||||||
};
|
|
||||||
|
|
||||||
} // end spv namespace
|
|
||||||
|
|
||||||
#endif // GLSLANG_SPIRV_LOGGER_H
|
|
||||||
@ -1,304 +0,0 @@
|
|||||||
//
|
|
||||||
// Copyright (C) 2015 LunarG, Inc.
|
|
||||||
//
|
|
||||||
// All rights reserved.
|
|
||||||
//
|
|
||||||
// Redistribution and use in source and binary forms, with or without
|
|
||||||
// modification, are permitted provided that the following conditions
|
|
||||||
// are met:
|
|
||||||
//
|
|
||||||
// Redistributions of source code must retain the above copyright
|
|
||||||
// notice, this list of conditions and the following disclaimer.
|
|
||||||
//
|
|
||||||
// Redistributions in binary form must reproduce the above
|
|
||||||
// copyright notice, this list of conditions and the following
|
|
||||||
// disclaimer in the documentation and/or other materials provided
|
|
||||||
// with the distribution.
|
|
||||||
//
|
|
||||||
// Neither the name of 3Dlabs Inc. Ltd. nor the names of its
|
|
||||||
// contributors may be used to endorse or promote products derived
|
|
||||||
// from this software without specific prior written permission.
|
|
||||||
//
|
|
||||||
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
||||||
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
||||||
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
||||||
// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
||||||
// COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
||||||
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
||||||
// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
||||||
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
||||||
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
||||||
// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
||||||
// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
||||||
// POSSIBILITY OF SUCH DAMAGE.
|
|
||||||
//
|
|
||||||
|
|
||||||
#ifndef SPIRVREMAPPER_H
|
|
||||||
#define SPIRVREMAPPER_H
|
|
||||||
|
|
||||||
#include <string>
|
|
||||||
#include <vector>
|
|
||||||
#include <cstdlib>
|
|
||||||
#include <exception>
|
|
||||||
|
|
||||||
namespace spv {
|
|
||||||
|
|
||||||
// MSVC defines __cplusplus as an older value, even when it supports almost all of 11.
|
|
||||||
// We handle that here by making our own symbol.
|
|
||||||
#if __cplusplus >= 201103L || _MSC_VER >= 1700
|
|
||||||
# define use_cpp11 1
|
|
||||||
#endif
|
|
||||||
|
|
||||||
class spirvbin_base_t
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
enum Options {
|
|
||||||
NONE = 0,
|
|
||||||
STRIP = (1<<0),
|
|
||||||
MAP_TYPES = (1<<1),
|
|
||||||
MAP_NAMES = (1<<2),
|
|
||||||
MAP_FUNCS = (1<<3),
|
|
||||||
DCE_FUNCS = (1<<4),
|
|
||||||
DCE_VARS = (1<<5),
|
|
||||||
DCE_TYPES = (1<<6),
|
|
||||||
OPT_LOADSTORE = (1<<7),
|
|
||||||
OPT_FWD_LS = (1<<8), // EXPERIMENTAL: PRODUCES INVALID SCHEMA-0 SPIRV
|
|
||||||
MAP_ALL = (MAP_TYPES | MAP_NAMES | MAP_FUNCS),
|
|
||||||
DCE_ALL = (DCE_FUNCS | DCE_VARS | DCE_TYPES),
|
|
||||||
OPT_ALL = (OPT_LOADSTORE),
|
|
||||||
|
|
||||||
ALL_BUT_STRIP = (MAP_ALL | DCE_ALL | OPT_ALL),
|
|
||||||
DO_EVERYTHING = (STRIP | ALL_BUT_STRIP)
|
|
||||||
};
|
|
||||||
};
|
|
||||||
|
|
||||||
} // namespace SPV
|
|
||||||
|
|
||||||
#if !defined (use_cpp11)
|
|
||||||
#include <cstdio>
|
|
||||||
#include <cstdint>
|
|
||||||
|
|
||||||
namespace spv {
|
|
||||||
class spirvbin_t : public spirvbin_base_t
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
spirvbin_t(int /*verbose = 0*/) { }
|
|
||||||
|
|
||||||
void remap(std::vector<std::uint32_t>& /*spv*/, unsigned int /*opts = 0*/)
|
|
||||||
{
|
|
||||||
printf("Tool not compiled for C++11, which is required for SPIR-V remapping.\n");
|
|
||||||
exit(5);
|
|
||||||
}
|
|
||||||
};
|
|
||||||
|
|
||||||
} // namespace SPV
|
|
||||||
|
|
||||||
#else // defined (use_cpp11)
|
|
||||||
|
|
||||||
#include <functional>
|
|
||||||
#include <cstdint>
|
|
||||||
#include <unordered_map>
|
|
||||||
#include <unordered_set>
|
|
||||||
#include <map>
|
|
||||||
#include <set>
|
|
||||||
#include <cassert>
|
|
||||||
|
|
||||||
#include "spirv.hpp"
|
|
||||||
#include "spvIR.h"
|
|
||||||
|
|
||||||
namespace spv {
|
|
||||||
|
|
||||||
// class to hold SPIR-V binary data for remapping, DCE, and debug stripping
|
|
||||||
class spirvbin_t : public spirvbin_base_t
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
spirvbin_t(int verbose = 0) : entryPoint(spv::NoResult), largestNewId(0), verbose(verbose), errorLatch(false)
|
|
||||||
{ }
|
|
||||||
|
|
||||||
virtual ~spirvbin_t() { }
|
|
||||||
|
|
||||||
// remap on an existing binary in memory
|
|
||||||
void remap(std::vector<std::uint32_t>& spv, std::uint32_t opts = DO_EVERYTHING);
|
|
||||||
|
|
||||||
// Type for error/log handler functions
|
|
||||||
typedef std::function<void(const std::string&)> errorfn_t;
|
|
||||||
typedef std::function<void(const std::string&)> logfn_t;
|
|
||||||
|
|
||||||
// Register error/log handling functions (can be lambda fn / functor / etc)
|
|
||||||
static void registerErrorHandler(errorfn_t handler) { errorHandler = handler; }
|
|
||||||
static void registerLogHandler(logfn_t handler) { logHandler = handler; }
|
|
||||||
|
|
||||||
protected:
|
|
||||||
// This can be overridden to provide other message behavior if needed
|
|
||||||
virtual void msg(int minVerbosity, int indent, const std::string& txt) const;
|
|
||||||
|
|
||||||
private:
|
|
||||||
// Local to global, or global to local ID map
|
|
||||||
typedef std::unordered_map<spv::Id, spv::Id> idmap_t;
|
|
||||||
typedef std::unordered_set<spv::Id> idset_t;
|
|
||||||
typedef std::unordered_map<spv::Id, int> blockmap_t;
|
|
||||||
|
|
||||||
void remap(std::uint32_t opts = DO_EVERYTHING);
|
|
||||||
|
|
||||||
// Map of names to IDs
|
|
||||||
typedef std::unordered_map<std::string, spv::Id> namemap_t;
|
|
||||||
|
|
||||||
typedef std::uint32_t spirword_t;
|
|
||||||
|
|
||||||
typedef std::pair<unsigned, unsigned> range_t;
|
|
||||||
typedef std::function<void(spv::Id&)> idfn_t;
|
|
||||||
typedef std::function<bool(spv::Op, unsigned start)> instfn_t;
|
|
||||||
|
|
||||||
// Special Values for ID map:
|
|
||||||
static const spv::Id unmapped; // unchanged from default value
|
|
||||||
static const spv::Id unused; // unused ID
|
|
||||||
static const int header_size; // SPIR header = 5 words
|
|
||||||
|
|
||||||
class id_iterator_t;
|
|
||||||
|
|
||||||
// For mapping type entries between different shaders
|
|
||||||
typedef std::vector<spirword_t> typeentry_t;
|
|
||||||
typedef std::map<spv::Id, typeentry_t> globaltypes_t;
|
|
||||||
|
|
||||||
// A set that preserves position order, and a reverse map
|
|
||||||
typedef std::set<int> posmap_t;
|
|
||||||
typedef std::unordered_map<spv::Id, int> posmap_rev_t;
|
|
||||||
|
|
||||||
// Maps and ID to the size of its base type, if known.
|
|
||||||
typedef std::unordered_map<spv::Id, unsigned> typesize_map_t;
|
|
||||||
|
|
||||||
// handle error
|
|
||||||
void error(const std::string& txt) const { errorLatch = true; errorHandler(txt); }
|
|
||||||
|
|
||||||
bool isConstOp(spv::Op opCode) const;
|
|
||||||
bool isTypeOp(spv::Op opCode) const;
|
|
||||||
bool isStripOp(spv::Op opCode) const;
|
|
||||||
bool isFlowCtrl(spv::Op opCode) const;
|
|
||||||
range_t literalRange(spv::Op opCode) const;
|
|
||||||
range_t typeRange(spv::Op opCode) const;
|
|
||||||
range_t constRange(spv::Op opCode) const;
|
|
||||||
unsigned typeSizeInWords(spv::Id id) const;
|
|
||||||
unsigned idTypeSizeInWords(spv::Id id) const;
|
|
||||||
|
|
||||||
spv::Id& asId(unsigned word) { return spv[word]; }
|
|
||||||
const spv::Id& asId(unsigned word) const { return spv[word]; }
|
|
||||||
spv::Op asOpCode(unsigned word) const { return opOpCode(spv[word]); }
|
|
||||||
std::uint32_t asOpCodeHash(unsigned word);
|
|
||||||
spv::Decoration asDecoration(unsigned word) const { return spv::Decoration(spv[word]); }
|
|
||||||
unsigned asWordCount(unsigned word) const { return opWordCount(spv[word]); }
|
|
||||||
spv::Id asTypeConstId(unsigned word) const { return asId(word + (isTypeOp(asOpCode(word)) ? 1 : 2)); }
|
|
||||||
unsigned idPos(spv::Id id) const;
|
|
||||||
|
|
||||||
static unsigned opWordCount(spirword_t data) { return data >> spv::WordCountShift; }
|
|
||||||
static spv::Op opOpCode(spirword_t data) { return spv::Op(data & spv::OpCodeMask); }
|
|
||||||
|
|
||||||
// Header access & set methods
|
|
||||||
spirword_t magic() const { return spv[0]; } // return magic number
|
|
||||||
spirword_t bound() const { return spv[3]; } // return Id bound from header
|
|
||||||
spirword_t bound(spirword_t b) { return spv[3] = b; };
|
|
||||||
spirword_t genmagic() const { return spv[2]; } // generator magic
|
|
||||||
spirword_t genmagic(spirword_t m) { return spv[2] = m; }
|
|
||||||
spirword_t schemaNum() const { return spv[4]; } // schema number from header
|
|
||||||
|
|
||||||
// Mapping fns: get
|
|
||||||
spv::Id localId(spv::Id id) const { return idMapL[id]; }
|
|
||||||
|
|
||||||
// Mapping fns: set
|
|
||||||
inline spv::Id localId(spv::Id id, spv::Id newId);
|
|
||||||
void countIds(spv::Id id);
|
|
||||||
|
|
||||||
// Return next unused new local ID.
|
|
||||||
// NOTE: boost::dynamic_bitset would be more efficient due to find_next(),
|
|
||||||
// which std::vector<bool> doens't have.
|
|
||||||
inline spv::Id nextUnusedId(spv::Id id);
|
|
||||||
|
|
||||||
void buildLocalMaps();
|
|
||||||
std::string literalString(unsigned word) const; // Return literal as a std::string
|
|
||||||
int literalStringWords(const std::string& str) const { return (int(str.size())+4)/4; }
|
|
||||||
|
|
||||||
bool isNewIdMapped(spv::Id newId) const { return isMapped(newId); }
|
|
||||||
bool isOldIdUnmapped(spv::Id oldId) const { return localId(oldId) == unmapped; }
|
|
||||||
bool isOldIdUnused(spv::Id oldId) const { return localId(oldId) == unused; }
|
|
||||||
bool isOldIdMapped(spv::Id oldId) const { return !isOldIdUnused(oldId) && !isOldIdUnmapped(oldId); }
|
|
||||||
bool isFunction(spv::Id oldId) const { return fnPos.find(oldId) != fnPos.end(); }
|
|
||||||
|
|
||||||
// bool matchType(const globaltypes_t& globalTypes, spv::Id lt, spv::Id gt) const;
|
|
||||||
// spv::Id findType(const globaltypes_t& globalTypes, spv::Id lt) const;
|
|
||||||
std::uint32_t hashType(unsigned typeStart) const;
|
|
||||||
|
|
||||||
spirvbin_t& process(instfn_t, idfn_t, unsigned begin = 0, unsigned end = 0);
|
|
||||||
int processInstruction(unsigned word, instfn_t, idfn_t);
|
|
||||||
|
|
||||||
void validate() const;
|
|
||||||
void mapTypeConst();
|
|
||||||
void mapFnBodies();
|
|
||||||
void optLoadStore();
|
|
||||||
void dceFuncs();
|
|
||||||
void dceVars();
|
|
||||||
void dceTypes();
|
|
||||||
void mapNames();
|
|
||||||
void foldIds(); // fold IDs to smallest space
|
|
||||||
void forwardLoadStores(); // load store forwarding (EXPERIMENTAL)
|
|
||||||
void offsetIds(); // create relative offset IDs
|
|
||||||
|
|
||||||
void applyMap(); // remap per local name map
|
|
||||||
void mapRemainder(); // map any IDs we haven't touched yet
|
|
||||||
void stripDebug(); // strip all debug info
|
|
||||||
void stripDeadRefs(); // strips debug info for now-dead references after DCE
|
|
||||||
void strip(); // remove debug symbols
|
|
||||||
|
|
||||||
std::vector<spirword_t> spv; // SPIR words
|
|
||||||
|
|
||||||
namemap_t nameMap; // ID names from OpName
|
|
||||||
|
|
||||||
// Since we want to also do binary ops, we can't use std::vector<bool>. we could use
|
|
||||||
// boost::dynamic_bitset, but we're trying to avoid a boost dependency.
|
|
||||||
typedef std::uint64_t bits_t;
|
|
||||||
std::vector<bits_t> mapped; // which new IDs have been mapped
|
|
||||||
static const int mBits = sizeof(bits_t) * 4;
|
|
||||||
|
|
||||||
bool isMapped(spv::Id id) const { return id < maxMappedId() && ((mapped[id/mBits] & (1LL<<(id%mBits))) != 0); }
|
|
||||||
void setMapped(spv::Id id) { resizeMapped(id); mapped[id/mBits] |= (1LL<<(id%mBits)); }
|
|
||||||
void resizeMapped(spv::Id id) { if (id >= maxMappedId()) mapped.resize(id/mBits+1, 0); }
|
|
||||||
size_t maxMappedId() const { return mapped.size() * mBits; }
|
|
||||||
|
|
||||||
// Add a strip range for a given instruction starting at 'start'
|
|
||||||
// Note: avoiding brace initializers to please older versions os MSVC.
|
|
||||||
void stripInst(unsigned start) { stripRange.push_back(range_t(start, start + asWordCount(start))); }
|
|
||||||
|
|
||||||
// Function start and end. use unordered_map because we'll have
|
|
||||||
// many fewer functions than IDs.
|
|
||||||
std::unordered_map<spv::Id, range_t> fnPos;
|
|
||||||
|
|
||||||
// Which functions are called, anywhere in the module, with a call count
|
|
||||||
std::unordered_map<spv::Id, int> fnCalls;
|
|
||||||
|
|
||||||
posmap_t typeConstPos; // word positions that define types & consts (ordered)
|
|
||||||
posmap_rev_t idPosR; // reverse map from IDs to positions
|
|
||||||
typesize_map_t idTypeSizeMap; // maps each ID to its type size, if known.
|
|
||||||
|
|
||||||
std::vector<spv::Id> idMapL; // ID {M}ap from {L}ocal to {G}lobal IDs
|
|
||||||
|
|
||||||
spv::Id entryPoint; // module entry point
|
|
||||||
spv::Id largestNewId; // biggest new ID we have mapped anything to
|
|
||||||
|
|
||||||
// Sections of the binary to strip, given as [begin,end)
|
|
||||||
std::vector<range_t> stripRange;
|
|
||||||
|
|
||||||
// processing options:
|
|
||||||
std::uint32_t options;
|
|
||||||
int verbose; // verbosity level
|
|
||||||
|
|
||||||
// Error latch: this is set if the error handler is ever executed. It would be better to
|
|
||||||
// use a try/catch block and throw, but that's not desired for certain environments, so
|
|
||||||
// this is the alternative.
|
|
||||||
mutable bool errorLatch;
|
|
||||||
|
|
||||||
static errorfn_t errorHandler;
|
|
||||||
static logfn_t logHandler;
|
|
||||||
};
|
|
||||||
|
|
||||||
} // namespace SPV
|
|
||||||
|
|
||||||
#endif // defined (use_cpp11)
|
|
||||||
#endif // SPIRVREMAPPER_H
|
|
||||||
@ -1,641 +0,0 @@
|
|||||||
//
|
|
||||||
// Copyright (C) 2014-2015 LunarG, Inc.
|
|
||||||
// Copyright (C) 2015-2016 Google, Inc.
|
|
||||||
//
|
|
||||||
// All rights reserved.
|
|
||||||
//
|
|
||||||
// Redistribution and use in source and binary forms, with or without
|
|
||||||
// modification, are permitted provided that the following conditions
|
|
||||||
// are met:
|
|
||||||
//
|
|
||||||
// Redistributions of source code must retain the above copyright
|
|
||||||
// notice, this list of conditions and the following disclaimer.
|
|
||||||
//
|
|
||||||
// Redistributions in binary form must reproduce the above
|
|
||||||
// copyright notice, this list of conditions and the following
|
|
||||||
// disclaimer in the documentation and/or other materials provided
|
|
||||||
// with the distribution.
|
|
||||||
//
|
|
||||||
// Neither the name of 3Dlabs Inc. Ltd. nor the names of its
|
|
||||||
// contributors may be used to endorse or promote products derived
|
|
||||||
// from this software without specific prior written permission.
|
|
||||||
//
|
|
||||||
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
||||||
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
||||||
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
||||||
// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
||||||
// COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
||||||
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
||||||
// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
||||||
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
||||||
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
||||||
// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
||||||
// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
||||||
// POSSIBILITY OF SUCH DAMAGE.
|
|
||||||
|
|
||||||
//
|
|
||||||
// "Builder" is an interface to fully build SPIR-V IR. Allocate one of
|
|
||||||
// these to build (a thread safe) internal SPIR-V representation (IR),
|
|
||||||
// and then dump it as a binary stream according to the SPIR-V specification.
|
|
||||||
//
|
|
||||||
// A Builder has a 1:1 relationship with a SPIR-V module.
|
|
||||||
//
|
|
||||||
|
|
||||||
#pragma once
|
|
||||||
#ifndef SpvBuilder_H
|
|
||||||
#define SpvBuilder_H
|
|
||||||
|
|
||||||
#include "Logger.h"
|
|
||||||
#include "spirv.hpp"
|
|
||||||
#include "spvIR.h"
|
|
||||||
|
|
||||||
#include <algorithm>
|
|
||||||
#include <map>
|
|
||||||
#include <memory>
|
|
||||||
#include <set>
|
|
||||||
#include <sstream>
|
|
||||||
#include <stack>
|
|
||||||
|
|
||||||
namespace spv {
|
|
||||||
|
|
||||||
class Builder {
|
|
||||||
public:
|
|
||||||
Builder(unsigned int spvVersion, unsigned int userNumber, SpvBuildLogger* logger);
|
|
||||||
virtual ~Builder();
|
|
||||||
|
|
||||||
static const int maxMatrixSize = 4;
|
|
||||||
|
|
||||||
void setSource(spv::SourceLanguage lang, int version)
|
|
||||||
{
|
|
||||||
source = lang;
|
|
||||||
sourceVersion = version;
|
|
||||||
}
|
|
||||||
void setSourceFile(const std::string& file)
|
|
||||||
{
|
|
||||||
Instruction* fileString = new Instruction(getUniqueId(), NoType, OpString);
|
|
||||||
fileString->addStringOperand(file.c_str());
|
|
||||||
sourceFileStringId = fileString->getResultId();
|
|
||||||
strings.push_back(std::unique_ptr<Instruction>(fileString));
|
|
||||||
}
|
|
||||||
void setSourceText(const std::string& text) { sourceText = text; }
|
|
||||||
void addSourceExtension(const char* ext) { sourceExtensions.push_back(ext); }
|
|
||||||
void addModuleProcessed(const std::string& p) { moduleProcesses.push_back(p.c_str()); }
|
|
||||||
void setEmitOpLines() { emitOpLines = true; }
|
|
||||||
void addExtension(const char* ext) { extensions.insert(ext); }
|
|
||||||
Id import(const char*);
|
|
||||||
void setMemoryModel(spv::AddressingModel addr, spv::MemoryModel mem)
|
|
||||||
{
|
|
||||||
addressModel = addr;
|
|
||||||
memoryModel = mem;
|
|
||||||
}
|
|
||||||
|
|
||||||
void addCapability(spv::Capability cap) { capabilities.insert(cap); }
|
|
||||||
|
|
||||||
// To get a new <id> for anything needing a new one.
|
|
||||||
Id getUniqueId() { return ++uniqueId; }
|
|
||||||
|
|
||||||
// To get a set of new <id>s, e.g., for a set of function parameters
|
|
||||||
Id getUniqueIds(int numIds)
|
|
||||||
{
|
|
||||||
Id id = uniqueId + 1;
|
|
||||||
uniqueId += numIds;
|
|
||||||
return id;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Log the current line, and if different than the last one,
|
|
||||||
// issue a new OpLine, using the current file name.
|
|
||||||
void setLine(int line);
|
|
||||||
// Low-level OpLine. See setLine() for a layered helper.
|
|
||||||
void addLine(Id fileName, int line, int column);
|
|
||||||
|
|
||||||
// For creating new types (will return old type if the requested one was already made).
|
|
||||||
Id makeVoidType();
|
|
||||||
Id makeBoolType();
|
|
||||||
Id makePointer(StorageClass, Id type);
|
|
||||||
Id makeIntegerType(int width, bool hasSign); // generic
|
|
||||||
Id makeIntType(int width) { return makeIntegerType(width, true); }
|
|
||||||
Id makeUintType(int width) { return makeIntegerType(width, false); }
|
|
||||||
Id makeFloatType(int width);
|
|
||||||
Id makeStructType(const std::vector<Id>& members, const char*);
|
|
||||||
Id makeStructResultType(Id type0, Id type1);
|
|
||||||
Id makeVectorType(Id component, int size);
|
|
||||||
Id makeMatrixType(Id component, int cols, int rows);
|
|
||||||
Id makeArrayType(Id element, Id sizeId, int stride); // 0 stride means no stride decoration
|
|
||||||
Id makeRuntimeArray(Id element);
|
|
||||||
Id makeFunctionType(Id returnType, const std::vector<Id>& paramTypes);
|
|
||||||
Id makeImageType(Id sampledType, Dim, bool depth, bool arrayed, bool ms, unsigned sampled, ImageFormat format);
|
|
||||||
Id makeSamplerType();
|
|
||||||
Id makeSampledImageType(Id imageType);
|
|
||||||
|
|
||||||
// For querying about types.
|
|
||||||
Id getTypeId(Id resultId) const { return module.getTypeId(resultId); }
|
|
||||||
Id getDerefTypeId(Id resultId) const;
|
|
||||||
Op getOpCode(Id id) const { return module.getInstruction(id)->getOpCode(); }
|
|
||||||
Op getTypeClass(Id typeId) const { return getOpCode(typeId); }
|
|
||||||
Op getMostBasicTypeClass(Id typeId) const;
|
|
||||||
int getNumComponents(Id resultId) const { return getNumTypeComponents(getTypeId(resultId)); }
|
|
||||||
int getNumTypeConstituents(Id typeId) const;
|
|
||||||
int getNumTypeComponents(Id typeId) const { return getNumTypeConstituents(typeId); }
|
|
||||||
Id getScalarTypeId(Id typeId) const;
|
|
||||||
Id getContainedTypeId(Id typeId) const;
|
|
||||||
Id getContainedTypeId(Id typeId, int) const;
|
|
||||||
StorageClass getTypeStorageClass(Id typeId) const { return module.getStorageClass(typeId); }
|
|
||||||
ImageFormat getImageTypeFormat(Id typeId) const { return (ImageFormat)module.getInstruction(typeId)->getImmediateOperand(6); }
|
|
||||||
|
|
||||||
bool isPointer(Id resultId) const { return isPointerType(getTypeId(resultId)); }
|
|
||||||
bool isScalar(Id resultId) const { return isScalarType(getTypeId(resultId)); }
|
|
||||||
bool isVector(Id resultId) const { return isVectorType(getTypeId(resultId)); }
|
|
||||||
bool isMatrix(Id resultId) const { return isMatrixType(getTypeId(resultId)); }
|
|
||||||
bool isAggregate(Id resultId) const { return isAggregateType(getTypeId(resultId)); }
|
|
||||||
bool isSampledImage(Id resultId) const { return isSampledImageType(getTypeId(resultId)); }
|
|
||||||
|
|
||||||
bool isBoolType(Id typeId) const { return groupedTypes[OpTypeBool].size() > 0 && typeId == groupedTypes[OpTypeBool].back()->getResultId(); }
|
|
||||||
bool isIntType(Id typeId) const { return getTypeClass(typeId) == OpTypeInt && module.getInstruction(typeId)->getImmediateOperand(1) != 0; }
|
|
||||||
bool isUintType(Id typeId) const { return getTypeClass(typeId) == OpTypeInt && module.getInstruction(typeId)->getImmediateOperand(1) == 0; }
|
|
||||||
bool isFloatType(Id typeId) const { return getTypeClass(typeId) == OpTypeFloat; }
|
|
||||||
bool isPointerType(Id typeId) const { return getTypeClass(typeId) == OpTypePointer; }
|
|
||||||
bool isScalarType(Id typeId) const { return getTypeClass(typeId) == OpTypeFloat || getTypeClass(typeId) == OpTypeInt || getTypeClass(typeId) == OpTypeBool; }
|
|
||||||
bool isVectorType(Id typeId) const { return getTypeClass(typeId) == OpTypeVector; }
|
|
||||||
bool isMatrixType(Id typeId) const { return getTypeClass(typeId) == OpTypeMatrix; }
|
|
||||||
bool isStructType(Id typeId) const { return getTypeClass(typeId) == OpTypeStruct; }
|
|
||||||
bool isArrayType(Id typeId) const { return getTypeClass(typeId) == OpTypeArray; }
|
|
||||||
bool isAggregateType(Id typeId) const { return isArrayType(typeId) || isStructType(typeId); }
|
|
||||||
bool isImageType(Id typeId) const { return getTypeClass(typeId) == OpTypeImage; }
|
|
||||||
bool isSamplerType(Id typeId) const { return getTypeClass(typeId) == OpTypeSampler; }
|
|
||||||
bool isSampledImageType(Id typeId) const { return getTypeClass(typeId) == OpTypeSampledImage; }
|
|
||||||
|
|
||||||
bool isConstantOpCode(Op opcode) const;
|
|
||||||
bool isSpecConstantOpCode(Op opcode) const;
|
|
||||||
bool isConstant(Id resultId) const { return isConstantOpCode(getOpCode(resultId)); }
|
|
||||||
bool isConstantScalar(Id resultId) const { return getOpCode(resultId) == OpConstant; }
|
|
||||||
bool isSpecConstant(Id resultId) const { return isSpecConstantOpCode(getOpCode(resultId)); }
|
|
||||||
unsigned int getConstantScalar(Id resultId) const { return module.getInstruction(resultId)->getImmediateOperand(0); }
|
|
||||||
StorageClass getStorageClass(Id resultId) const { return getTypeStorageClass(getTypeId(resultId)); }
|
|
||||||
|
|
||||||
int getScalarTypeWidth(Id typeId) const
|
|
||||||
{
|
|
||||||
Id scalarTypeId = getScalarTypeId(typeId);
|
|
||||||
assert(getTypeClass(scalarTypeId) == OpTypeInt || getTypeClass(scalarTypeId) == OpTypeFloat);
|
|
||||||
return module.getInstruction(scalarTypeId)->getImmediateOperand(0);
|
|
||||||
}
|
|
||||||
|
|
||||||
int getTypeNumColumns(Id typeId) const
|
|
||||||
{
|
|
||||||
assert(isMatrixType(typeId));
|
|
||||||
return getNumTypeConstituents(typeId);
|
|
||||||
}
|
|
||||||
int getNumColumns(Id resultId) const { return getTypeNumColumns(getTypeId(resultId)); }
|
|
||||||
int getTypeNumRows(Id typeId) const
|
|
||||||
{
|
|
||||||
assert(isMatrixType(typeId));
|
|
||||||
return getNumTypeComponents(getContainedTypeId(typeId));
|
|
||||||
}
|
|
||||||
int getNumRows(Id resultId) const { return getTypeNumRows(getTypeId(resultId)); }
|
|
||||||
|
|
||||||
Dim getTypeDimensionality(Id typeId) const
|
|
||||||
{
|
|
||||||
assert(isImageType(typeId));
|
|
||||||
return (Dim)module.getInstruction(typeId)->getImmediateOperand(1);
|
|
||||||
}
|
|
||||||
Id getImageType(Id resultId) const
|
|
||||||
{
|
|
||||||
Id typeId = getTypeId(resultId);
|
|
||||||
assert(isImageType(typeId) || isSampledImageType(typeId));
|
|
||||||
return isSampledImageType(typeId) ? module.getInstruction(typeId)->getIdOperand(0) : typeId;
|
|
||||||
}
|
|
||||||
bool isArrayedImageType(Id typeId) const
|
|
||||||
{
|
|
||||||
assert(isImageType(typeId));
|
|
||||||
return module.getInstruction(typeId)->getImmediateOperand(3) != 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
// For making new constants (will return old constant if the requested one was already made).
|
|
||||||
Id makeBoolConstant(bool b, bool specConstant = false);
|
|
||||||
Id makeIntConstant(int i, bool specConstant = false) { return makeIntConstant(makeIntType(32), (unsigned)i, specConstant); }
|
|
||||||
Id makeUintConstant(unsigned u, bool specConstant = false) { return makeIntConstant(makeUintType(32), u, specConstant); }
|
|
||||||
Id makeInt64Constant(long long i, bool specConstant = false) { return makeInt64Constant(makeIntType(64), (unsigned long long)i, specConstant); }
|
|
||||||
Id makeUint64Constant(unsigned long long u, bool specConstant = false) { return makeInt64Constant(makeUintType(64), u, specConstant); }
|
|
||||||
#ifdef AMD_EXTENSIONS
|
|
||||||
Id makeInt16Constant(short i, bool specConstant = false) { return makeIntConstant(makeIntType(16), (unsigned)((unsigned short)i), specConstant); }
|
|
||||||
Id makeUint16Constant(unsigned short u, bool specConstant = false) { return makeIntConstant(makeUintType(16), (unsigned)u, specConstant); }
|
|
||||||
#endif
|
|
||||||
Id makeFloatConstant(float f, bool specConstant = false);
|
|
||||||
Id makeDoubleConstant(double d, bool specConstant = false);
|
|
||||||
#ifdef AMD_EXTENSIONS
|
|
||||||
Id makeFloat16Constant(float f16, bool specConstant = false);
|
|
||||||
#endif
|
|
||||||
|
|
||||||
// Turn the array of constants into a proper spv constant of the requested type.
|
|
||||||
Id makeCompositeConstant(Id type, const std::vector<Id>& comps, bool specConst = false);
|
|
||||||
|
|
||||||
// Methods for adding information outside the CFG.
|
|
||||||
Instruction* addEntryPoint(ExecutionModel, Function*, const char* name);
|
|
||||||
void addExecutionMode(Function*, ExecutionMode mode, int value1 = -1, int value2 = -1, int value3 = -1);
|
|
||||||
void addName(Id, const char* name);
|
|
||||||
void addMemberName(Id, int member, const char* name);
|
|
||||||
void addDecoration(Id, Decoration, int num = -1);
|
|
||||||
void addMemberDecoration(Id, unsigned int member, Decoration, int num = -1);
|
|
||||||
|
|
||||||
// At the end of what block do the next create*() instructions go?
|
|
||||||
void setBuildPoint(Block* bp) { buildPoint = bp; }
|
|
||||||
Block* getBuildPoint() const { return buildPoint; }
|
|
||||||
|
|
||||||
// Make the entry-point function. The returned pointer is only valid
|
|
||||||
// for the lifetime of this builder.
|
|
||||||
Function* makeEntryPoint(const char*);
|
|
||||||
|
|
||||||
// Make a shader-style function, and create its entry block if entry is non-zero.
|
|
||||||
// Return the function, pass back the entry.
|
|
||||||
// The returned pointer is only valid for the lifetime of this builder.
|
|
||||||
Function* makeFunctionEntry(Decoration precision, Id returnType, const char* name, const std::vector<Id>& paramTypes,
|
|
||||||
const std::vector<std::vector<Decoration>>& precisions, Block **entry = 0);
|
|
||||||
|
|
||||||
// Create a return. An 'implicit' return is one not appearing in the source
|
|
||||||
// code. In the case of an implicit return, no post-return block is inserted.
|
|
||||||
void makeReturn(bool implicit, Id retVal = 0);
|
|
||||||
|
|
||||||
// Generate all the code needed to finish up a function.
|
|
||||||
void leaveFunction();
|
|
||||||
|
|
||||||
// Create a discard.
|
|
||||||
void makeDiscard();
|
|
||||||
|
|
||||||
// Create a global or function local or IO variable.
|
|
||||||
Id createVariable(StorageClass, Id type, const char* name = 0);
|
|
||||||
|
|
||||||
// Create an intermediate with an undefined value.
|
|
||||||
Id createUndefined(Id type);
|
|
||||||
|
|
||||||
// Store into an Id and return the l-value
|
|
||||||
void createStore(Id rValue, Id lValue);
|
|
||||||
|
|
||||||
// Load from an Id and return it
|
|
||||||
Id createLoad(Id lValue);
|
|
||||||
|
|
||||||
// Create an OpAccessChain instruction
|
|
||||||
Id createAccessChain(StorageClass, Id base, const std::vector<Id>& offsets);
|
|
||||||
|
|
||||||
// Create an OpArrayLength instruction
|
|
||||||
Id createArrayLength(Id base, unsigned int member);
|
|
||||||
|
|
||||||
// Create an OpCompositeExtract instruction
|
|
||||||
Id createCompositeExtract(Id composite, Id typeId, unsigned index);
|
|
||||||
Id createCompositeExtract(Id composite, Id typeId, const std::vector<unsigned>& indexes);
|
|
||||||
Id createCompositeInsert(Id object, Id composite, Id typeId, unsigned index);
|
|
||||||
Id createCompositeInsert(Id object, Id composite, Id typeId, const std::vector<unsigned>& indexes);
|
|
||||||
|
|
||||||
Id createVectorExtractDynamic(Id vector, Id typeId, Id componentIndex);
|
|
||||||
Id createVectorInsertDynamic(Id vector, Id typeId, Id component, Id componentIndex);
|
|
||||||
|
|
||||||
void createNoResultOp(Op);
|
|
||||||
void createNoResultOp(Op, Id operand);
|
|
||||||
void createNoResultOp(Op, const std::vector<Id>& operands);
|
|
||||||
void createControlBarrier(Scope execution, Scope memory, MemorySemanticsMask);
|
|
||||||
void createMemoryBarrier(unsigned executionScope, unsigned memorySemantics);
|
|
||||||
Id createUnaryOp(Op, Id typeId, Id operand);
|
|
||||||
Id createBinOp(Op, Id typeId, Id operand1, Id operand2);
|
|
||||||
Id createTriOp(Op, Id typeId, Id operand1, Id operand2, Id operand3);
|
|
||||||
Id createOp(Op, Id typeId, const std::vector<Id>& operands);
|
|
||||||
Id createFunctionCall(spv::Function*, const std::vector<spv::Id>&);
|
|
||||||
Id createSpecConstantOp(Op, Id typeId, const std::vector<spv::Id>& operands, const std::vector<unsigned>& literals);
|
|
||||||
|
|
||||||
// Take an rvalue (source) and a set of channels to extract from it to
|
|
||||||
// make a new rvalue, which is returned.
|
|
||||||
Id createRvalueSwizzle(Decoration precision, Id typeId, Id source, const std::vector<unsigned>& channels);
|
|
||||||
|
|
||||||
// Take a copy of an lvalue (target) and a source of components, and set the
|
|
||||||
// source components into the lvalue where the 'channels' say to put them.
|
|
||||||
// An updated version of the target is returned.
|
|
||||||
// (No true lvalue or stores are used.)
|
|
||||||
Id createLvalueSwizzle(Id typeId, Id target, Id source, const std::vector<unsigned>& channels);
|
|
||||||
|
|
||||||
// If both the id and precision are valid, the id
|
|
||||||
// gets tagged with the requested precision.
|
|
||||||
// The passed in id is always the returned id, to simplify use patterns.
|
|
||||||
Id setPrecision(Id id, Decoration precision)
|
|
||||||
{
|
|
||||||
if (precision != NoPrecision && id != NoResult)
|
|
||||||
addDecoration(id, precision);
|
|
||||||
|
|
||||||
return id;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Can smear a scalar to a vector for the following forms:
|
|
||||||
// - promoteScalar(scalar, vector) // smear scalar to width of vector
|
|
||||||
// - promoteScalar(vector, scalar) // smear scalar to width of vector
|
|
||||||
// - promoteScalar(pointer, scalar) // smear scalar to width of what pointer points to
|
|
||||||
// - promoteScalar(scalar, scalar) // do nothing
|
|
||||||
// Other forms are not allowed.
|
|
||||||
//
|
|
||||||
// Generally, the type of 'scalar' does not need to be the same type as the components in 'vector'.
|
|
||||||
// The type of the created vector is a vector of components of the same type as the scalar.
|
|
||||||
//
|
|
||||||
// Note: One of the arguments will change, with the result coming back that way rather than
|
|
||||||
// through the return value.
|
|
||||||
void promoteScalar(Decoration precision, Id& left, Id& right);
|
|
||||||
|
|
||||||
// Make a value by smearing the scalar to fill the type.
|
|
||||||
// vectorType should be the correct type for making a vector of scalarVal.
|
|
||||||
// (No conversions are done.)
|
|
||||||
Id smearScalar(Decoration precision, Id scalarVal, Id vectorType);
|
|
||||||
|
|
||||||
// Create a call to a built-in function.
|
|
||||||
Id createBuiltinCall(Id resultType, Id builtins, int entryPoint, const std::vector<Id>& args);
|
|
||||||
|
|
||||||
// List of parameters used to create a texture operation
|
|
||||||
struct TextureParameters {
|
|
||||||
Id sampler;
|
|
||||||
Id coords;
|
|
||||||
Id bias;
|
|
||||||
Id lod;
|
|
||||||
Id Dref;
|
|
||||||
Id offset;
|
|
||||||
Id offsets;
|
|
||||||
Id gradX;
|
|
||||||
Id gradY;
|
|
||||||
Id sample;
|
|
||||||
Id component;
|
|
||||||
Id texelOut;
|
|
||||||
Id lodClamp;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Select the correct texture operation based on all inputs, and emit the correct instruction
|
|
||||||
Id createTextureCall(Decoration precision, Id resultType, bool sparse, bool fetch, bool proj, bool gather, bool noImplicit, const TextureParameters&);
|
|
||||||
|
|
||||||
// Emit the OpTextureQuery* instruction that was passed in.
|
|
||||||
// Figure out the right return value and type, and return it.
|
|
||||||
Id createTextureQueryCall(Op, const TextureParameters&, bool isUnsignedResult);
|
|
||||||
|
|
||||||
Id createSamplePositionCall(Decoration precision, Id, Id);
|
|
||||||
|
|
||||||
Id createBitFieldExtractCall(Decoration precision, Id, Id, Id, bool isSigned);
|
|
||||||
Id createBitFieldInsertCall(Decoration precision, Id, Id, Id, Id);
|
|
||||||
|
|
||||||
// Reduction comparison for composites: For equal and not-equal resulting in a scalar.
|
|
||||||
Id createCompositeCompare(Decoration precision, Id, Id, bool /* true if for equal, false if for not-equal */);
|
|
||||||
|
|
||||||
// OpCompositeConstruct
|
|
||||||
Id createCompositeConstruct(Id typeId, const std::vector<Id>& constituents);
|
|
||||||
|
|
||||||
// vector or scalar constructor
|
|
||||||
Id createConstructor(Decoration precision, const std::vector<Id>& sources, Id resultTypeId);
|
|
||||||
|
|
||||||
// matrix constructor
|
|
||||||
Id createMatrixConstructor(Decoration precision, const std::vector<Id>& sources, Id constructee);
|
|
||||||
|
|
||||||
// Helper to use for building nested control flow with if-then-else.
|
|
||||||
class If {
|
|
||||||
public:
|
|
||||||
If(Id condition, unsigned int ctrl, Builder& builder);
|
|
||||||
~If() {}
|
|
||||||
|
|
||||||
void makeBeginElse();
|
|
||||||
void makeEndIf();
|
|
||||||
|
|
||||||
private:
|
|
||||||
If(const If&);
|
|
||||||
If& operator=(If&);
|
|
||||||
|
|
||||||
Builder& builder;
|
|
||||||
Id condition;
|
|
||||||
unsigned int control;
|
|
||||||
Function* function;
|
|
||||||
Block* headerBlock;
|
|
||||||
Block* thenBlock;
|
|
||||||
Block* elseBlock;
|
|
||||||
Block* mergeBlock;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Make a switch statement. A switch has 'numSegments' of pieces of code, not containing
|
|
||||||
// any case/default labels, all separated by one or more case/default labels. Each possible
|
|
||||||
// case value v is a jump to the caseValues[v] segment. The defaultSegment is also in this
|
|
||||||
// number space. How to compute the value is given by 'condition', as in switch(condition).
|
|
||||||
//
|
|
||||||
// The SPIR-V Builder will maintain the stack of post-switch merge blocks for nested switches.
|
|
||||||
//
|
|
||||||
// Use a defaultSegment < 0 if there is no default segment (to branch to post switch).
|
|
||||||
//
|
|
||||||
// Returns the right set of basic blocks to start each code segment with, so that the caller's
|
|
||||||
// recursion stack can hold the memory for it.
|
|
||||||
//
|
|
||||||
void makeSwitch(Id condition, unsigned int control, int numSegments, const std::vector<int>& caseValues,
|
|
||||||
const std::vector<int>& valueToSegment, int defaultSegment, std::vector<Block*>& segmentBB); // return argument
|
|
||||||
|
|
||||||
// Add a branch to the innermost switch's merge block.
|
|
||||||
void addSwitchBreak();
|
|
||||||
|
|
||||||
// Move to the next code segment, passing in the return argument in makeSwitch()
|
|
||||||
void nextSwitchSegment(std::vector<Block*>& segmentBB, int segment);
|
|
||||||
|
|
||||||
// Finish off the innermost switch.
|
|
||||||
void endSwitch(std::vector<Block*>& segmentBB);
|
|
||||||
|
|
||||||
struct LoopBlocks {
|
|
||||||
LoopBlocks(Block& head, Block& body, Block& merge, Block& continue_target) :
|
|
||||||
head(head), body(body), merge(merge), continue_target(continue_target) { }
|
|
||||||
Block &head, &body, &merge, &continue_target;
|
|
||||||
private:
|
|
||||||
LoopBlocks();
|
|
||||||
LoopBlocks& operator=(const LoopBlocks&);
|
|
||||||
};
|
|
||||||
|
|
||||||
// Start a new loop and prepare the builder to generate code for it. Until
|
|
||||||
// closeLoop() is called for this loop, createLoopContinue() and
|
|
||||||
// createLoopExit() will target its corresponding blocks.
|
|
||||||
LoopBlocks& makeNewLoop();
|
|
||||||
|
|
||||||
// Create a new block in the function containing the build point. Memory is
|
|
||||||
// owned by the function object.
|
|
||||||
Block& makeNewBlock();
|
|
||||||
|
|
||||||
// Add a branch to the continue_target of the current (innermost) loop.
|
|
||||||
void createLoopContinue();
|
|
||||||
|
|
||||||
// Add an exit (e.g. "break") from the innermost loop that we're currently
|
|
||||||
// in.
|
|
||||||
void createLoopExit();
|
|
||||||
|
|
||||||
// Close the innermost loop that you're in
|
|
||||||
void closeLoop();
|
|
||||||
|
|
||||||
//
|
|
||||||
// Access chain design for an R-Value vs. L-Value:
|
|
||||||
//
|
|
||||||
// There is a single access chain the builder is building at
|
|
||||||
// any particular time. Such a chain can be used to either to a load or
|
|
||||||
// a store, when desired.
|
|
||||||
//
|
|
||||||
// Expressions can be r-values, l-values, or both, or only r-values:
|
|
||||||
// a[b.c].d = .... // l-value
|
|
||||||
// ... = a[b.c].d; // r-value, that also looks like an l-value
|
|
||||||
// ++a[b.c].d; // r-value and l-value
|
|
||||||
// (x + y)[2]; // r-value only, can't possibly be l-value
|
|
||||||
//
|
|
||||||
// Computing an r-value means generating code. Hence,
|
|
||||||
// r-values should only be computed when they are needed, not speculatively.
|
|
||||||
//
|
|
||||||
// Computing an l-value means saving away information for later use in the compiler,
|
|
||||||
// no code is generated until the l-value is later dereferenced. It is okay
|
|
||||||
// to speculatively generate an l-value, just not okay to speculatively dereference it.
|
|
||||||
//
|
|
||||||
// The base of the access chain (the left-most variable or expression
|
|
||||||
// from which everything is based) can be set either as an l-value
|
|
||||||
// or as an r-value. Most efficient would be to set an l-value if one
|
|
||||||
// is available. If an expression was evaluated, the resulting r-value
|
|
||||||
// can be set as the chain base.
|
|
||||||
//
|
|
||||||
// The users of this single access chain can save and restore if they
|
|
||||||
// want to nest or manage multiple chains.
|
|
||||||
//
|
|
||||||
|
|
||||||
struct AccessChain {
|
|
||||||
Id base; // for l-values, pointer to the base object, for r-values, the base object
|
|
||||||
std::vector<Id> indexChain;
|
|
||||||
Id instr; // cache the instruction that generates this access chain
|
|
||||||
std::vector<unsigned> swizzle; // each std::vector element selects the next GLSL component number
|
|
||||||
Id component; // a dynamic component index, can coexist with a swizzle, done after the swizzle, NoResult if not present
|
|
||||||
Id preSwizzleBaseType; // dereferenced type, before swizzle or component is applied; NoType unless a swizzle or component is present
|
|
||||||
bool isRValue; // true if 'base' is an r-value, otherwise, base is an l-value
|
|
||||||
};
|
|
||||||
|
|
||||||
//
|
|
||||||
// the SPIR-V builder maintains a single active chain that
|
|
||||||
// the following methods operate on
|
|
||||||
//
|
|
||||||
|
|
||||||
// for external save and restore
|
|
||||||
AccessChain getAccessChain() { return accessChain; }
|
|
||||||
void setAccessChain(AccessChain newChain) { accessChain = newChain; }
|
|
||||||
|
|
||||||
// clear accessChain
|
|
||||||
void clearAccessChain();
|
|
||||||
|
|
||||||
// set new base as an l-value base
|
|
||||||
void setAccessChainLValue(Id lValue)
|
|
||||||
{
|
|
||||||
assert(isPointer(lValue));
|
|
||||||
accessChain.base = lValue;
|
|
||||||
}
|
|
||||||
|
|
||||||
// set new base value as an r-value
|
|
||||||
void setAccessChainRValue(Id rValue)
|
|
||||||
{
|
|
||||||
accessChain.isRValue = true;
|
|
||||||
accessChain.base = rValue;
|
|
||||||
}
|
|
||||||
|
|
||||||
// push offset onto the end of the chain
|
|
||||||
void accessChainPush(Id offset)
|
|
||||||
{
|
|
||||||
accessChain.indexChain.push_back(offset);
|
|
||||||
}
|
|
||||||
|
|
||||||
// push new swizzle onto the end of any existing swizzle, merging into a single swizzle
|
|
||||||
void accessChainPushSwizzle(std::vector<unsigned>& swizzle, Id preSwizzleBaseType);
|
|
||||||
|
|
||||||
// push a dynamic component selection onto the access chain, only applicable with a
|
|
||||||
// non-trivial swizzle or no swizzle
|
|
||||||
void accessChainPushComponent(Id component, Id preSwizzleBaseType)
|
|
||||||
{
|
|
||||||
if (accessChain.swizzle.size() != 1) {
|
|
||||||
accessChain.component = component;
|
|
||||||
if (accessChain.preSwizzleBaseType == NoType)
|
|
||||||
accessChain.preSwizzleBaseType = preSwizzleBaseType;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// use accessChain and swizzle to store value
|
|
||||||
void accessChainStore(Id rvalue);
|
|
||||||
|
|
||||||
// use accessChain and swizzle to load an r-value
|
|
||||||
Id accessChainLoad(Decoration precision, Id ResultType);
|
|
||||||
|
|
||||||
// get the direct pointer for an l-value
|
|
||||||
Id accessChainGetLValue();
|
|
||||||
|
|
||||||
// Get the inferred SPIR-V type of the result of the current access chain,
|
|
||||||
// based on the type of the base and the chain of dereferences.
|
|
||||||
Id accessChainGetInferredType();
|
|
||||||
|
|
||||||
// Remove OpDecorate instructions whose operands are defined in unreachable
|
|
||||||
// blocks.
|
|
||||||
void eliminateDeadDecorations();
|
|
||||||
void dump(std::vector<unsigned int>&) const;
|
|
||||||
|
|
||||||
void createBranch(Block* block);
|
|
||||||
void createConditionalBranch(Id condition, Block* thenBlock, Block* elseBlock);
|
|
||||||
void createLoopMerge(Block* mergeBlock, Block* continueBlock, unsigned int control, unsigned int dependencyLength);
|
|
||||||
|
|
||||||
// Sets to generate opcode for specialization constants.
|
|
||||||
void setToSpecConstCodeGenMode() { generatingOpCodeForSpecConst = true; }
|
|
||||||
// Sets to generate opcode for non-specialization constants (normal mode).
|
|
||||||
void setToNormalCodeGenMode() { generatingOpCodeForSpecConst = false; }
|
|
||||||
// Check if the builder is generating code for spec constants.
|
|
||||||
bool isInSpecConstCodeGenMode() { return generatingOpCodeForSpecConst; }
|
|
||||||
|
|
||||||
protected:
|
|
||||||
Id makeIntConstant(Id typeId, unsigned value, bool specConstant);
|
|
||||||
Id makeInt64Constant(Id typeId, unsigned long long value, bool specConstant);
|
|
||||||
Id findScalarConstant(Op typeClass, Op opcode, Id typeId, unsigned value) const;
|
|
||||||
Id findScalarConstant(Op typeClass, Op opcode, Id typeId, unsigned v1, unsigned v2) const;
|
|
||||||
Id findCompositeConstant(Op typeClass, const std::vector<Id>& comps) const;
|
|
||||||
Id collapseAccessChain();
|
|
||||||
void remapDynamicSwizzle();
|
|
||||||
void transferAccessChainSwizzle(bool dynamic);
|
|
||||||
void simplifyAccessChainSwizzle();
|
|
||||||
void createAndSetNoPredecessorBlock(const char*);
|
|
||||||
void createSelectionMerge(Block* mergeBlock, unsigned int control);
|
|
||||||
void dumpSourceInstructions(std::vector<unsigned int>&) const;
|
|
||||||
void dumpInstructions(std::vector<unsigned int>&, const std::vector<std::unique_ptr<Instruction> >&) const;
|
|
||||||
void dumpModuleProcesses(std::vector<unsigned int>&) const;
|
|
||||||
|
|
||||||
unsigned int spvVersion; // the version of SPIR-V to emit in the header
|
|
||||||
SourceLanguage source;
|
|
||||||
int sourceVersion;
|
|
||||||
spv::Id sourceFileStringId;
|
|
||||||
std::string sourceText;
|
|
||||||
int currentLine;
|
|
||||||
bool emitOpLines;
|
|
||||||
std::set<std::string> extensions;
|
|
||||||
std::vector<const char*> sourceExtensions;
|
|
||||||
std::vector<const char*> moduleProcesses;
|
|
||||||
AddressingModel addressModel;
|
|
||||||
MemoryModel memoryModel;
|
|
||||||
std::set<spv::Capability> capabilities;
|
|
||||||
int builderNumber;
|
|
||||||
Module module;
|
|
||||||
Block* buildPoint;
|
|
||||||
Id uniqueId;
|
|
||||||
Function* entryPointFunction;
|
|
||||||
bool generatingOpCodeForSpecConst;
|
|
||||||
AccessChain accessChain;
|
|
||||||
|
|
||||||
// special blocks of instructions for output
|
|
||||||
std::vector<std::unique_ptr<Instruction> > strings;
|
|
||||||
std::vector<std::unique_ptr<Instruction> > imports;
|
|
||||||
std::vector<std::unique_ptr<Instruction> > entryPoints;
|
|
||||||
std::vector<std::unique_ptr<Instruction> > executionModes;
|
|
||||||
std::vector<std::unique_ptr<Instruction> > names;
|
|
||||||
std::vector<std::unique_ptr<Instruction> > lines;
|
|
||||||
std::vector<std::unique_ptr<Instruction> > decorations;
|
|
||||||
std::vector<std::unique_ptr<Instruction> > constantsTypesGlobals;
|
|
||||||
std::vector<std::unique_ptr<Instruction> > externals;
|
|
||||||
std::vector<std::unique_ptr<Function> > functions;
|
|
||||||
|
|
||||||
// not output, internally used for quick & dirty canonical (unique) creation
|
|
||||||
std::vector<Instruction*> groupedConstants[OpConstant]; // all types appear before OpConstant
|
|
||||||
std::vector<Instruction*> groupedTypes[OpConstant];
|
|
||||||
|
|
||||||
// stack of switches
|
|
||||||
std::stack<Block*> switchMerges;
|
|
||||||
|
|
||||||
// Our loop stack.
|
|
||||||
std::stack<LoopBlocks> loops;
|
|
||||||
|
|
||||||
// The stream for outputting warnings and errors.
|
|
||||||
SpvBuildLogger* logger;
|
|
||||||
}; // end Builder class
|
|
||||||
|
|
||||||
}; // end spv namespace
|
|
||||||
|
|
||||||
#endif // SpvBuilder_H
|
|
||||||
@ -1,81 +0,0 @@
|
|||||||
// Copyright (c) 2015-2016 The Khronos Group Inc.
|
|
||||||
//
|
|
||||||
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
||||||
// you may not use this file except in compliance with the License.
|
|
||||||
// You may obtain a copy of the License at
|
|
||||||
//
|
|
||||||
// http://www.apache.org/licenses/LICENSE-2.0
|
|
||||||
//
|
|
||||||
// Unless required by applicable law or agreed to in writing, software
|
|
||||||
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
||||||
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
||||||
// See the License for the specific language governing permissions and
|
|
||||||
// limitations under the License.
|
|
||||||
|
|
||||||
#ifndef LIBSPIRV_UTIL_BITUTILS_H_
|
|
||||||
#define LIBSPIRV_UTIL_BITUTILS_H_
|
|
||||||
|
|
||||||
#include <cstdint>
|
|
||||||
#include <cstring>
|
|
||||||
|
|
||||||
namespace spvutils {
|
|
||||||
|
|
||||||
// Performs a bitwise copy of source to the destination type Dest.
|
|
||||||
template <typename Dest, typename Src>
|
|
||||||
Dest BitwiseCast(Src source) {
|
|
||||||
Dest dest;
|
|
||||||
static_assert(sizeof(source) == sizeof(dest),
|
|
||||||
"BitwiseCast: Source and destination must have the same size");
|
|
||||||
std::memcpy(&dest, &source, sizeof(dest));
|
|
||||||
return dest;
|
|
||||||
}
|
|
||||||
|
|
||||||
// SetBits<T, First, Num> returns an integer of type <T> with bits set
|
|
||||||
// for position <First> through <First + Num - 1>, counting from the least
|
|
||||||
// significant bit. In particular when Num == 0, no positions are set to 1.
|
|
||||||
// A static assert will be triggered if First + Num > sizeof(T) * 8, that is,
|
|
||||||
// a bit that will not fit in the underlying type is set.
|
|
||||||
template <typename T, size_t First = 0, size_t Num = 0>
|
|
||||||
struct SetBits {
|
|
||||||
static_assert(First < sizeof(T) * 8,
|
|
||||||
"Tried to set a bit that is shifted too far.");
|
|
||||||
const static T get = (T(1) << First) | SetBits<T, First + 1, Num - 1>::get;
|
|
||||||
};
|
|
||||||
|
|
||||||
template <typename T, size_t Last>
|
|
||||||
struct SetBits<T, Last, 0> {
|
|
||||||
const static T get = T(0);
|
|
||||||
};
|
|
||||||
|
|
||||||
// This is all compile-time so we can put our tests right here.
|
|
||||||
static_assert(SetBits<uint32_t, 0, 0>::get == uint32_t(0x00000000),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint32_t, 0, 1>::get == uint32_t(0x00000001),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint32_t, 31, 1>::get == uint32_t(0x80000000),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint32_t, 1, 2>::get == uint32_t(0x00000006),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint32_t, 30, 2>::get == uint32_t(0xc0000000),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint32_t, 0, 31>::get == uint32_t(0x7FFFFFFF),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint32_t, 0, 32>::get == uint32_t(0xFFFFFFFF),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint32_t, 16, 16>::get == uint32_t(0xFFFF0000),
|
|
||||||
"SetBits failed");
|
|
||||||
|
|
||||||
static_assert(SetBits<uint64_t, 0, 1>::get == uint64_t(0x0000000000000001LL),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint64_t, 63, 1>::get == uint64_t(0x8000000000000000LL),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint64_t, 62, 2>::get == uint64_t(0xc000000000000000LL),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint64_t, 31, 1>::get == uint64_t(0x0000000080000000LL),
|
|
||||||
"SetBits failed");
|
|
||||||
static_assert(SetBits<uint64_t, 16, 16>::get == uint64_t(0x00000000FFFF0000LL),
|
|
||||||
"SetBits failed");
|
|
||||||
|
|
||||||
} // namespace spvutils
|
|
||||||
|
|
||||||
#endif // LIBSPIRV_UTIL_BITUTILS_H_
|
|
||||||
@ -1,52 +0,0 @@
|
|||||||
//
|
|
||||||
// Copyright (C) 2014-2015 LunarG, Inc.
|
|
||||||
//
|
|
||||||
// All rights reserved.
|
|
||||||
//
|
|
||||||
// Redistribution and use in source and binary forms, with or without
|
|
||||||
// modification, are permitted provided that the following conditions
|
|
||||||
// are met:
|
|
||||||
//
|
|
||||||
// Redistributions of source code must retain the above copyright
|
|
||||||
// notice, this list of conditions and the following disclaimer.
|
|
||||||
//
|
|
||||||
// Redistributions in binary form must reproduce the above
|
|
||||||
// copyright notice, this list of conditions and the following
|
|
||||||
// disclaimer in the documentation and/or other materials provided
|
|
||||||
// with the distribution.
|
|
||||||
//
|
|
||||||
// Neither the name of 3Dlabs Inc. Ltd. nor the names of its
|
|
||||||
// contributors may be used to endorse or promote products derived
|
|
||||||
// from this software without specific prior written permission.
|
|
||||||
//
|
|
||||||
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
||||||
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
||||||
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
||||||
// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
||||||
// COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
||||||
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
||||||
// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
||||||
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
||||||
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
||||||
// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
||||||
// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
||||||
// POSSIBILITY OF SUCH DAMAGE.
|
|
||||||
|
|
||||||
//
|
|
||||||
// Disassembler for SPIR-V.
|
|
||||||
//
|
|
||||||
|
|
||||||
#pragma once
|
|
||||||
#ifndef disassembler_H
|
|
||||||
#define disassembler_H
|
|
||||||
|
|
||||||
#include <iostream>
|
|
||||||
#include <vector>
|
|
||||||
|
|
||||||
namespace spv {
|
|
||||||
|
|
||||||
void Disassemble(std::ostream& out, const std::vector<unsigned int>&);
|
|
||||||
|
|
||||||
}; // end namespace spv
|
|
||||||
|
|
||||||
#endif // disassembler_H
|
|
||||||
@ -1,262 +0,0 @@
|
|||||||
//
|
|
||||||
// Copyright (C) 2014-2015 LunarG, Inc.
|
|
||||||
//
|
|
||||||
// All rights reserved.
|
|
||||||
//
|
|
||||||
// Redistribution and use in source and binary forms, with or without
|
|
||||||
// modification, are permitted provided that the following conditions
|
|
||||||
// are met:
|
|
||||||
//
|
|
||||||
// Redistributions of source code must retain the above copyright
|
|
||||||
// notice, this list of conditions and the following disclaimer.
|
|
||||||
//
|
|
||||||
// Redistributions in binary form must reproduce the above
|
|
||||||
// copyright notice, this list of conditions and the following
|
|
||||||
// disclaimer in the documentation and/or other materials provided
|
|
||||||
// with the distribution.
|
|
||||||
//
|
|
||||||
// Neither the name of 3Dlabs Inc. Ltd. nor the names of its
|
|
||||||
// contributors may be used to endorse or promote products derived
|
|
||||||
// from this software without specific prior written permission.
|
|
||||||
//
|
|
||||||
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
||||||
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
||||||
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
||||||
// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
||||||
// COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
||||||
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
||||||
// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
||||||
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
||||||
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
||||||
// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
||||||
// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
||||||
// POSSIBILITY OF SUCH DAMAGE.
|
|
||||||
|
|
||||||
//
|
|
||||||
// Parameterize the SPIR-V enumerants.
|
|
||||||
//
|
|
||||||
|
|
||||||
#pragma once
|
|
||||||
|
|
||||||
#include "spirv.hpp"
|
|
||||||
|
|
||||||
#include <vector>
|
|
||||||
|
|
||||||
namespace spv {
|
|
||||||
|
|
||||||
// Fill in all the parameters
|
|
||||||
void Parameterize();
|
|
||||||
|
|
||||||
// Return the English names of all the enums.
|
|
||||||
const char* SourceString(int);
|
|
||||||
const char* AddressingString(int);
|
|
||||||
const char* MemoryString(int);
|
|
||||||
const char* ExecutionModelString(int);
|
|
||||||
const char* ExecutionModeString(int);
|
|
||||||
const char* StorageClassString(int);
|
|
||||||
const char* DecorationString(int);
|
|
||||||
const char* BuiltInString(int);
|
|
||||||
const char* DimensionString(int);
|
|
||||||
const char* SelectControlString(int);
|
|
||||||
const char* LoopControlString(int);
|
|
||||||
const char* FunctionControlString(int);
|
|
||||||
const char* SamplerAddressingModeString(int);
|
|
||||||
const char* SamplerFilterModeString(int);
|
|
||||||
const char* ImageFormatString(int);
|
|
||||||
const char* ImageChannelOrderString(int);
|
|
||||||
const char* ImageChannelTypeString(int);
|
|
||||||
const char* ImageChannelDataTypeString(int type);
|
|
||||||
const char* ImageOperandsString(int format);
|
|
||||||
const char* ImageOperands(int);
|
|
||||||
const char* FPFastMathString(int);
|
|
||||||
const char* FPRoundingModeString(int);
|
|
||||||
const char* LinkageTypeString(int);
|
|
||||||
const char* FuncParamAttrString(int);
|
|
||||||
const char* AccessQualifierString(int);
|
|
||||||
const char* MemorySemanticsString(int);
|
|
||||||
const char* MemoryAccessString(int);
|
|
||||||
const char* ExecutionScopeString(int);
|
|
||||||
const char* GroupOperationString(int);
|
|
||||||
const char* KernelEnqueueFlagsString(int);
|
|
||||||
const char* KernelProfilingInfoString(int);
|
|
||||||
const char* CapabilityString(int);
|
|
||||||
const char* OpcodeString(int);
|
|
||||||
const char* ScopeString(int mem);
|
|
||||||
|
|
||||||
// For grouping opcodes into subsections
|
|
||||||
enum OpcodeClass {
|
|
||||||
OpClassMisc,
|
|
||||||
OpClassDebug,
|
|
||||||
OpClassAnnotate,
|
|
||||||
OpClassExtension,
|
|
||||||
OpClassMode,
|
|
||||||
OpClassType,
|
|
||||||
OpClassConstant,
|
|
||||||
OpClassMemory,
|
|
||||||
OpClassFunction,
|
|
||||||
OpClassImage,
|
|
||||||
OpClassConvert,
|
|
||||||
OpClassComposite,
|
|
||||||
OpClassArithmetic,
|
|
||||||
OpClassBit,
|
|
||||||
OpClassRelationalLogical,
|
|
||||||
OpClassDerivative,
|
|
||||||
OpClassFlowControl,
|
|
||||||
OpClassAtomic,
|
|
||||||
OpClassPrimitive,
|
|
||||||
OpClassBarrier,
|
|
||||||
OpClassGroup,
|
|
||||||
OpClassDeviceSideEnqueue,
|
|
||||||
OpClassPipe,
|
|
||||||
|
|
||||||
OpClassCount,
|
|
||||||
OpClassMissing // all instructions start out as missing
|
|
||||||
};
|
|
||||||
|
|
||||||
// For parameterizing operands.
|
|
||||||
enum OperandClass {
|
|
||||||
OperandNone,
|
|
||||||
OperandId,
|
|
||||||
OperandVariableIds,
|
|
||||||
OperandOptionalLiteral,
|
|
||||||
OperandOptionalLiteralString,
|
|
||||||
OperandVariableLiterals,
|
|
||||||
OperandVariableIdLiteral,
|
|
||||||
OperandVariableLiteralId,
|
|
||||||
OperandLiteralNumber,
|
|
||||||
OperandLiteralString,
|
|
||||||
OperandSource,
|
|
||||||
OperandExecutionModel,
|
|
||||||
OperandAddressing,
|
|
||||||
OperandMemory,
|
|
||||||
OperandExecutionMode,
|
|
||||||
OperandStorage,
|
|
||||||
OperandDimensionality,
|
|
||||||
OperandSamplerAddressingMode,
|
|
||||||
OperandSamplerFilterMode,
|
|
||||||
OperandSamplerImageFormat,
|
|
||||||
OperandImageChannelOrder,
|
|
||||||
OperandImageChannelDataType,
|
|
||||||
OperandImageOperands,
|
|
||||||
OperandFPFastMath,
|
|
||||||
OperandFPRoundingMode,
|
|
||||||
OperandLinkageType,
|
|
||||||
OperandAccessQualifier,
|
|
||||||
OperandFuncParamAttr,
|
|
||||||
OperandDecoration,
|
|
||||||
OperandBuiltIn,
|
|
||||||
OperandSelect,
|
|
||||||
OperandLoop,
|
|
||||||
OperandFunction,
|
|
||||||
OperandMemorySemantics,
|
|
||||||
OperandMemoryAccess,
|
|
||||||
OperandScope,
|
|
||||||
OperandGroupOperation,
|
|
||||||
OperandKernelEnqueueFlags,
|
|
||||||
OperandKernelProfilingInfo,
|
|
||||||
OperandCapability,
|
|
||||||
|
|
||||||
OperandOpcode,
|
|
||||||
|
|
||||||
OperandCount
|
|
||||||
};
|
|
||||||
|
|
||||||
// Any specific enum can have a set of capabilities that allow it:
|
|
||||||
typedef std::vector<Capability> EnumCaps;
|
|
||||||
|
|
||||||
// Parameterize a set of operands with their OperandClass(es) and descriptions.
|
|
||||||
class OperandParameters {
|
|
||||||
public:
|
|
||||||
OperandParameters() { }
|
|
||||||
void push(OperandClass oc, const char* d, bool opt = false)
|
|
||||||
{
|
|
||||||
opClass.push_back(oc);
|
|
||||||
desc.push_back(d);
|
|
||||||
optional.push_back(opt);
|
|
||||||
}
|
|
||||||
void setOptional();
|
|
||||||
OperandClass getClass(int op) const { return opClass[op]; }
|
|
||||||
const char* getDesc(int op) const { return desc[op]; }
|
|
||||||
bool isOptional(int op) const { return optional[op]; }
|
|
||||||
int getNum() const { return (int)opClass.size(); }
|
|
||||||
|
|
||||||
protected:
|
|
||||||
std::vector<OperandClass> opClass;
|
|
||||||
std::vector<const char*> desc;
|
|
||||||
std::vector<bool> optional;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Parameterize an enumerant
|
|
||||||
class EnumParameters {
|
|
||||||
public:
|
|
||||||
EnumParameters() : desc(0) { }
|
|
||||||
EnumCaps caps;
|
|
||||||
const char* desc;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Parameterize a set of enumerants that form an enum
|
|
||||||
class EnumDefinition : public EnumParameters {
|
|
||||||
public:
|
|
||||||
EnumDefinition() :
|
|
||||||
ceiling(0), bitmask(false), getName(0), enumParams(0), operandParams(0) { }
|
|
||||||
void set(int ceil, const char* (*name)(int), EnumParameters* ep, bool mask = false)
|
|
||||||
{
|
|
||||||
ceiling = ceil;
|
|
||||||
getName = name;
|
|
||||||
bitmask = mask;
|
|
||||||
enumParams = ep;
|
|
||||||
}
|
|
||||||
void setOperands(OperandParameters* op) { operandParams = op; }
|
|
||||||
int ceiling; // ceiling of enumerants
|
|
||||||
bool bitmask; // true if these enumerants combine into a bitmask
|
|
||||||
const char* (*getName)(int); // a function that returns the name for each enumerant value (or shift)
|
|
||||||
EnumParameters* enumParams; // parameters for each individual enumerant
|
|
||||||
OperandParameters* operandParams; // sets of operands
|
|
||||||
};
|
|
||||||
|
|
||||||
// Parameterize an instruction's logical format, including its known set of operands,
|
|
||||||
// per OperandParameters above.
|
|
||||||
class InstructionParameters {
|
|
||||||
public:
|
|
||||||
InstructionParameters() :
|
|
||||||
opDesc("TBD"),
|
|
||||||
opClass(OpClassMissing),
|
|
||||||
typePresent(true), // most normal, only exceptions have to be spelled out
|
|
||||||
resultPresent(true) // most normal, only exceptions have to be spelled out
|
|
||||||
{ }
|
|
||||||
|
|
||||||
void setResultAndType(bool r, bool t)
|
|
||||||
{
|
|
||||||
resultPresent = r;
|
|
||||||
typePresent = t;
|
|
||||||
}
|
|
||||||
|
|
||||||
bool hasResult() const { return resultPresent != 0; }
|
|
||||||
bool hasType() const { return typePresent != 0; }
|
|
||||||
|
|
||||||
const char* opDesc;
|
|
||||||
EnumCaps capabilities;
|
|
||||||
OpcodeClass opClass;
|
|
||||||
OperandParameters operands;
|
|
||||||
|
|
||||||
protected:
|
|
||||||
int typePresent : 1;
|
|
||||||
int resultPresent : 1;
|
|
||||||
};
|
|
||||||
|
|
||||||
const int OpcodeCeiling = 321;
|
|
||||||
|
|
||||||
// The set of objects that hold all the instruction/operand
|
|
||||||
// parameterization information.
|
|
||||||
extern InstructionParameters InstructionDesc[];
|
|
||||||
|
|
||||||
// These hold definitions of the enumerants used for operands
|
|
||||||
extern EnumDefinition OperandClassParams[];
|
|
||||||
|
|
||||||
const char* GetOperandDesc(OperandClass operand);
|
|
||||||
void PrintImmediateRow(int imm, const char* name, const EnumParameters* enumParams, bool caps, bool hex = false);
|
|
||||||
const char* AccessQualifierString(int attr);
|
|
||||||
|
|
||||||
void PrintOperands(const OperandParameters& operands, int reservedOperands);
|
|
||||||
|
|
||||||
}; // end namespace spv
|
|
||||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@ -1,407 +0,0 @@
|
|||||||
//
|
|
||||||
// Copyright (C) 2014 LunarG, Inc.
|
|
||||||
//
|
|
||||||
// All rights reserved.
|
|
||||||
//
|
|
||||||
// Redistribution and use in source and binary forms, with or without
|
|
||||||
// modification, are permitted provided that the following conditions
|
|
||||||
// are met:
|
|
||||||
//
|
|
||||||
// Redistributions of source code must retain the above copyright
|
|
||||||
// notice, this list of conditions and the following disclaimer.
|
|
||||||
//
|
|
||||||
// Redistributions in binary form must reproduce the above
|
|
||||||
// copyright notice, this list of conditions and the following
|
|
||||||
// disclaimer in the documentation and/or other materials provided
|
|
||||||
// with the distribution.
|
|
||||||
//
|
|
||||||
// Neither the name of 3Dlabs Inc. Ltd. nor the names of its
|
|
||||||
// contributors may be used to endorse or promote products derived
|
|
||||||
// from this software without specific prior written permission.
|
|
||||||
//
|
|
||||||
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
||||||
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
||||||
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
||||||
// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
||||||
// COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
||||||
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
||||||
// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
||||||
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
||||||
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
||||||
// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
||||||
// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
||||||
// POSSIBILITY OF SUCH DAMAGE.
|
|
||||||
|
|
||||||
// SPIRV-IR
|
|
||||||
//
|
|
||||||
// Simple in-memory representation (IR) of SPIRV. Just for holding
|
|
||||||
// Each function's CFG of blocks. Has this hierarchy:
|
|
||||||
// - Module, which is a list of
|
|
||||||
// - Function, which is a list of
|
|
||||||
// - Block, which is a list of
|
|
||||||
// - Instruction
|
|
||||||
//
|
|
||||||
|
|
||||||
#pragma once
|
|
||||||
#ifndef spvIR_H
|
|
||||||
#define spvIR_H
|
|
||||||
|
|
||||||
#include "spirv.hpp"
|
|
||||||
|
|
||||||
#include <algorithm>
|
|
||||||
#include <cassert>
|
|
||||||
#include <functional>
|
|
||||||
#include <iostream>
|
|
||||||
#include <memory>
|
|
||||||
#include <vector>
|
|
||||||
|
|
||||||
namespace spv {
|
|
||||||
|
|
||||||
class Block;
|
|
||||||
class Function;
|
|
||||||
class Module;
|
|
||||||
|
|
||||||
const Id NoResult = 0;
|
|
||||||
const Id NoType = 0;
|
|
||||||
|
|
||||||
const Decoration NoPrecision = DecorationMax;
|
|
||||||
|
|
||||||
#ifdef __GNUC__
|
|
||||||
# define POTENTIALLY_UNUSED __attribute__((unused))
|
|
||||||
#else
|
|
||||||
# define POTENTIALLY_UNUSED
|
|
||||||
#endif
|
|
||||||
|
|
||||||
POTENTIALLY_UNUSED
|
|
||||||
const MemorySemanticsMask MemorySemanticsAllMemory =
|
|
||||||
(MemorySemanticsMask)(MemorySemanticsUniformMemoryMask |
|
|
||||||
MemorySemanticsWorkgroupMemoryMask |
|
|
||||||
MemorySemanticsAtomicCounterMemoryMask |
|
|
||||||
MemorySemanticsImageMemoryMask);
|
|
||||||
|
|
||||||
//
|
|
||||||
// SPIR-V IR instruction.
|
|
||||||
//
|
|
||||||
|
|
||||||
class Instruction {
|
|
||||||
public:
|
|
||||||
Instruction(Id resultId, Id typeId, Op opCode) : resultId(resultId), typeId(typeId), opCode(opCode), block(nullptr) { }
|
|
||||||
explicit Instruction(Op opCode) : resultId(NoResult), typeId(NoType), opCode(opCode), block(nullptr) { }
|
|
||||||
virtual ~Instruction() {}
|
|
||||||
void addIdOperand(Id id) { operands.push_back(id); }
|
|
||||||
void addImmediateOperand(unsigned int immediate) { operands.push_back(immediate); }
|
|
||||||
void addStringOperand(const char* str)
|
|
||||||
{
|
|
||||||
unsigned int word;
|
|
||||||
char* wordString = (char*)&word;
|
|
||||||
char* wordPtr = wordString;
|
|
||||||
int charCount = 0;
|
|
||||||
char c;
|
|
||||||
do {
|
|
||||||
c = *(str++);
|
|
||||||
*(wordPtr++) = c;
|
|
||||||
++charCount;
|
|
||||||
if (charCount == 4) {
|
|
||||||
addImmediateOperand(word);
|
|
||||||
wordPtr = wordString;
|
|
||||||
charCount = 0;
|
|
||||||
}
|
|
||||||
} while (c != 0);
|
|
||||||
|
|
||||||
// deal with partial last word
|
|
||||||
if (charCount > 0) {
|
|
||||||
// pad with 0s
|
|
||||||
for (; charCount < 4; ++charCount)
|
|
||||||
*(wordPtr++) = 0;
|
|
||||||
addImmediateOperand(word);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
void setBlock(Block* b) { block = b; }
|
|
||||||
Block* getBlock() const { return block; }
|
|
||||||
Op getOpCode() const { return opCode; }
|
|
||||||
int getNumOperands() const { return (int)operands.size(); }
|
|
||||||
Id getResultId() const { return resultId; }
|
|
||||||
Id getTypeId() const { return typeId; }
|
|
||||||
Id getIdOperand(int op) const { return operands[op]; }
|
|
||||||
unsigned int getImmediateOperand(int op) const { return operands[op]; }
|
|
||||||
|
|
||||||
// Write out the binary form.
|
|
||||||
void dump(std::vector<unsigned int>& out) const
|
|
||||||
{
|
|
||||||
// Compute the wordCount
|
|
||||||
unsigned int wordCount = 1;
|
|
||||||
if (typeId)
|
|
||||||
++wordCount;
|
|
||||||
if (resultId)
|
|
||||||
++wordCount;
|
|
||||||
wordCount += (unsigned int)operands.size();
|
|
||||||
|
|
||||||
// Write out the beginning of the instruction
|
|
||||||
out.push_back(((wordCount) << WordCountShift) | opCode);
|
|
||||||
if (typeId)
|
|
||||||
out.push_back(typeId);
|
|
||||||
if (resultId)
|
|
||||||
out.push_back(resultId);
|
|
||||||
|
|
||||||
// Write out the operands
|
|
||||||
for (int op = 0; op < (int)operands.size(); ++op)
|
|
||||||
out.push_back(operands[op]);
|
|
||||||
}
|
|
||||||
|
|
||||||
protected:
|
|
||||||
Instruction(const Instruction&);
|
|
||||||
Id resultId;
|
|
||||||
Id typeId;
|
|
||||||
Op opCode;
|
|
||||||
std::vector<Id> operands;
|
|
||||||
Block* block;
|
|
||||||
};
|
|
||||||
|
|
||||||
//
|
|
||||||
// SPIR-V IR block.
|
|
||||||
//
|
|
||||||
|
|
||||||
class Block {
|
|
||||||
public:
|
|
||||||
Block(Id id, Function& parent);
|
|
||||||
virtual ~Block()
|
|
||||||
{
|
|
||||||
}
|
|
||||||
|
|
||||||
Id getId() { return instructions.front()->getResultId(); }
|
|
||||||
|
|
||||||
Function& getParent() const { return parent; }
|
|
||||||
void addInstruction(std::unique_ptr<Instruction> inst);
|
|
||||||
void addPredecessor(Block* pred) { predecessors.push_back(pred); pred->successors.push_back(this);}
|
|
||||||
void addLocalVariable(std::unique_ptr<Instruction> inst) { localVariables.push_back(std::move(inst)); }
|
|
||||||
const std::vector<Block*>& getPredecessors() const { return predecessors; }
|
|
||||||
const std::vector<Block*>& getSuccessors() const { return successors; }
|
|
||||||
const std::vector<std::unique_ptr<Instruction> >& getInstructions() const {
|
|
||||||
return instructions;
|
|
||||||
}
|
|
||||||
void setUnreachable() { unreachable = true; }
|
|
||||||
bool isUnreachable() const { return unreachable; }
|
|
||||||
// Returns the block's merge instruction, if one exists (otherwise null).
|
|
||||||
const Instruction* getMergeInstruction() const {
|
|
||||||
if (instructions.size() < 2) return nullptr;
|
|
||||||
const Instruction* nextToLast = (instructions.cend() - 2)->get();
|
|
||||||
switch (nextToLast->getOpCode()) {
|
|
||||||
case OpSelectionMerge:
|
|
||||||
case OpLoopMerge:
|
|
||||||
return nextToLast;
|
|
||||||
default:
|
|
||||||
return nullptr;
|
|
||||||
}
|
|
||||||
return nullptr;
|
|
||||||
}
|
|
||||||
|
|
||||||
bool isTerminated() const
|
|
||||||
{
|
|
||||||
switch (instructions.back()->getOpCode()) {
|
|
||||||
case OpBranch:
|
|
||||||
case OpBranchConditional:
|
|
||||||
case OpSwitch:
|
|
||||||
case OpKill:
|
|
||||||
case OpReturn:
|
|
||||||
case OpReturnValue:
|
|
||||||
return true;
|
|
||||||
default:
|
|
||||||
return false;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
void dump(std::vector<unsigned int>& out) const
|
|
||||||
{
|
|
||||||
instructions[0]->dump(out);
|
|
||||||
for (int i = 0; i < (int)localVariables.size(); ++i)
|
|
||||||
localVariables[i]->dump(out);
|
|
||||||
for (int i = 1; i < (int)instructions.size(); ++i)
|
|
||||||
instructions[i]->dump(out);
|
|
||||||
}
|
|
||||||
|
|
||||||
protected:
|
|
||||||
Block(const Block&);
|
|
||||||
Block& operator=(Block&);
|
|
||||||
|
|
||||||
// To enforce keeping parent and ownership in sync:
|
|
||||||
friend Function;
|
|
||||||
|
|
||||||
std::vector<std::unique_ptr<Instruction> > instructions;
|
|
||||||
std::vector<Block*> predecessors, successors;
|
|
||||||
std::vector<std::unique_ptr<Instruction> > localVariables;
|
|
||||||
Function& parent;
|
|
||||||
|
|
||||||
// track whether this block is known to be uncreachable (not necessarily
|
|
||||||
// true for all unreachable blocks, but should be set at least
|
|
||||||
// for the extraneous ones introduced by the builder).
|
|
||||||
bool unreachable;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Traverses the control-flow graph rooted at root in an order suited for
|
|
||||||
// readable code generation. Invokes callback at every node in the traversal
|
|
||||||
// order.
|
|
||||||
void inReadableOrder(Block* root, std::function<void(Block*)> callback);
|
|
||||||
|
|
||||||
//
|
|
||||||
// SPIR-V IR Function.
|
|
||||||
//
|
|
||||||
|
|
||||||
class Function {
|
|
||||||
public:
|
|
||||||
Function(Id id, Id resultType, Id functionType, Id firstParam, Module& parent);
|
|
||||||
virtual ~Function()
|
|
||||||
{
|
|
||||||
for (int i = 0; i < (int)parameterInstructions.size(); ++i)
|
|
||||||
delete parameterInstructions[i];
|
|
||||||
|
|
||||||
for (int i = 0; i < (int)blocks.size(); ++i)
|
|
||||||
delete blocks[i];
|
|
||||||
}
|
|
||||||
Id getId() const { return functionInstruction.getResultId(); }
|
|
||||||
Id getParamId(int p) { return parameterInstructions[p]->getResultId(); }
|
|
||||||
|
|
||||||
void addBlock(Block* block) { blocks.push_back(block); }
|
|
||||||
void removeBlock(Block* block)
|
|
||||||
{
|
|
||||||
auto found = find(blocks.begin(), blocks.end(), block);
|
|
||||||
assert(found != blocks.end());
|
|
||||||
blocks.erase(found);
|
|
||||||
delete block;
|
|
||||||
}
|
|
||||||
|
|
||||||
Module& getParent() const { return parent; }
|
|
||||||
Block* getEntryBlock() const { return blocks.front(); }
|
|
||||||
Block* getLastBlock() const { return blocks.back(); }
|
|
||||||
const std::vector<Block*>& getBlocks() const { return blocks; }
|
|
||||||
void addLocalVariable(std::unique_ptr<Instruction> inst);
|
|
||||||
Id getReturnType() const { return functionInstruction.getTypeId(); }
|
|
||||||
|
|
||||||
void setImplicitThis() { implicitThis = true; }
|
|
||||||
bool hasImplicitThis() const { return implicitThis; }
|
|
||||||
|
|
||||||
void dump(std::vector<unsigned int>& out) const
|
|
||||||
{
|
|
||||||
// OpFunction
|
|
||||||
functionInstruction.dump(out);
|
|
||||||
|
|
||||||
// OpFunctionParameter
|
|
||||||
for (int p = 0; p < (int)parameterInstructions.size(); ++p)
|
|
||||||
parameterInstructions[p]->dump(out);
|
|
||||||
|
|
||||||
// Blocks
|
|
||||||
inReadableOrder(blocks[0], [&out](const Block* b) { b->dump(out); });
|
|
||||||
Instruction end(0, 0, OpFunctionEnd);
|
|
||||||
end.dump(out);
|
|
||||||
}
|
|
||||||
|
|
||||||
protected:
|
|
||||||
Function(const Function&);
|
|
||||||
Function& operator=(Function&);
|
|
||||||
|
|
||||||
Module& parent;
|
|
||||||
Instruction functionInstruction;
|
|
||||||
std::vector<Instruction*> parameterInstructions;
|
|
||||||
std::vector<Block*> blocks;
|
|
||||||
bool implicitThis; // true if this is a member function expecting to be passed a 'this' as the first argument
|
|
||||||
};
|
|
||||||
|
|
||||||
//
|
|
||||||
// SPIR-V IR Module.
|
|
||||||
//
|
|
||||||
|
|
||||||
class Module {
|
|
||||||
public:
|
|
||||||
Module() {}
|
|
||||||
virtual ~Module()
|
|
||||||
{
|
|
||||||
// TODO delete things
|
|
||||||
}
|
|
||||||
|
|
||||||
void addFunction(Function *fun) { functions.push_back(fun); }
|
|
||||||
|
|
||||||
void mapInstruction(Instruction *instruction)
|
|
||||||
{
|
|
||||||
spv::Id resultId = instruction->getResultId();
|
|
||||||
// map the instruction's result id
|
|
||||||
if (resultId >= idToInstruction.size())
|
|
||||||
idToInstruction.resize(resultId + 16);
|
|
||||||
idToInstruction[resultId] = instruction;
|
|
||||||
}
|
|
||||||
|
|
||||||
Instruction* getInstruction(Id id) const { return idToInstruction[id]; }
|
|
||||||
const std::vector<Function*>& getFunctions() const { return functions; }
|
|
||||||
spv::Id getTypeId(Id resultId) const { return idToInstruction[resultId]->getTypeId(); }
|
|
||||||
StorageClass getStorageClass(Id typeId) const
|
|
||||||
{
|
|
||||||
assert(idToInstruction[typeId]->getOpCode() == spv::OpTypePointer);
|
|
||||||
return (StorageClass)idToInstruction[typeId]->getImmediateOperand(0);
|
|
||||||
}
|
|
||||||
|
|
||||||
void dump(std::vector<unsigned int>& out) const
|
|
||||||
{
|
|
||||||
for (int f = 0; f < (int)functions.size(); ++f)
|
|
||||||
functions[f]->dump(out);
|
|
||||||
}
|
|
||||||
|
|
||||||
protected:
|
|
||||||
Module(const Module&);
|
|
||||||
std::vector<Function*> functions;
|
|
||||||
|
|
||||||
// map from result id to instruction having that result id
|
|
||||||
std::vector<Instruction*> idToInstruction;
|
|
||||||
|
|
||||||
// map from a result id to its type id
|
|
||||||
};
|
|
||||||
|
|
||||||
//
|
|
||||||
// Implementation (it's here due to circular type definitions).
|
|
||||||
//
|
|
||||||
|
|
||||||
// Add both
|
|
||||||
// - the OpFunction instruction
|
|
||||||
// - all the OpFunctionParameter instructions
|
|
||||||
__inline Function::Function(Id id, Id resultType, Id functionType, Id firstParamId, Module& parent)
|
|
||||||
: parent(parent), functionInstruction(id, resultType, OpFunction), implicitThis(false)
|
|
||||||
{
|
|
||||||
// OpFunction
|
|
||||||
functionInstruction.addImmediateOperand(FunctionControlMaskNone);
|
|
||||||
functionInstruction.addIdOperand(functionType);
|
|
||||||
parent.mapInstruction(&functionInstruction);
|
|
||||||
parent.addFunction(this);
|
|
||||||
|
|
||||||
// OpFunctionParameter
|
|
||||||
Instruction* typeInst = parent.getInstruction(functionType);
|
|
||||||
int numParams = typeInst->getNumOperands() - 1;
|
|
||||||
for (int p = 0; p < numParams; ++p) {
|
|
||||||
Instruction* param = new Instruction(firstParamId + p, typeInst->getIdOperand(p + 1), OpFunctionParameter);
|
|
||||||
parent.mapInstruction(param);
|
|
||||||
parameterInstructions.push_back(param);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
__inline void Function::addLocalVariable(std::unique_ptr<Instruction> inst)
|
|
||||||
{
|
|
||||||
Instruction* raw_instruction = inst.get();
|
|
||||||
blocks[0]->addLocalVariable(std::move(inst));
|
|
||||||
parent.mapInstruction(raw_instruction);
|
|
||||||
}
|
|
||||||
|
|
||||||
__inline Block::Block(Id id, Function& parent) : parent(parent), unreachable(false)
|
|
||||||
{
|
|
||||||
instructions.push_back(std::unique_ptr<Instruction>(new Instruction(id, NoType, OpLabel)));
|
|
||||||
instructions.back()->setBlock(this);
|
|
||||||
parent.getParent().mapInstruction(instructions.back().get());
|
|
||||||
}
|
|
||||||
|
|
||||||
__inline void Block::addInstruction(std::unique_ptr<Instruction> inst)
|
|
||||||
{
|
|
||||||
Instruction* raw_instruction = inst.get();
|
|
||||||
instructions.push_back(std::move(inst));
|
|
||||||
raw_instruction->setBlock(this);
|
|
||||||
if (raw_instruction->getResultId())
|
|
||||||
parent.getParent().mapInstruction(raw_instruction);
|
|
||||||
}
|
|
||||||
|
|
||||||
}; // end spv namespace
|
|
||||||
|
|
||||||
#endif // spvIR_H
|
|
||||||
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
5
proton
5
proton
@ -373,6 +373,11 @@ class CompatData:
|
|||||||
self.prefix_dir + "drive_c/windows/syswow64/" + f + ".dll")
|
self.prefix_dir + "drive_c/windows/syswow64/" + f + ".dll")
|
||||||
g_session.dlloverrides[f] = "n"
|
g_session.dlloverrides[f] = "n"
|
||||||
|
|
||||||
|
try_copy(g_proton.lib64_dir + "wine/vkd3d-proton/d3d12.dll",
|
||||||
|
self.prefix_dir + "drive_c/windows/system32/d3d12.dll")
|
||||||
|
try_copy(g_proton.lib_dir + "wine/vkd3d-proton/d3d12.dll",
|
||||||
|
self.prefix_dir + "drive_c/windows/syswow64/d3d12.dll")
|
||||||
|
|
||||||
def comma_escaped(s):
|
def comma_escaped(s):
|
||||||
escaped = False
|
escaped = False
|
||||||
idx = -1
|
idx = -1
|
||||||
|
|||||||
1
vkd3d
1
vkd3d
@ -1 +0,0 @@
|
|||||||
Subproject commit e6857939e7de69da02dfb277a0482905c133b1c3
|
|
||||||
1
vkd3d-proton
Submodule
1
vkd3d-proton
Submodule
@ -0,0 +1 @@
|
|||||||
|
Subproject commit debb93f38aa64b40b4fb8a0f3989c1d55391c349
|
||||||
Loading…
Reference in New Issue
Block a user