Skip to content

fix(vulkan): remove atomic memory semantics #8391

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 2 commits into
base: trunk
Choose a base branch
from
Open

fix(vulkan): remove atomic memory semantics #8391

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a1fc2b1
fix(vulkan): add atomic memory semantics
atlv24 Oct 21, 2025
575973b
invert fix to remove memory semantics and always use relaxed
atlv24 Oct 22, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -94,6 +94,10 @@ SamplerDescriptor {

- Align copies b/w textures and buffers via a single intermediate buffer per copy when `D3D12_FEATURE_DATA_D3D12_OPTIONS13.UnrestrictedBufferTextureCopyPitchSupported` is `false`. By @ErichDonGubler in [#7721](https://github.com/gfx-rs/wgpu/pull/7721).

#### Vulkan

- Fixed a validation error regarding atomic memory semantics. By @atlv24 in [#8391](https://github.com/gfx-rs/wgpu/pull/8391).

#### hal

- `DropCallback`s are now called after dropping all other fields of their parent structs. By @jerzywilczek in [#8353](https://github.com/gfx-rs/wgpu/pull/8353)
Expand Down
1 change: 1 addition & 0 deletions naga/src/back/spv/block.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3543,6 +3543,7 @@ impl BlockContext<'_> {
}
_ => unimplemented!(),
};

let mut cas_instr = Instruction::new(spirv::Op::AtomicCompareExchange);
cas_instr.set_type(scalar_type_id);
cas_instr.set_result(cas_result_id);
Expand Down
9 changes: 4 additions & 5 deletions naga/src/back/spv/helpers.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -79,11 +79,10 @@ impl crate::AddressSpace {
self,
) -> (spirv::MemorySemantics, spirv::Scope) {
match self {
Self::Storage { .. } => (spirv::MemorySemantics::UNIFORM_MEMORY, spirv::Scope::Device),
Self::WorkGroup => (
spirv::MemorySemantics::WORKGROUP_MEMORY,
spirv::Scope::Workgroup,
),
Self::Storage { .. } => (spirv::MemorySemantics::empty(), spirv::Scope::Device),
Self::WorkGroup => (spirv::MemorySemantics::empty(), spirv::Scope::Workgroup),
Self::Uniform => (spirv::MemorySemantics::empty(), spirv::Scope::Device),
Self::Handle => (spirv::MemorySemantics::empty(), spirv::Scope::Device),
_ => (spirv::MemorySemantics::empty(), spirv::Scope::Invocation),
}
}
Expand Down
293 changes: 146 additions & 147 deletions naga/tests/out/spv/wgsl-atomicCompareExchange-int64.spvasm
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
; SPIR-V
; Version: 1.0
; Generator: rspirv
; Bound: 173
; Bound: 172
OpCapability Shader
OpCapability Int64Atomics
OpCapability Int64
OpExtension "SPV_KHR_storage_buffer_storage_class"
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %19 "test_atomic_compare_exchange_i64"
OpEntryPoint GLCompute %104 "test_atomic_compare_exchange_u64"
OpEntryPoint GLCompute %103 "test_atomic_compare_exchange_u64"
OpExecutionMode %19 LocalSize 1 1 1
OpExecutionMode %104 LocalSize 1 1 1
OpExecutionMode %103 LocalSize 1 1 1
OpDecorate %5 ArrayStride 8
OpDecorate %8 ArrayStride 8
OpMemberDecorate %10 0 Offset 0
Expand Down Expand Up @@ -62,20 +62,19 @@ OpMemberDecorate %16 0 Offset 0
%64 = OpTypePointer StorageBuffer %4
%68 = OpTypeInt 32 1
%67 = OpConstant %68 1
%69 = OpConstant %3 64
%105 = OpTypePointer StorageBuffer %8
%107 = OpConstant %7 10
%110 = OpTypePointer Function %7
%111 = OpConstantNull %7
%113 = OpConstantNull %9
%137 = OpTypePointer StorageBuffer %7
%104 = OpTypePointer StorageBuffer %8
%106 = OpConstant %7 10
%109 = OpTypePointer Function %7
%110 = OpConstantNull %7
%112 = OpConstantNull %9
%136 = OpTypePointer StorageBuffer %7
%19 = OpFunction %2 None %20
%18 = OpLabel
%27 = OpVariable %28 Function %22
%29 = OpVariable %30 Function %31
%32 = OpVariable %33 Function %34
%46 = OpVariable %41 Function %45
%74 = OpVariable %41 Function %45
%73 = OpVariable %41 Function %45
%23 = OpAccessChain %21 %12 %22
OpBranch %35
%35 = OpLabel
Expand Down Expand Up @@ -109,163 +108,163 @@ OpBranch %61
%61 = OpLabel
%63 = OpLoad %3 %27
%65 = OpAccessChain %64 %23 %63
%66 = OpAtomicLoad %4 %65 %67 %69
%66 = OpAtomicLoad %4 %65 %67 %22
OpStore %29 %66
OpStore %32 %24
OpBranch %70
%70 = OpLabel
OpLoopMerge %71 %73 None
OpBranch %75
%75 = OpLabel
%76 = OpLoad %40 %74
%77 = OpIEqual %42 %43 %76
%78 = OpAll %9 %77
OpSelectionMerge %79 None
OpBranchConditional %78 %71 %79
%79 = OpLabel
%80 = OpCompositeExtract %3 %76 1
%81 = OpIEqual %9 %80 %22
%82 = OpSelect %3 %81 %26 %22
%83 = OpCompositeConstruct %40 %82 %26
%84 = OpISub %40 %76 %83
OpStore %74 %84
OpBranch %72
%72 = OpLabel
%85 = OpLoad %9 %32
%86 = OpLogicalNot %9 %85
OpSelectionMerge %87 None
OpBranchConditional %86 %87 %88
%88 = OpLabel
OpBranch %69
%69 = OpLabel
OpLoopMerge %70 %72 None
OpBranch %74
%74 = OpLabel
%75 = OpLoad %40 %73
%76 = OpIEqual %42 %43 %75
%77 = OpAll %9 %76
OpSelectionMerge %78 None
OpBranchConditional %77 %70 %78
%78 = OpLabel
%79 = OpCompositeExtract %3 %75 1
%80 = OpIEqual %9 %79 %22
%81 = OpSelect %3 %80 %26 %22
%82 = OpCompositeConstruct %40 %81 %26
%83 = OpISub %40 %75 %82
OpStore %73 %83
OpBranch %71
%71 = OpLabel
%84 = OpLoad %9 %32
%85 = OpLogicalNot %9 %84
OpSelectionMerge %86 None
OpBranchConditional %85 %86 %87
%87 = OpLabel
OpBranch %70
%86 = OpLabel
OpBranch %88
%88 = OpLabel
%90 = OpLoad %4 %29
%91 = OpIAdd %4 %90 %25
%92 = OpLoad %3 %27
%93 = OpLoad %4 %29
%95 = OpAccessChain %64 %23 %92
%96 = OpAtomicCompareExchange %4 %95 %67 %22 %22 %91 %93
%97 = OpIEqual %9 %96 %93
%94 = OpCompositeConstruct %10 %96 %97
%98 = OpCompositeExtract %4 %94 0
OpStore %29 %98
%99 = OpCompositeExtract %9 %94 1
OpStore %32 %99
OpBranch %89
%89 = OpLabel
%91 = OpLoad %4 %29
%92 = OpIAdd %4 %91 %25
%93 = OpLoad %3 %27
%94 = OpLoad %4 %29
%96 = OpAccessChain %64 %23 %93
%97 = OpAtomicCompareExchange %4 %96 %67 %69 %69 %92 %94
%98 = OpIEqual %9 %97 %94
%95 = OpCompositeConstruct %10 %97 %98
%99 = OpCompositeExtract %4 %95 0
OpStore %29 %99
%100 = OpCompositeExtract %9 %95 1
OpStore %32 %100
OpBranch %90
%90 = OpLabel
OpBranch %73
%73 = OpLabel
OpBranch %70
%71 = OpLabel
OpBranch %72
%72 = OpLabel
OpBranch %69
%70 = OpLabel
OpBranch %62
%62 = OpLabel
OpBranch %39
%39 = OpLabel
%101 = OpLoad %3 %27
%102 = OpIAdd %3 %101 %26
OpStore %27 %102
%100 = OpLoad %3 %27
%101 = OpIAdd %3 %100 %26
OpStore %27 %101
OpBranch %36
%37 = OpLabel
OpReturn
OpFunctionEnd
%104 = OpFunction %2 None %20
%103 = OpLabel
%108 = OpVariable %28 Function %22
%109 = OpVariable %110 Function %111
%112 = OpVariable %33 Function %113
%119 = OpVariable %41 Function %45
%144 = OpVariable %41 Function %45
%106 = OpAccessChain %105 %15 %22
%103 = OpFunction %2 None %20
%102 = OpLabel
%107 = OpVariable %28 Function %22
%108 = OpVariable %109 Function %110
%111 = OpVariable %33 Function %112
%118 = OpVariable %41 Function %45
%143 = OpVariable %41 Function %45
%105 = OpAccessChain %104 %15 %22
OpBranch %113
%113 = OpLabel
OpBranch %114
%114 = OpLabel
OpBranch %115
%115 = OpLabel
OpLoopMerge %116 %118 None
OpBranch %120
%120 = OpLabel
%121 = OpLoad %40 %119
%122 = OpIEqual %42 %43 %121
%123 = OpAll %9 %122
OpSelectionMerge %124 None
OpBranchConditional %123 %116 %124
%124 = OpLabel
%125 = OpCompositeExtract %3 %121 1
%126 = OpIEqual %9 %125 %22
%127 = OpSelect %3 %126 %26 %22
%128 = OpCompositeConstruct %40 %127 %26
%129 = OpISub %40 %121 %128
OpStore %119 %129
OpBranch %117
%117 = OpLabel
%130 = OpLoad %3 %108
%131 = OpULessThan %9 %130 %6
OpSelectionMerge %132 None
OpBranchConditional %131 %132 %133
%133 = OpLabel
OpLoopMerge %115 %117 None
OpBranch %119
%119 = OpLabel
%120 = OpLoad %40 %118
%121 = OpIEqual %42 %43 %120
%122 = OpAll %9 %121
OpSelectionMerge %123 None
OpBranchConditional %122 %115 %123
%123 = OpLabel
%124 = OpCompositeExtract %3 %120 1
%125 = OpIEqual %9 %124 %22
%126 = OpSelect %3 %125 %26 %22
%127 = OpCompositeConstruct %40 %126 %26
%128 = OpISub %40 %120 %127
OpStore %118 %128
OpBranch %116
%116 = OpLabel
%129 = OpLoad %3 %107
%130 = OpULessThan %9 %129 %6
OpSelectionMerge %131 None
OpBranchConditional %130 %131 %132
%132 = OpLabel
OpBranch %134
%134 = OpLabel
%136 = OpLoad %3 %108
%138 = OpAccessChain %137 %106 %136
%139 = OpAtomicLoad %7 %138 %67 %69
OpStore %109 %139
OpStore %112 %24
OpBranch %140
%140 = OpLabel
OpLoopMerge %141 %143 None
OpBranch %145
%145 = OpLabel
%146 = OpLoad %40 %144
%147 = OpIEqual %42 %43 %146
%148 = OpAll %9 %147
OpSelectionMerge %149 None
OpBranchConditional %148 %141 %149
%149 = OpLabel
%150 = OpCompositeExtract %3 %146 1
%151 = OpIEqual %9 %150 %22
%152 = OpSelect %3 %151 %26 %22
%153 = OpCompositeConstruct %40 %152 %26
%154 = OpISub %40 %146 %153
OpStore %144 %154
OpBranch %142
%142 = OpLabel
%155 = OpLoad %9 %112
%156 = OpLogicalNot %9 %155
OpSelectionMerge %157 None
OpBranchConditional %156 %157 %158
%158 = OpLabel
OpBranch %115
%131 = OpLabel
OpBranch %133
%133 = OpLabel
%135 = OpLoad %3 %107
%137 = OpAccessChain %136 %105 %135
%138 = OpAtomicLoad %7 %137 %67 %22
OpStore %108 %138
OpStore %111 %24
OpBranch %139
%139 = OpLabel
OpLoopMerge %140 %142 None
OpBranch %144
%144 = OpLabel
%145 = OpLoad %40 %143
%146 = OpIEqual %42 %43 %145
%147 = OpAll %9 %146
OpSelectionMerge %148 None
OpBranchConditional %147 %140 %148
%148 = OpLabel
%149 = OpCompositeExtract %3 %145 1
%150 = OpIEqual %9 %149 %22
%151 = OpSelect %3 %150 %26 %22
%152 = OpCompositeConstruct %40 %151 %26
%153 = OpISub %40 %145 %152
OpStore %143 %153
OpBranch %141
%141 = OpLabel
%154 = OpLoad %9 %111
%155 = OpLogicalNot %9 %154
OpSelectionMerge %156 None
OpBranchConditional %155 %156 %157
%157 = OpLabel
OpBranch %140
%156 = OpLabel
OpBranch %158
%158 = OpLabel
%160 = OpLoad %7 %108
%161 = OpIAdd %7 %160 %106
%162 = OpLoad %3 %107
%163 = OpLoad %7 %108
%165 = OpAccessChain %136 %105 %162
%166 = OpAtomicCompareExchange %7 %165 %67 %22 %22 %161 %163
%167 = OpIEqual %9 %166 %163
%164 = OpCompositeConstruct %11 %166 %167
%168 = OpCompositeExtract %7 %164 0
OpStore %108 %168
%169 = OpCompositeExtract %9 %164 1
OpStore %111 %169
OpBranch %159
%159 = OpLabel
%161 = OpLoad %7 %109
%162 = OpIAdd %7 %161 %107
%163 = OpLoad %3 %108
%164 = OpLoad %7 %109
%166 = OpAccessChain %137 %106 %163
%167 = OpAtomicCompareExchange %7 %166 %67 %69 %69 %162 %164
%168 = OpIEqual %9 %167 %164
%165 = OpCompositeConstruct %11 %167 %168
%169 = OpCompositeExtract %7 %165 0
OpStore %109 %169
%170 = OpCompositeExtract %9 %165 1
OpStore %112 %170
OpBranch %160
%160 = OpLabel
OpBranch %143
%143 = OpLabel
OpBranch %140
%141 = OpLabel
OpBranch %135
%135 = OpLabel
OpBranch %118
%118 = OpLabel
%171 = OpLoad %3 %108
%172 = OpIAdd %3 %171 %26
OpStore %108 %172
OpBranch %115
%116 = OpLabel
OpBranch %142
%142 = OpLabel
OpBranch %139
%140 = OpLabel
OpBranch %134
%134 = OpLabel
OpBranch %117
%117 = OpLabel
%170 = OpLoad %3 %107
%171 = OpIAdd %3 %170 %26
OpStore %107 %171
OpBranch %114
%115 = OpLabel
OpReturn
OpFunctionEnd
Loading