| ; Verify that volatile atomic load/store are accepted and produce |
| ; OpAtomicLoad/OpAtomicStore. On non-Vulkan targets the volatile qualifier |
| ; is silently dropped; on Vulkan the Volatile memory semantics bit is set. |
| |
| ; Non-Vulkan: no Volatile memory semantics. |
| ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=NONVK |
| ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %} |
| |
| ; Vulkan: Volatile memory semantics (0x8000) ORed into the semantics operand. |
| ; RUN: llc -O0 -mtriple=spirv-unknown-vulkan1.3-compute %s -o - | FileCheck %s --check-prefix=VULKAN |
| |
| ; NONVK-DAG: %[[#C514:]] = OpConstant %[[#]] 514 |
| ; NONVK-DAG: %[[#C516:]] = OpConstant %[[#]] 516 |
| ; NONVK: OpAtomicLoad %[[#]] %[[#]] %[[#]] %[[#C514]] |
| ; NONVK: OpAtomicStore %[[#]] %[[#]] %[[#C516]] %[[#]] |
| |
| ; 0x8000 | 0x2 (Acquire) | 0x200 (CrossWorkgroupMemory) = 33282 |
| ; 0x8000 | 0x4 (Release) | 0x200 (CrossWorkgroupMemory) = 33284 |
| ; VULKAN-DAG: %[[#VA:]] = OpConstant %[[#]] 33282 |
| ; VULKAN-DAG: %[[#VR:]] = OpConstant %[[#]] 33284 |
| ; VULKAN: OpAtomicLoad %[[#]] %[[#]] %[[#]] %[[#VA]] |
| ; VULKAN: OpAtomicStore %[[#]] %[[#]] %[[#VR]] %[[#]] |
| |
| define i32 @load_volatile(ptr addrspace(1) %ptr) { |
| %val = load atomic volatile i32, ptr addrspace(1) %ptr syncscope("device") acquire, align 4 |
| ret i32 %val |
| } |
| |
| define void @store_volatile(ptr addrspace(1) %ptr, i32 %val) { |
| store atomic volatile i32 %val, ptr addrspace(1) %ptr syncscope("device") release, align 4 |
| ret void |
| } |
