xref: /llvm-project/llvm/test/Transforms/SCCP/thread_local_acs.ll (revision 0991da36906bdb29b8f1030d5123bafb58fee79e) 
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -passes=ipsccp -S < %s | FileCheck %s
3;
4;    #include <threads.h>
5;    thread_local int gtl = 0;
6;    int gsh = 0;
7;
8;    static int callee(int *thread_local_ptr, int *shared_ptr) {
9;      return *thread_local_ptr + *shared_ptr;
10;    }
11;
12;    void broker(int *, int (*callee)(int *, int *), int *);
13;
14;    void caller() {
15;      broker(&gtl, callee, &gsh);
16;    }
17;
18target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
19
20@gtl = dso_local thread_local global i32 0, align 4
21@gsh = dso_local global i32 0, align 4
22
23define internal i32 @callee(ptr %thread_local_ptr, ptr %shared_ptr) {
24; CHECK-LABEL: @callee(
25; CHECK-NEXT:  entry:
26; CHECK-NEXT:    [[TMP:%.*]] = load i32, ptr [[THREAD_LOCAL_PTR:%.*]], align 4
27; CHECK-NEXT:    [[TMP1:%.*]] = load i32, ptr [[SHARED_PTR:%.*]], align 4
28; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[TMP]], [[TMP1]]
29; CHECK-NEXT:    ret i32 [[ADD]]
30;
31entry:
32  %tmp = load i32, ptr %thread_local_ptr, align 4
33  %tmp1 = load i32, ptr %shared_ptr, align 4
34  %add = add nsw i32 %tmp, %tmp1
35  ret i32 %add
36}
37
38define dso_local void @caller() {
39; CHECK-LABEL: @caller(
40; CHECK-NEXT:  entry:
41; CHECK-NEXT:    call void @broker(ptr nonnull @gtl, ptr nonnull @callee, ptr nonnull @gsh)
42; CHECK-NEXT:    ret void
43;
44entry:
45  call void @broker(ptr nonnull @gtl, ptr nonnull @callee, ptr nonnull @gsh)
46  ret void
47}
48
49declare !callback !0 dso_local void @broker(ptr, ptr, ptr)
50
51!1 = !{i64 1, i64 0, i64 2, i1 false}
52!0 = !{!1}
53