98 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals2; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,TUNIT3; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,CGSCC4 5%"a" = type { i64 }6%"b" = type { i8 }7 8define hidden i64 @f1() align 2 {9; TUNIT: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)10; TUNIT-LABEL: define {{[^@]+}}@f111; TUNIT-SAME: () #[[ATTR0:[0-9]+]] align 2 {12; TUNIT-NEXT: entry:13; TUNIT-NEXT: [[REF_TMP1:%.*]] = alloca i8, i32 0, align 814; TUNIT-NEXT: ret i64 undef15;16; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)17; CGSCC-LABEL: define {{[^@]+}}@f118; CGSCC-SAME: () #[[ATTR0:[0-9]+]] align 2 {19; CGSCC-NEXT: entry:20; CGSCC-NEXT: [[REF_TMP:%.*]] = alloca [[A:%.*]], align 821; CGSCC-NEXT: [[REF_TMP1:%.*]] = alloca i8, i32 0, align 822; CGSCC-NEXT: [[CALL2:%.*]] = call i64 @f2() #[[ATTR2:[0-9]+]]23; CGSCC-NEXT: ret i64 [[CALL2]]24;25entry:26 %ref.tmp = alloca %"a", align 827 %call2 = call i64 @f2(ptr %ref.tmp)28 ret i64 %call229}30 31define internal i64 @f2(ptr %this) align 2 {32; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)33; CGSCC-LABEL: define {{[^@]+}}@f234; CGSCC-SAME: () #[[ATTR0]] align 2 {35; CGSCC-NEXT: entry:36; CGSCC-NEXT: ret i64 undef37;38entry:39 %this.addr = alloca ptr, align 840 store ptr %this, ptr %this.addr, align 841 %this1 = load ptr, ptr %this.addr, align 842 call void @f3(ptr %this1)43 ret i64 undef44}45 46define internal void @f3(ptr %this) align 2 {47; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)48; CGSCC-LABEL: define {{[^@]+}}@f349; CGSCC-SAME: () #[[ATTR0]] align 2 {50; CGSCC-NEXT: entry:51; CGSCC-NEXT: ret void52;53entry:54 %this.addr = alloca ptr, align 855 store ptr %this, ptr %this.addr, align 856 %this1 = load ptr, ptr %this.addr, align 857 %call = call i1 @f4(ptr %this1)58 ret void59}60 61define internal i1 @f4(ptr %this) align 2 {62; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)63; CGSCC-LABEL: define {{[^@]+}}@f464; CGSCC-SAME: () #[[ATTR0]] align 2 {65; CGSCC-NEXT: entry:66; CGSCC-NEXT: ret i1 undef67;68entry:69 %this.addr = alloca ptr, align 870 store ptr %this, ptr %this.addr, align 871 %this1 = load ptr, ptr %this.addr, align 872 %call = call ptr @f5(ptr %this1)73 ret i1 undef74}75 76define internal ptr @f5(ptr %this) align 2 {77; CGSCC: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)78; CGSCC-LABEL: define {{[^@]+}}@f579; CGSCC-SAME: () #[[ATTR1:[0-9]+]] align 2 {80; CGSCC-NEXT: entry:81; CGSCC-NEXT: ret ptr undef82;83entry:84 %this.addr = alloca ptr, align 885 store ptr %this, ptr %this.addr, align 886 %this1 = load ptr, ptr %this.addr, align 887 ret ptr %this188}89;.90; TUNIT: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }91;.92; CGSCC: attributes #[[ATTR0]] = { mustprogress nofree nosync nounwind willreturn memory(none) }93; CGSCC: attributes #[[ATTR1]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }94; CGSCC: attributes #[[ATTR2]] = { nofree nosync willreturn }95;.96;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:97; CHECK: {{.*}}98