[SPIR-V] Add `vk::SampledTexture2D` resource type and `.Sample()`, `.CalculateLevelOfDetail()` method. #8047

luciechoi · 2026-01-07T08:12:13Z

Part of #7979

Add SampledTexture2D resource type in the vk namespace.
Add .Sample(float2 location) method.
Add default type parameter float4.
Allow optional arguments int2 offset, float clamp, uint status.
Add .CalculateLevelOfDetail(float2 location) method.

github-actions · 2026-01-07T08:13:20Z

✅ With the latest revision this PR passed the C/C++ code formatter.

s-perron

This seems like a reasonable direction. There are some issues that we need to figure out how to handle.

tools/clang/test/CodeGenSPIRV/vk.sampledtexture2d.hlsl

tools/clang/lib/AST/HlslTypes.cpp

tools/clang/lib/Sema/SemaHLSL.cpp

tools/clang/lib/SPIRV/SpirvBuilder.cpp

luciechoi · 2026-01-08T05:03:51Z

Thanks for the early review! I've updated the method to take in optional arguments.

damyanp · 2026-01-12T23:18:22Z

If this is worth mentioning in the release notes, please add something to https://github.com/microsoft/DirectXShaderCompiler/blob/main/docs/ReleaseNotes.md as appropriate.

s-perron

This looks really good to me. A few minor code style issues to fix up.

tools/clang/include/clang/SPIRV/SpirvBuilder.h

s-perron · 2026-01-18T00:50:28Z

tools/clang/lib/AST/ASTContextHLSL.cpp

