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; Mostly check we do not crash on these uses 6 7define internal void @internal(ptr %fp) { 8; 9; 10; TUNIT-LABEL: define {{[^@]+}}@internal 11; TUNIT-SAME: (ptr nonnull [[FP:%.*]]) { 12; TUNIT-NEXT: entry: 13; TUNIT-NEXT: [[A:%.*]] = alloca i32, align 4 14; TUNIT-NEXT: call void @foo(ptr nofree noundef nonnull writeonly align 4 captures(none) dereferenceable(4) [[A]]) #[[ATTR1:[0-9]+]] 15; TUNIT-NEXT: call void [[FP]](ptr nonnull @foo) 16; TUNIT-NEXT: call void @callback1(ptr noundef nonnull @foo) 17; TUNIT-NEXT: call void @callback2(ptr noundef nonnull @foo) 18; TUNIT-NEXT: call void @callback2(ptr nonnull [[FP]]) 19; TUNIT-NEXT: call void [[FP]](ptr [[A]]) 20; TUNIT-NEXT: ret void 21; 22; CGSCC-LABEL: define {{[^@]+}}@internal 23; CGSCC-SAME: (ptr noundef nonnull [[FP:%.*]]) { 24; CGSCC-NEXT: entry: 25; CGSCC-NEXT: [[A:%.*]] = alloca i32, align 4 26; CGSCC-NEXT: call void @foo(ptr nofree noundef nonnull writeonly align 4 captures(none) dereferenceable(4) [[A]]) #[[ATTR1:[0-9]+]] 27; CGSCC-NEXT: call void [[FP]](ptr nonnull @foo) 28; CGSCC-NEXT: call void @callback1(ptr noundef nonnull @foo) 29; CGSCC-NEXT: call void @callback2(ptr noundef nonnull @foo) 30; CGSCC-NEXT: call void @callback2(ptr noundef nonnull [[FP]]) 31; CGSCC-NEXT: call void [[FP]](ptr [[A]]) 32; CGSCC-NEXT: ret void 33; 34entry: 35 %a = alloca i32, align 4 36 call void @foo(ptr nonnull %a) 37 call void %fp(ptr @foo) 38 call void @callback1(ptr nonnull @foo) 39 call void @callback2(ptr @foo) 40 call void @callback2(ptr %fp) 41 call void %fp(ptr %a) 42 ret void 43} 44 45define void @external(ptr %fp) { 46; 47; 48; TUNIT-LABEL: define {{[^@]+}}@external 49; TUNIT-SAME: (ptr [[FP:%.*]]) { 50; TUNIT-NEXT: entry: 51; TUNIT-NEXT: [[A:%.*]] = alloca i32, align 4 52; TUNIT-NEXT: call void @foo(ptr nofree noundef nonnull writeonly align 4 captures(none) dereferenceable(4) [[A]]) #[[ATTR1]] 53; TUNIT-NEXT: call void @callback1(ptr noundef nonnull @foo) 54; TUNIT-NEXT: call void @callback2(ptr noundef nonnull @foo) 55; TUNIT-NEXT: call void @callback2(ptr [[FP]]) 56; TUNIT-NEXT: call void [[FP]](ptr @foo) 57; TUNIT-NEXT: call void [[FP]](ptr [[A]]) 58; TUNIT-NEXT: call void @internal(ptr nonnull [[FP]]) 59; TUNIT-NEXT: ret void 60; 61; CGSCC-LABEL: define {{[^@]+}}@external 62; CGSCC-SAME: (ptr [[FP:%.*]]) { 63; CGSCC-NEXT: entry: 64; CGSCC-NEXT: [[A:%.*]] = alloca i32, align 4 65; CGSCC-NEXT: call void @foo(ptr nofree noundef nonnull writeonly align 4 captures(none) dereferenceable(4) [[A]]) #[[ATTR1]] 66; CGSCC-NEXT: call void @callback1(ptr noundef nonnull @foo) 67; CGSCC-NEXT: call void @callback2(ptr noundef nonnull @foo) 68; CGSCC-NEXT: call void @callback2(ptr [[FP]]) 69; CGSCC-NEXT: call void [[FP]](ptr @foo) 70; CGSCC-NEXT: call void [[FP]](ptr [[A]]) 71; CGSCC-NEXT: call void @internal(ptr noundef nonnull [[FP]]) 72; CGSCC-NEXT: ret void 73; 74entry: 75 %a = alloca i32, align 4 76 call void @foo(ptr nonnull %a) 77 call void @callback1(ptr nonnull @foo) 78 call void @callback2(ptr @foo) 79 call void @callback2(ptr %fp) 80 call void %fp(ptr @foo) 81 call void %fp(ptr %a) 82 call void @internal(ptr %fp) 83 ret void 84} 85 86define internal void @foo(ptr %a) { 87; 88; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: write) 89; CHECK-LABEL: define {{[^@]+}}@foo 90; CHECK-SAME: (ptr nofree noundef nonnull writeonly align 4 captures(none) dereferenceable(4) [[A:%.*]]) #[[ATTR0:[0-9]+]] { 91; CHECK-NEXT: entry: 92; CHECK-NEXT: store i32 0, ptr [[A]], align 4 93; CHECK-NEXT: ret void 94; 95entry: 96 store i32 0, ptr %a 97 ret void 98} 99 100declare void @callback1(ptr) 101declare void @callback2(ptr) 102;. 103; TUNIT: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: write) } 104; TUNIT: attributes #[[ATTR1]] = { nofree nosync nounwind willreturn memory(write) } 105;. 106; CGSCC: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: write) } 107; CGSCC: attributes #[[ATTR1]] = { nofree nounwind willreturn memory(write) } 108;. 109