[milestone] Compile a broad selection of compute shaders

[damyanp]

This is a milestone on the way to getting full HLSL support in Clang.

For this milestone we need to have enough features working in Clang that we can compile a broad selection of compute shaders, they pass the validator, and we can convince ourselves that the built shaders work correctly.

We can use the DML suite of shaders as a starting point, but we may identify other shaders that are worth testing.

The work items listed here are expected to be fully completed - even if that means doing more than the bare minimum required to pass this milestone.

Workstreams

Validation (#170)

• DML shaders need to be updated to use HLSL2021 on Windows #116
• Build the DML Shaders with Clang #117
  • Determine how to invoke Clang compiler on DML shaders #120
• Test the DML Shaders with Clang #118
  • Test the DML Shaders with clang using existing test suite which tests DML API #119
  • Discuss additional strategies for testing DML shaders #121

Language (#21)

• Identify remaining language features for DirectML
• [HLSL] vector subscript indexing llvm-project#91640
• [HLSL] Copy in/copy out parameter passing llvm-project#87526 (out and inout keywords)
• HLSL initializer list support llvm-project#56067
• [HLSL] Crash using array parameters llvm-project#125743
• [HLSL] [branch] attribute support for switch statements llvm-project#125754

Tooling (#22)

• [HLSL][clang-format] Add Language Mode for HLSL llvm-project#126257

Resource Binding (#23)

• [HLSL] Calculate implicit resource binding information llvm-project#110722
• [HLSL] Diagnose non-local overlapping resource bindings llvm-project#110723

Root Signatures (#24)

• [HLSL] Root Signature support (non-library) llvm-project#119032
  • [HLSL] Add support for Root Signatures in Clang llvm-project#118896
    • [HLSL] Implement the Root Signature parser llvm-project#120472
    • [HLSL] Generate Root Signature metadata from AST llvm-project#119014
    • [HLSL] Generate AST for Root Signatures llvm-project#119011
    • [HLSL] Semantic analysis of HLSLRootSignature llvm-project#119019
    • [HLSL] Update RootSignatures-AST.hlsl to have full sample testcase once parser is complete llvm-project#124595
  • [HLSL] Add Root Signatures into DX Container llvm-project#118897
    • [HLSL] Disassemble DX Container Root Signatures llvm-project#121493
    • [HLSL] Construct Root Signature data structures from LLVM IR metadata llvm-project#121487
    • [HLSL] Validate Root Signature data structures during DXContainer generation llvm-project#121491
    • [HLSL] Add Root Signatures in DX Container llvm-project#121492
• [HLSL] Add support for "rootsig" targets llvm-project#99523

Semantics (#25)

• Identify semantics required for DML shaders #114
• Support all compute semantics and lowering to DXIL ops
• Add semantics to HLSL Language Spec #129
• General Semantic and Entry Signature implementation plan #130
• Rework Semantics attributes to support arbitrary semantics #131
• Move semantic diagnostics into entry check #132
• Semantic/Interpretation/Signature/SigPoint TableGen design #133
• AST Design for capturing Signature Elements and packing locations on entry parameters #134
• Capture Signature Element mapping on entry parameters in AST #135
• Semantics on (nested) fields in structure arguments, reject intangible types #136
• Generalized type checking for semantics #137
• IRGen: intrinsic calls to initialize basic scalar/vector inputs for wrapped compute entry function #138
• IRGen: Signature inputs - Handle structure fields for entry function inputs #139

Intrinsics (#28)

• Intrinsics used by DML shaders are implemented #30

DXIL Shader Flags (#57)

• [DirectX] Implement Shader Flag Analysis to collect properties of DML shaders llvm-project#113505

Resources (#8)

• ConstantBuffer<T> support #109
• ByteAddressBuffer support #10
• Analysis based resource properties #124
• Handling of locally scoped resources references #125
• Resource dimension APIs #126
• Support arrays of resources #127
• Support dynamic resources #128

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

DirectX Container (#9)

• Add Root Signature part
• Generated container can be signed through DXV
• Generate full PSV0 part for compute shaders llvm-project#96674