llvm/test/Transforms/SCCP/thread_local_acs.ll

   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 ;
  18 target 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
  23 define 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 ;
  31 entry:
  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
  38 define 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 ;
  44 entry:
  45   call void @broker(ptr nonnull @gtl, ptr nonnull @callee, ptr nonnull @gsh)
  46   ret void
  47 }
  48
  49 declare !callback !0 dso_local void @broker(ptr, ptr, ptr)
  50
  51 !1 = !{i64 1, i64 0, i64 2, i1 false}
  52 !0 = !{!1}