185 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes2; RUN: opt < %s -passes=function-attrs -S | FileCheck %s3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7define void @_Z4foo1Pi(ptr nocapture readnone %a) local_unnamed_addr #0 {8; CHECK: Function Attrs: uwtable9; CHECK-LABEL: @_Z4foo1Pi(10; CHECK-NEXT: entry:11; CHECK-NEXT: tail call void @_Z3extv()12; CHECK-NEXT: ret void13;14entry:15 tail call void @_Z3extv()16 ret void17}18 19declare void @_Z3extv() local_unnamed_addr20 21define void @_Z4foo2Pi(ptr nocapture %a) local_unnamed_addr #1 {22; CHECK: Function Attrs: nounwind uwtable23; CHECK-LABEL: @_Z4foo2Pi(24; CHECK-NEXT: entry:25; CHECK-NEXT: tail call void @free(ptr [[A:%.*]]) #[[ATTR2:[0-9]+]]26; CHECK-NEXT: ret void27;28entry:29 tail call void @free(ptr %a) #230 ret void31}32 33declare void @free(ptr nocapture) local_unnamed_addr #234 35define i32 @_Z4foo3Pi(ptr nocapture readonly %a) local_unnamed_addr #3 {36; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read) uwtable37; CHECK-LABEL: @_Z4foo3Pi(38; CHECK-NEXT: entry:39; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[A:%.*]], align 440; CHECK-NEXT: ret i32 [[TMP0]]41;42entry:43 %0 = load i32, ptr %a, align 444 ret i32 %045}46 47define double @_Z4foo4Pd(ptr nocapture readonly %a) local_unnamed_addr #1 {48; CHECK: Function Attrs: nounwind uwtable49; CHECK-LABEL: @_Z4foo4Pd(50; CHECK-NEXT: entry:51; CHECK-NEXT: [[TMP0:%.*]] = load double, ptr [[A:%.*]], align 852; CHECK-NEXT: [[CALL:%.*]] = tail call double @cos(double [[TMP0]]) #[[ATTR2]]53; CHECK-NEXT: ret double [[CALL]]54;55entry:56 %0 = load double, ptr %a, align 857 %call = tail call double @cos(double %0) #258 ret double %call59}60 61declare double @cos(double) local_unnamed_addr #262 63define noalias ptr @_Z4foo5Pm(ptr nocapture readonly %a) local_unnamed_addr #1 {64; CHECK: Function Attrs: nounwind uwtable65; CHECK-LABEL: @_Z4foo5Pm(66; CHECK-NEXT: entry:67; CHECK-NEXT: [[TMP0:%.*]] = load i64, ptr [[A:%.*]], align 868; CHECK-NEXT: [[CALL:%.*]] = tail call noalias ptr @malloc(i64 [[TMP0]]) #[[ATTR2]]69; CHECK-NEXT: ret ptr [[CALL]]70;71entry:72 %0 = load i64, ptr %a, align 873 %call = tail call noalias ptr @malloc(i64 %0) #274 ret ptr %call75}76 77declare noalias ptr @malloc(i64) local_unnamed_addr #278 79define noalias ptr @_Z4foo6Pm(ptr nocapture %a) local_unnamed_addr #1 {80; CHECK: Function Attrs: nounwind uwtable81; CHECK-LABEL: @_Z4foo6Pm(82; CHECK-NEXT: entry:83; CHECK-NEXT: [[TMP0:%.*]] = load i64, ptr [[A:%.*]], align 884; CHECK-NEXT: [[CALL:%.*]] = tail call ptr @realloc(ptr [[A]], i64 [[TMP0]]) #[[ATTR2]]85; CHECK-NEXT: ret ptr [[CALL]]86;87entry:88 %0 = load i64, ptr %a, align 889 %call = tail call ptr @realloc(ptr %a, i64 %0) #290 ret ptr %call91}92 93declare noalias ptr @realloc(ptr nocapture, i64) local_unnamed_addr #294 95define void @_Z4foo7Pi(ptr %a) local_unnamed_addr #1 {96; CHECK: Function Attrs: nounwind uwtable97; CHECK-LABEL: @_Z4foo7Pi(98; CHECK-NEXT: entry:99; CHECK-NEXT: [[ISNULL:%.*]] = icmp eq ptr [[A:%.*]], null100; CHECK-NEXT: br i1 [[ISNULL]], label [[DELETE_END:%.*]], label [[DELETE_NOTNULL:%.*]]101; CHECK: delete.notnull:102; CHECK-NEXT: tail call void @_ZdlPv(ptr [[A]]) #[[ATTR6:[0-9]+]]103; CHECK-NEXT: br label [[DELETE_END]]104; CHECK: delete.end:105; CHECK-NEXT: ret void106;107entry:108 %isnull = icmp eq ptr %a, null109 br i1 %isnull, label %delete.end, label %delete.notnull110 111delete.notnull: ; preds = %entry112 tail call void @_ZdlPv(ptr %a) #5113 br label %delete.end114 115delete.end: ; preds = %delete.notnull, %entry116 ret void117}118 119declare void @_ZdlPv(ptr) local_unnamed_addr #4120 121define void @_Z4foo8Pi(ptr %a) local_unnamed_addr #1 {122; CHECK: Function Attrs: nounwind uwtable123; CHECK-LABEL: @_Z4foo8Pi(124; CHECK-NEXT: entry:125; CHECK-NEXT: [[ISNULL:%.*]] = icmp eq ptr [[A:%.*]], null126; CHECK-NEXT: br i1 [[ISNULL]], label [[DELETE_END:%.*]], label [[DELETE_NOTNULL:%.*]]127; CHECK: delete.notnull:128; CHECK-NEXT: tail call void @_ZdaPv(ptr [[A]]) #[[ATTR6]]129; CHECK-NEXT: br label [[DELETE_END]]130; CHECK: delete.end:131; CHECK-NEXT: ret void132;133entry:134 %isnull = icmp eq ptr %a, null135 br i1 %isnull, label %delete.end, label %delete.notnull136 137delete.notnull: ; preds = %entry138 tail call void @_ZdaPv(ptr %a) #5139 br label %delete.end140 141delete.end: ; preds = %delete.notnull, %entry142 ret void143}144 145declare void @may_free()146 147define void @nofree_callsite_attr(ptr %a) {148; CHECK: Function Attrs: nofree149; CHECK-LABEL: @nofree_callsite_attr(150; CHECK-NEXT: entry:151; CHECK-NEXT: call void @may_free() #[[ATTR5:[0-9]+]]152; CHECK-NEXT: ret void153;154entry:155 call void @may_free() nofree156 ret void157}158 159define void @unknown_call(ptr %fn) {160; CHECK-LABEL: @unknown_call(161; CHECK-NEXT: call void [[FN:%.*]]()162; CHECK-NEXT: ret void163;164 call void %fn()165 ret void166}167 168define void @unknown_nofree_call(ptr %fn) {169; CHECK-LABEL: @unknown_nofree_call(170; CHECK-NEXT: call void [[FN:%.*]]() #[[ATTR5]]171; CHECK-NEXT: ret void172;173 call void %fn() nofree174 ret void175}176 177declare void @_ZdaPv(ptr) local_unnamed_addr #4178 179attributes #0 = { uwtable }180attributes #1 = { nounwind uwtable }181attributes #2 = { nounwind }182attributes #3 = { norecurse nounwind readonly uwtable }183attributes #4 = { nobuiltin nounwind }184attributes #5 = { builtin nounwind }185