llvm-project.git/llvm/lib/Frontend/HLSL/RootSignatureValidations.cpp, branch main

[DirectX] Making sure we always parse, validate and verify Flags (#162171)

2025-10-08T20:18:18+00:00

This PR makes a few changes to make sure that Root Signature Flags are
always parsed validated and verified, this includes if you use a version
that doesn't support flags. The logic already existed, this PR just
makes sure it is always executed.

Closes: [#161579](https://github.com/llvm/llvm-project/issues/161579)

---------

Co-authored-by: joaosaffran

[DirectX] Fix Flags validation to prevent casting into enum (#161587)

2025-10-06T21:21:28+00:00

This PR changes the validation logic for Root Descriptor and Descriptor
Range flags to properly check if the `uint32_t` values are within range
before casting into the enums.

[HLSL] Update Frontend to support version 1.2 of root signature (#160616)

2025-10-01T21:23:37+00:00

This patch updates the frontend to support version 1.2 of root
signatures, it adds parsing, metadata generation and a few tests.

---------

Co-authored-by: joaosaffran

[DirectX] Updating DXContainer Yaml to represent Root Signature 1.2 (#159659)

2025-09-26T16:04:19+00:00

This PR updates the YAML representation of DXContainer to support Root
Signature 1.2, this also requires updating the write logic to support
testing.

[DirectX] Adding missing descriptor table validations (#153276)

2025-09-26T15:58:54+00:00

This patch adds 2 small validation to DirectX backend. First, it checks
if registers in descriptor tables are not overflowing, meaning they
don't try to bind registers over the maximum allowed value, this is
checked both on the offset and on the number of descriptors inside the
range; second, it checks if samplers are being mixed with other resource
types.
Closes: #153057, #153058

---------

Co-authored-by: joaosaffran 
Co-authored-by: Joao Saffran <{ID}+{username}@users.noreply.github.com>
Co-authored-by: Joao Saffran

[SemaHLSL] Correct descriptor range overflow validation (#159475)

2025-09-22T22:18:14+00:00

This pr corrects the validation behaviour to allow valid root signatures
of the form:
`DescriptorTable(CBV(b0, offset = 4294967294), CBV(b1))`
which will append a range onto the location of `UINT_MAX`, which is
valid.

Resolves: https://github.com/llvm/llvm-project/issues/159478.

[DirectX] Removing dxbc StaticSampler from mcbxdc (#154631)

2025-09-11T22:47:09+00:00

MC Static Samplers Representation currently depends on Object
structures. This PR removes that dependency and in order to facilitate
removing to_underlying usage in follow-up PRs.

[DirectX] Removing dxbc DescriptorRange from mcbxdc (#154629)

2025-09-10T18:49:01+00:00

MC Descriptor Range Representation currently depend on Object
structures. This PR removes that dependency and in order to facilitate
removing to_underlying usage in follow-up PRs.

[Sema][Parse][HLSL] Implement front-end rootsignature validations (#156754)

2025-09-09T17:15:33+00:00

This pr implements the following validations:

1. Check that descriptor tables don't mix Sample and non-Sampler
resources
2. Ensure that descriptor ranges don't append onto an unbounded range
3. Ensure that descriptor ranges don't overflow
4. Adds a missing validation to ensure that only a single `RootFlags`
parameter is provided

Resolves: https://github.com/llvm/llvm-project/issues/153868.

[HLSL][NFC] Fix range check in verifyRegisterSpace (#152615)

2025-08-08T17:04:34+00:00

Static analysis flagged the second part of this range check as always
true. RegisterSpace is uint32_t therefore the max value is 0xFFFFFFFF
and so the first check is sufficient.