diff options
author | Joshua Batista <jbatista@microsoft.com> | 2024-11-22 09:47:29 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-11-22 09:47:29 -0800 |
commit | ee0ca4e81f1fdd86d5eddc3290175fe8cb28b97f (patch) | |
tree | 4b79c0c9cf88b89b46dd5045161d222f3ff00eb7 /llvm/lib/Target/X86/Disassembler/X86Disassembler.cpp | |
parent | 29f11f0a3240dff1e10ed3d4a5412ecb8c762327 (diff) | |
download | llvm-ee0ca4e81f1fdd86d5eddc3290175fe8cb28b97f.zip llvm-ee0ca4e81f1fdd86d5eddc3290175fe8cb28b97f.tar.gz llvm-ee0ca4e81f1fdd86d5eddc3290175fe8cb28b97f.tar.bz2 |
[HLSL] Add implicit resource element type concepts to AST (#116413)
This PR is step one on the journey to implement resource element type
validation via C++20 concepts. The PR sets up the infrastructure for
injecting implicit concept decls / concept specialization expressions
into the AST, which will then be evaluated after template arguments are
instantiated. This is not meant to be a complete implementation of the
desired validation for HLSL,
there are a couple of missing elements:
We need the __builtin_hlsl_is_typed_resource_element_compatible builtin
to be implemented.
We need other constraints, like is_intangible
We need to put the first 2 points together, and construct a finalized
constraint expression, which should differ between typed and raw buffers
This is just an initial PR that puts some of the core infrastructure in
place.
This PR is an edit of #112600, so that new tests that were put into main
don't fail
Fixes #75676
Diffstat (limited to 'llvm/lib/Target/X86/Disassembler/X86Disassembler.cpp')
0 files changed, 0 insertions, 0 deletions