67 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; Make sure we need a single iteration to determine the chains are dead/alive.6 7declare i32 @source() nounwind readonly8 9define i32 @chain_dead(i32 %arg) {10; CHECK: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)11; CHECK-LABEL: define {{[^@]+}}@chain_dead12; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR1:[0-9]+]] {13; CHECK-NEXT: ret i32 014;15 %init = call i32 @source()16 %v0 = add i32 %arg, %init17 %v1 = add i32 %init, %v018 %v2 = add i32 %v0, %v119 %v3 = add i32 %v1, %v220 %v4 = add i32 %v2, %v321 %v5 = add i32 %v3, %v422 %v6 = add i32 %v4, %v523 %v7 = add i32 %v5, %v624 %v8 = add i32 %v6, %v725 %v9 = add i32 %v7, %v826 ret i32 027}28 29define i32 @chain_alive(i32 %arg) {30; CHECK: Function Attrs: nosync nounwind memory(read)31; CHECK-LABEL: define {{[^@]+}}@chain_alive32; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR2:[0-9]+]] {33; CHECK-NEXT: [[INIT:%.*]] = call i32 @source() #[[ATTR2]]34; CHECK-NEXT: [[V0:%.*]] = add i32 [[ARG]], [[INIT]]35; CHECK-NEXT: [[V1:%.*]] = add i32 [[INIT]], [[V0]]36; CHECK-NEXT: [[V2:%.*]] = add i32 [[V0]], [[V1]]37; CHECK-NEXT: [[V3:%.*]] = add i32 [[V1]], [[V2]]38; CHECK-NEXT: [[V4:%.*]] = add i32 [[V2]], [[V3]]39; CHECK-NEXT: [[V5:%.*]] = add i32 [[V3]], [[V4]]40; CHECK-NEXT: [[V6:%.*]] = add i32 [[V4]], [[V5]]41; CHECK-NEXT: [[V7:%.*]] = add i32 [[V5]], [[V6]]42; CHECK-NEXT: [[V8:%.*]] = add i32 [[V6]], [[V7]]43; CHECK-NEXT: [[V9:%.*]] = add i32 [[V7]], [[V8]]44; CHECK-NEXT: ret i32 [[V9]]45;46 %init = call i32 @source()47 %v0 = add i32 %arg, %init48 %v1 = add i32 %init, %v049 %v2 = add i32 %v0, %v150 %v3 = add i32 %v1, %v251 %v4 = add i32 %v2, %v352 %v5 = add i32 %v3, %v453 %v6 = add i32 %v4, %v554 %v7 = add i32 %v5, %v655 %v8 = add i32 %v6, %v756 %v9 = add i32 %v7, %v857 ret i32 %v958}59;.60; CHECK: attributes #[[ATTR0:[0-9]+]] = { nounwind memory(read) }61; CHECK: attributes #[[ATTR1]] = { mustprogress nofree nosync nounwind willreturn memory(none) }62; CHECK: attributes #[[ATTR2]] = { nosync nounwind memory(read) }63;.64;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:65; CGSCC: {{.*}}66; TUNIT: {{.*}}67