109 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 5target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"6 7%0 = type { i32, %1, ptr }8%1 = type { i32 }9%2 = type opaque10 11define hidden ptr @f1(i64 %0, i64 %1) {12; CHECK-LABEL: define {{[^@]+}}@f113; CHECK-SAME: (i64 [[TMP0:%.*]], i64 [[TMP1:%.*]]) {14; CHECK-NEXT: [[TMP3:%.*]] = call { ptr, i64 } @f3(i64 [[TMP0]])15; CHECK-NEXT: ret ptr undef16;17 %3 = call { ptr, i64 } @f3(i64 %0)18 ret ptr undef19}20 21define linkonce_odr hidden { ptr, i64 } @f3(i64 %0) align 2 {22; CHECK-LABEL: define {{[^@]+}}@f323; CHECK-SAME: (i64 [[TMP0:%.*]]) align 2 {24; CHECK-NEXT: [[TMP2:%.*]] = call i32 @f4()25; CHECK-NEXT: [[TMP3:%.*]] = zext i32 [[TMP2]] to i6426; CHECK-NEXT: call void @f5(i64 [[TMP3]], i64 [[TMP0]]) #[[ATTR2:[0-9]+]]27; CHECK-NEXT: ret { ptr, i64 } undef28;29 %2 = call i32 @f4()30 %3 = zext i32 %2 to i6431 call void @f5(i64 %3, i64 %0)32 ret { ptr, i64 } undef33}34 35define linkonce_odr hidden i32 @f4() align 2 {36; CHECK-LABEL: define {{[^@]+}}@f4() align 2 {37; CHECK-NEXT: ret i32 1638;39 ret i32 1640}41 42define internal void @f5(i64 %0, i64 %1) {43; CHECK: Function Attrs: nounwind memory(inaccessiblemem: write)44; CHECK-LABEL: define {{[^@]+}}@f545; CHECK-SAME: (i64 [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0:[0-9]+]] {46; CHECK-NEXT: br label [[TMP3:%.*]]47; CHECK: 3:48; CHECK-NEXT: call void @f6(i64 [[TMP0]]) #[[ATTR2]]49; CHECK-NEXT: [[TMP4:%.*]] = icmp sgt i64 [[TMP1]], [[TMP0]]50; CHECK-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]51; CHECK: 5:52; CHECK-NEXT: ret void53; CHECK: 6:54; CHECK-NEXT: call void @f5(i64 [[TMP0]], i64 [[TMP1]]) #[[ATTR2]]55; CHECK-NEXT: br label [[TMP3]]56;57 br label %358 593: ; preds = %6, %260 call void @f6(i64 %0)61 %4 = icmp sgt i64 %1, %062 br i1 %4, label %5, label %663 645: ; preds = %365 ret void66 676: ; preds = %368 call void @f5(i64 %0, i64 %1)69 br label %370}71 72define internal void @f6(i64 %0) {73; CHECK: Function Attrs: nounwind memory(inaccessiblemem: write)74; CHECK-LABEL: define {{[^@]+}}@f675; CHECK-SAME: (i64 [[TMP0:%.*]]) #[[ATTR0]] {76; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i64 [[TMP0]], 077; CHECK-NEXT: br i1 [[TMP2]], label [[TMP3:%.*]], label [[TMP4:%.*]]78; CHECK: 3:79; CHECK-NEXT: call void @llvm.trap() #[[ATTR3:[0-9]+]]80; CHECK-NEXT: unreachable81; CHECK: 4:82; CHECK-NEXT: ret void83;84 %2 = icmp sgt i64 %0, 085 br i1 %2, label %3, label %486 873: ; preds = %188 call void @llvm.trap()89 ret void90 914: ; preds = %192 ret void93}94 95; Function Attrs: cold noreturn nounwind96declare void @llvm.trap() #097 98attributes #0 = { cold noreturn nounwind }99 100;.101; CHECK: attributes #[[ATTR0]] = { nounwind memory(inaccessiblemem: write) }102; CHECK: attributes #[[ATTR1:[0-9]+]] = { cold noreturn nounwind memory(inaccessiblemem: write) }103; CHECK: attributes #[[ATTR2]] = { nounwind memory(write) }104; CHECK: attributes #[[ATTR3]] = { noreturn memory(write) }105;.106;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:107; CGSCC: {{.*}}108; TUNIT: {{.*}}109