annotate clang/test/CodeGenCXX/2009-05-04-PureConstNounwind.cpp @ 206:f17a3b42b08b

Added tag before-12 for changeset b7591485f4cd
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 07 Jun 2021 21:25:57 +0900
parents 1d019706d866
children 2e18cbf3894f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -triple i386-unknown-unknown -fexceptions -emit-llvm %s -o - | FileCheck %s
anatofuz
parents:
diff changeset
2 int c(void) __attribute__((const));
anatofuz
parents:
diff changeset
3 int p(void) __attribute__((pure));
anatofuz
parents:
diff changeset
4 int t(void);
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 // CHECK: define i32 @_Z1fv() [[TF:#[0-9]+]] {
anatofuz
parents:
diff changeset
7 int f(void) {
anatofuz
parents:
diff changeset
8 // CHECK: call i32 @_Z1cv() [[NUW_RN_CALL:#[0-9]+]]
anatofuz
parents:
diff changeset
9 // CHECK: call i32 @_Z1pv() [[NUW_RO_CALL:#[0-9]+]]
anatofuz
parents:
diff changeset
10 return c() + p() + t();
anatofuz
parents:
diff changeset
11 }
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 // CHECK: declare i32 @_Z1cv() [[NUW_RN:#[0-9]+]]
anatofuz
parents:
diff changeset
14 // CHECK: declare i32 @_Z1pv() [[NUW_RO:#[0-9]+]]
anatofuz
parents:
diff changeset
15 // CHECK: declare i32 @_Z1tv() [[TF2:#[0-9]+]]
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 // CHECK: attributes [[TF]] = { {{.*}} }
anatofuz
parents:
diff changeset
18 // CHECK: attributes [[NUW_RN]] = { nounwind readnone{{.*}} }
anatofuz
parents:
diff changeset
19 // CHECK: attributes [[NUW_RO]] = { nounwind readonly{{.*}} }
anatofuz
parents:
diff changeset
20 // CHECK: attributes [[TF2]] = { {{.*}} }
anatofuz
parents:
diff changeset
21 // CHECK: attributes [[NUW_RN_CALL]] = { nounwind readnone }
anatofuz
parents:
diff changeset
22 // CHECK: attributes [[NUW_RO_CALL]] = { nounwind readonly }