Thanks for using Compiler Explorer
Sponsors
Jakt
C++
Ada
Analysis
Android Java
Android Kotlin
Assembly
C
C3
Carbon
C++ (Circle)
CIRCT
Clean
CMake
CMakeScript
COBOL
C++ for OpenCL
MLIR
Cppx
Cppx-Blue
Cppx-Gold
Cpp2-cppfront
Crystal
C#
CUDA C++
D
Dart
Elixir
Erlang
Fortran
F#
Go
Haskell
HLSL
Hook
Hylo
ispc
Java
Julia
Kotlin
LLVM IR
LLVM MIR
Modula-2
Nim
Objective-C
Objective-C++
OCaml
OpenCL C
Pascal
Pony
Python
Racket
Ruby
Rust
Snowball
Scala
Solidity
Spice
Swift
LLVM TableGen
Toit
TypeScript Native
V
Vala
Visual Basic
WASM
Zig
Javascript
GIMPLE
hlsl source #1
Output
Compile to binary object
Link to binary
Execute the code
Intel asm syntax
Demangle identifiers
Verbose demangling
Filters
Unused labels
Library functions
Directives
Comments
Horizontal whitespace
Debug intrinsics
Compiler
Clang (trunk)
DXC (trunk)
DXC 1.6.2112
DXC 1.7.2207
DXC 1.7.2212
DXC 1.7.2308
DXC 1.8.2306-preview
DXC 1.8.2403
DXC 1.8.2403.1
DXC 1.8.2403.2
DXC 1.8.2405
DXC 1.8.2407
RGA 2.6.1 (DXC 1.6.2112)
RGA 2.6.1 (DXC 1.7.2207)
RGA 2.6.2 (DXC 1.6.2112)
RGA 2.6.2 (DXC 1.7.2207)
RGA 2.6.2 (DXC trunk)
RGA 2.9.0 (DXC trunk)
Options
Source code
// proof of concept namespace spv { enum StorageClass { StorageClassUniformConstant = 0, StorageClassInput = 1, StorageClassUniform = 2, StorageClassOutput = 3, StorageClassWorkgroup = 4, StorageClassCrossWorkgroup = 5, StorageClassPrivate = 6, StorageClassFunction = 7, StorageClassGeneric = 8, StorageClassPushConstant = 9, StorageClassAtomicCounter = 10, StorageClassImage = 11, StorageClassStorageBuffer = 12, StorageClassTileImageEXT = 4172, StorageClassNodePayloadAMDX = 5068, StorageClassNodeOutputPayloadAMDX = 5076, StorageClassCallableDataKHR = 5328, StorageClassCallableDataNV = 5328, StorageClassIncomingCallableDataKHR = 5329, StorageClassIncomingCallableDataNV = 5329, StorageClassRayPayloadKHR = 5338, StorageClassRayPayloadNV = 5338, StorageClassHitAttributeKHR = 5339, StorageClassHitAttributeNV = 5339, StorageClassIncomingRayPayloadKHR = 5342, StorageClassIncomingRayPayloadNV = 5342, StorageClassShaderRecordBufferKHR = 5343, StorageClassShaderRecordBufferNV = 5343, StorageClassPhysicalStorageBuffer = 5349, StorageClassPhysicalStorageBufferEXT = 5349, StorageClassHitObjectAttributeNV = 5385, StorageClassTaskPayloadWorkgroupEXT = 5402, StorageClassCodeSectionINTEL = 5605, StorageClassDeviceOnlyINTEL = 5936, StorageClassHostOnlyINTEL = 5937, StorageClassMax = 0x7fffffff, }; enum Dim { Dim1D = 0, Dim2D = 1, Dim3D = 2, Cube = 3, Rect = 4, Buffer = 5, SubpassData = 6, TileImageDataEXT = 4173, Max = 0x7fffffff, }; enum ImageFormat { ImageFormatUnknown = 0, ImageFormatRgba32f = 1, ImageFormatRgba16f = 2, ImageFormatR32f = 3, ImageFormatRgba8 = 4, ImageFormatRgba8Snorm = 5, ImageFormatRg32f = 6, ImageFormatRg16f = 7, ImageFormatR11fG11fB10f = 8, ImageFormatR16f = 9, ImageFormatRgba16 = 10, ImageFormatRgb10A2 = 11, ImageFormatRg16 = 12, ImageFormatRg8 = 13, ImageFormatR16 = 14, ImageFormatR8 = 15, ImageFormatRgba16Snorm = 16, ImageFormatRg16Snorm = 17, ImageFormatRg8Snorm = 18, ImageFormatR16Snorm = 19, ImageFormatR8Snorm = 20, ImageFormatRgba32i = 21, ImageFormatRgba16i = 22, ImageFormatRgba8i = 23, ImageFormatR32i = 24, ImageFormatRg32i = 25, ImageFormatRg16i = 26, ImageFormatRg8i = 27, ImageFormatR16i = 28, ImageFormatR8i = 29, ImageFormatRgba32ui = 30, ImageFormatRgba16ui = 31, ImageFormatRgba8ui = 32, ImageFormatR32ui = 33, ImageFormatRgb10a2ui = 34, ImageFormatRg32ui = 35, ImageFormatRg16ui = 36, ImageFormatRg8ui = 37, ImageFormatR16ui = 38, ImageFormatR8ui = 39, ImageFormatR64ui = 40, ImageFormatR64i = 41, ImageFormatMax = 0x7fffffff, }; enum AccessQualifier { AccessQualifierReadOnly = 0, AccessQualifierWriteOnly = 1, AccessQualifierReadWrite = 2, AccessQualifierMax = 0x7fffffff, }; } namespace nbl { namespace hlsl { namespace spirv { template<uint32_t StorageClass, typename T> using pointer = vk::SpirvOpaqueType</*OpTypePointer*/ 32,vk::Literal<vk::integral_constant<uint,StorageClass> >,T>; template<typename SampledType, spv::Dim dim, uint32_t Depth, uint32_t Arrayed, uint32_t MS, uint32_t Sampled, spv::ImageFormat Format=spv::ImageFormatUnknown, spv::AccessQualifier AccessQualifier=spv::AccessQualifierMax> using image = vk::SpirvOpaqueType< /*spv::OpTypeImage*/ 25, SampledType, vk::Literal<vk::integral_constant<uint,dim> >, vk::Literal<vk::integral_constant<uint,Depth> >, vk::Literal<vk::integral_constant<uint,Arrayed> >, vk::Literal<vk::integral_constant<uint,MS> >, vk::Literal<vk::integral_constant<uint,Sampled> >, vk::Literal<vk::integral_constant<uint,Format> > // TODO: use `nbl::hlsl::conditional_t<AccessQualifier==Max` to choose between two SpirvOpaqueTypes >; template<typename Image> using sampledImage = vk::SpirvOpaqueType</*spv::OpTypeSampledImage*/ 27,Image>; // sampling intrinsics template<typename T, typename SampledImage> [[vk::ext_instruction(/*spv::OpImageSampleExplicitLod*/88)]] T imageSampleExplicitLod([[vk::ext_reference]] SampledImage sampledImage, float32_t2 uv, [[vk::ext_literal]] uint32_t LoD, float lod); } namespace glsl { namespace impl { template<typename Sampler> struct sampler_traits; } // %type_2d_image = OpTypeImage %float 2D 2 0 0 1 Unknown // %type_sampled_image = OpTypeSampledImage %type_2d_image // %_ptr_UniformConstant_type_2d_image_0 = OpTypePointer UniformConstant %type_2d_image_0 using sampler2D = spirv::pointer<spv::StorageClassUniformConstant,spirv::sampledImage<spirv::image<float,spv::Dim2D,2,0,0,1> > >; #if 0 // specialization of traits namespace impl { template<> struct sampler_traits<sampler2D> { using sampled_type = float32_t; using norm_coord_t = float32_t2; }; } #endif template<typename Sampler> vector<typename impl::sampler_traits<Sampler>::sampled_type,4> textureLod(Sampler sampler, typename impl::sampler_traits<Sampler>::norm_coord_t uv, float lod) { return spirv::imageSampleExplicitLod(sampler,uv,lod); } } } } using namespace nbl::hlsl; //[[vk::combinedImageSampler]][[vk::binding(0)]] Texture2D<float4> texture; //[[vk::combinedImageSampler]][[vk::binding(0)]] SamplerState samplerState; [[vk::binding(0)]] glsl::sampler2D texture; [[vk::binding(1)]] RWTexture2D<float4> storageImgBuff; tbuffer TextureBuffer { float texBuffVal; }; float4 main() : SV_TARGET { const float2 uv = float2(0.1f, 0.1f) * texBuffVal; // const float4 sampledVal = texture.SampleLevel(samplerState, uv, 0.0f); const float4 sampledVal = textureLod(texture,uv,0.0f); storageImgBuff[uint2(0, 0)] = sampledVal; return sampledVal; }
Become a Patron
Sponsor on GitHub
Donate via PayPal
Source on GitHub
Mailing list
Installed libraries
Wiki
Report an issue
How it works
Contact the author
CE on Mastodon
About the author
Statistics
Changelog
Version tree