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