1 // RUN: %clang_cc1 -triple i386-unknown-unknown -fexceptions -emit-llvm %s -o - | FileCheck %s
2 int c(void) __attribute__((const));
3 int p(void) __attribute__((pure));
4 int t(void);
5
6 // CHECK: define{{.*}} i32 @_Z1fv() [[TF:#[0-9]+]] {
f(void)7 int f(void) {
8 // CHECK: call i32 @_Z1cv() [[NUW_RN_CALL:#[0-9]+]]
9 // CHECK: call i32 @_Z1pv() [[NUW_RO_CALL:#[0-9]+]]
10 return c() + p() + t();
11 }
12
13 // CHECK: declare i32 @_Z1cv() [[NUW_RN:#[0-9]+]]
14 // CHECK: declare i32 @_Z1pv() [[NUW_RO:#[0-9]+]]
15 // CHECK: declare i32 @_Z1tv() [[TF2:#[0-9]+]]
16
17 // CHECK: attributes [[TF]] = { {{.*}} }
18 // CHECK: attributes [[NUW_RN]] = { nounwind readnone willreturn{{.*}} }
19 // CHECK: attributes [[NUW_RO]] = { nounwind readonly willreturn{{.*}} }
20 // CHECK: attributes [[TF2]] = { {{.*}} }
21 // CHECK: attributes [[NUW_RN_CALL]] = { nounwind readnone willreturn }
22 // CHECK: attributes [[NUW_RO_CALL]] = { nounwind readonly willreturn }
23