53 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=ipsccp -S < %s | FileCheck %s3;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(>l, 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 421@gsh = dso_local global i32 0, align 422 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 427; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[SHARED_PTR:%.*]], align 428; 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 433 %tmp1 = load i32, ptr %shared_ptr, align 434 %add = add nsw i32 %tmp, %tmp135 ret i32 %add36}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 void43;44entry:45 call void @broker(ptr nonnull @gtl, ptr nonnull @callee, ptr nonnull @gsh)46 ret void47}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