[PATCH] D59010: [DebugInfo] Add test cases for FlagNonTrivial
Aaron Smith via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Mar 5 18:59:13 PST 2019
asmith created this revision.
asmith added reviewers: dblaikie, rnk, zturner.
Herald added subscribers: llvm-commits, jdoerfert.
Herald added a project: LLVM.
This is a test case to go with D44406 <https://reviews.llvm.org/D44406> which added FlagNonTrivial to mark that a C++ record is non-trivial to support CodeView debug emission.
While it looks like FlagTypePassByValue can imply triviality and FlagTypePassByReference can imply non-triviality that is not true. Some non-trivial cases use a combination of FlagNonTrivial and FlagTypePassByValue instead of FlagTypePassByReference. See the test cases and D44406 <https://reviews.llvm.org/D44406> for discussion.
Repository:
rL LLVM
https://reviews.llvm.org/D59010
Files:
test/CodeGenCXX/debug-info-composite-triviality.cpp
Index: test/CodeGenCXX/debug-info-composite-triviality.cpp
===================================================================
--- /dev/null
+++ test/CodeGenCXX/debug-info-composite-triviality.cpp
@@ -0,0 +1,86 @@
+// RUN: %clang_cc1 -emit-llvm -debug-info-kind=standalone -triple %itanium_abi_triple %s -o - | FileCheck %s
+
+// Cases to show some non-trivial types with flags combined with DIFlagNonTrivial and DIFlagTypePassByValue.
+#define DEFINE_FUNCTION(T) \
+ T Func_##T(T &arg) { return arg; }
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "Explicit",{{.*}}flags: DIFlagTypePassByValue | DIFlagNonTrivial
+struct Explicit {
+ explicit Explicit();
+ int a;
+} Explicit;
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "Struct",{{.*}}flags: DIFlagTypePassByValue | DIFlagNonTrivial
+struct Struct {
+ Struct() {}
+} Struct;
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "Annotated",{{.*}}flags: DIFlagTypePassByValue | DIFlagNonTrivial
+struct __attribute__((trivial_abi)) Annotated {
+ Annotated() {};
+} Annotated;
+
+
+// Cases to test composite type's triviality
+//
+// CHECK-DAG: !DICompositeType({{.*}}, name: "Trivial",{{.*}}flags: {{.*}}DIFlagTrivial
+struct Trivial {
+ int i;
+} Trivial;
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "TrivialA",{{.*}}flags: {{.*}}DIFlagTrivial
+class TrivialA {
+ TrivialA() = default;
+};
+DEFINE_FUNCTION(TrivialA);
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "TrivialB",{{.*}}flags: {{.*}}DIFlagTrivial
+struct TrivialB {
+ int m;
+ TrivialB(int x) { m = x; }
+ TrivialB() = default;
+} TrivialB;
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "TrivialC",{{.*}}flags: {{.*}}DIFlagTrivial
+class TrivialC: public TrivialA {
+ struct Trivial x;
+};
+DEFINE_FUNCTION(TrivialC);
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "TrivialD",{{.*}}flags: {{.*}}DIFlagTrivial
+struct NT {
+ NT() {};
+};
+struct TrivialD {
+ static struct NT x; // Member is non-trivial but is static.
+} TrivialD;
+
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "NonTrivial",{{.*}}flags: {{.*}}DIFlagNonTrivial
+struct NonTrivial {
+ NonTrivial() {}
+} NonTrivial;
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "NonTrivialA",{{.*}}flags: {{.*}}DIFlagNonTrivial
+struct NonTrivialA {
+ ~NonTrivialA();
+} NonTrivialA;
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "NonTrivialB",{{.*}}flags: {{.*}}DIFlagNonTrivial
+struct NonTrivialB {
+ struct NonTrivial x;
+} NonTrivialB;
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "NonTrivialC",{{.*}}flags: {{.*}}DIFlagNonTrivial
+class NonTrivialC {
+ virtual void f() {}
+};
+DEFINE_FUNCTION(NonTrivialC);
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "NonTrivialD",{{.*}}flags: {{.*}}DIFlagNonTrivial
+class NonTrivialD : public NonTrivial {};
+DEFINE_FUNCTION(NonTrivialD);
+
+// CHECK-DAG: !DICompositeType({{.*}}, name: "NonTrivialE",{{.*}}flags: {{.*}}DIFlagNonTrivial
+class NonTrivialE : public Trivial, public NonTrivial {};
+DEFINE_FUNCTION(NonTrivialE);
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D59010.189438.patch
Type: text/x-patch
Size: 2974 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190306/b079cd45/attachment.bin>
More information about the llvm-commits
mailing list