xref: /llvm-project/clang/test/CodeGenSYCL/function-attrs.cpp (revision 7e59223ac4b045178c287a56154113d5989572f4)
1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --check-globals --version 3
2 // RUN: %clang_cc1 -fsycl-is-device -disable-llvm-passes \
3 // RUN:  -triple spir64 -fexceptions -emit-llvm -fno-ident %s -o - | FileCheck %s
4 
5 int foo();
6 
7 // CHECK-LABEL: define dso_local spir_func void @_Z3barv(
8 // CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
9 // CHECK-NEXT:  entry:
10 // CHECK-NEXT:    [[A:%.*]] = alloca i32, align 4
11 // CHECK-NEXT:    [[A_ASCAST:%.*]] = addrspacecast ptr [[A]] to ptr addrspace(4)
12 // CHECK-NEXT:    [[CALL:%.*]] = call spir_func noundef i32 @_Z3foov() #[[ATTR1:[0-9]+]]
13 // CHECK-NEXT:    store i32 [[CALL]], ptr addrspace(4) [[A_ASCAST]], align 4
14 // CHECK-NEXT:    ret void
15 //
bar()16 void bar() {
17   int a = foo();
18 }
19 
20 // CHECK-LABEL: define dso_local spir_func noundef i32 @_Z3foov(
21 // CHECK-SAME: ) #[[ATTR0]] {
22 // CHECK-NEXT:  entry:
23 // CHECK-NEXT:    [[RETVAL:%.*]] = alloca i32, align 4
24 // CHECK-NEXT:    [[RETVAL_ASCAST:%.*]] = addrspacecast ptr [[RETVAL]] to ptr addrspace(4)
25 // CHECK-NEXT:    ret i32 1
26 //
foo()27 int foo() {
28   return 1;
29 }
30 
31 template <typename Name, typename Func>
kernel_single_task(const Func & kernelFunc)32 __attribute__((sycl_kernel)) void kernel_single_task(const Func &kernelFunc) {
33   kernelFunc();
34 }
35 
36 // CHECK-LABEL: define dso_local noundef i32 @main(
37 // CHECK-SAME: ) #[[ATTR0]] {
38 // CHECK-NEXT:  entry:
39 // CHECK-NEXT:    [[RETVAL:%.*]] = alloca i32, align 4
40 // CHECK-NEXT:    [[REF_TMP:%.*]] = alloca [[CLASS_ANON:%.*]], align 1
41 // CHECK-NEXT:    [[RETVAL_ASCAST:%.*]] = addrspacecast ptr [[RETVAL]] to ptr addrspace(4)
42 // CHECK-NEXT:    [[REF_TMP_ASCAST:%.*]] = addrspacecast ptr [[REF_TMP]] to ptr addrspace(4)
43 // CHECK-NEXT:    store i32 0, ptr addrspace(4) [[RETVAL_ASCAST]], align 4
44 // CHECK-NEXT:    call spir_func void @_Z18kernel_single_taskIZ4mainE11fake_kernelZ4mainEUlvE_EvRKT0_(ptr addrspace(4) noundef align 1 dereferenceable(1) [[REF_TMP_ASCAST]]) #[[ATTR1]]
45 // CHECK-NEXT:    ret i32 0
46 //
main()47 int main() {
48   kernel_single_task<class fake_kernel>([] { bar(); });
49   return 0;
50 }
51 //.
52 // CHECK: attributes #0 = { convergent mustprogress noinline norecurse nounwind optnone "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
53 // CHECK: attributes #1 = { convergent nounwind }
54 //.
55 // CHECK: !0 = !{i32 1, !"wchar_size", i32 4}
56 //.
57