Add additional invoke test in C

Author: ilovepi

clang/test/CodeGen/lifetime-invoke-c.c

@@ -0,0 +1,50 @@
+// RUN: %clang_cc1 -emit-llvm -o - %s -O1 -disable-llvm-passes -fexceptions | FileCheck %s
+
+struct Trivial {
+  int x[100];
+};
+
+void cleanup(int *p) {}
+void func(struct Trivial t);
+struct Trivial gen(void);
+
+// CHECK-LABEL: define dso_local void @test()
+void test() {
+  int x __attribute__((cleanup(cleanup)));
+
+  // CHECK: %[[AGG1:.*]] = alloca %struct.Trivial
+  // CHECK: %[[AGG2:.*]] = alloca %struct.Trivial
+
+  // CHECK: call void @llvm.lifetime.start.p0(ptr %[[AGG1]])
+  // CHECK: invoke void @gen(ptr{{.*}} sret(%struct.Trivial){{.*}} %[[AGG1]])
+
+  // CHECK: invoke void @func(ptr{{.*}} byval(%struct.Trivial) align 8 %[[AGG1]])
+  // CHECK-NEXT: to label %[[CONT1:.*]] unwind label %[[LPAD1:.*]]
+
+  // CHECK: [[CONT1]]:
+  // CHECK-NOT: call void @llvm.lifetime.end.p0(ptr %[[AGG1]])
+
+  // CHECK: call void @llvm.lifetime.start.p0(ptr %[[AGG2]])
+  // CHECK: invoke void @gen(ptr{{.*}} sret(%struct.Trivial) align 4 %[[AGG2]])
+  // CHECK: invoke void @func(ptr{{.*}} byval(%struct.Trivial) align 8 %[[AGG2]])
+  // CHECK-NEXT: to label %[[CONT2:.*]] unwind label %[[LPAD2:.*]]
+
+  // CHECK: [[CONT2]]:
+  // CHECK-DAG: call void @llvm.lifetime.end.p0(ptr %[[AGG2]])
+  // CHECK-DAG: call void @llvm.lifetime.end.p0(ptr %[[AGG1]])
+
+  // CHECK: [[LPAD1]]:
+  // CHECK: landingpad
+  // CHECK: br label %[[EHCLEANUP:.*]]
+
+  // CHECK: [[LPAD2]]:
+  // CHECK: landingpad
+  // CHECK: call void @llvm.lifetime.end.p0(ptr %[[AGG2]])
+  // CHECK: br label %[[EHCLEANUP]]
+
+  // CHECK: [[EHCLEANUP]]:
+  // CHECK: call void @llvm.lifetime.end.p0(ptr %[[AGG1]])
+  // CHECK: call void @cleanup
+  func(gen());
+  func(gen());
+}

clang/test/CodeGenCXX/aggregate-lifetime-invoke.cpp

@@ -14,7 +14,7 @@ void test() {
   // CHECK: call void @llvm.lifetime.start.p0(ptr nonnull %[[AGG1]])
   // CHECK: invoke void @_Z16func_that_throws7Trivial(ptr noundef nonnull byval(%struct.Trivial) align 8 %[[AGG1]])
   // CHECK-NEXT: to label %[[CONT1:.*]] unwind label %[[LPAD1:.*]]
-  
+
   // CHECK: [[CONT1]]:
   // CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull %[[AGG2]])
   // CHECK: invoke void @_Z16func_that_throws7Trivial(ptr noundef nonnull byval(%struct.Trivial) align 8 %[[AGG2]])