llvm/test/Transforms/SCCP/pthreads.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 <pthread.h>
   5 ;
   6 ;    ptr GlobalVPtr;
   7 ;
   8 ;    static ptr foo(ptr arg) { return arg; }
   9 ;    static ptr bar(ptr arg) { return arg; }
  10 ;
  11 ;    int main() {
  12 ;      pthread_t thread;
  13 ;      pthread_create(&thread, NULL, foo, NULL);
  14 ;      pthread_create(&thread, NULL, bar, &GlobalVPtr);
  15 ;      return 0;
  16 ;    }
  17 ;
  18 ; Verify the constant values NULL and &GlobalVPtr are propagated into foo and
  19 ; bar, respectively.
  20 ;
  21 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  22
  23 %union.pthread_attr_t = type { i64, [48 x i8] }
  24
  25 @GlobalVPtr = common dso_local global ptr null, align 8
  26
  27 define dso_local i32 @main() {
  28 ; CHECK-LABEL: @main(
  29 ; CHECK-NEXT:  entry:
  30 ; CHECK-NEXT:    [[THREAD:%.*]] = alloca i64, align 8
  31 ; CHECK-NEXT:    [[CALL:%.*]] = call i32 @pthread_create(ptr nonnull [[THREAD]], ptr null, ptr nonnull @foo, ptr null)
  32 ; CHECK-NEXT:    [[CALL1:%.*]] = call i32 @pthread_create(ptr nonnull [[THREAD]], ptr null, ptr nonnull @bar, ptr @GlobalVPtr)
  33 ; CHECK-NEXT:    ret i32 0
  34 ;
  35 entry:
  36   %thread = alloca i64, align 8
  37   %call = call i32 @pthread_create(ptr nonnull %thread, ptr null, ptr nonnull @foo, ptr null)
  38   %call1 = call i32 @pthread_create(ptr nonnull %thread, ptr null, ptr nonnull @bar, ptr @GlobalVPtr)
  39   ret i32 0
  40 }
  41
  42 declare !callback !0 dso_local i32 @pthread_create(ptr, ptr, ptr, ptr)
  43
  44 define internal ptr @foo(ptr %arg) {
  45 ; CHECK-LABEL: @foo(
  46 ; CHECK-NEXT:  entry:
  47 ; CHECK-NEXT:    ret ptr [[ARG:%.*]]
  48 ;
  49 entry:
  50   ret ptr %arg
  51 }
  52
  53 define internal ptr @bar(ptr %arg) {
  54 ; CHECK-LABEL: @bar(
  55 ; CHECK-NEXT:  entry:
  56 ; CHECK-NEXT:    ret ptr [[ARG:%.*]]
  57 ;
  58 entry:
  59   ret ptr %arg
  60 }
  61
  62 !1 = !{i64 2, i64 3, i1 false}
  63 !0 = !{!1}