[workstream] Resources

[bogner]

HLSL has buffer, texture, and sampler types that need to be lowered to resource representations when lowered to DXIL and SPIR-V.

Milestones

Compile a runnable shader from clang (#7)

• [DirectX] DXIL "typed" resource handles and buffer operations llvm-project#101555
• [HLSL] Eliminate resource global variables from module llvm-project#104271
• [HLSL] Frontend handling of "typed" resource types and buffer operations llvm-project#101557

Compile particle_life.hlsl (#20)

• Structured buffers #88
• CBuffers #41
• Document the plan for how resource attributes map to DXIL and SPIR-V #68
• [HLSL] Document HLSL buffer types in the language spec #56
• Validation for resource element types #74
• Clean up early resource experiments #122

Compile a broad selection of compute shaders (#11)

• ConstantBuffer<T> support #109
• ByteAddressBuffer support #10
• Analysis based resource properties #333
• Handling of locally scoped resources references #125
• Resource dimension APIs for buffer resources #126
• Support arrays of resources #127
• Support dynamic resources #128
• Document support of resources inside user-defined structs #175

note: I've put a lot in the compute shaders milestone for now - it may make sense to shuffle some of this around.

Render Simple Triangle (#13)

• [HLSL][DirectX] Texture and Sampler resource types and operations llvm-project#101558

Pixel and Vertex Shaders (#16)

• Sampler Feedback

Ray Tracing (#18)

• Ray tracing payloads
• Resources in libraries #123

V1 Release (#19)

• Work graph nodes
• Resources Backlog #46

[davidcook-msft]

Blocked on the design being finalized

[bogner]

For the middle/back end parts we need the following tasks:

• [DirectX] Introduce llvm.dx.handle.fromBinding intrinsic and lowering llvm-project#91366
• [DirectX] Introduce llvm.dx.handle.fromHeap intrinsic and lowering llvm-project#91406
• [DirectX] Introduce llvm.dx.updateCounter intrinsic and lower it to the dxil op llvm-project#92147
• Design analysis pass(es?) to determine IsGloballyCoherent and HasCounter #179
• [DirectX] Introduce llvm.dx.typedBufferLoad/Store intrinsics and lower them to typed bufferLoad/bufferStore dxil ops llvm-project#91367
• Introduce llvm.dx.rawBufferLoad/Store and lower them to rawBufferLoad/Store dxil ops
• Implement llvm.dx.getDimensions and lower it to the dxil op
• Implement llvm intrinsics for texture sampling and lower them to the dxil ops
• Implement load/store (and other non-sampling) intrinsics for textures and lower them to dxil ops

I'll make a separate list for frontend parts

[bogner]

In clang, we'll need these tasks:

• Introduce an HLSLResource builtin type (See [HLSL] Add Intangible AST Type llvm-project#90631)
• [HLSL] Add DirectXTargetCodeGenInfo and the code paths to convert HLSL types to DirectX target types llvm-project#95952
• [HLSL] Introduce builtins to index into HLSLResource types llvm-project#95956
• [HLSL] Replace void * handles in HLSLExternalSemaSource with HLSLResource builtin types llvm-project#84824
• Implement builtins for texture sampling operations on HLSLResource types that will lower to the llvm intrinsics