llvm/test/Transforms/FunctionAttrs/nofree.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes
   2 ; RUN: opt < %s -function-attrs -S | FileCheck %s
   3 ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s
   4
   5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   6 target triple = "x86_64-unknown-linux-gnu"
   7
   8 define void @_Z4foo1Pi(i32* nocapture readnone %a) local_unnamed_addr #0 {
   9 ; CHECK: Function Attrs: uwtable
  10 ; CHECK-LABEL: @_Z4foo1Pi(
  11 ; CHECK-NEXT:  entry:
  12 ; CHECK-NEXT:    tail call void @_Z3extv()
  13 ; CHECK-NEXT:    ret void
  14 ;
  15 entry:
  16   tail call void @_Z3extv()
  17   ret void
  18 }
  19
  20 declare void @_Z3extv() local_unnamed_addr
  21
  22 define void @_Z4foo2Pi(i32* nocapture %a) local_unnamed_addr #1 {
  23 ; CHECK: Function Attrs: nounwind uwtable
  24 ; CHECK-LABEL: @_Z4foo2Pi(
  25 ; CHECK-NEXT:  entry:
  26 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i32* [[A:%.*]] to i8*
  27 ; CHECK-NEXT:    tail call void @free(i8* [[TMP0]]) #[[ATTR2:[0-9]+]]
  28 ; CHECK-NEXT:    ret void
  29 ;
  30 entry:
  31   %0 = bitcast i32* %a to i8*
  32   tail call void @free(i8* %0) #2
  33   ret void
  34 }
  35
  36 declare void @free(i8* nocapture) local_unnamed_addr #2
  37
  38 define i32 @_Z4foo3Pi(i32* nocapture readonly %a) local_unnamed_addr #3 {
  39 ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind readonly uwtable willreturn
  40 ; CHECK-LABEL: @_Z4foo3Pi(
  41 ; CHECK-NEXT:  entry:
  42 ; CHECK-NEXT:    [[TMP0:%.*]] = load i32, i32* [[A:%.*]], align 4
  43 ; CHECK-NEXT:    ret i32 [[TMP0]]
  44 ;
  45 entry:
  46   %0 = load i32, i32* %a, align 4
  47   ret i32 %0
  48 }
  49
  50 define double @_Z4foo4Pd(double* nocapture readonly %a) local_unnamed_addr #1 {
  51 ; CHECK: Function Attrs: nounwind uwtable
  52 ; CHECK-LABEL: @_Z4foo4Pd(
  53 ; CHECK-NEXT:  entry:
  54 ; CHECK-NEXT:    [[TMP0:%.*]] = load double, double* [[A:%.*]], align 8
  55 ; CHECK-NEXT:    [[CALL:%.*]] = tail call double @cos(double [[TMP0]]) #[[ATTR2]]
  56 ; CHECK-NEXT:    ret double [[CALL]]
  57 ;
  58 entry:
  59   %0 = load double, double* %a, align 8
  60   %call = tail call double @cos(double %0) #2
  61   ret double %call
  62 }
  63
  64 declare double @cos(double) local_unnamed_addr #2
  65
  66 define noalias i32* @_Z4foo5Pm(i64* nocapture readonly %a) local_unnamed_addr #1 {
  67 ; CHECK: Function Attrs: nounwind uwtable
  68 ; CHECK-LABEL: @_Z4foo5Pm(
  69 ; CHECK-NEXT:  entry:
  70 ; CHECK-NEXT:    [[TMP0:%.*]] = load i64, i64* [[A:%.*]], align 8
  71 ; CHECK-NEXT:    [[CALL:%.*]] = tail call noalias i8* @malloc(i64 [[TMP0]]) #[[ATTR2]]
  72 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i8* [[CALL]] to i32*
  73 ; CHECK-NEXT:    ret i32* [[TMP1]]
  74 ;
  75 entry:
  76   %0 = load i64, i64* %a, align 8
  77   %call = tail call noalias i8* @malloc(i64 %0) #2
  78   %1 = bitcast i8* %call to i32*
  79   ret i32* %1
  80 }
  81
  82 declare noalias i8* @malloc(i64) local_unnamed_addr #2
  83
  84 define noalias i64* @_Z4foo6Pm(i64* nocapture %a) local_unnamed_addr #1 {
  85 ; CHECK: Function Attrs: nounwind uwtable
  86 ; CHECK-LABEL: @_Z4foo6Pm(
  87 ; CHECK-NEXT:  entry:
  88 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i64* [[A:%.*]] to i8*
  89 ; CHECK-NEXT:    [[TMP1:%.*]] = load i64, i64* [[A]], align 8
  90 ; CHECK-NEXT:    [[CALL:%.*]] = tail call i8* @realloc(i8* [[TMP0]], i64 [[TMP1]]) #[[ATTR2]]
  91 ; CHECK-NEXT:    [[TMP2:%.*]] = bitcast i8* [[CALL]] to i64*
  92 ; CHECK-NEXT:    ret i64* [[TMP2]]
  93 ;
  94 entry:
  95   %0 = bitcast i64* %a to i8*
  96   %1 = load i64, i64* %a, align 8
  97   %call = tail call i8* @realloc(i8* %0, i64 %1) #2
  98   %2 = bitcast i8* %call to i64*
  99   ret i64* %2
 100 }
 101
 102 declare noalias i8* @realloc(i8* nocapture, i64) local_unnamed_addr #2
 103
 104 define void @_Z4foo7Pi(i32* %a) local_unnamed_addr #1 {
 105 ; CHECK: Function Attrs: nounwind uwtable
 106 ; CHECK-LABEL: @_Z4foo7Pi(
 107 ; CHECK-NEXT:  entry:
 108 ; CHECK-NEXT:    [[ISNULL:%.*]] = icmp eq i32* [[A:%.*]], null
 109 ; CHECK-NEXT:    br i1 [[ISNULL]], label [[DELETE_END:%.*]], label [[DELETE_NOTNULL:%.*]]
 110 ; CHECK:       delete.notnull:
 111 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i32* [[A]] to i8*
 112 ; CHECK-NEXT:    tail call void @_ZdlPv(i8* [[TMP0]]) #[[ATTR6:[0-9]+]]
 113 ; CHECK-NEXT:    br label [[DELETE_END]]
 114 ; CHECK:       delete.end:
 115 ; CHECK-NEXT:    ret void
 116 ;
 117 entry:
 118   %isnull = icmp eq i32* %a, null
 119   br i1 %isnull, label %delete.end, label %delete.notnull
 120
 121 delete.notnull:                                   ; preds = %entry
 122   %0 = bitcast i32* %a to i8*
 123   tail call void @_ZdlPv(i8* %0) #5
 124   br label %delete.end
 125
 126 delete.end:                                       ; preds = %delete.notnull, %entry
 127   ret void
 128 }
 129
 130 declare void @_ZdlPv(i8*) local_unnamed_addr #4
 131
 132 define void @_Z4foo8Pi(i32* %a) local_unnamed_addr #1 {
 133 ; CHECK: Function Attrs: nounwind uwtable
 134 ; CHECK-LABEL: @_Z4foo8Pi(
 135 ; CHECK-NEXT:  entry:
 136 ; CHECK-NEXT:    [[ISNULL:%.*]] = icmp eq i32* [[A:%.*]], null
 137 ; CHECK-NEXT:    br i1 [[ISNULL]], label [[DELETE_END:%.*]], label [[DELETE_NOTNULL:%.*]]
 138 ; CHECK:       delete.notnull:
 139 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i32* [[A]] to i8*
 140 ; CHECK-NEXT:    tail call void @_ZdaPv(i8* [[TMP0]]) #[[ATTR6]]
 141 ; CHECK-NEXT:    br label [[DELETE_END]]
 142 ; CHECK:       delete.end:
 143 ; CHECK-NEXT:    ret void
 144 ;
 145 entry:
 146   %isnull = icmp eq i32* %a, null
 147   br i1 %isnull, label %delete.end, label %delete.notnull
 148
 149 delete.notnull:                                   ; preds = %entry
 150   %0 = bitcast i32* %a to i8*
 151   tail call void @_ZdaPv(i8* %0) #5
 152   br label %delete.end
 153
 154 delete.end:                                       ; preds = %delete.notnull, %entry
 155   ret void
 156 }
 157
 158 declare void @may_free()
 159
 160 define void @nofree_callsite_attr(i32* %a) {
 161 ; CHECK: Function Attrs: nofree
 162 ; CHECK-LABEL: @nofree_callsite_attr(
 163 ; CHECK-NEXT:  entry:
 164 ; CHECK-NEXT:    call void @may_free() #[[ATTR5:[0-9]+]]
 165 ; CHECK-NEXT:    ret void
 166 ;
 167 entry:
 168   call void @may_free() nofree
 169   ret void
 170 }
 171
 172 declare void @_ZdaPv(i8*) local_unnamed_addr #4
 173
 174 attributes #0 = { uwtable }
 175 attributes #1 = { nounwind uwtable }
 176 attributes #2 = { nounwind }
 177 attributes #3 = { norecurse nounwind readonly uwtable }
 178 attributes #4 = { nobuiltin nounwind }
 179 attributes #5 = { builtin nounwind }