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 void @f() {5; CHECK: Function Attrs: nofree nosync nounwind6; CHECK-LABEL: define {{[^@]+}}@f7; CHECK-SAME: () #[[ATTR0:[0-9]+]] {8; CHECK-NEXT: call void @g() [ "unknown"() ]9; CHECK-NEXT: ret void10;11 call void @g() [ "unknown"() ]12 ret void13}14 15define void @g() {16; CHECK: Function Attrs: nofree nosync nounwind17; CHECK-LABEL: define {{[^@]+}}@g18; CHECK-SAME: () #[[ATTR0]] {19; CHECK-NEXT: call void @f()20; CHECK-NEXT: ret void21;22 call void @f()23 ret void24}25