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
6 ; /---------------------------------------|
7 ; | /----------------------|----|
10 ; void broker(int (*cb0)(int), int (*cb1)(int), int (*cb2)(int), int, int);
12 ; static int cb0(int zero) {
15 ; static int cb1(int unknown) {
18 ; static int cb2(int unknown) {
22 ; static int cb3(int unknown) {
25 ; static int cb4(int unknown) {
32 ; broker(cb0, cb1, cb0, 0, 1);
33 ; broker(cb1, cb2, cb2, 0, 1);
34 ; broker(cb3, cb2, cb3, 0, 1);
35 ; broker(cb4, cb4, cb4, 0, 1);
38 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
40 define internal i32 @cb0(i32 %zero) {
41 ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
42 ; CHECK-LABEL: define {{[^@]+}}@cb0
43 ; CHECK-SAME: (i32 [[ZERO:%.*]]) #[[ATTR0:[0-9]+]] {
45 ; CHECK-NEXT: ret i32 0
51 define internal i32 @cb1(i32 %unknown) {
52 ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
53 ; CHECK-LABEL: define {{[^@]+}}@cb1
54 ; CHECK-SAME: (i32 noundef [[UNKNOWN:%.*]]) #[[ATTR0]] {
56 ; CHECK-NEXT: ret i32 [[UNKNOWN]]
62 define internal i32 @cb2(i32 %unknown) {
63 ; TUNIT: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
64 ; TUNIT-LABEL: define {{[^@]+}}@cb2
65 ; TUNIT-SAME: (i32 noundef [[UNKNOWN:%.*]]) #[[ATTR0]] {
67 ; TUNIT-NEXT: ret i32 [[UNKNOWN]]
69 ; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)
70 ; CGSCC-LABEL: define {{[^@]+}}@cb2
71 ; CGSCC-SAME: (i32 noundef [[UNKNOWN:%.*]]) #[[ATTR1:[0-9]+]] {
73 ; CGSCC-NEXT: ret i32 [[UNKNOWN]]
76 %call = call i32 @cb0(i32 0)
80 define internal i32 @cb3(i32 %unknown) {
81 ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
82 ; CHECK-LABEL: define {{[^@]+}}@cb3
83 ; CHECK-SAME: (i32 noundef [[UNKNOWN:%.*]]) #[[ATTR0]] {
85 ; CHECK-NEXT: ret i32 [[UNKNOWN]]
91 define internal i32 @cb4(i32 %unknown) {
92 ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
93 ; CHECK-LABEL: define {{[^@]+}}@cb4
94 ; CHECK-SAME: (i32 noundef [[UNKNOWN:%.*]]) #[[ATTR0]] {
96 ; CHECK-NEXT: ret i32 [[UNKNOWN]]
103 ; CHECK-LABEL: define {{[^@]+}}@foo() {
105 ; CHECK-NEXT: call void @broker(ptr noundef nonnull @cb0, ptr noundef nonnull @cb1, ptr noundef nonnull @cb0, i32 noundef 0, i32 noundef 1)
106 ; CHECK-NEXT: call void @broker(ptr noundef nonnull @cb1, ptr noundef nonnull @cb2, ptr noundef nonnull @cb2, i32 noundef 0, i32 noundef 1)
107 ; CHECK-NEXT: call void @broker(ptr noundef nonnull @cb3, ptr noundef nonnull @cb2, ptr noundef nonnull @cb3, i32 noundef 0, i32 noundef 1)
108 ; CHECK-NEXT: call void @broker(ptr noundef nonnull @cb4, ptr noundef nonnull @cb4, ptr noundef nonnull @cb4, i32 noundef 0, i32 noundef 1)
109 ; CHECK-NEXT: ret void
112 %call = call i32 @cb0(i32 0)
113 %call1 = call i32 @cb3(i32 1)
114 call void @broker(ptr nonnull @cb0, ptr nonnull @cb1, ptr nonnull @cb0, i32 0, i32 1)
115 call void @broker(ptr nonnull @cb1, ptr nonnull @cb2, ptr nonnull @cb2, i32 0, i32 1)
116 call void @broker(ptr nonnull @cb3, ptr nonnull @cb2, ptr nonnull @cb3, i32 0, i32 1)
117 call void @broker(ptr nonnull @cb4, ptr nonnull @cb4, ptr nonnull @cb4, i32 0, i32 1)
121 declare !callback !3 void @broker(ptr, ptr, ptr, i32, i32)
123 !0 = !{i64 0, i64 3, i1 false}
124 !1 = !{i64 1, i64 4, i1 false}
125 !2 = !{i64 2, i64 3, i1 false}
128 ; TUNIT: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
130 ; CGSCC: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
131 ; CGSCC: attributes #[[ATTR1]] = { mustprogress nofree nosync nounwind willreturn memory(none) }
133 ; TUNIT: [[META0:![0-9]+]] = !{[[META1:![0-9]+]], [[META2:![0-9]+]], [[META3:![0-9]+]]}
134 ; TUNIT: [[META1]] = !{i64 0, i64 3, i1 false}
135 ; TUNIT: [[META2]] = !{i64 2, i64 3, i1 false}
136 ; TUNIT: [[META3]] = !{i64 1, i64 4, i1 false}
138 ; CGSCC: [[META0:![0-9]+]] = !{[[META1:![0-9]+]], [[META2:![0-9]+]], [[META3:![0-9]+]]}
139 ; CGSCC: [[META1]] = !{i64 0, i64 3, i1 false}
140 ; CGSCC: [[META2]] = !{i64 2, i64 3, i1 false}
141 ; CGSCC: [[META3]] = !{i64 1, i64 4, i1 false}