clang/test/CodeGenCXX/2009-05-04-PureConstNounwind.cpp

   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]+]] {
   7 int 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) }