Author: Nikita Popov Date: 2022-01-04T15:04:00+01:00 New Revision: 73205feb00f57e8a976c385b1e7523683ec26d00
URL: https://github.com/llvm/llvm-project/commit/73205feb00f57e8a976c385b1e7523683ec26d00 DIFF: https://github.com/llvm/llvm-project/commit/73205feb00f57e8a976c385b1e7523683ec26d00.diff LOG: [CodeGen] Regenerate test checks (NFC) Switch these tests to use update_cc_test_checks.py to simplify future updates. Added: Modified: clang/test/CodeGen/clear_cache.c clang/test/CodeGenCXX/for-range.cpp Removed: ################################################################################ diff --git a/clang/test/CodeGen/clear_cache.c b/clang/test/CodeGen/clear_cache.c index 7bbcc03e21ca..e50951e18818 100644 --- a/clang/test/CodeGen/clear_cache.c +++ b/clang/test/CodeGen/clear_cache.c @@ -1,3 +1,4 @@ +// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py // RUN: %clang_cc1 -emit-llvm %s -o - | FileCheck %s char buffer[32] = "This is a largely unused buffer"; @@ -5,8 +6,14 @@ char buffer[32] = "This is a largely unused buffer"; // __builtin___clear_cache always maps to @llvm.clear_cache, but what // each back-end produces is diff erent, and this is tested in LLVM +// CHECK-LABEL: @main( +// CHECK-NEXT: entry: +// CHECK-NEXT: [[RETVAL:%.*]] = alloca i32, align 4 +// CHECK-NEXT: store i32 0, i32* [[RETVAL]], align 4 +// CHECK-NEXT: call void @llvm.clear_cache(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @buffer, i64 0, i64 0), i8* getelementptr inbounds (i8, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @buffer, i64 0, i64 0), i64 32)) +// CHECK-NEXT: ret i32 0 +// int main() { __builtin___clear_cache(buffer, buffer+32); -// CHECK: @llvm.clear_cache(i8* getelementptr inbounds ({{.*}}, i8* getelementptr inbounds (i8, i8* getelementptr inbounds ({{.*}} 32)) return 0; } diff --git a/clang/test/CodeGenCXX/for-range.cpp b/clang/test/CodeGenCXX/for-range.cpp index 98265074adf7..c3b6eaa3eafc 100644 --- a/clang/test/CodeGenCXX/for-range.cpp +++ b/clang/test/CodeGenCXX/for-range.cpp @@ -1,4 +1,5 @@ -// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -std=c++11 -emit-llvm -o - %s | opt -instnamer -S | FileCheck %s +// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py +// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -std=c++11 -emit-llvm -o - %s | FileCheck %s struct A { A(); @@ -32,95 +33,131 @@ B *end(C&); extern B array[5]; -// CHECK-LABEL: define{{.*}} void @_Z9for_arrayv( +// CHECK-LABEL: @_Z9for_arrayv( +// CHECK-NEXT: entry: +// CHECK-NEXT: [[A:%.*]] = alloca [[STRUCT_A:%.*]], align 1 +// CHECK-NEXT: [[__RANGE1:%.*]] = alloca [5 x %struct.B]*, align 8 +// CHECK-NEXT: [[__BEGIN1:%.*]] = alloca %struct.B*, align 8 +// CHECK-NEXT: [[__END1:%.*]] = alloca %struct.B*, align 8 +// CHECK-NEXT: [[B:%.*]] = alloca [[STRUCT_B:%.*]], align 1 +// CHECK-NEXT: call void @_ZN1AC1Ev(%struct.A* nonnull align 1 dereferenceable(1) [[A]]) +// CHECK-NEXT: store [5 x %struct.B]* @array, [5 x %struct.B]** [[__RANGE1]], align 8 +// CHECK-NEXT: store %struct.B* getelementptr inbounds ([5 x %struct.B], [5 x %struct.B]* @array, i64 0, i64 0), %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: store %struct.B* getelementptr inbounds ([[STRUCT_B]], %struct.B* getelementptr inbounds ([5 x %struct.B], [5 x %struct.B]* @array, i64 0, i64 0), i64 5), %struct.B** [[__END1]], align 8 +// CHECK-NEXT: br label [[FOR_COND:%.*]] +// CHECK: for.cond: +// CHECK-NEXT: [[TMP0:%.*]] = load %struct.B*, %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: [[TMP1:%.*]] = load %struct.B*, %struct.B** [[__END1]], align 8 +// CHECK-NEXT: [[CMP:%.*]] = icmp ne %struct.B* [[TMP0]], [[TMP1]] +// CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY:%.*]], label [[FOR_END:%.*]] +// CHECK: for.body: +// CHECK-NEXT: [[TMP2:%.*]] = load %struct.B*, %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: call void @_ZN1BC1ERKS_(%struct.B* nonnull align 1 dereferenceable(1) [[B]], %struct.B* nonnull align 1 dereferenceable(1) [[TMP2]]) +// CHECK-NEXT: call void @_ZN1BD1Ev(%struct.B* nonnull align 1 dereferenceable(1) [[B]]) #[[ATTR3:[0-9]+]] +// CHECK-NEXT: br label [[FOR_INC:%.*]] +// CHECK: for.inc: +// CHECK-NEXT: [[TMP3:%.*]] = load %struct.B*, %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: [[INCDEC_PTR:%.*]] = getelementptr inbounds [[STRUCT_B]], %struct.B* [[TMP3]], i32 1 +// CHECK-NEXT: store %struct.B* [[INCDEC_PTR]], %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: br label [[FOR_COND]] +// CHECK: for.end: +// CHECK-NEXT: call void @_ZN1AD1Ev(%struct.A* nonnull align 1 dereferenceable(1) [[A]]) #[[ATTR3]] +// CHECK-NEXT: ret void +// void for_array() { - // CHECK: call void @_ZN1AC1Ev(%struct.A* [[A:.*]]) A a; for (B b : array) { - // CHECK-NOT: 5begin - // CHECK-NOT: 3end - // CHECK: getelementptr {{.*}}, i64 0 - // CHECK: getelementptr {{.*}}, i64 5 - // CHECK: br label %[[COND:.*]] - - // CHECK: [[COND]]: - // CHECK: %[[CMP:.*]] = icmp ne - // CHECK: br i1 %[[CMP]], label %[[BODY:.*]], label %[[END:.*]] - - // CHECK: [[BODY]]: - // CHECK: call void @_ZN1BC1ERKS_( - // CHECK: call void @_ZN1BD1Ev( - // CHECK: br label %[[INC:.*]] - - // CHECK: [[INC]]: - // CHECK: getelementptr {{.*}} i32 1 - // CHECK: br label %[[COND]] } - // CHECK: [[END]]: - // CHECK: call void @_ZN1AD1Ev(%struct.A* [[A]]) - // CHECK: ret void } -// CHECK-LABEL: define{{.*}} void @_Z9for_rangev( +// CHECK-LABEL: @_Z9for_rangev( +// CHECK-NEXT: entry: +// CHECK-NEXT: [[A:%.*]] = alloca [[STRUCT_A:%.*]], align 1 +// CHECK-NEXT: [[__RANGE1:%.*]] = alloca %struct.C*, align 8 +// CHECK-NEXT: [[REF_TMP:%.*]] = alloca [[STRUCT_C:%.*]], align 1 +// CHECK-NEXT: [[__BEGIN1:%.*]] = alloca %struct.B*, align 8 +// CHECK-NEXT: [[__END1:%.*]] = alloca %struct.B*, align 8 +// CHECK-NEXT: [[B:%.*]] = alloca [[STRUCT_B:%.*]], align 1 +// CHECK-NEXT: call void @_ZN1AC1Ev(%struct.A* nonnull align 1 dereferenceable(1) [[A]]) +// CHECK-NEXT: call void @_ZN1CC1Ev(%struct.C* nonnull align 1 dereferenceable(1) [[REF_TMP]]) +// CHECK-NEXT: store %struct.C* [[REF_TMP]], %struct.C** [[__RANGE1]], align 8 +// CHECK-NEXT: [[TMP0:%.*]] = load %struct.C*, %struct.C** [[__RANGE1]], align 8 +// CHECK-NEXT: [[CALL:%.*]] = call %struct.B* @_Z5beginR1C(%struct.C* nonnull align 1 dereferenceable(1) [[TMP0]]) +// CHECK-NEXT: store %struct.B* [[CALL]], %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: [[TMP1:%.*]] = load %struct.C*, %struct.C** [[__RANGE1]], align 8 +// CHECK-NEXT: [[CALL1:%.*]] = call %struct.B* @_Z3endR1C(%struct.C* nonnull align 1 dereferenceable(1) [[TMP1]]) +// CHECK-NEXT: store %struct.B* [[CALL1]], %struct.B** [[__END1]], align 8 +// CHECK-NEXT: br label [[FOR_COND:%.*]] +// CHECK: for.cond: +// CHECK-NEXT: [[TMP2:%.*]] = load %struct.B*, %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: [[TMP3:%.*]] = load %struct.B*, %struct.B** [[__END1]], align 8 +// CHECK-NEXT: [[CMP:%.*]] = icmp ne %struct.B* [[TMP2]], [[TMP3]] +// CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY:%.*]], label [[FOR_COND_CLEANUP:%.*]] +// CHECK: for.cond.cleanup: +// CHECK-NEXT: call void @_ZN1CD1Ev(%struct.C* nonnull align 1 dereferenceable(1) [[REF_TMP]]) #[[ATTR3]] +// CHECK-NEXT: br label [[FOR_END:%.*]] +// CHECK: for.body: +// CHECK-NEXT: [[TMP4:%.*]] = load %struct.B*, %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: call void @_ZN1BC1ERKS_(%struct.B* nonnull align 1 dereferenceable(1) [[B]], %struct.B* nonnull align 1 dereferenceable(1) [[TMP4]]) +// CHECK-NEXT: call void @_ZN1BD1Ev(%struct.B* nonnull align 1 dereferenceable(1) [[B]]) #[[ATTR3]] +// CHECK-NEXT: br label [[FOR_INC:%.*]] +// CHECK: for.inc: +// CHECK-NEXT: [[TMP5:%.*]] = load %struct.B*, %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: [[INCDEC_PTR:%.*]] = getelementptr inbounds [[STRUCT_B]], %struct.B* [[TMP5]], i32 1 +// CHECK-NEXT: store %struct.B* [[INCDEC_PTR]], %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: br label [[FOR_COND]] +// CHECK: for.end: +// CHECK-NEXT: call void @_ZN1AD1Ev(%struct.A* nonnull align 1 dereferenceable(1) [[A]]) #[[ATTR3]] +// CHECK-NEXT: ret void +// void for_range() { - // CHECK: call void @_ZN1AC1Ev(%struct.A* [[A:.*]]) A a; for (B b : C()) { - // CHECK: call void @_ZN1CC1Ev( - // CHECK: = call %struct.B* @_Z5beginR1C( - // CHECK: = call %struct.B* @_Z3endR1C( - // CHECK: br label %[[COND:.*]] - - // CHECK: [[COND]]: - // CHECK: %[[CMP:.*]] = icmp ne - // CHECK: br i1 %[[CMP]], label %[[BODY:.*]], label %[[CLEANUP:.*]] - - // CHECK: [[CLEANUP]]: - // CHECK: call void @_ZN1CD1Ev( - // CHECK: br label %[[END:.*]] - - // CHECK: [[BODY]]: - // CHECK: call void @_ZN1BC1ERKS_( - // CHECK: call void @_ZN1BD1Ev( - // CHECK: br label %[[INC:.*]] - - // CHECK: [[INC]]: - // CHECK: getelementptr {{.*}} i32 1 - // CHECK: br label %[[COND]] } - // CHECK: [[END]]: - // CHECK: call void @_ZN1AD1Ev(%struct.A* [[A]]) - // CHECK: ret void } -// CHECK-LABEL: define{{.*}} void @_Z16for_member_rangev( +// CHECK-LABEL: @_Z16for_member_rangev( +// CHECK-NEXT: entry: +// CHECK-NEXT: [[A:%.*]] = alloca [[STRUCT_A:%.*]], align 1 +// CHECK-NEXT: [[__RANGE1:%.*]] = alloca %struct.D*, align 8 +// CHECK-NEXT: [[REF_TMP:%.*]] = alloca [[STRUCT_D:%.*]], align 1 +// CHECK-NEXT: [[__BEGIN1:%.*]] = alloca %struct.B*, align 8 +// CHECK-NEXT: [[__END1:%.*]] = alloca %struct.B*, align 8 +// CHECK-NEXT: [[B:%.*]] = alloca [[STRUCT_B:%.*]], align 1 +// CHECK-NEXT: call void @_ZN1AC1Ev(%struct.A* nonnull align 1 dereferenceable(1) [[A]]) +// CHECK-NEXT: call void @_ZN1DC1Ev(%struct.D* nonnull align 1 dereferenceable(1) [[REF_TMP]]) +// CHECK-NEXT: store %struct.D* [[REF_TMP]], %struct.D** [[__RANGE1]], align 8 +// CHECK-NEXT: [[TMP0:%.*]] = load %struct.D*, %struct.D** [[__RANGE1]], align 8 +// CHECK-NEXT: [[CALL:%.*]] = call %struct.B* @_ZN1D5beginEv(%struct.D* nonnull align 1 dereferenceable(1) [[TMP0]]) +// CHECK-NEXT: store %struct.B* [[CALL]], %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: [[TMP1:%.*]] = load %struct.D*, %struct.D** [[__RANGE1]], align 8 +// CHECK-NEXT: [[CALL1:%.*]] = call %struct.B* @_ZN1D3endEv(%struct.D* nonnull align 1 dereferenceable(1) [[TMP1]]) +// CHECK-NEXT: store %struct.B* [[CALL1]], %struct.B** [[__END1]], align 8 +// CHECK-NEXT: br label [[FOR_COND:%.*]] +// CHECK: for.cond: +// CHECK-NEXT: [[TMP2:%.*]] = load %struct.B*, %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: [[TMP3:%.*]] = load %struct.B*, %struct.B** [[__END1]], align 8 +// CHECK-NEXT: [[CMP:%.*]] = icmp ne %struct.B* [[TMP2]], [[TMP3]] +// CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY:%.*]], label [[FOR_COND_CLEANUP:%.*]] +// CHECK: for.cond.cleanup: +// CHECK-NEXT: call void @_ZN1DD1Ev(%struct.D* nonnull align 1 dereferenceable(1) [[REF_TMP]]) #[[ATTR3]] +// CHECK-NEXT: br label [[FOR_END:%.*]] +// CHECK: for.body: +// CHECK-NEXT: [[TMP4:%.*]] = load %struct.B*, %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: call void @_ZN1BC1ERKS_(%struct.B* nonnull align 1 dereferenceable(1) [[B]], %struct.B* nonnull align 1 dereferenceable(1) [[TMP4]]) +// CHECK-NEXT: call void @_ZN1BD1Ev(%struct.B* nonnull align 1 dereferenceable(1) [[B]]) #[[ATTR3]] +// CHECK-NEXT: br label [[FOR_INC:%.*]] +// CHECK: for.inc: +// CHECK-NEXT: [[TMP5:%.*]] = load %struct.B*, %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: [[INCDEC_PTR:%.*]] = getelementptr inbounds [[STRUCT_B]], %struct.B* [[TMP5]], i32 1 +// CHECK-NEXT: store %struct.B* [[INCDEC_PTR]], %struct.B** [[__BEGIN1]], align 8 +// CHECK-NEXT: br label [[FOR_COND]] +// CHECK: for.end: +// CHECK-NEXT: call void @_ZN1AD1Ev(%struct.A* nonnull align 1 dereferenceable(1) [[A]]) #[[ATTR3]] +// CHECK-NEXT: ret void +// void for_member_range() { - // CHECK: call void @_ZN1AC1Ev(%struct.A* [[A:.*]]) A a; for (B b : D()) { - // CHECK: call void @_ZN1DC1Ev( - // CHECK: = call %struct.B* @_ZN1D5beginEv( - // CHECK: = call %struct.B* @_ZN1D3endEv( - // CHECK: br label %[[COND:.*]] - - // CHECK: [[COND]]: - // CHECK: %[[CMP:.*]] = icmp ne - // CHECK: br i1 %[[CMP]], label %[[BODY:.*]], label %[[CLEANUP:.*]] - - // CHECK: [[CLEANUP]]: - // CHECK: call void @_ZN1DD1Ev( - // CHECK: br label %[[END:.*]] - - // CHECK: [[BODY]]: - // CHECK: call void @_ZN1BC1ERKS_( - // CHECK: call void @_ZN1BD1Ev( - // CHECK: br label %[[INC:.*]] - - // CHECK: [[INC]]: - // CHECK: getelementptr {{.*}} i32 1 - // CHECK: br label %[[COND]] } - // CHECK: [[END]]: - // CHECK: call void @_ZN1AD1Ev(%struct.A* [[A]]) - // CHECK: ret void } _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits