[PATCH] D24812: Lit C++11 Compatibility Patch #11
This revision was automatically updated to reflect the committed changes. Closed by commit rL295484: [Test] Make Lit tests C++11 compatible - misc (authored by lcharles). Changed prior to commit: https://reviews.llvm.org/D24812?vs=88617&id=88961#toc Repository: rL LLVM https://reviews.llvm.org/D24812 Files: cfe/trunk/test/CodeGenCXX/mangle-unnamed.cpp cfe/trunk/test/CodeGenCXX/static-init.cpp cfe/trunk/test/CodeGenCXX/volatile-1.cpp cfe/trunk/test/CodeGenCXX/volatile.cpp cfe/trunk/test/PCH/macro-undef.cpp Index: cfe/trunk/test/CodeGenCXX/mangle-unnamed.cpp === --- cfe/trunk/test/CodeGenCXX/mangle-unnamed.cpp +++ cfe/trunk/test/CodeGenCXX/mangle-unnamed.cpp @@ -48,17 +48,19 @@ return a; } +#if __cplusplus <= 199711L int f6() { static union { union { int : 1; }; int b; }; - // CHECK: _ZZ2f6vE1b + // CXX98: _ZZ2f6vE1b return b; } +#endif int f7() { static union { Index: cfe/trunk/test/CodeGenCXX/static-init.cpp === --- cfe/trunk/test/CodeGenCXX/static-init.cpp +++ cfe/trunk/test/CodeGenCXX/static-init.cpp @@ -1,4 +1,5 @@ -// RUN: %clang_cc1 %s -triple=x86_64-pc-linuxs -emit-llvm -o - | FileCheck %s +// RUN: %clang_cc1 %s -triple=x86_64-pc-linuxs -emit-llvm -std=c++98 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK98 %s +// RUN: %clang_cc1 %s -triple=x86_64-pc-linuxs -emit-llvm -std=c++11 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s // CHECK: @_ZZ1hvE1i = internal global i32 0, align 4 // CHECK: @base_req = global [4 x i8] c"foo\00", align 1 @@ -9,7 +10,8 @@ // CHECK: @_ZZ2h2vE1i = linkonce_odr global i32 0, comdat, align 4 // CHECK: @_ZGVZ2h2vE1i = linkonce_odr global i64 0, comdat, align 8{{$}} // CHECK: @_ZZN5test1L6getvarEiE3var = internal constant [4 x i32] [i32 1, i32 0, i32 2, i32 4], align 16 -// CHECK: @_ZZN5test414useStaticLocalEvE3obj = linkonce_odr global %"struct.test4::HasVTable" zeroinitializer, comdat, align 8 +// CHECK98: @_ZZN5test414useStaticLocalEvE3obj = linkonce_odr global %"struct.test4::HasVTable" zeroinitializer, comdat, align 8 +// CHECK11: @_ZZN5test414useStaticLocalEvE3obj = linkonce_odr global { i8** } { i8** getelementptr inbounds ({ [3 x i8*] }, { [3 x i8*] }* @_ZTVN5test49HasVTableE, i32 0, inrange i32 0, i32 2) }, comdat, align 8 struct A { A(); @@ -169,5 +171,5 @@ useStaticLocal(); } // CHECK: define linkonce_odr dereferenceable(8) %"struct.test4::HasVTable"* @_ZN5test414useStaticLocalEv() -// CHECK: ret %"struct.test4::HasVTable"* @_ZZN5test414useStaticLocalEvE3obj +// CHECK: ret %"struct.test4::HasVTable"*{{.*}} @_ZZN5test414useStaticLocalEvE3obj } Index: cfe/trunk/test/CodeGenCXX/volatile-1.cpp === --- cfe/trunk/test/CodeGenCXX/volatile-1.cpp +++ cfe/trunk/test/CodeGenCXX/volatile-1.cpp @@ -1,4 +1,5 @@ -// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck %s +// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -std=c++98 -o - | FileCheck %s +// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -std=c++11 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s // CHECK: @i = global [[INT:i[0-9]+]] 0 volatile int i, j, k; @@ -22,18 +23,22 @@ asm("nop"); // CHECK: call void asm - // should not load + // should not load in C++98 i; + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @i (float)(ci); // CHECK-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) // CHECK-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) // CHECK-NEXT: sitofp [[INT]] - // These are not uses in C++: + // These are not uses in C++98: // [expr.static.cast]p6: // The lvalue-to-rvalue . . . conversions are not applied to the expression. (void)ci; + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) + (void)a; (void)(ci=ci); @@ -126,7 +131,8 @@ // CHECK-NEXT: load volatile // CHECK-NEXT: sitofp - (void)i; + (void)i; // This is now a load in C++11 + // CHECK11-NEXT: load volatile i=i; // CHECK-NEXT: load volatile @@ -155,25 +161,30 @@ // CHECK-NEXT: br label // CHECK: phi - (void)(i,(i=i)); + (void)(i,(i=i)); // first i is also a load in C++11 + // CHECK11-NEXT: load volatile // CHECK-NEXT: load volatile // CHECK-NEXT: store volatile - i=i,k; + i=i,k; // k is also a load in C++11 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @i // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i + // CHECK11-NEXT: load volatile [[INT]], [[INT]
[PATCH] D24812: Lit C++11 Compatibility Patch #11
rjmccall added a comment. In https://reviews.llvm.org/D24812#678931, @tigerleapgorge wrote: > @rjmccall > > Hi John, I've made the changes to volatile.cpp. > I take it this patch is good for commit? Yes, I think I have the information I wanted from Reid. LGTM. https://reviews.llvm.org/D24812 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
[PATCH] D24812: Lit C++11 Compatibility Patch #11
rjmccall added inline comments. Comment at: test/CodeGenCXX/static-init.cpp:14 +// CHECK98: @_ZZN5test414useStaticLocalEvE3obj = linkonce_odr global %"struct.test4::HasVTable" zeroinitializer, comdat, align 8 +// CHECK11: @_ZZN5test414useStaticLocalEvE3obj = linkonce_odr global { i8** } { i8** getelementptr inbounds ({ [3 x i8*] }, { [3 x i8*] }* @_ZTVN5test49HasVTableE, i32 0, inrange i32 0, i32 2) }, comdat, align 8 rnk wrote: > rjmccall wrote: > > Interesting. It looks to me like the C++11 IR pattern is actually the only > > one that would've exposed the bug that Reid was fixing in r242704. Reid, > > do you agree? > I'm not sure I follow exactly, but I think what's going on here is that, in > C++11, the implicit default constructor is constexpr. I'm not sure how that > feeds into what type we choose to use for the global. The global gets created using its formal type, and then we need to give it an initializer, which in some cases will have a different type, and so we need to replace the global with something with the right type. Maybe that's not the type mismatch you were fixing in that revision? Really I'm telling you to please go ahead and finish your eliminating-types-from-pointer work. :) https://reviews.llvm.org/D24812 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
[PATCH] D24812: Lit C++11 Compatibility Patch #11
tigerleapgorge added a comment. @rjmccall Hi John, I've made the changes to volatile.cpp. I take it this patch is good for commit? https://reviews.llvm.org/D24812 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
[PATCH] D24812: Lit C++11 Compatibility Patch #11
tigerleapgorge updated this revision to Diff 88617. tigerleapgorge added a comment. Changed "CHECK11" to "CHECK11-NEXT". https://reviews.llvm.org/D24812 Files: test/CodeGenCXX/mangle-unnamed.cpp test/CodeGenCXX/static-init.cpp test/CodeGenCXX/volatile-1.cpp test/CodeGenCXX/volatile.cpp test/PCH/macro-undef.cpp Index: test/PCH/macro-undef.cpp === --- test/PCH/macro-undef.cpp +++ test/PCH/macro-undef.cpp @@ -1,6 +1,6 @@ -// RUN: %clang_cc1 -emit-pch -o %t %s -// RUN: %clang_cc1 -fsyntax-only -include-pch %t %s -Wuninitialized -verify -// RUN: %clang_cc1 -fsyntax-only -include-pch %t %s -Wuninitialized -fdiagnostics-parseable-fixits 2>&1 | FileCheck %s +// RUN: %clang_cc1 -std=c++98 -emit-pch -o %t %s +// RUN: %clang_cc1 -std=c++98 -fsyntax-only -include-pch %t %s -Wuninitialized -verify +// RUN: %clang_cc1 -std=c++98 -fsyntax-only -include-pch %t %s -Wuninitialized -fdiagnostics-parseable-fixits 2>&1 | FileCheck %s #ifndef HEADER #define HEADER Index: test/CodeGenCXX/volatile.cpp === --- test/CodeGenCXX/volatile.cpp +++ test/CodeGenCXX/volatile.cpp @@ -1,4 +1,5 @@ -// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s +// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -std=c++98 -o - | FileCheck %s +// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -std=c++11 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s // Check that IR gen doesn't try to do an lvalue-to-rvalue conversion // on a volatile reference result. rdar://problem/8338198 @@ -27,6 +28,7 @@ // CHECK-LABEL: define void @_ZN5test14testEv() void test() { // CHECK: [[TMP:%.*]] = load i32*, i32** @_ZN5test11xE, align 8 +// CHECK11-NEXT: {{%.*}} = load volatile i32, i32* [[TMP]], align 4 // CHECK-NEXT: ret void *x; } Index: test/CodeGenCXX/volatile-1.cpp === --- test/CodeGenCXX/volatile-1.cpp +++ test/CodeGenCXX/volatile-1.cpp @@ -1,4 +1,5 @@ -// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck %s +// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -std=c++98 -o - | FileCheck %s +// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -std=c++11 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s // CHECK: @i = global [[INT:i[0-9]+]] 0 volatile int i, j, k; @@ -22,18 +23,22 @@ asm("nop"); // CHECK: call void asm - // should not load + // should not load in C++98 i; + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @i (float)(ci); // CHECK-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) // CHECK-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) // CHECK-NEXT: sitofp [[INT]] - // These are not uses in C++: + // These are not uses in C++98: // [expr.static.cast]p6: // The lvalue-to-rvalue . . . conversions are not applied to the expression. (void)ci; + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) + (void)a; (void)(ci=ci); @@ -126,7 +131,8 @@ // CHECK-NEXT: load volatile // CHECK-NEXT: sitofp - (void)i; + (void)i; // This is now a load in C++11 + // CHECK11-NEXT: load volatile i=i; // CHECK-NEXT: load volatile @@ -155,25 +161,30 @@ // CHECK-NEXT: br label // CHECK: phi - (void)(i,(i=i)); + (void)(i,(i=i)); // first i is also a load in C++11 + // CHECK11-NEXT: load volatile // CHECK-NEXT: load volatile // CHECK-NEXT: store volatile - i=i,k; + i=i,k; // k is also a load in C++11 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @i // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @k (i=j,k=j); // CHECK-NEXT: load volatile [[INT]], [[INT]]* @j // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i // CHECK-NEXT: load volatile [[INT]], [[INT]]* @j // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @k - (i=j,k); + (i=j,k); // k is also a load in C++11 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @j // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @k - (i,j); + (i,j); // i and j both are loads in C++11 + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @i + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @j // Extra load in C++. i=c=k; @@ -190,7 +201,9 @@ // CHECK-NEXT: add nsw [[INT]] // CHECK-NEXT: store volatile - ci; + ci; // ci is a load in C++11 + // CHECK11-NEXT: load volatile {{.*}} @ci, i32 0, i32 0 + // C
[PATCH] D24812: Lit C++11 Compatibility Patch #11
rnk added inline comments. Comment at: test/CodeGenCXX/static-init.cpp:14 +// CHECK98: @_ZZN5test414useStaticLocalEvE3obj = linkonce_odr global %"struct.test4::HasVTable" zeroinitializer, comdat, align 8 +// CHECK11: @_ZZN5test414useStaticLocalEvE3obj = linkonce_odr global { i8** } { i8** getelementptr inbounds ({ [3 x i8*] }, { [3 x i8*] }* @_ZTVN5test49HasVTableE, i32 0, inrange i32 0, i32 2) }, comdat, align 8 rjmccall wrote: > Interesting. It looks to me like the C++11 IR pattern is actually the only > one that would've exposed the bug that Reid was fixing in r242704. Reid, do > you agree? I'm not sure I follow exactly, but I think what's going on here is that, in C++11, the implicit default constructor is constexpr. I'm not sure how that feeds into what type we choose to use for the global. https://reviews.llvm.org/D24812 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
[PATCH] D24812: Lit C++11 Compatibility Patch #11
rjmccall added a reviewer: rnk. rjmccall added a comment. Generally looks good to me, thanks. One question for Reid. Comment at: test/CodeGenCXX/static-init.cpp:14 +// CHECK98: @_ZZN5test414useStaticLocalEvE3obj = linkonce_odr global %"struct.test4::HasVTable" zeroinitializer, comdat, align 8 +// CHECK11: @_ZZN5test414useStaticLocalEvE3obj = linkonce_odr global { i8** } { i8** getelementptr inbounds ({ [3 x i8*] }, { [3 x i8*] }* @_ZTVN5test49HasVTableE, i32 0, inrange i32 0, i32 2) }, comdat, align 8 Interesting. It looks to me like the C++11 IR pattern is actually the only one that would've exposed the bug that Reid was fixing in r242704. Reid, do you agree? Comment at: test/CodeGenCXX/volatile.cpp:31 // CHECK: [[TMP:%.*]] = load i32*, i32** @_ZN5test11xE, align 8 +// CHECK11:{{%.*}} = load volatile i32, i32* [[TMP]], align 4 // CHECK-NEXT: ret void CHECK11-NEXT, please. https://reviews.llvm.org/D24812 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
[PATCH] D24812: Lit C++11 Compatibility Patch #11
tigerleapgorge updated this revision to Diff 88224. tigerleapgorge edited the summary of this revision. tigerleapgorge added a comment. Remove another 3 tests reviewed in https://reviews.llvm.org/D29859 https://reviews.llvm.org/D24812 Files: test/CodeGenCXX/mangle-unnamed.cpp test/CodeGenCXX/static-init.cpp test/CodeGenCXX/volatile-1.cpp test/CodeGenCXX/volatile.cpp test/PCH/macro-undef.cpp Index: test/PCH/macro-undef.cpp === --- test/PCH/macro-undef.cpp +++ test/PCH/macro-undef.cpp @@ -1,6 +1,6 @@ -// RUN: %clang_cc1 -emit-pch -o %t %s -// RUN: %clang_cc1 -fsyntax-only -include-pch %t %s -Wuninitialized -verify -// RUN: %clang_cc1 -fsyntax-only -include-pch %t %s -Wuninitialized -fdiagnostics-parseable-fixits 2>&1 | FileCheck %s +// RUN: %clang_cc1 -std=c++98 -emit-pch -o %t %s +// RUN: %clang_cc1 -std=c++98 -fsyntax-only -include-pch %t %s -Wuninitialized -verify +// RUN: %clang_cc1 -std=c++98 -fsyntax-only -include-pch %t %s -Wuninitialized -fdiagnostics-parseable-fixits 2>&1 | FileCheck %s #ifndef HEADER #define HEADER Index: test/CodeGenCXX/volatile.cpp === --- test/CodeGenCXX/volatile.cpp +++ test/CodeGenCXX/volatile.cpp @@ -1,4 +1,5 @@ -// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s +// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -std=c++98 -o - | FileCheck %s +// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -std=c++11 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s // Check that IR gen doesn't try to do an lvalue-to-rvalue conversion // on a volatile reference result. rdar://problem/8338198 @@ -27,6 +28,7 @@ // CHECK-LABEL: define void @_ZN5test14testEv() void test() { // CHECK: [[TMP:%.*]] = load i32*, i32** @_ZN5test11xE, align 8 +// CHECK11:{{%.*}} = load volatile i32, i32* [[TMP]], align 4 // CHECK-NEXT: ret void *x; } Index: test/CodeGenCXX/volatile-1.cpp === --- test/CodeGenCXX/volatile-1.cpp +++ test/CodeGenCXX/volatile-1.cpp @@ -1,4 +1,5 @@ -// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck %s +// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -std=c++98 -o - | FileCheck %s +// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -std=c++11 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s // CHECK: @i = global [[INT:i[0-9]+]] 0 volatile int i, j, k; @@ -22,18 +23,22 @@ asm("nop"); // CHECK: call void asm - // should not load + // should not load in C++98 i; + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @i (float)(ci); // CHECK-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) // CHECK-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) // CHECK-NEXT: sitofp [[INT]] - // These are not uses in C++: + // These are not uses in C++98: // [expr.static.cast]p6: // The lvalue-to-rvalue . . . conversions are not applied to the expression. (void)ci; + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) + (void)a; (void)(ci=ci); @@ -126,7 +131,8 @@ // CHECK-NEXT: load volatile // CHECK-NEXT: sitofp - (void)i; + (void)i; // This is now a load in C++11 + // CHECK11-NEXT: load volatile i=i; // CHECK-NEXT: load volatile @@ -155,25 +161,30 @@ // CHECK-NEXT: br label // CHECK: phi - (void)(i,(i=i)); + (void)(i,(i=i)); // first i is also a load in C++11 + // CHECK11-NEXT: load volatile // CHECK-NEXT: load volatile // CHECK-NEXT: store volatile - i=i,k; + i=i,k; // k is also a load in C++11 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @i // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @k (i=j,k=j); // CHECK-NEXT: load volatile [[INT]], [[INT]]* @j // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i // CHECK-NEXT: load volatile [[INT]], [[INT]]* @j // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @k - (i=j,k); + (i=j,k); // k is also a load in C++11 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @j // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @k - (i,j); + (i,j); // i and j both are loads in C++11 + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @i + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @j // Extra load in C++. i=c=k; @@ -190,7 +201,9 @@ // CHECK-NEXT: add nsw [[INT]] // CHECK-NEXT: store volatile - ci; + ci; // ci is a
[PATCH] D24812: Lit C++11 Compatibility Patch #11
probinson added a reviewer: rjmccall. probinson added a comment. +rjmccall as CodeGen owner. https://reviews.llvm.org/D24812 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
[PATCH] D24812: Lit C++11 Compatibility Patch #11
tigerleapgorge updated this revision to Diff 86923. tigerleapgorge added a comment. Revise again, https://reviews.llvm.org/D28425 fixed 7 tests. r290229 fixed 1 test. Down to 8 tests. https://reviews.llvm.org/D24812 Files: test/CodeGenCXX/linetable-cleanup.cpp test/CodeGenCXX/lpad-linetable.cpp test/CodeGenCXX/mangle-unnamed.cpp test/CodeGenCXX/static-init.cpp test/CodeGenCXX/volatile-1.cpp test/CodeGenCXX/volatile.cpp test/Index/comment-cplus-decls.cpp test/PCH/macro-undef.cpp Index: test/PCH/macro-undef.cpp === --- test/PCH/macro-undef.cpp +++ test/PCH/macro-undef.cpp @@ -1,6 +1,6 @@ -// RUN: %clang_cc1 -emit-pch -o %t %s -// RUN: %clang_cc1 -fsyntax-only -include-pch %t %s -Wuninitialized -verify -// RUN: %clang_cc1 -fsyntax-only -include-pch %t %s -Wuninitialized -fdiagnostics-parseable-fixits 2>&1 | FileCheck %s +// RUN: %clang_cc1 -std=c++98 -emit-pch -o %t %s +// RUN: %clang_cc1 -std=c++98 -fsyntax-only -include-pch %t %s -Wuninitialized -verify +// RUN: %clang_cc1 -std=c++98 -fsyntax-only -include-pch %t %s -Wuninitialized -fdiagnostics-parseable-fixits 2>&1 | FileCheck %s #ifndef HEADER #define HEADER Index: test/Index/comment-cplus-decls.cpp === --- test/Index/comment-cplus-decls.cpp +++ test/Index/comment-cplus-decls.cpp @@ -2,9 +2,15 @@ // RUN: mkdir %t // RUN: c-index-test -test-load-source all -comments-xml-schema=%S/../../bindings/xml/comment-xml-schema.rng -target x86_64-apple-darwin10 %s > %t/out // RUN: FileCheck %s < %t/out +// RUN: c-index-test -test-load-source all -comments-xml-schema=%S/../../bindings/xml/comment-xml-schema.rng -target x86_64-apple-darwin10 -std=c++98 %s > %t/98 +// RUN: FileCheck %s < %t/98 +// RUN: c-index-test -test-load-source all -comments-xml-schema=%S/../../bindings/xml/comment-xml-schema.rng -target x86_64-apple-darwin10 -std=c++11 %s > %t/11 +// RUN: FileCheck %s < %t/11 // Ensure that XML we generate is not invalid. // RUN: FileCheck %s -check-prefix=WRONG < %t/out +// RUN: FileCheck %s -check-prefix=WRONG < %t/98 +// RUN: FileCheck %s -check-prefix=WRONG < %t/11 // WRONG-NOT: CommentXMLInvalid // rdar://12378714 @@ -42,7 +48,7 @@ // CHECK: class Test {} // CHECK: Test() : reserved(new Test::data()) {} // CHECK: unsigned int getID() const -// CHECK: ~Test() +// CHECK: ~Test(){{( noexcept)?}} // CHECK: Test::data *reserved Index: test/CodeGenCXX/volatile.cpp === --- test/CodeGenCXX/volatile.cpp +++ test/CodeGenCXX/volatile.cpp @@ -1,4 +1,5 @@ -// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s +// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -std=c++98 -o - | FileCheck %s +// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -std=c++11 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s // Check that IR gen doesn't try to do an lvalue-to-rvalue conversion // on a volatile reference result. rdar://problem/8338198 @@ -27,6 +28,7 @@ // CHECK-LABEL: define void @_ZN5test14testEv() void test() { // CHECK: [[TMP:%.*]] = load i32*, i32** @_ZN5test11xE, align 8 +// CHECK11:{{%.*}} = load volatile i32, i32* [[TMP]], align 4 // CHECK-NEXT: ret void *x; } Index: test/CodeGenCXX/volatile-1.cpp === --- test/CodeGenCXX/volatile-1.cpp +++ test/CodeGenCXX/volatile-1.cpp @@ -1,4 +1,5 @@ -// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck %s +// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -std=c++98 -o - | FileCheck %s +// RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -std=c++11 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s // CHECK: @i = global [[INT:i[0-9]+]] 0 volatile int i, j, k; @@ -22,18 +23,22 @@ asm("nop"); // CHECK: call void asm - // should not load + // should not load in C++98 i; + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* @i (float)(ci); // CHECK-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) // CHECK-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) // CHECK-NEXT: sitofp [[INT]] - // These are not uses in C++: + // These are not uses in C++98: // [expr.static.cast]p6: // The lvalue-to-rvalue . . . conversions are not applied to the expression. (void)ci; + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) + // CHECK11-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) + (void)a; (void)(ci=ci); @@ -126,7 +131,8 @@ // CHECK-NEXT: load volatile // CHECK-NEX
[PATCH] D24812: Lit C++11 Compatibility Patch #11
tigerleapgorge updated the summary for this revision. tigerleapgorge updated this revision to Diff 81987. tigerleapgorge added a comment. Update Lit patch #11 to match latest Clang behavior 2 minor changes in this update 1. Back out test/CodeGenCXX/mangle-unnamed.cpp because it has already been fixed. 2. Modified test/CodeGenCXX/static-init.cpp to match latest IR. Also, this patch contained full context diff while the previous one does not. Previous revision: svn diff This revision svn diff --diff-cmd=diff -x -U99 Also reorder summery for the tests to be in the order of the patch. https://reviews.llvm.org/D24812 Files: test/CodeGenCXX/arm.cpp test/CodeGenCXX/debug-info-class.cpp test/CodeGenCXX/eh-aggregate-copy-destroy.cpp test/CodeGenCXX/exceptions.cpp test/CodeGenCXX/goto.cpp test/CodeGenCXX/linetable-cleanup.cpp test/CodeGenCXX/lpad-linetable.cpp test/CodeGenCXX/mangle-unnamed.cpp test/CodeGenCXX/static-init.cpp test/CodeGenCXX/value-init.cpp test/CodeGenCXX/volatile-1.cpp test/CodeGenCXX/volatile.cpp test/Index/comment-cplus-decls.cpp test/OpenMP/atomic_codegen.cpp test/OpenMP/threadprivate_codegen.cpp test/PCH/macro-undef.cpp Index: test/PCH/macro-undef.cpp === --- test/PCH/macro-undef.cpp +++ test/PCH/macro-undef.cpp @@ -1,6 +1,6 @@ -// RUN: %clang_cc1 -emit-pch -o %t %s -// RUN: %clang_cc1 -fsyntax-only -include-pch %t %s -Wuninitialized -verify -// RUN: %clang_cc1 -fsyntax-only -include-pch %t %s -Wuninitialized -fdiagnostics-parseable-fixits 2>&1 | FileCheck %s +// RUN: %clang_cc1 -std=c++98 -emit-pch -o %t %s +// RUN: %clang_cc1 -std=c++98 -fsyntax-only -include-pch %t %s -Wuninitialized -verify +// RUN: %clang_cc1 -std=c++98 -fsyntax-only -include-pch %t %s -Wuninitialized -fdiagnostics-parseable-fixits 2>&1 | FileCheck %s #ifndef HEADER #define HEADER Index: test/OpenMP/threadprivate_codegen.cpp === --- test/OpenMP/threadprivate_codegen.cpp +++ test/OpenMP/threadprivate_codegen.cpp @@ -275,7 +275,7 @@ // CHECK: {{.*}}[[ARR_LOOP]]{{.*}} // CHECK-NEXT: [[ARR_ELEMENTPAST:%.*]] = phi [[S1]]* [ [[ARR_CUR]], {{.*}} ], [ [[ARR_ELEMENT:%.*]], {{.*}} ] // CHECK-NEXT: [[ARR_ELEMENT:%.*]] = getelementptr inbounds [[S1]], [[S1]]* [[ARR_ELEMENTPAST]], i{{.*}} -1 -// CHECK-NEXT: invoke {{.*}} [[S1_DTOR]]([[S1]]* [[ARR_ELEMENT]]) +// CHECK-NEXT: {{call|invoke}} {{.*}} [[S1_DTOR]]([[S1]]* [[ARR_ELEMENT]]) // CHECK: [[ARR_DONE:%.*]] = icmp eq [[S1]]* [[ARR_ELEMENT]], [[ARR_BEGIN]] // CHECK-NEXT: br i1 [[ARR_DONE]], label %[[ARR_EXIT:.*]], label %[[ARR_LOOP]] // CHECK: {{.*}}[[ARR_EXIT]]{{.*}} Index: test/OpenMP/atomic_codegen.cpp === --- test/OpenMP/atomic_codegen.cpp +++ test/OpenMP/atomic_codegen.cpp @@ -1,4 +1,6 @@ // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -x c++ -emit-llvm %s -o - | FileCheck %s +// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -x c++ -emit-llvm -std=c++98 %s -o - | FileCheck %s +// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -x c++ -emit-llvm -std=c++11 %s -o - | FileCheck %s // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -debug-info-kind=line-tables-only -x c++ -emit-llvm %s -o - | FileCheck %s --check-prefix=TERM_DEBUG // expected-no-diagnostics @@ -21,14 +23,15 @@ // CHECK: [[SCALAR_ADDR:%.+]] = invoke dereferenceable(4) i32* @_ZN2St3getEv(%struct.St* [[TEMP_ST_ADDR]]) // CHECK: [[SCALAR_VAL:%.+]] = load atomic i32, i32* [[SCALAR_ADDR]] monotonic // CHECK: store i32 [[SCALAR_VAL]], i32* @b - // CHECK: invoke void @_ZN2StD1Ev(%struct.St* [[TEMP_ST_ADDR]]) + // CHECK98: invoke void @_ZN2StD1Ev(%struct.St* [[TEMP_ST_ADDR]]) + // CHECK11: call void @_ZN2StD1Ev(%struct.St* [[TEMP_ST_ADDR]]) #pragma omp atomic read b = St().get(); // CHECK-DAG: invoke void @_ZN2StC1Ev(%struct.St* [[TEMP_ST_ADDR:%.+]]) // CHECK-DAG: [[SCALAR_ADDR:%.+]] = invoke dereferenceable(4) i32* @_ZN2St3getEv(%struct.St* [[TEMP_ST_ADDR]]) // CHECK-DAG: [[B_VAL:%.+]] = load i32, i32* @b // CHECK: store atomic i32 [[B_VAL]], i32* [[SCALAR_ADDR]] monotonic - // CHECK: invoke void @_ZN2StD1Ev(%struct.St* [[TEMP_ST_ADDR]]) + // CHECK: {{invoke|call}} void @_ZN2StD1Ev(%struct.St* [[TEMP_ST_ADDR]]) #pragma omp atomic write St().get() = b; // CHECK: invoke void @_ZN2StC1Ev(%struct.St* [[TEMP_ST_ADDR:%.+]]) @@ -46,7 +49,7 @@ // CHECK: [[COND:%.+]] = extractvalue { i32, i1 } [[RES]], 1 // CHECK: br i1 [[COND]], label %[[OMP_DONE:.+]], label %[[OMP_UPDATE]] // CHECK: [[OMP_DONE]] - // CHECK: invoke void @_ZN2StD1Ev(%struct.St* [[TEMP_ST_ADDR]]) +
[PATCH] D24812: Lit C++11 Compatibility Patch #11
tigerleapgorge created this revision. tigerleapgorge added a reviewer: rsmith. tigerleapgorge added a subscriber: cfe-commits. Herald added a subscriber: aemerson. Hi Everyone, Here is the 11th Lit C++11 compatibility patch. This will most likely be my final Lit patch. I have updated 16 tests this time. Here are the explanations for each test. CodeGenCXX/exceptions.cpp Implicit destructors are noexcept (nothrow) in C++11. The LLVM IR invocation for these destructors changed from “invoke” to “call”. This is related to C++11’s standard 15.4\14 and 15.4\15 in [except.spec] In C++11, Clang marks implicit destructors as “nothrow” in the AST and “nounwind” in the LLVM IR. [except.spec] 15.4\14 An implicitly declared special member function shall have an exception-specification. If f is an implicitly declared default constructor, copy constructor, move constructor, destructor, copy assignment operator, or move assignment operator, its implicit exception-specification specifies the type-id T if and only if T is allowed by the exception-specification of a function directly invoked by f’s implicit definition; f shall allow all exceptions if any function it directly invokes allows all exceptions, and f shall allow no exceptions if every function it directly invokes allows no exceptions. [except.spec] 15.4\15 A deallocation function (3.7.4.2) with no explicit exception-specification is treated as if it were specified with noexcept(true). IR changes are as follows: test1::B::~B() is nothrow in C++11. IR for its invocation changed from invoke to call. C++98: invoke void @_ZN5test11BD1Ev(%"struct.test1::B"* %temp.lvalue) C++98: to label %invoke.cont4 unwind label %terminate.lpad C++11: call void @_ZN5test11BD1Ev(%"struct.test1::B"* %temp.lvalue) #8 The landing pad and its associated attribute no longer exists in C++11. C++98: ; Function Attrs: noinline noreturn nounwind C++98: define linkonce_odr hidden void @__clang_call_terminate(i8*) #4 comdat { C++98:%2 = call i8* @__cxa_begin_catch(i8* %0) #8 C++98:call void @_ZSt9terminatev() #12 C++98:unreachable C++98: } C++98: attributes #4 = { noinline noreturn nounwind } C++11: test2::A::operator delete(void*, unsigned long) is nothrow in C++11. test3::A::operator delete(void*, void*, double) is nothrow in C++11. test5::T::~T() is nothrow in C++11. test7::A::~A() is nothrow in C++11. test10::C::~C() is nothrow in C++11. test11::A::~A() is nothrow in C++11 CodeGenCXX/lpad-linetable.cpp The purpose of this test is to verify landingpad line numbers when catching any exceptions thrown by the destructors for “longs” and “shorts” as they go out of scope. However, in C++11, “longs” and “short”’s destructors are noexcept (nothrow). ~std::_Vector_base >() noexcept ~std::_Vector_base >() noexcept Because these destructors no longer throw any exceptions in C++11, there is no need to generate the landingpads. And since the purpose of this test is to verify for landingpad line table, I have restricted this test to C++98. CodeGenCXX/mangle-unnamed.cpp Test section f6() verifies the mangled name of the variable b that is inside the static anonymous union along with an anonymous union of a unnamed bit field. Running this test in C++11 results in the following error. error: call to implicitly-deleted default constructor of '(anonymous union at t.cpp:2:10)' note: default constructor of '' is implicitly deleted because field '' has a deleted default constructor note: default constructor of '' is implicitly deleted because all data members are const-qualified This is most likely due to interaction between three parts of the C++11 standard: 1. Unnamed bit-field cannot be initialized. C++ Standard section 9.6.2 [class.bit] A declaration for a bit-field that omits the identifier declares an unnamed bit-field. Unnamed bit-fields are not members and cannot be initialized. 2. Introduction of keyword “delete”. 3. Change in rules regarding Unions. http://www.stroustrup.com/C++11FAQ.html#unions If a union has a member with a user-defined constructor, copy, or destructor then that special function is deleted; that is, it cannot be used for an object of the union type. This is new. For f6(), Since the unnamed bitfield “int : 1;” can not be initialized, its constructor is considered “deleted”, therefore it cannot be used inside a union. Hence f6() would be an invalid test for C++11. Since this test verifies for name managling, I have restricted f6() to C++98. CodeGenCXX/arm.cpp test3::A::~A() is noexcept (nothrow) in C++11. LLVM IR invocation for this destructor has changed from “invoke” to “call”. CodeGenCXX/eh-aggregate-copy-des