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
5 define internal fastcc i32 @term_SharingList(ptr %Term, ptr %List) nounwind {
6 ; CGSCC: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
7 ; CGSCC-LABEL: define {{[^@]+}}@term_SharingList
8 ; CGSCC-SAME: () #[[ATTR0:[0-9]+]] {
10 ; CGSCC-NEXT: br i1 false, label [[BB:%.*]], label [[BB5:%.*]]
12 ; CGSCC-NEXT: unreachable
14 ; CGSCC-NEXT: ret i32 undef
17 br i1 false, label %bb, label %bb5
20 %0 = call fastcc i32 @term_SharingList( ptr null, ptr %List ) nounwind ; <i32> [#uses=0]
27 define i32 @term_Sharing(ptr %Term) nounwind {
28 ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
29 ; CHECK-LABEL: define {{[^@]+}}@term_Sharing
30 ; CHECK-SAME: (ptr nocapture nofree readnone [[TERM:%.*]]) #[[ATTR0:[0-9]+]] {
32 ; CHECK-NEXT: br i1 false, label [[BB_I:%.*]], label [[BB14:%.*]]
34 ; CHECK-NEXT: unreachable
36 ; CHECK-NEXT: ret i32 0
39 br i1 false, label %bb.i, label %bb14
41 bb.i: ; preds = %entry
42 %0 = call fastcc i32 @term_SharingList( ptr null, ptr null ) nounwind ; <i32> [#uses=0]
45 bb14: ; preds = %entry
49 ; TUNIT: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
51 ; CGSCC: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
53 ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line: