test/Transforms/IPConstantProp/thread_local_acs.ll

   1 ; RUN: opt -ipconstprop -S < %s | FileCheck %s
   2 ;
   3 ;    #include <threads.h>
   4 ;    thread_local int gtl = 0;
   5 ;    int gsh = 0;
   6 ;
   7 ;    static int callee(int *thread_local_ptr, int *shared_ptr) {
   8 ;      return *thread_local_ptr + *shared_ptr;
   9 ;    }
  10 ;
  11 ;    void broker(int *, int (*callee)(int *, int *), int *);
  12 ;
  13 ;    void caller() {
  14 ;      broker(&gtl, callee, &gsh);
  15 ;    }
  16 ;
  17 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  18
  19 @gtl = dso_local thread_local global i32 0, align 4
  20 @gsh = dso_local global i32 0, align 4
  21
  22 define internal i32 @callee(i32* %thread_local_ptr, i32* %shared_ptr) {
  23 entry:
  24 ; CHECK:  %tmp = load i32, i32* %thread_local_ptr, align 4
  25 ; CHECK:  %tmp1 = load i32, i32* @gsh, align 4
  26 ; CHECK:  %add = add nsw i32 %tmp, %tmp1
  27   %tmp = load i32, i32* %thread_local_ptr, align 4
  28   %tmp1 = load i32, i32* %shared_ptr, align 4
  29   %add = add nsw i32 %tmp, %tmp1
  30   ret i32 %add
  31 }
  32
  33 define dso_local void @caller() {
  34 entry:
  35   call void @broker(i32* nonnull @gtl, i32 (i32*, i32*)* nonnull @callee, i32* nonnull @gsh)
  36   ret void
  37 }
  38
  39 declare !callback !0 dso_local void @broker(i32*, i32 (i32*, i32*)*, i32*)
  40
  41 !1 = !{i64 1, i64 0, i64 2, i1 false}
  42 !0 = !{!1}