+  // Sample(location, offset)
+  QualType params2[] = {float2Type, int2Type};
+  StringRef names2[] = {"location", "offset"};
+  CXXMethodDecl *sampleDecl2 = CreateObjectFunctionDeclarationWithParams(
+      context, recordDecl, paramType, params2, names2,
+      context.DeclarationNames.getIdentifier(&context.Idents.get("Sample")),
+      /*isConst*/ true);
+  sampleDecl2->addAttr(HLSLIntrinsicAttr::CreateImplicit(
+      context, "op", "", static_cast<int>(hlsl::IntrinsicOp::MOP_Sample)));
+  sampleDecl2->addAttr(HLSLCXXOverloadAttr::CreateImplicit(context));
+
+  // Sample(location, offset, clamp)
+  QualType params3[] = {float2Type, int2Type, floatType};
+  StringRef names3[] = {"location", "offset", "clamp"};
+  CXXMethodDecl *sampleDecl3 = CreateObjectFunctionDeclarationWithParams(
+      context, recordDecl, paramType, params3, names3,
+      context.DeclarationNames.getIdentifier(&context.Idents.get("Sample")),
+      /*isConst*/ true);
+  sampleDecl3->addAttr(HLSLIntrinsicAttr::CreateImplicit(
+      context, "op", "", static_cast<int>(hlsl::IntrinsicOp::MOP_Sample)));
+  sampleDecl3->addAttr(HLSLCXXOverloadAttr::CreateImplicit(context));
+
+  // Sample(location, offset, clamp, status)
+  QualType params4[] = {float2Type, int2Type, floatType,
+                        context.getLValueReferenceType(uintType)};
+  StringRef names4[] = {"location", "offset", "clamp", "status"};
+  CXXMethodDecl *sampleDecl4 = CreateObjectFunctionDeclarationWithParams(
+      context, recordDecl, paramType, params4, names4,


This function will be come very big. Could you break it up into smaller functions? This block could be its own. Call it addSampeFunction. You can group other functions in the same way.

Sounds good, separated them into helpers.

s-perron · 2026-01-18T00:52:23Z

tools/clang/lib/Sema/SemaHLSL.cpp

+      } else if (kind == AR_OBJECT_VK_SAMPLED_TEXTURE2D) {
+        if (!m_vkNSDecl)
+          continue;
+        recordDecl = DeclareVkSampledTexture2DType(
+            *m_context, m_vkNSDecl,
+            LookupVectorType(HLSLScalarType::HLSLScalarType_float, 2),
+            LookupVectorType(HLSLScalarType::HLSLScalarType_int, 2),
+            LookupVectorType(HLSLScalarType::HLSLScalarType_float, 4));
+        recordDecl->setImplicit(true);
+        m_vkSampledTexture2DTemplateDecl =
+            recordDecl->getDescribedClassTemplate();


You should add some tests in sema that look for errors. What if an invalid type is given as a template parameter?

Thanks, I added a check/test to verify the template parameter.

s-perron · 2026-01-18T00:56:23Z

tools/clang/lib/AST/ASTContextHLSL.cpp

+                                                   QualType float2Type,
+                                                   QualType int2Type,
+                                                   QualType float4Type) {


Are you planning on make this function more general? For example could float2Type become CoordinateType? Then for Textur3D it is just a float?

If not, why pass these in as parameters? Could we simplify the interface an build them in this function?

Right, generalized the function to take in other SampledTexture types, and pass in the return type and the argument types.

s-perron · 2026-01-18T00:58:54Z

tools/clang/lib/SPIRV/LowerTypeVisitor.cpp

+    auto loweredType = lowerType(getElementType(astContext, sampledType), rule,
+                                 /*isRowMajor*/ llvm::None, srcLoc);
+
+    // Treat bool textures as uint for compatibility with OpTypeImage.


It's not about compatibility with OpTypeImage. Bool does not have a defined size in SPIR-V, so it cannot be used in the external interface.

Updated the comment.

tools/clang/lib/SPIRV/SpirvEmitter.cpp

s-perron · 2026-01-18T01:08:11Z

tools/clang/lib/SPIRV/SpirvEmitter.cpp

+    if (numArgs > 1) {
+      handleOffsetInMethodCall(expr, 1, &constOffset, &varOffset);
+    }
+    if (numArgs > 2) {
+      clamp = doExpr(expr->getArg(2));
+    }
+    if (numArgs > 3) {
+      status = doExpr(expr->getArg(3));
+    }


You eventually going to have to add all of the checks below when you add all of the appropriate overload. We should try to avoid adding duplicating the argument parsing here.

You could try doing:

uint offset = 0; auto *image = loadIfGLValue(imageExpr); auto *sampler = nullptr; if (!isSampledTexture(imageType)) { sampler = doExpr(expr->getArg(0)); offset = 1; }

Then all of the later accesses become to expr->getArg(offset + ); For example:

auto *coordinate = doExpr(expr->getArg(offset));

This will avoid repeating the logic.

Thanks for the suggestion. I restructured and explicitly stated the indices.

int samplerIndex, clampIndex, coordIndex, offsetIndex; if (isImageSampledTexture) { samplerIndex = -1; // non-existant coordIndex = 0; offsetIndex = 1; clampIndex = 2; } else { samplerIndex = 0; coordIndex = 1; offsetIndex = 2; clampIndex = 3; }

This way, I was able to keep some operations in order so the existing tests don't have to be modified.

s-perron · 2026-01-18T01:11:46Z

If this is worth mentioning in the release notes, please add something to https://github.com/microsoft/DirectXShaderCompiler/blob/main/docs/ReleaseNotes.md as appropriate.

It will not be fully completed for this release. We should mention it in the next.

tools/clang/lib/SPIRV/SpirvEmitter.cpp

github-project-automation bot added this to HLSL Roadmap Jan 7, 2026

github-project-automation bot moved this to New in HLSL Roadmap Jan 7, 2026

luciechoi requested a review from s-perron January 7, 2026 08:13

luciechoi marked this pull request as draft January 7, 2026 09:03

s-perron reviewed Jan 7, 2026

View reviewed changes

luciechoi force-pushed the sampledtexture2d branch 3 times, most recently from 67fef39 to 8030b4e Compare January 8, 2026 04:56

luciechoi marked this pull request as ready for review January 8, 2026 05:03

luciechoi requested a review from s-perron January 8, 2026 05:06

luciechoi changed the title ~~[SPIR-V] Add vk::SampledTexture2D resource type and .Sample() method.~~ [SPIR-V] Add vk::SampledTexture2D resource type and .Sample(), CalculateLevelOfDetail() method. Jan 9, 2026

luciechoi changed the title ~~[SPIR-V] Add vk::SampledTexture2D resource type and .Sample(), CalculateLevelOfDetail() method.~~ [SPIR-V] Add vk::SampledTexture2D resource type and .Sample(), .CalculateLevelOfDetail() method. Jan 9, 2026

luciechoi added 2 commits January 9, 2026 10:22

Implement vk::SampledTexture2D type and Sample method.

6c73c17

Implement optional arguments

4c95db3

luciechoi force-pushed the sampledtexture2d branch from 6bc83c2 to eb29b1b Compare January 9, 2026 10:22

Implement CalculateLevelOfDetail

03b6051

luciechoi force-pushed the sampledtexture2d branch from eb29b1b to 03b6051 Compare January 9, 2026 10:25

formatting

389cd0f

luciechoi force-pushed the sampledtexture2d branch from ea6ac39 to 389cd0f Compare January 9, 2026 11:10

s-perron reviewed Jan 18, 2026

View reviewed changes

s-perron requested a review from llvm-beanz January 18, 2026 01:11

luciechoi commented Jan 21, 2026

View reviewed changes

tools/clang/lib/SPIRV/SpirvEmitter.cpp Outdated Show resolved Hide resolved

luciechoi requested a review from s-perron January 22, 2026 22:19

luciechoi force-pushed the sampledtexture2d branch 3 times, most recently from fae5ab0 to aead4cc Compare January 22, 2026 22:25

Address comments

e6d978f

luciechoi force-pushed the sampledtexture2d branch from aead4cc to e6d978f Compare January 23, 2026 19:53

[SPIR-V] Add vk::SampledTexture2D resource type and .Sample(), .CalculateLevelOfDetail() method. #8047

Are you sure you want to change the base?

[SPIR-V] Add vk::SampledTexture2D resource type and .Sample(), .CalculateLevelOfDetail() method. #8047

Conversation

luciechoi commented Jan 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions bot commented Jan 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

s-perron left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

luciechoi commented Jan 8, 2026

Uh oh!

damyanp commented Jan 12, 2026

Uh oh!

s-perron left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

s-perron commented Jan 18, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

[SPIR-V] Add `vk::SampledTexture2D` resource type and `.Sample()`, `.CalculateLevelOfDetail()` method. #8047

[SPIR-V] Add `vk::SampledTexture2D` resource type and `.Sample()`, `.CalculateLevelOfDetail()` method. #8047

luciechoi commented Jan 7, 2026 •

edited

Loading

github-actions bot commented Jan 7, 2026 •

edited

Loading