25 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes2; RUN: opt < %s -passes=function-attrs -S | FileCheck %s3 4define i32 @a() {5; CHECK: Function Attrs: nofree nosync nounwind memory(none)6; CHECK-LABEL: define {{[^@]+}}@a7; CHECK-SAME: () #[[ATTR0:[0-9]+]] {8; CHECK-NEXT: [[TMP:%.*]] = call i32 @b()9; CHECK-NEXT: ret i32 [[TMP]]10;11 %tmp = call i32 @b()12 ret i32 %tmp13}14 15define i32 @b() {16; CHECK: Function Attrs: nofree nosync nounwind memory(none)17; CHECK-LABEL: define {{[^@]+}}@b18; CHECK-SAME: () #[[ATTR0]] {19; CHECK-NEXT: [[TMP:%.*]] = call i32 @a()20; CHECK-NEXT: ret i32 [[TMP]]21;22 %tmp = call i32 @a()23 ret i32 %tmp24}25