summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikita Popov <npopov@redhat.com>2022-01-04 14:55:32 +0100
committerNikita Popov <npopov@redhat.com>2022-01-04 15:04:00 +0100
commit73205feb00f57e8a976c385b1e7523683ec26d00 (patch)
tree2bc4fc24f4bbb78db03b9fdb4cb546d3a8835ff0
parent21d299172e23a37fc251ce69dc31032a6a4a2bfe (diff)
downloadllvm-73205feb00f57e8a976c385b1e7523683ec26d00.tar.gz
[CodeGen] Regenerate test checks (NFC)
Switch these tests to use update_cc_test_checks.py to simplify future updates.
-rw-r--r--clang/test/CodeGen/clear_cache.c9
-rw-r--r--clang/test/CodeGenCXX/for-range.cpp189
2 files changed, 121 insertions, 77 deletions
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 different, 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
}