summaryrefslogtreecommitdiff
path: root/source/slang/slang-emit-spirv.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'source/slang/slang-emit-spirv.cpp')
-rw-r--r--source/slang/slang-emit-spirv.cpp19
1 files changed, 13 insertions, 6 deletions
diff --git a/source/slang/slang-emit-spirv.cpp b/source/slang/slang-emit-spirv.cpp
index d5697117a..1b59d3070 100644
--- a/source/slang/slang-emit-spirv.cpp
+++ b/source/slang/slang-emit-spirv.cpp
@@ -6481,12 +6481,19 @@ struct SPIRVEmitContext : public SourceEmitterBase, public SPIRVEmitSharedContex
SpvStorageClassPhysicalStorageBuffer)
{
// If inst has a pointer type with PhysicalStorageBuffer address space,
- // emit AliasedPointer decoration.
- emitOpDecorate(
- getSection(SpvLogicalSectionID::Annotations),
- nullptr,
- varInst,
- (isVar ? SpvDecorationAliasedPointer : SpvDecorationAliased));
+ // emit AliasedPointer or RestrictPointer decoration.
+ SpvDecoration decor;
+ if (ptrType->getAccessQualifier() == AccessQualifier::Immutable)
+ {
+ // We can always safely use RestrictPointer for immutable pointers.
+ // This will allow better optimization.
+ decor = isVar ? SpvDecorationRestrictPointer : SpvDecorationRestrict;
+ }
+ else
+ {
+ decor = isVar ? SpvDecorationAliasedPointer : SpvDecorationAliased;
+ }
+ emitOpDecorate(getSection(SpvLogicalSectionID::Annotations), nullptr, varInst, decor);
}
else
{