llvm/test/Transforms/Attributor/nodelete.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
   2 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal  -attributor-annotate-decl-cs  -S < %s | FileCheck %s --check-prefixes=CHECK,TUNIT
   3 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,CGSCC
   4
   5 %"a" = type { i64 }
   6 %"b" = type { i8 }
   7
   8 define hidden i64 @f1() align 2 {
   9 ; TUNIT: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
  10 ; TUNIT-LABEL: define {{[^@]+}}@f1
  11 ; TUNIT-SAME: () #[[ATTR0:[0-9]+]] align 2 {
  12 ; TUNIT-NEXT:  entry:
  13 ; TUNIT-NEXT:    [[REF_TMP1:%.*]] = alloca i8, i32 0, align 8
  14 ; TUNIT-NEXT:    ret i64 undef
  15 ;
  16 ; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)
  17 ; CGSCC-LABEL: define {{[^@]+}}@f1
  18 ; CGSCC-SAME: () #[[ATTR0:[0-9]+]] align 2 {
  19 ; CGSCC-NEXT:  entry:
  20 ; CGSCC-NEXT:    [[REF_TMP:%.*]] = alloca [[A:%.*]], align 8
  21 ; CGSCC-NEXT:    [[REF_TMP1:%.*]] = alloca i8, i32 0, align 8
  22 ; CGSCC-NEXT:    [[CALL2:%.*]] = call i64 @f2() #[[ATTR2:[0-9]+]]
  23 ; CGSCC-NEXT:    ret i64 [[CALL2]]
  24 ;
  25 entry:
  26   %ref.tmp = alloca %"a", align 8
  27   %call2 = call i64 @f2(ptr %ref.tmp)
  28   ret i64 %call2
  29 }
  30
  31 define internal i64 @f2(ptr %this) align 2 {
  32 ; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)
  33 ; CGSCC-LABEL: define {{[^@]+}}@f2
  34 ; CGSCC-SAME: () #[[ATTR0]] align 2 {
  35 ; CGSCC-NEXT:  entry:
  36 ; CGSCC-NEXT:    ret i64 undef
  37 ;
  38 entry:
  39   %this.addr = alloca ptr, align 8
  40   store ptr %this, ptr %this.addr, align 8
  41   %this1 = load ptr, ptr %this.addr, align 8
  42   call void @f3(ptr %this1)
  43   ret i64 undef
  44 }
  45
  46 define internal void @f3(ptr %this) align 2 {
  47 ; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)
  48 ; CGSCC-LABEL: define {{[^@]+}}@f3
  49 ; CGSCC-SAME: () #[[ATTR0]] align 2 {
  50 ; CGSCC-NEXT:  entry:
  51 ; CGSCC-NEXT:    ret void
  52 ;
  53 entry:
  54   %this.addr = alloca ptr, align 8
  55   store ptr %this, ptr %this.addr, align 8
  56   %this1 = load ptr, ptr %this.addr, align 8
  57   %call = call i1 @f4(ptr %this1)
  58   ret void
  59 }
  60
  61 define internal i1 @f4(ptr %this) align 2 {
  62 ; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)
  63 ; CGSCC-LABEL: define {{[^@]+}}@f4
  64 ; CGSCC-SAME: () #[[ATTR0]] align 2 {
  65 ; CGSCC-NEXT:  entry:
  66 ; CGSCC-NEXT:    ret i1 undef
  67 ;
  68 entry:
  69   %this.addr = alloca ptr, align 8
  70   store ptr %this, ptr %this.addr, align 8
  71   %this1 = load ptr, ptr %this.addr, align 8
  72   %call = call ptr @f5(ptr %this1)
  73   ret i1 undef
  74 }
  75
  76 define internal ptr @f5(ptr %this) align 2 {
  77 ; CGSCC: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
  78 ; CGSCC-LABEL: define {{[^@]+}}@f5
  79 ; CGSCC-SAME: () #[[ATTR1:[0-9]+]] align 2 {
  80 ; CGSCC-NEXT:  entry:
  81 ; CGSCC-NEXT:    ret ptr undef
  82 ;
  83 entry:
  84   %this.addr = alloca ptr, align 8
  85   store ptr %this, ptr %this.addr, align 8
  86   %this1 = load ptr, ptr %this.addr, align 8
  87   ret ptr %this1
  88 }
  89 ;.
  90 ; TUNIT: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
  91 ;.
  92 ; CGSCC: attributes #[[ATTR0]] = { mustprogress nofree nosync nounwind willreturn memory(none) }
  93 ; CGSCC: attributes #[[ATTR1]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
  94 ; CGSCC: attributes #[[ATTR2]] = { nofree nosync willreturn }
  95 ;.
  96 ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
  97 ; CHECK: {{.*}}