maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Reapply r176133 with testcase fixes. 

llvm-svn: 176145
This commit is contained in:
Bill Wendling 2013-02-27 00:06:04 +00:00
parent 4a7bf49bd4
commit 2386bb130c
32 changed files with 128 additions and 203 deletions

13
clang/lib/CodeGen/CGCall.cpp
View File

@ -1021,19 +1021,6 @@ void CodeGenModule::ConstructAttributeList(const CGFunctionInfo &FI,
// Attributes that should go on the call site only.
if (!CodeGenOpts.SimplifyLibCalls)
FuncAttrs.addAttribute(llvm::Attribute::NoBuiltin);
} else {
// Attributes that should go on the function, but not the call site.
if (!TargetOpts.CPU.empty())
FuncAttrs.addAttribute("target-cpu", TargetOpts.CPU);
if (TargetOpts.Features.size()) {
llvm::SubtargetFeatures Features;
for (std::vector<std::string>::const_iterator
it = TargetOpts.Features.begin(),
ie = TargetOpts.Features.end(); it != ie; ++it)
Features.AddFeature(*it);
FuncAttrs.addAttribute("target-features", Features.getString());
}
}
QualType RetTy = FI.getReturnType();

9
clang/test/CodeGen/address-safety-attr.cpp
View File

@ -47,15 +47,12 @@ int force_instance = TemplateAddressSafetyOk<42>()
// Check that __cxx_global_var_init* get the sanitize_address attribute.
int global1 = 0;
int global2 = *(int*)((char*)&global1+1);
// WITHOUT: @__cxx_global_var_init{{.*}}#[[GVI:[0-9]+]]
// BL: @__cxx_global_var_init{{.*}}#[[GVI:[0-9]+]]
// ASAN: @__cxx_global_var_init{{.*}}#[[GVI:[0-9]+]]
// WITHOUT: @__cxx_global_var_init{{.*}}#[[NOATTR]]
// BL: @__cxx_global_var_init{{.*}}#[[NOATTR]]
// ASAN: @__cxx_global_var_init{{.*}}#[[WITH]]
// WITHOUT: attributes #[[NOATTR]] = { nounwind{{.*}} }
// WITHOUT: attributes #[[GVI]] = { nounwind{{.*}} }
// BL: attributes #[[NOATTR]] = { nounwind{{.*}} }
// BL: attributes #[[GVI]] = { nounwind{{.*}} }
// ASAN: attributes #[[NOATTR]] = { nounwind{{.*}} }
// ASAN: attributes #[[WITH]] = {{.*}}sanitize_address
// ASAN: attributes #[[GVI]] = {{.*}}sanitize_address

8
clang/test/CodeGen/function-attributes.c
View File

