xref: /llvm-project/llvm/test/CodeGen/SPIRV/linkage/LinkOnceODR.ll (revision 3ae63430aae52b260ce7ea99e5d586c77963b94a)
1*3ae63430SVyacheslav Levytskyy; RUN: llc -O0 -mtriple=spirv32-unknown-unknown --spirv-ext=+SPV_KHR_linkonce_odr %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV-EXT
2*3ae63430SVyacheslav Levytskyy; TODO: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown --spirv-ext=+SPV_KHR_linkonce_odr %s -o - -filetype=obj | spirv-val %}
3*3ae63430SVyacheslav Levytskyy
4*3ae63430SVyacheslav Levytskyy; CHECK-SPIRV-EXT: Capability Linkage
5*3ae63430SVyacheslav Levytskyy; CHECK-SPIRV-EXT: Extension "SPV_KHR_linkonce_odr"
6*3ae63430SVyacheslav Levytskyy; CHECK-SPIRV-EXT-DAG: OpDecorate %[[#]] LinkageAttributes "GV" LinkOnceODR
7*3ae63430SVyacheslav Levytskyy; CHECK-SPIRV-EXT-DAG: OpDecorate %[[#]] LinkageAttributes "square" LinkOnceODR
8*3ae63430SVyacheslav Levytskyy
9*3ae63430SVyacheslav Levytskyy; No extension -> no LinkOnceODR
10*3ae63430SVyacheslav Levytskyy; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
11*3ae63430SVyacheslav Levytskyy; TODO: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
12*3ae63430SVyacheslav Levytskyy
13*3ae63430SVyacheslav Levytskyy; CHECK-SPIRV-NOT: OpExtension "SPV_KHR_linkonce_odr"
14*3ae63430SVyacheslav Levytskyy; CHECK-SPIRV-NOT: OpDecorate %[[#]] LinkageAttributes "GV" LinkOnceODR
15*3ae63430SVyacheslav Levytskyy; CHECK-SPIRV-NOT: OpDecorate %[[#]] LinkageAttributes "square" LinkOnceODR
16*3ae63430SVyacheslav Levytskyy
17*3ae63430SVyacheslav Levytskyy@GV = linkonce_odr addrspace(1) global [3 x i32] zeroinitializer, align 4
18*3ae63430SVyacheslav Levytskyy
19*3ae63430SVyacheslav Levytskyydefine spir_kernel void @k() {
20*3ae63430SVyacheslav Levytskyyentry:
21*3ae63430SVyacheslav Levytskyy  %call = call spir_func i32 @square(i32 2)
22*3ae63430SVyacheslav Levytskyy  ret void
23*3ae63430SVyacheslav Levytskyy}
24*3ae63430SVyacheslav Levytskyy
25*3ae63430SVyacheslav Levytskyydefine linkonce_odr dso_local spir_func i32 @square(i32 %in) {
26*3ae63430SVyacheslav Levytskyyentry:
27*3ae63430SVyacheslav Levytskyy  %in.addr = alloca i32, align 4
28*3ae63430SVyacheslav Levytskyy  store i32 %in, i32* %in.addr, align 4
29*3ae63430SVyacheslav Levytskyy  %0 = load i32, i32* %in.addr, align 4
30*3ae63430SVyacheslav Levytskyy  %1 = load i32, i32* %in.addr, align 4
31*3ae63430SVyacheslav Levytskyy  %mul = mul nsw i32 %0, %1
32*3ae63430SVyacheslav Levytskyy  ret i32 %mul
33*3ae63430SVyacheslav Levytskyy}
34