5b2b6d594c
Games using D3D idioms can join images and samplers when a shader executes, instead of baking them into a combined sampler image. This is also possible on Vulkan. One approach to this solution would be to use separate samplers on Vulkan and leave this unimplemented on OpenGL, but we can't do this because there's no consistent way of determining which constant buffer holds a sampler and which one an image. We could in theory find the first bit and if it's in the TIC area, it's an image; but this falls apart when an image or sampler handle use an index of zero. The used approach is to track for a LOP.OR operation (this is done at an IR level, not at an ISA level), track again the constant buffers used as source and store this pair. Then, outside of shader execution, join the sample and image pair with a bitwise or operation. This approach won't work on games that truly use separate samplers in a meaningful way. For example, pooling textures in a 2D array and determining at runtime what sampler to use. This invalidates OpenGL's disk shader cache :) - Used mostly by D3D ports to Switch
71 lines
2.2 KiB
C++
71 lines
2.2 KiB
C++
// Copyright 2019 yuzu Emulator Project
|
|
// Licensed under GPLv2 or any later version
|
|
// Refer to the license.txt file included.
|
|
|
|
#pragma once
|
|
|
|
#include <memory>
|
|
#include <string>
|
|
#include <tuple>
|
|
#include <type_traits>
|
|
#include <utility>
|
|
#include <vector>
|
|
|
|
#include "common/common_types.h"
|
|
#include "video_core/shader/node.h"
|
|
|
|
namespace VideoCommon::Shader {
|
|
|
|
/// This arithmetic operation cannot be constraint
|
|
inline constexpr MetaArithmetic PRECISE = {true};
|
|
/// This arithmetic operation can be optimized away
|
|
inline constexpr MetaArithmetic NO_PRECISE = {false};
|
|
|
|
/// Creates a conditional node
|
|
Node Conditional(Node condition, std::vector<Node> code);
|
|
|
|
/// Creates a commentary node
|
|
Node Comment(std::string text);
|
|
|
|
/// Creates an u32 immediate
|
|
Node Immediate(u32 value);
|
|
|
|
/// Creates a s32 immediate
|
|
Node Immediate(s32 value);
|
|
|
|
/// Creates a f32 immediate
|
|
Node Immediate(f32 value);
|
|
|
|
/// Converts an signed operation code to an unsigned operation code
|
|
OperationCode SignedToUnsignedCode(OperationCode operation_code, bool is_signed);
|
|
|
|
template <typename T, typename... Args>
|
|
Node MakeNode(Args&&... args) {
|
|
static_assert(std::is_convertible_v<T, NodeData>);
|
|
return std::make_shared<NodeData>(T(std::forward<Args>(args)...));
|
|
}
|
|
|
|
template <typename T, typename... Args>
|
|
TrackSampler MakeTrackSampler(Args&&... args) {
|
|
static_assert(std::is_convertible_v<T, TrackSamplerData>);
|
|
return std::make_shared<TrackSamplerData>(T{std::forward<Args>(args)...});
|
|
}
|
|
|
|
template <typename... Args>
|
|
Node Operation(OperationCode code, Args&&... args) {
|
|
if constexpr (sizeof...(args) == 0) {
|
|
return MakeNode<OperationNode>(code);
|
|
} else if constexpr (std::is_convertible_v<std::tuple_element_t<0, std::tuple<Args...>>,
|
|
Meta>) {
|
|
return MakeNode<OperationNode>(code, std::forward<Args>(args)...);
|
|
} else {
|
|
return MakeNode<OperationNode>(code, Meta{}, std::forward<Args>(args)...);
|
|
}
|
|
}
|
|
|
|
template <typename... Args>
|
|
Node SignedOperation(OperationCode code, bool is_signed, Args&&... args) {
|
|
return Operation(SignedToUnsignedCode(code, is_signed), std::forward<Args>(args)...);
|
|
}
|
|
|
|
} // namespace VideoCommon::Shader
|