@ -43,7 +43,7 @@ void f9b(void) { f9a(); }
// FIXME: We should be setting nounwind on calls.
// CHECK: call i32 @f10_t()
// CHECK: [[NUW_RN:#[0-9]+]]
// CHECK: [[NUW]]
// CHECK: {
int __attribute__((const)) f10_t(void);
int f10(void) { return f10_t(); }
@ -119,8 +119,6 @@ void f19(void) {
// CHECK: attributes [[NUW]] = { nounwind optsize readnone{{.*}} }
// CHECK: attributes [[AI]] = { alwaysinline nounwind optsize readnone{{.*}} }
// CHECK: attributes [[ALIGN]] = { nounwind optsize readnone alignstack=16{{.*}} }
// CHECK: attributes [[RT]] = { nounwind optsize returns_twice{{.*}} }
// CHECK: attributes [[NR]] = { noreturn nounwind optsize }
// CHECK: attributes [[NUW_RN]] = { nounwind optsize readnone }
// CHECK: attributes [[RT_CALL]] = { nounwind optsize returns_twice }
// CHECK: attributes [[ALIGN]] = { nounwind optsize readnone alignstack=16{{.*}} }
// CHECK: attributes [[RT]] = { nounwind optsize returns_twice }

33
clang/test/CodeGen/libcalls.c
View File

@ -24,9 +24,9 @@ void test_sqrt(float a0, double a1, long double a2) {
// CHECK-YES: declare float @sqrtf(float)
// CHECK-YES: declare double @sqrt(double)
// CHECK-YES: declare x86_fp80 @sqrtl(x86_fp80)
// CHECK-NO: declare float @sqrtf(float) [[NUW_RN1:#[0-9]+]]
// CHECK-NO: declare double @sqrt(double) [[NUW_RN1]]
// CHECK-NO: declare x86_fp80 @sqrtl(x86_fp80) [[NUW_RN1]]
// CHECK-NO: declare float @sqrtf(float) [[NUW_RN:#[0-9]+]]
// CHECK-NO: declare double @sqrt(double) [[NUW_RN]]
// CHECK-NO: declare x86_fp80 @sqrtl(x86_fp80) [[NUW_RN]]
// CHECK-YES: define void @test_pow
// CHECK-NO: define void @test_pow
@ -81,9 +81,9 @@ void test_builtins(double d, float f, long double ld) {
double atan_ = atan(d);
long double atanl_ = atanl(ld);
float atanf_ = atanf(f);
// CHECK-NO: declare double @atan(double) [[NUW_RN1]]
// CHECK-NO: declare x86_fp80 @atanl(x86_fp80) [[NUW_RN1]]
// CHECK-NO: declare float @atanf(float) [[NUW_RN1]]
// CHECK-NO: declare double @atan(double) [[NUW_RN]]
// CHECK-NO: declare x86_fp80 @atanl(x86_fp80) [[NUW_RN]]
// CHECK-NO: declare float @atanf(float) [[NUW_RN]]
// CHECK-YES-NOT: declare double @atan(double) [[NUW_RN]]
// CHECK-YES-NOT: declare x86_fp80 @atanl(x86_fp80) [[NUW_RN]]
// CHECK-YES-NOT: declare float @atanf(float) [[NUW_RN]]
@ -91,9 +91,9 @@ void test_builtins(double d, float f, long double ld) {
double atan2_ = atan2(d, 2);
long double atan2l_ = atan2l(ld, ld);
float atan2f_ = atan2f(f, f);
// CHECK-NO: declare double @atan2(double, double) [[NUW_RN1]]
// CHECK-NO: declare x86_fp80 @atan2l(x86_fp80, x86_fp80) [[NUW_RN1]]
// CHECK-NO: declare float @atan2f(float, float) [[NUW_RN1]]
// CHECK-NO: declare double @atan2(double, double) [[NUW_RN]]
// CHECK-NO: declare x86_fp80 @atan2l(x86_fp80, x86_fp80) [[NUW_RN]]
// CHECK-NO: declare float @atan2f(float, float) [[NUW_RN]]
// CHECK-YES-NOT: declare double @atan2(double, double) [[NUW_RN]]
// CHECK-YES-NOT: declare x86_fp80 @atan2l(x86_fp80, x86_fp80) [[NUW_RN]]
// CHECK-YES-NOT: declare float @atan2f(float, float) [[NUW_RN]]
@ -101,9 +101,9 @@ void test_builtins(double d, float f, long double ld) {
double exp_ = exp(d);
long double expl_ = expl(ld);
float expf_ = expf(f);
// CHECK-NO: declare double @exp(double) [[NUW_RN1]]
// CHECK-NO: declare x86_fp80 @expl(x86_fp80) [[NUW_RN1]]
// CHECK-NO: declare float @expf(float) [[NUW_RN1]]
// CHECK-NO: declare double @exp(double) [[NUW_RN]]
// CHECK-NO: declare x86_fp80 @expl(x86_fp80) [[NUW_RN]]
// CHECK-NO: declare float @expf(float) [[NUW_RN]]
// CHECK-YES-NOT: declare double @exp(double) [[NUW_RN]]
// CHECK-YES-NOT: declare x86_fp80 @expl(x86_fp80) [[NUW_RN]]
// CHECK-YES-NOT: declare float @expf(float) [[NUW_RN]]
@ -111,9 +111,9 @@ void test_builtins(double d, float f, long double ld) {
double log_ = log(d);
long double logl_ = logl(ld);
float logf_ = logf(f);
// CHECK-NO: declare double @log(double) [[NUW_RN1]]
// CHECK-NO: declare x86_fp80 @logl(x86_fp80) [[NUW_RN1]]
// CHECK-NO: declare float @logf(float) [[NUW_RN1]]
// CHECK-NO: declare double @log(double) [[NUW_RN]]
// CHECK-NO: declare x86_fp80 @logl(x86_fp80) [[NUW_RN]]
// CHECK-NO: declare float @logf(float) [[NUW_RN]]
// CHECK-YES-NOT: declare double @log(double) [[NUW_RN]]
// CHECK-YES-NOT: declare x86_fp80 @logl(x86_fp80) [[NUW_RN]]
// CHECK-YES-NOT: declare float @logf(float) [[NUW_RN]]
@ -121,6 +121,5 @@ void test_builtins(double d, float f, long double ld) {
// CHECK-YES: attributes [[NUW_RN]] = { nounwind readnone }
// CHECK-NO: attributes [[NUW_RN1]] = { nounwind readnone{{.*}} }
// CHECK-NO: attributes [[NUW_RN]] = { nounwind readnone{{.*}} }
// CHECK-NO: attributes [[NUW_RO]] = { nounwind readonly }
// CHECK-NO: attributes [[NUW_RN2]] = { nounwind readnone }

14
clang/test/CodeGen/mips-vector-arg.c
View File

@ -8,26 +8,24 @@
typedef float v4sf __attribute__ ((__vector_size__ (16)));
typedef int v4i32 __attribute__ ((__vector_size__ (16)));
// O32: define void @test_v4sf(i32 %a1.coerce0, i32 %a1.coerce1, i32 %a1.coerce2, i32 %a1.coerce3, i32 %a2, i32, i32 %a3.coerce0, i32 %a3.coerce1, i32 %a3.coerce2, i32 %a3.coerce3) [[NUW1:#[0-9]+]]
// O32: define void @test_v4sf(i32 %a1.coerce0, i32 %a1.coerce1, i32 %a1.coerce2, i32 %a1.coerce3, i32 %a2, i32, i32 %a3.coerce0, i32 %a3.coerce1, i32 %a3.coerce2, i32 %a3.coerce3) [[NUW:#[0-9]+]]
// O32: declare i32 @test_v4sf_2(i32, i32, i32, i32, i32, i32, i32, i32, i32, i32)
// N64: define void @test_v4sf(i64 %a1.coerce0, i64 %a1.coerce1, i32 %a2, i64, i64 %a3.coerce0, i64 %a3.coerce1) [[NUW1:#[0-9]+]]
// N64: define void @test_v4sf(i64 %a1.coerce0, i64 %a1.coerce1, i32 %a2, i64, i64 %a3.coerce0, i64 %a3.coerce1) [[NUW:#[0-9]+]]
// N64: declare i32 @test_v4sf_2(i64, i64, i32, i64, i64, i64)
extern test_v4sf_2(v4sf, int, v4sf);
void test_v4sf(v4sf a1, int a2, v4sf a3) {
test_v4sf_2(a3, a2, a1);
}
// O32: define void @test_v4i32(i32 %a1.coerce0, i32 %a1.coerce1, i32 %a1.coerce2, i32 %a1.coerce3, i32 %a2, i32, i32 %a3.coerce0, i32 %a3.coerce1, i32 %a3.coerce2, i32 %a3.coerce3) [[NUW2:#[0-9]+]]
// O32: define void @test_v4i32(i32 %a1.coerce0, i32 %a1.coerce1, i32 %a1.coerce2, i32 %a1.coerce3, i32 %a2, i32, i32 %a3.coerce0, i32 %a3.coerce1, i32 %a3.coerce2, i32 %a3.coerce3) [[NUW]]
// O32: declare i32 @test_v4i32_2(i32, i32, i32, i32, i32, i32, i32, i32, i32, i32)
// N64: define void @test_v4i32(i64 %a1.coerce0, i64 %a1.coerce1, i32 %a2, i64, i64 %a3.coerce0, i64 %a3.coerce1) [[NUW2:#[0-9]+]]
// N64: define void @test_v4i32(i64 %a1.coerce0, i64 %a1.coerce1, i32 %a2, i64, i64 %a3.coerce0, i64 %a3.coerce1) [[NUW]]
// N64: declare i32 @test_v4i32_2(i64, i64, i32, i64, i64, i64)
extern test_v4i32_2(v4i32, int, v4i32);
void test_v4i32(v4i32 a1, int a2, v4i32 a3) {
test_v4i32_2(a3, a2, a1);
}
// O32: attributes [[NUW1]] = { nounwind{{.*}} }
// O32: attributes [[NUW2]] = { nounwind{{.*}} }
// O32: attributes [[NUW]] = { nounwind{{.*}} }
// N64: attributes [[NUW1]] = { nounwind{{.*}} }
// N64: attributes [[NUW2]] = { nounwind{{.*}} }
// N64: attributes [[NUW]] = { nounwind{{.*}} }

9
clang/test/CodeGen/sanitize-thread-attr.cpp
View File

@ -46,15 +46,12 @@ int force_instance = TemplateTSANOk<42>()
// Check that __cxx_global_var_init* get the sanitize_thread attribute.
int global1 = 0;
int global2 = *(int*)((char*)&global1+1);
// WITHOUT: @__cxx_global_var_init{{.*}}#[[GVI:[0-9]+]]
// BL: @__cxx_global_var_init{{.*}}#[[GVI:[0-9]+]]
// TSAN: @__cxx_global_var_init{{.*}}#[[GVI:[0-9]+]]
// WITHOUT: @__cxx_global_var_init{{.*}}#[[NOATTR]]
// BL: @__cxx_global_var_init{{.*}}#[[NOATTR]]
// TSAN: @__cxx_global_var_init{{.*}}#[[WITH]]
// WITHOUT: attributes #[[NOATTR]] = { nounwind{{.*}} }
// WITHOUT: attributes #[[GVI]] = { nounwind{{.*}} }
// BL: attributes #[[NOATTR]] = { nounwind{{.*}} }
// BL: attributes #[[GVI]] = { nounwind{{.*}} }
// TSAN: attributes #[[NOATTR]] = { nounwind{{.*}} }
// TSAN: attributes #[[WITH]] = { nounwind{{.*}} sanitize_thread
// TSAN: attributes #[[GVI]] = { nounwind{{.*}} sanitize_thread

5
clang/test/CodeGen/unwind-attr.c
View File

@ -3,7 +3,7 @@
int opaque();
// CHECK: define [[INT:i.*]] @test0() [[NONE:#[0-9]+]] {
// CHECK: define [[INT:i.*]] @test0() {
// CHECK-NOEXC: define [[INT:i.*]] @test0() [[NUW:#[0-9]+]] {
int test0(void) {
return opaque();
@ -17,13 +17,12 @@ int test1(void) {
}
// <rdar://problem/8283071>: not for weak functions
// CHECK: define weak [[INT:i.*]] @test2() [[NONE]] {
// CHECK: define weak [[INT:i.*]] @test2() {
// CHECK-NOEXC: define weak [[INT:i.*]] @test2() [[NUW]] {
__attribute__((weak)) int test2(void) {
return 0;
}
// CHECK: attributes [[NONE]] = { {{.*}} }
// CHECK: attributes [[NUW]] = { nounwind{{.*}} }
// CHECK-NOEXC: attributes [[NUW]] = { nounwind{{.*}} }

11
clang/test/CodeGenCXX/2009-05-04-PureConstNounwind.cpp
View File

@ -3,19 +3,16 @@ int c(void) __attribute__((const));
int p(void) __attribute__((pure));
int t(void);
// CHECK: define i32 @_Z1fv() {{.*}} {
// CHECK: define i32 @_Z1fv() {
int f(void) {
// CHECK: call i32 @_Z1cv() [[NUW_RN:#[0-9]+]]
// CHECK: call i32 @_Z1pv() [[NUW_RO:#[0-9]+]]
return c() + p() + t();
}
// CHECK: declare i32 @_Z1cv() #1
// CHECK: declare i32 @_Z1pv() #2
// CHECK: declare i32 @_Z1tv() #0
// CHECK: declare i32 @_Z1cv() #0
// CHECK: declare i32 @_Z1pv() #1
// CHECK: declare i32 @_Z1tv()
// CHECK: attributes #0 = { "target-features"={{.*}} }
// CHECK: attributes #1 = { nounwind readnone "target-features"={{.*}} }
// CHECK: attributes #2 = { nounwind readonly "target-features"={{.*}} }
// CHECK: attributes [[NUW_RN]] = { nounwind readnone }
// CHECK: attributes [[NUW_RO]] = { nounwind readonly }

15
clang/test/CodeGenCXX/attr.cpp
View File

@ -2,7 +2,7 @@
// CHECK: @test2 = alias i32 ()* @_Z5test1v
// CHECK: define i32 @_Z3foov() #0 align 1024
// CHECK: define i32 @_Z3foov() [[NUW:#[0-9]+]] align 1024
int foo() __attribute__((aligned(1024)));
int foo() { }
@ -13,16 +13,16 @@ class C {
void bar4() __attribute__((aligned(1024)));
} c;
// CHECK: define void @_ZN1C4bar1Ev(%class.C* %this) unnamed_addr #0 align 2
// CHECK: define void @_ZN1C4bar1Ev(%class.C* %this) unnamed_addr [[NUW]] align 2
void C::bar1() { }
// CHECK: define void @_ZN1C4bar2Ev(%class.C* %this) unnamed_addr #0 align 2
// CHECK: define void @_ZN1C4bar2Ev(%class.C* %this) unnamed_addr [[NUW]] align 2
void C::bar2() { }
// CHECK: define void @_ZN1C4bar3Ev(%class.C* %this) unnamed_addr #0 align 1024
// CHECK: define void @_ZN1C4bar3Ev(%class.C* %this) unnamed_addr [[NUW]] align 1024
void C::bar3() { }
// CHECK: define void @_ZN1C4bar4Ev(%class.C* %this) #0 align 1024
// CHECK: define void @_ZN1C4bar4Ev(%class.C* %this) [[NUW]] align 1024
void C::bar4() { }
// PR6635
@ -31,7 +31,4 @@ int test1() { return 10; }
// CHECK at top of file
extern "C" int test2() __attribute__((alias("_Z5test1v")));
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #1 = { noreturn nounwind }
// CHECK: attributes #2 = { nounwind }
// CHECK: attributes #3 = { inlinehint nounwind "target-features"={{.*}} }
// CHECK: attributes [[NUW]] = { nounwind }

72
clang/test/CodeGenCXX/cxx11-exception-spec.cpp
View File

@ -10,99 +10,99 @@ template<typename T> struct S {
static void g() noexcept(sizeof(T) == 4);
};
// CHECK: define {{.*}} @_Z1fIsEvv() #0 {
// CHECK: define {{.*}} @_Z1fIsEvv() {
template<> void f<short>() { h(); }
// CHECK: define {{.*}} @_Z1fIA2_sEvv() #1 {
// CHECK: define {{.*}} @_Z1fIA2_sEvv() [[NUW:#[0-9]+]] {
template<> void f<short[2]>() noexcept { h(); }
// CHECK: define {{.*}} @_ZN1SIsE1fEv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
template<> void S<short>::f() { h(); }
// CHECK: define {{.*}} @_ZN1SIA2_sE1fEv() #1
// CHECK: define {{.*}} @_ZN1SIA2_sE1fEv() [[NUW]]
template<> void S<short[2]>::f() noexcept { h(); }
// CHECK: define {{.*}} @_Z1fIDsEvv() #0 {
// CHECK: define {{.*}} @_Z1fIDsEvv() {
template void f<char16_t>();
// CHECK: define {{.*}} @_Z1fIA2_DsEvv() #1 {
// CHECK: define {{.*}} @_Z1fIA2_DsEvv() [[NUW]] {
template void f<char16_t[2]>();
// CHECK: define {{.*}} @_ZN1SIDsE1fEv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
template void S<char16_t>::f();
// CHECK: define {{.*}} @_ZN1SIA2_DsE1fEv() #1
// CHECK: define {{.*}} @_ZN1SIA2_DsE1fEv() [[NUW]]
template void S<char16_t[2]>::f();
void h() {
// CHECK: define {{.*}} @_Z1fIiEvv() #1 {
// CHECK: define {{.*}} @_Z1fIiEvv() [[NUW]] {
f<int>();
// CHECK: define {{.*}} @_Z1fIA2_iEvv() #0 {
// CHECK: define {{.*}} @_Z1fIA2_iEvv() {
f<int[2]>();
// CHECK: define {{.*}} @_ZN1SIiE1fEv() #1
// CHECK: define {{.*}} @_ZN1SIiE1fEv() [[NUW]]
S<int>::f();
// CHECK: define {{.*}} @_ZN1SIA2_iE1fEv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
S<int[2]>::f();
// CHECK: define {{.*}} @_Z1fIfEvv() #1 {
// CHECK: define {{.*}} @_Z1fIfEvv() [[NUW]] {
void (*f1)() = &f<float>;
// CHECK: define {{.*}} @_Z1fIdEvv() #0 {
// CHECK: define {{.*}} @_Z1fIdEvv() {
void (*f2)() = &f<double>;
// CHECK: define {{.*}} @_ZN1SIfE1fEv() #1
// CHECK: define {{.*}} @_ZN1SIfE1fEv() [[NUW]]
void (*f3)() = &S<float>::f;
// CHECK: define {{.*}} @_ZN1SIdE1fEv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
void (*f4)() = &S<double>::f;
// CHECK: define {{.*}} @_Z1fIA4_cEvv() #1 {
// CHECK: define {{.*}} @_Z1fIA4_cEvv() [[NUW]] {
(void)&f<char[4]>;
// CHECK: define {{.*}} @_Z1fIcEvv() #0 {
// CHECK: define {{.*}} @_Z1fIcEvv() {
(void)&f<char>;
// CHECK: define {{.*}} @_ZN1SIA4_cE1fEv() #1
// CHECK: define {{.*}} @_ZN1SIA4_cE1fEv() [[NUW]]
(void)&S<char[4]>::f;
// CHECK: define {{.*}} @_ZN1SIcE1fEv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
(void)&S<char>::f;
}
// CHECK: define {{.*}} @_Z1iv
void i() {
// CHECK: declare {{.*}} @_Z1gIiEvv() #1
// CHECK: declare {{.*}} @_Z1gIiEvv() [[NUW]]
g<int>();
// CHECK: declare {{.*}} @_Z1gIA2_iEvv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
g<int[2]>();
// CHECK: declare {{.*}} @_ZN1SIiE1gEv() #1
// CHECK: declare {{.*}} @_ZN1SIiE1gEv() [[NUW]]
S<int>::g();
// CHECK: declare {{.*}} @_ZN1SIA2_iE1gEv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
S<int[2]>::g();
// CHECK: declare {{.*}} @_Z1gIfEvv() #1
// CHECK: declare {{.*}} @_Z1gIfEvv() [[NUW]]
void (*g1)() = &g<float>;
// CHECK: declare {{.*}} @_Z1gIdEvv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
void (*g2)() = &g<double>;
// CHECK: declare {{.*}} @_ZN1SIfE1gEv() #1
// CHECK: declare {{.*}} @_ZN1SIfE1gEv() [[NUW]]
void (*g3)() = &S<float>::g;
// CHECK: declare {{.*}} @_ZN1SIdE1gEv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
void (*g4)() = &S<double>::g;
// CHECK: declare {{.*}} @_Z1gIA4_cEvv() #1
// CHECK: declare {{.*}} @_Z1gIA4_cEvv() [[NUW]]
(void)&g<char[4]>;
// CHECK: declare {{.*}} @_Z1gIcEvv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
(void)&g<char>;
// CHECK: declare {{.*}} @_ZN1SIA4_cE1gEv() #1
// CHECK: declare {{.*}} @_ZN1SIA4_cE1gEv() [[NUW]]
(void)&S<char[4]>::g;
// CHECK: declare {{.*}} @_ZN1SIcE1gEv()
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
(void)&S<char>::g;
}
@ -113,12 +113,10 @@ template<typename T> struct Nested {
// CHECK: define {{.*}} @_Z1jv
void j() {
// CHECK: declare {{.*}} @_ZN6NestedIiE1fILb1EcEEvv(
// CHECK-NOT: #1
// CHECK-NOT: [[NUW]]
Nested<int>().f<true, char>();
// CHECK: declare {{.*}} @_ZN6NestedIlE1fILb0ElEEvv({{.*}}) #1
// CHECK: declare {{.*}} @_ZN6NestedIlE1fILb0ElEEvv({{.*}}) [[NUW]]
Nested<long>().f<false, long>();
}
// CHECK: attributes #0 = { "target-features"={{.*}} }
// CHECK: attributes #1 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #2 = { noinline noreturn nounwind }
// CHECK: attributes [[NUW]] = { nounwind }

2
clang/test/CodeGenCXX/default-destructor-synthesis.cpp
View File

@ -35,4 +35,4 @@ int f() {
return count;
}
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #0 = { nounwind{{.*}} }

3
clang/test/CodeGenCXX/derived-to-base.cpp
View File

@ -46,5 +46,4 @@ namespace test3 {
}
}
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #1 = { "target-features"={{.*}} }
// CHECK: attributes #0 = { nounwind{{.*}} }

3
clang/test/CodeGenCXX/dynamic-cast.cpp
View File

@ -17,6 +17,7 @@ const B& f(A *a) {
return fail;
}
// CHECK: declare i8* @__dynamic_cast(i8*, i8*, i8*, i64) #2
// CHECK: declare i8* @__dynamic_cast(i8*, i8*, i8*, i64) [[NUW_RO:#[0-9]+]]
// CHECK: attributes [[NUW_RO]] = { nounwind readonly }
// CHECK: attributes [[NR]] = { noreturn }

8
clang/test/CodeGenCXX/exceptions.cpp
View File

@ -71,7 +71,7 @@ namespace test1 {
// rdar://11904428
// Terminate landing pads should call __cxa_begin_catch first.
// CHECK: define linkonce_odr hidden void @__clang_call_terminate(i8*) #2
// CHECK: define linkonce_odr hidden void @__clang_call_terminate(i8*) [[NI_NR_NUW:#[0-9]+]]
// CHECK-NEXT: [[T0:%.*]] = call i8* @__cxa_begin_catch(i8* %0) [[NUW:#[0-9]+]]
// CHECK-NEXT: call void @_ZSt9terminatev() [[NR_NUW:#[0-9]+]]
// CHECK-NEXT: unreachable
@ -526,10 +526,6 @@ namespace test11 {
// (After this is a terminate landingpad.)
}
// CHECK: attributes #0 = { "target-features"={{.*}} }
// CHECK: attributes #1 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #2 = { noinline noreturn nounwind }
// CHECK: attributes #3 = { nounwind readnone }
// CHECK: attributes [[NUW]] = { nounwind }
// CHECK: attributes [[NI_NR_NUW]] = { noinline noreturn nounwind }
// CHECK: attributes [[NR_NUW]] = { noreturn nounwind }

2
clang/test/CodeGenCXX/global-dtor-no-atexit.cpp
View File

@ -44,5 +44,3 @@ void func() {
}
// CHECK: attributes #0 = { nounwind }
// CHECK: attributes #1 = { "target-features"={{.*}} }
// CHECK: attributes #2 = { nounwind "target-features"={{.*}} }

13
clang/test/CodeGenCXX/global-init.cpp
View File

@ -200,15 +200,6 @@ namespace test7 {
// CHECK: call void [[TEST1_Z_INIT]]
// rdar://problem/8090834: this should be nounwind
// CHECK-NOEXC: define internal void @_GLOBAL__I_a() #0 section "__TEXT,__StaticInit,regular,pure_instructions" {
// CHECK-NOEXC: define internal void @_GLOBAL__I_a() [[NUW:#[0-9]+]] section "__TEXT,__StaticInit,regular,pure_instructions" {
// CHECK: attributes #0 = { "target-features"={{.*}} }
// CHECK: attributes #1 = { nounwind }
// CHECK: attributes #2 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #3 = { noinline noreturn nounwind }
// CHECK: attributes #4 = { nounwind readonly }
// CHECK-NOEXC: attributes #0 = { nounwind }
// CHECK-NOEXC: attributes #1 = { "target-features"={{.*}} }
// CHECK-NOEXC: attributes #2 = { nounwind "target-features"={{.*}} }
// CHECK-NOEXC: attributes #3 = { nounwind readonly }
// CHECK-NOEXC: attributes [[NUW]] = { nounwind }

2
clang/test/CodeGenCXX/member-initializers.cpp
View File

@ -32,4 +32,4 @@ int test_fold() {
return A(2).i;
}
// CHECK: attributes #0 = { nounwind readnone "target-features"={{.*}} }
// CHECK: attributes #0 = { nounwind readnone{{.*}} }

3
clang/test/CodeGenCXX/microsoft-abi-array-cookies.cpp
View File

@ -58,5 +58,4 @@ void check_array_cookies_aligned() {
// CHECK: getelementptr inbounds i8* [[ARRAY_AS_CHAR]], i64 -8
}
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #1 = { "target-features"={{.*}} }
// CHECK: attributes #0 = { nounwind{{.*}} }

11
clang/test/CodeGenCXX/microsoft-abi-static-initializers.cpp
View File

@ -5,12 +5,12 @@ struct S {
~S() {}
} s;
// CHECK: define internal void [[INIT_s:@.*global_var.*]] #0
// CHECK: define internal void [[INIT_s:@.*global_var.*]] [[NUW:#[0-9]+]]
// CHECK: %{{[.0-9A-Z_a-z]+}} = call x86_thiscallcc %struct.S* @"\01??0S@@QAE@XZ"
// CHECK: call i32 @atexit(void ()* @"__dtor_\01?s@@3US@@A")
// CHECK: ret void
// CHECK: define internal void @"__dtor_\01?s@@3US@@A"() #0 {
// CHECK: define internal void @"__dtor_\01?s@@3US@@A"() [[NUW]] {
// CHECK: call x86_thiscallcc void @"\01??1S@@QAE@XZ"
// CHECK: ret void
@ -33,7 +33,7 @@ void force_usage() {
(void)B<int>::foo; // (void) - force usage
}
// CHECK: define internal void [[INIT_foo:@.*global_var.*]] #0
// CHECK: define internal void [[INIT_foo:@.*global_var.*]] [[NUW]]
// CHECK: %{{[.0-9A-Z_a-z]+}} = call x86_thiscallcc %class.A* @"\01??0A@@QAE@XZ"
// CHECK: call i32 @atexit(void ()* [[FOO_DTOR:@"__dtor_.*foo@.*]])
// CHECK: ret void
@ -46,10 +46,9 @@ void force_usage() {
// CHECK: call x86_thiscallcc void @"\01??1A@@QAE@XZ"{{.*}}foo
// CHECK: ret void
// CHECK: define internal void @_GLOBAL__I_a() #0 {
// CHECK: define internal void @_GLOBAL__I_a() [[NUW]] {
// CHECK: call void [[INIT_s]]
// CHECK: call void [[INIT_foo]]
// CHECK: ret void
// CHECK: attributes #0 = { nounwind }
// CHECK: attributes #1 = { nounwind "target-features"={{.*}} }
// CHECK: attributes [[NUW]] = { nounwind }

5
clang/test/CodeGenCXX/no-exceptions.cpp
View File

@ -2,7 +2,7 @@
void g();
// CHECK: define void @_Z1fv() #0
// CHECK: define void @_Z1fv() [[NUW:#[0-9]+]]
void f() throw (int) {
// CHECK-NOT: invoke void @_Z1gv
@ -11,5 +11,4 @@ void f() throw (int) {
// CHECK: ret void
}
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #1 = { "target-features"={{.*}} }
// CHECK: attributes [[NUW]] = { nounwind }

9
clang/test/CodeGenCXX/pointers-to-data-members.cpp
View File

@ -151,13 +151,13 @@ struct A {
A() : a() {}
};
// CHECK-O3: define zeroext i1 @_ZN6PR71395checkEv() #0
// CHECK-O3: define zeroext i1 @_ZN6PR71395checkEv() [[NUW_RO:#[0-9]+]]
bool check() {
// CHECK-O3: ret i1 true
return A().a.data == 0;
}
// CHECK-O3: define zeroext i1 @_ZN6PR71396check2Ev() #0
// CHECK-O3: define zeroext i1 @_ZN6PR71396check2Ev() [[NUW_RO]]
bool check2() {
// CHECK-O3: ret i1 true
return ptr_to_member_type() == 0;
@ -255,7 +255,4 @@ namespace PR13097 {
// CHECK: call void @_ZN7PR130971XC1ERKS0_
}
// CHECK-O3: attributes #0 = { nounwind readnone "target-features"={{.*}} }
// CHECK-O3: attributes #1 = { nounwind "target-features"={{.*}} }
// CHECK-O3: attributes #2 = { "target-features"={{.*}} }
// CHECK-O3: attributes #3 = { nounwind }
// CHECK-O3: attributes [[NUW_RO]] = { nounwind readnone{{.*}} }

5
clang/test/CodeGenCXX/reference-cast.cpp
View File

@ -3,7 +3,7 @@
// PR6024
extern int i;
// CHECK: define i32* @_Z16lvalue_noop_castv() #0
// CHECK: define i32* @_Z16lvalue_noop_castv() [[NUW:#[0-9]+]]
const int &lvalue_noop_cast() {
if (i == 0)
// CHECK: store i32 17, i32*
@ -193,5 +193,4 @@ namespace PR10650 {
// CHECK: store i64
}
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #1 = { "target-features"={{.*}} }
// CHECK: attributes [[NUW]] = { nounwind }

11
clang/test/CodeGenCXX/threadsafe-statics.cpp
View File

@ -6,7 +6,7 @@ int f();
// WITH-TSS: @_ZZ1gvE1a = internal global i32 0, align 4
// WITH-TSS: @_ZGVZ1gvE1a = internal global i64 0
// WITH-TSS: define void @_Z1gv() #0
// WITH-TSS: define void @_Z1gv() [[NUW:#[0-9]+]]
// WITH-TSS: call i32 @__cxa_guard_acquire
// WITH-TSS: call void @__cxa_guard_release
// WITH-TSS: ret void
@ -17,14 +17,11 @@ void g() {
// NO-TSS: @_ZZ1gvE1a = internal global i32 0, align 4
// NO-TSS: @_ZGVZ1gvE1a = internal global i8 0
// NO-TSS: define void @_Z1gv() #0
// NO-TSS: define void @_Z1gv() [[NUW:#[0-9]+]]
// NO-TSS-NOT: call i32 @__cxa_guard_acquire
// NO-TSS-NOT: call void @__cxa_guard_release
// NO-TSS: ret void
// WITH-TSS: attributes #0 = { nounwind "target-features"={{.*}} }
// WITH-TSS: attributes #1 = { nounwind }
// WITH-TSS: attributes #2 = { "target-features"={{.*}} }
// WITH-TSS: attributes [[NUW]] = { nounwind }
// NO-TSS: attributes #0 = { nounwind "target-features"={{.*}} }
// NO-TSS: attributes #1 = { "target-features"={{.*}} }
// NO-TSS: attributes [[NUW]] = { nounwind }

7
clang/test/CodeGenCXX/thunks.cpp
View File

@ -339,7 +339,7 @@ namespace Test14 {
};
void C::f() {
}
// CHECK: define void @_ZThn8_N6Test141C1fEv({{.*}}) unnamed_addr #0
// CHECK: define void @_ZThn8_N6Test141C1fEv({{.*}}) unnamed_addr [[NUW:#[0-9]+]]
}
/**** The following has to go at the end of the file ****/
@ -348,7 +348,4 @@ namespace Test14 {
// CHECK: define linkonce_odr void @_ZTv0_n24_N5Test51B1fEv
// CHECK: define internal void @_ZThn8_N6Test4B12_GLOBAL__N_11C1fEv(
// CHECK: attributes #0 = { nounwind uwtable "target-features"={{.*}} }
// CHECK: attributes #1 = { inlinehint nounwind uwtable "target-features"={{.*}} }
// CHECK: attributes #2 = { "target-features"={{.*}} }
// CHECK: attributes #3 = { nounwind "target-features"={{.*}} }
// CHECK: attributes [[NUW]] = { nounwind uwtable{{.*}} }

8
clang/test/CodeGenCXX/virtual-base-cast.cpp
View File

@ -11,25 +11,25 @@ struct D : virtual C, virtual CC { int e; };
D* x;
A* a() { return x; }
// CHECK: @_Z1av() #0
// CHECK: @_Z1av() [[NUW:#[0-9]+]]
// CHECK: [[VBASEOFFSETPTRA:%[a-zA-Z0-9\.]+]] = getelementptr i8* {{.*}}, i64 -16
// CHECK: [[CASTVBASEOFFSETPTRA:%[a-zA-Z0-9\.]+]] = bitcast i8* [[VBASEOFFSETPTRA]] to i32*
// CHECK: load i32* [[CASTVBASEOFFSETPTRA]]
// CHECK: }
B* b() { return x; }
// CHECK: @_Z1bv() #0
// CHECK: @_Z1bv() [[NUW]]
// CHECK: [[VBASEOFFSETPTRA:%[a-zA-Z0-9\.]+]] = getelementptr i8* {{.*}}, i64 -20
// CHECK: [[CASTVBASEOFFSETPTRA:%[a-zA-Z0-9\.]+]] = bitcast i8* [[VBASEOFFSETPTRA]] to i32*
// CHECK: load i32* [[CASTVBASEOFFSETPTRA]]
// CHECK: }
BB* c() { return x; }
// CHECK: @_Z1cv() #0
// CHECK: @_Z1cv() [[NUW]]
// CHECK: [[VBASEOFFSETPTRC:%[a-zA-Z0-9\.]+]] = getelementptr i8* {{.*}}, i64 -24
// CHECK: [[CASTVBASEOFFSETPTRC:%[a-zA-Z0-9\.]+]] = bitcast i8* [[VBASEOFFSETPTRC]] to i32*
// CHECK: [[VBASEOFFSETC:%[a-zA-Z0-9\.]+]] = load i32* [[CASTVBASEOFFSETPTRC]]
// CHECK: add i32 [[VBASEOFFSETC]], 8
// CHECK: }
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes [[NUW]] = { nounwind{{.*}} }

14
clang/test/CodeGenObjC/arc.m
View File

@ -9,7 +9,7 @@
// ARC-ALIEN: declare extern_weak void @objc_storeStrong(i8**, i8*)
// ARC-ALIEN: declare extern_weak i8* @objc_retain(i8*)
// ARC-ALIEN: declare extern_weak i8* @objc_autoreleaseReturnValue(i8*)
// ARC-ALIEN: declare i8* @objc_msgSend(i8*, i8*, ...) #1
// ARC-ALIEN: declare i8* @objc_msgSend(i8*, i8*, ...) [[NLB:#[0-9]+]]
// ARC-ALIEN: declare extern_weak void @objc_release(i8*)
// ARC-ALIEN: declare extern_weak i8* @objc_retainAutoreleasedReturnValue(i8*)
// ARC-ALIEN: declare extern_weak i8* @objc_initWeak(i8**, i8*)
@ -20,10 +20,10 @@
// ARC-ALIEN: declare extern_weak i8* @objc_retainAutorelease(i8*)
// ARC-NATIVE: declare void @objc_storeStrong(i8**, i8*)
// ARC-NATIVE: declare i8* @objc_retain(i8*) #1
// ARC-NATIVE: declare i8* @objc_retain(i8*) [[NLB:#[0-9]+]]
// ARC-NATIVE: declare i8* @objc_autoreleaseReturnValue(i8*)
// ARC-NATIVE: declare i8* @objc_msgSend(i8*, i8*, ...) #1
// ARC-NATIVE: declare void @objc_release(i8*) #1
// ARC-NATIVE: declare i8* @objc_msgSend(i8*, i8*, ...) [[NLB]]
// ARC-NATIVE: declare void @objc_release(i8*) [[NLB]]
// ARC-NATIVE: declare i8* @objc_retainAutoreleasedReturnValue(i8*)
// ARC-NATIVE: declare i8* @objc_initWeak(i8**, i8*)
// ARC-NATIVE: declare i8* @objc_storeWeak(i8**, i8*)
@ -1484,7 +1484,5 @@ void test70(id i) {
};
}
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #1 = { nonlazybind }
// CHECK: attributes #2 = { "target-features"={{.*}} }
// CHECK: attributes [[NUW]] = { nounwind }
// ARC-ALIEN: attributes [[NLB]] = { nonlazybind }
// ARC-NATIVE: attributes [[NLB]] = { nonlazybind }

5
clang/test/CodeGenObjC/gnu-exceptions.m
View File

@ -6,7 +6,7 @@ void log(int i);
@class C;
// CHECK: define void @test0() #0 {
// CHECK: define void @test0() {
void test0() {
@try {
// CHECK: invoke void @opaque()
@ -30,6 +30,3 @@ void test0() {
log(1);
}
// CHECK: attributes #0 = { "target-features"={{.*}} }
// CHECK: attributes #1 = { nounwind readnone }

5
clang/test/CodeGenObjC/nonlazy-msgSend.m
View File

@ -1,9 +1,8 @@
// RUN: %clang_cc1 -triple x86_64-apple-darwin9 -fobjc-runtime=macosx-fragile-10.5 -emit-llvm %s -o - | FileCheck %s
// CHECK: declare i8* @objc_msgSend(i8*, i8*, ...) #1
// CHECK: declare i8* @objc_msgSend(i8*, i8*, ...) [[NLB:#[0-9]+]]
void f0(id x) {
[x foo];
}
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #1 = { nonlazybind }
// CHECK: attributes [[NLB]] = { nonlazybind }

5
clang/test/CodeGenObjC/objc-literal-debugger-test.m
View File

@ -50,7 +50,6 @@ int main() {
#endif
}
// CHECK: declare i8* @objc_msgSend(i8*, i8*, ...) #1
// CHECK: declare i8* @objc_msgSend(i8*, i8*, ...) [[NLB:#[0-9]+]]
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #1 = { nonlazybind }
// CHECK: attributes [[NLB]] = { nonlazybind }

6
clang/test/CodeGenObjC/objc-literal-tests.m
View File

@ -53,7 +53,7 @@ typedef signed char BOOL;
id NSUserName();
// CHECK: define i32 @main() #0
// CHECK: define i32 @main() [[NUW:#[0-9]+]]
int main() {
// CHECK: call{{.*}}@objc_msgSend{{.*}}i8 signext 97
NSNumber *aNumber = @'a';
@ -94,6 +94,4 @@ void baz(void) {
bar(^(void) { return YES; });
}
// CHECK: attributes #0 = { nounwind "target-features"={{.*}} }
// CHECK: attributes #1 = { nonlazybind }
// CHECK: attributes #2 = { "target-features"={{.*}} }
// CHECK: attributes [[NUW]] = { nounwind{{.*}} }

13
clang/test/CodeGenObjCXX/lambda-expressions.mm
View File

@ -25,24 +25,19 @@ typedef int (^fp)();
fp global;
void f2() { global = []{ return 3; }; }
// MRC: define void @_Z2f2v() #1 {
// MRC: define void @_Z2f2v() [[NUW:#[0-9]+]] {
// MRC: store i8* bitcast (i32 (i8*)* @___Z2f2v_block_invoke to i8*),
// MRC-NOT: call
// MRC: ret void
// ("global" contains a dangling pointer after this function runs.)
// ARC: define void @_Z2f2v() #1 {
// ARC: define void @_Z2f2v() [[NUW:#[0-9]+]] {
// ARC: store i8* bitcast (i32 (i8*)* @___Z2f2v_block_invoke to i8*),
// ARC: call i8* @objc_retainBlock
// ARC: call void @objc_release
// ARC: define internal i32 @___Z2f2v_block_invoke
// ARC: call i32 @"_ZZ2f2vENK3$_1clEv
// ARC: attributes #0 = { "target-features"={{.*}} }
// ARC: attributes #1 = { nounwind "target-features"={{.*}} }
// ARC: attributes #2 = { inlinehint nounwind "target-features"={{.*}} }
// ARC: attributes [[NUW]] = { nounwind{{.*}} }
// MRC: attributes #0 = { "target-features"={{.*}} }
// MRC: attributes #1 = { nounwind "target-features"={{.*}} }
// MRC: attributes #2 = { inlinehint nounwind "target-features"={{.*}} }
// MRC: attributes #3 = { nonlazybind }
// MRC: attributes [[NUW]] = { nounwind{{.*}} }

2
clang/test/Driver/darwin-iphone-defaults.m
View File

@ -26,5 +26,5 @@ void f1() {
[I1 alloc];
}
// CHECK: attributes #0 = { ssp "target-cpu"="cortex-a8" "target-features"="+neon" }
// CHECK: attributes #0 = { ssp{{.*}} }
// CHECK: attributes #1 = { nonlazybind }