llvm/test/Transforms/Attributor/IPConstantProp/pthreads.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
   2 ; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
   3 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
   4 ; RUN: opt -attributor-cgscc -enable-new-pm=0 -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM
   5 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM
   6 ;
   7 ;    #include <pthread.h>
   8 ;
   9 ;    void *GlobalVPtr;
  10 ;
  11 ;    static void *foo(void *arg) { return arg; }
  12 ;    static void *bar(void *arg) { return arg; }
  13 ;
  14 ;    int main() {
  15 ;      pthread_t thread;
  16 ;      pthread_create(&thread, NULL, foo, NULL);
  17 ;      pthread_create(&thread, NULL, bar, &GlobalVPtr);
  18 ;      return 0;
  19 ;    }
  20 ;
  21 ; Verify the constant values NULL and &GlobalVPtr are propagated into foo and
  22 ; bar, respectively.
  23 ;
  24 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  25
  26 %union.pthread_attr_t = type { i64, [48 x i8] }
  27
  28 @GlobalVPtr = common dso_local global i8* null, align 8
  29
  30 ; FIXME: nocapture & noalias for @GlobalVPtr in %call1
  31 ; FIXME: nocapture & noalias for %alloc2 in %call3
  32
  33 ;.
  34 ; CHECK: @[[GLOBALVPTR:[a-zA-Z0-9_$"\\.-]+]] = common dso_local global i8* null, align 8
  35 ;.
  36 define dso_local i32 @main() {
  37 ; IS__TUNIT____-LABEL: define {{[^@]+}}@main() {
  38 ; IS__TUNIT____-NEXT:  entry:
  39 ; IS__TUNIT____-NEXT:    [[ALLOC1:%.*]] = alloca i8, align 8
  40 ; IS__TUNIT____-NEXT:    [[ALLOC2:%.*]] = alloca i8, align 8
  41 ; IS__TUNIT____-NEXT:    [[THREAD:%.*]] = alloca i64, align 8
  42 ; IS__TUNIT____-NEXT:    [[CALL:%.*]] = call i32 @pthread_create(i64* noundef nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture noundef align 536870912 null, i8* (i8*)* noundef nonnull @foo, i8* noalias nocapture nofree readnone align 536870912 undef)
  43 ; IS__TUNIT____-NEXT:    [[CALL1:%.*]] = call i32 @pthread_create(i64* noundef nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture noundef align 536870912 null, i8* (i8*)* noundef nonnull @bar, i8* noalias nocapture nofree nonnull readnone align 8 dereferenceable(8) undef)
  44 ; IS__TUNIT____-NEXT:    [[CALL2:%.*]] = call i32 @pthread_create(i64* noundef nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture noundef align 536870912 null, i8* (i8*)* noundef nonnull @baz, i8* noalias nocapture nofree noundef nonnull readnone align 8 dereferenceable(1) [[ALLOC1]])
  45 ; IS__TUNIT____-NEXT:    [[CALL3:%.*]] = call i32 @pthread_create(i64* noundef nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture noundef align 536870912 null, i8* (i8*)* noundef nonnull @buz, i8* noalias nofree noundef nonnull readnone align 8 dereferenceable(1) "no-capture-maybe-returned" [[ALLOC2]])
  46 ; IS__TUNIT____-NEXT:    ret i32 0
  47 ;
  48 ; IS__CGSCC____-LABEL: define {{[^@]+}}@main() {
  49 ; IS__CGSCC____-NEXT:  entry:
  50 ; IS__CGSCC____-NEXT:    [[ALLOC1:%.*]] = alloca i8, align 8
  51 ; IS__CGSCC____-NEXT:    [[ALLOC2:%.*]] = alloca i8, align 8
  52 ; IS__CGSCC____-NEXT:    [[THREAD:%.*]] = alloca i64, align 8
  53 ; IS__CGSCC____-NEXT:    [[CALL:%.*]] = call i32 @pthread_create(i64* noundef nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture noundef align 536870912 null, i8* (i8*)* noundef nonnull @foo, i8* noalias nocapture nofree noundef readnone align 536870912 null)
  54 ; IS__CGSCC____-NEXT:    [[CALL1:%.*]] = call i32 @pthread_create(i64* noundef nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture noundef align 536870912 null, i8* (i8*)* noundef nonnull @bar, i8* noalias nocapture nofree noundef nonnull readnone align 8 dereferenceable(8) bitcast (i8** @GlobalVPtr to i8*))
  55 ; IS__CGSCC____-NEXT:    [[CALL2:%.*]] = call i32 @pthread_create(i64* noundef nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture noundef align 536870912 null, i8* (i8*)* noundef nonnull @baz, i8* noalias nocapture nofree noundef nonnull readnone align 8 dereferenceable(1) [[ALLOC1]])
  56 ; IS__CGSCC____-NEXT:    [[CALL3:%.*]] = call i32 @pthread_create(i64* noundef nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture noundef align 536870912 null, i8* (i8*)* noundef nonnull @buz, i8* noalias nofree noundef nonnull readnone align 8 dereferenceable(1) "no-capture-maybe-returned" [[ALLOC2]])
  57 ; IS__CGSCC____-NEXT:    ret i32 0
  58 ;
  59 entry:
  60   %alloc1 = alloca i8, align 8
  61   %alloc2 = alloca i8, align 8
  62   %thread = alloca i64, align 8
  63   %call = call i32 @pthread_create(i64* nonnull %thread, %union.pthread_attr_t* null, i8* (i8*)* nonnull @foo, i8* null)
  64   %call1 = call i32 @pthread_create(i64* nonnull %thread, %union.pthread_attr_t* null, i8* (i8*)* nonnull @bar, i8* bitcast (i8** @GlobalVPtr to i8*))
  65   %call2 = call i32 @pthread_create(i64* nonnull %thread, %union.pthread_attr_t* null, i8* (i8*)* nonnull @baz, i8* nocapture %alloc1)
  66   %call3 = call i32 @pthread_create(i64* nonnull %thread, %union.pthread_attr_t* null, i8* (i8*)* nonnull @buz, i8* %alloc2)
  67   ret i32 0
  68 }
  69
  70 declare !callback !0 dso_local i32 @pthread_create(i64*, %union.pthread_attr_t*, i8* (i8*)*, i8*)
  71
  72 define internal i8* @foo(i8* %arg) {
  73 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
  74 ; IS__TUNIT____-LABEL: define {{[^@]+}}@foo
  75 ; IS__TUNIT____-SAME: (i8* noalias nocapture nofree readnone align 536870912 [[ARG:%.*]]) #[[ATTR0:[0-9]+]] {
  76 ; IS__TUNIT____-NEXT:  entry:
  77 ; IS__TUNIT____-NEXT:    ret i8* null
  78 ;
  79 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  80 ; IS__CGSCC____-LABEL: define {{[^@]+}}@foo
  81 ; IS__CGSCC____-SAME: (i8* noalias nocapture nofree readnone align 536870912 [[ARG:%.*]]) #[[ATTR0:[0-9]+]] {
  82 ; IS__CGSCC____-NEXT:  entry:
  83 ; IS__CGSCC____-NEXT:    ret i8* null
  84 ;
  85 entry:
  86   ret i8* %arg
  87 }
  88
  89 define internal i8* @bar(i8* %arg) {
  90 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
  91 ; IS__TUNIT____-LABEL: define {{[^@]+}}@bar
  92 ; IS__TUNIT____-SAME: (i8* noalias nocapture nofree nonnull readnone align 8 dereferenceable(8) [[ARG:%.*]]) #[[ATTR0]] {
  93 ; IS__TUNIT____-NEXT:  entry:
  94 ; IS__TUNIT____-NEXT:    ret i8* bitcast (i8** @GlobalVPtr to i8*)
  95 ;
  96 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  97 ; IS__CGSCC____-LABEL: define {{[^@]+}}@bar
  98 ; IS__CGSCC____-SAME: (i8* noalias nocapture nofree nonnull readnone align 8 dereferenceable(8) [[ARG:%.*]]) #[[ATTR0]] {
  99 ; IS__CGSCC____-NEXT:  entry:
 100 ; IS__CGSCC____-NEXT:    ret i8* bitcast (i8** @GlobalVPtr to i8*)
 101 ;
 102 entry:
 103   ret i8* %arg
 104 }
 105
 106 define internal i8* @baz(i8* %arg) {
 107 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
 108 ; IS__TUNIT____-LABEL: define {{[^@]+}}@baz
 109 ; IS__TUNIT____-SAME: (i8* noalias nofree noundef nonnull readnone returned align 8 dereferenceable(1) "no-capture-maybe-returned" [[ARG:%.*]]) #[[ATTR0]] {
 110 ; IS__TUNIT____-NEXT:  entry:
 111 ; IS__TUNIT____-NEXT:    ret i8* [[ARG]]
 112 ;
 113 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
 114 ; IS__CGSCC____-LABEL: define {{[^@]+}}@baz
 115 ; IS__CGSCC____-SAME: (i8* noalias nofree noundef nonnull readnone returned align 8 dereferenceable(1) "no-capture-maybe-returned" [[ARG:%.*]]) #[[ATTR0]] {
 116 ; IS__CGSCC____-NEXT:  entry:
 117 ; IS__CGSCC____-NEXT:    ret i8* [[ARG]]
 118 ;
 119 entry:
 120   ret i8* %arg
 121 }
 122
 123 define internal i8* @buz(i8* %arg) {
 124 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
 125 ; IS__TUNIT____-LABEL: define {{[^@]+}}@buz
 126 ; IS__TUNIT____-SAME: (i8* noalias nofree noundef nonnull readnone returned align 8 dereferenceable(1) "no-capture-maybe-returned" [[ARG:%.*]]) #[[ATTR0]] {
 127 ; IS__TUNIT____-NEXT:  entry:
 128 ; IS__TUNIT____-NEXT:    ret i8* [[ARG]]
 129 ;
 130 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
 131 ; IS__CGSCC____-LABEL: define {{[^@]+}}@buz
 132 ; IS__CGSCC____-SAME: (i8* noalias nofree noundef nonnull readnone returned align 8 dereferenceable(1) "no-capture-maybe-returned" [[ARG:%.*]]) #[[ATTR0]] {
 133 ; IS__CGSCC____-NEXT:  entry:
 134 ; IS__CGSCC____-NEXT:    ret i8* [[ARG]]
 135 ;
 136 entry:
 137   ret i8* %arg
 138 }
 139
 140 !1 = !{i64 2, i64 3, i1 false}
 141 !0 = !{!1}
 142 ;.
 143 ; IS__TUNIT____: attributes #[[ATTR0]] = { nofree nosync nounwind readnone willreturn }
 144 ;.
 145 ; IS__CGSCC____: attributes #[[ATTR0]] = { nofree norecurse nosync nounwind readnone willreturn }
 146 ;.
 147 ; CHECK: [[META0:![0-9]+]] = !{!1}
 148 ; CHECK: [[META1:![0-9]+]] = !{i64 2, i64 3, i1 false}
 149 ;.