| ; RUN: llc -O0 -mtriple=spirv32 %s -o - | FileCheck %s --check-prefixes=CHECK,SPIRV32 | |
| ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-- %s -o - -filetype=obj | spirv-val %} | |
| ; RUN: llc -O0 -mtriple=spirv64 %s -o - | FileCheck %s --check-prefixes=CHECK,SPIRV64 | |
| ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-- %s -o - -filetype=obj | spirv-val %} | |
| ; Check that 'store atomic' LLVM IR instructions are lowered correctly to | |
| ; OpAtomicStore when a pointer is passed as value. | |
| ; SPIRV32-DAG: %[[#Int32:]] = OpTypeInt 32 0 | |
| ; CHECK-DAG: %[[#Int8:]] = OpTypeInt 8 0 | |
| ; SPIRV32-DAG: %[[#Int32Ptr:]] = OpTypePointer Generic %[[#Int32]] | |
| ; CHECK-DAG: %[[#Int8Ptr:]] = OpTypePointer Generic %[[#Int8]] | |
| ; CHECK-DAG: %[[#PtrInt8Ptr:]] = OpTypePointer Generic %[[#Int8Ptr]] | |
| ; SPIRV64-DAG: %[[#Int64:]] = OpTypeInt 64 0 | |
| ; SPIRV64-DAG: %[[#Int64Ptr:]] = OpTypePointer Generic %[[#Int64]] | |
| define void @store_ptr(ptr addrspace(4) %ptr, ptr addrspace(4) %val) { | |
| ; CHECK-LABEL: OpFunction %[[#]] | |
| ; CHECK: %[[#Ptr:]] = OpFunctionParameter %[[#PtrInt8Ptr]] | |
| ; CHECK: %[[#Val:]] = OpFunctionParameter %[[#Int8Ptr]] | |
| ; SPIRV32: %[[#ConvertVal:]] = OpConvertPtrToU %[[#Int32]] %[[#Val]] | |
| ; SPIRV32: %[[#ConvertPtr:]] = OpBitcast %[[#Int32Ptr]] %[[#Ptr]] | |
| ; SPIRV64: %[[#ConvertVal:]] = OpConvertPtrToU %[[#Int64]] %[[#Val]] | |
| ; SPIRV64: %[[#ConvertPtr:]] = OpBitcast %[[#Int64Ptr]] %[[#Ptr]] | |
| ; CHECK: OpAtomicStore %[[#ConvertPtr]] %[[#]] %[[#]] %[[#ConvertVal]] | |
| ; CHECK: OpReturn | |
| store atomic ptr addrspace(4) %val, ptr addrspace(4) %ptr monotonic, align 8 | |
| ret void | |
| } |