133 lines · cpp
1// RUN: %clang_cc1 -std=c++1z %s -triple x86_64-linux-gnu -fexceptions -fcxx-exceptions -emit-llvm -o - | FileCheck %s2 3namespace Constant {4 struct A {5 int n;6 char k;7 ~A();8 };9 10 struct B {11 char k2;12 };13 14 struct C : B {};15 16 struct D : A, C {};17 18 C c1 = {};19 C c2 = {1};20 // CHECK: @_ZN8Constant2c1E ={{.*}} global { i8 } zeroinitializer, align 121 // CHECK: @_ZN8Constant2c2E ={{.*}} global { i8 } { i8 1 }, align 122 23 // Test packing bases into tail padding.24 D d1 = {};25 D d2 = {1, 2, 3};26 D d3 = {1};27 // CHECK: @_ZN8Constant2d1E ={{.*}} global { i32, i8, i8 } zeroinitializer, align 428 // CHECK: @_ZN8Constant2d2E ={{.*}} global { i32, i8, i8 } { i32 1, i8 2, i8 3 }, align 429 // CHECK: @_ZN8Constant2d3E ={{.*}} global { i32, i8, i8 } { i32 1, i8 0, i8 0 }, align 430 31 // CHECK-LABEL: define {{.*}}global_var_init32 // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN8Constant1DD1Ev, {{.*}} @_ZN8Constant2d1E33 34 // CHECK-LABEL: define {{.*}}global_var_init35 // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN8Constant1DD1Ev, {{.*}} @_ZN8Constant2d2E36 37 // CHECK-LABEL: define {{.*}}global_var_init38 // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN8Constant1DD1Ev, {{.*}} @_ZN8Constant2d3E39}40 41namespace Dynamic {42 struct A {43 A();44 A(int);45 A(const char*, unsigned);46 ~A();47 void *p;48 };49 50 struct B {51 ~B();52 int n = 5;53 };54 55 struct C {56 C(bool = true);57 };58 59 int f(), g(), h(), i();60 struct D : A, B, C {61 int n = f();62 };63 64 D d1 = {};65 // CHECK-LABEL: define {{.*}}global_var_init66 // CHECK: call void @_ZN7Dynamic1AC2Ev({{.*}} @_ZN7Dynamic2d1E67 // CHECK: store i32 5, {{.*}}ptr getelementptr inbounds {{.*}} @_ZN7Dynamic2d1E{{.*}}, i64 868 // CHECK: invoke void @_ZN7Dynamic1CC2Eb({{.*}} @_ZN7Dynamic2d1E{{.*}}, i1 noundef zeroext true)69 // CHECK: unwind label %[[UNWIND:.*]]70 // CHECK: invoke noundef i32 @_ZN7Dynamic1fEv()71 // CHECK: unwind label %[[UNWIND:.*]]72 // CHECK: store i32 {{.*}}, ptr getelementptr {{.*}} @_ZN7Dynamic2d1E, i32 0, i32 273 // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN7Dynamic1DD1Ev, {{.*}} @_ZN7Dynamic2d1E74 // CHECK: ret75 //76 // UNWIND:77 // CHECK: call void @_ZN7Dynamic1BD1Ev(ptr {{.*}}getelementptr inbounds {{.*}} @_ZN7Dynamic2d1E{{.*}}, i64 878 // CHECK: call void @_ZN7Dynamic1AD1Ev({{.*}} @_ZN7Dynamic2d1E79 80 D d2 = {1, 2, false};81 // CHECK-LABEL: define {{.*}}global_var_init82 // CHECK: call void @_ZN7Dynamic1AC1Ei({{.*}} @_ZN7Dynamic2d2E{{.*}}, i32 noundef 1)83 // CHECK: store i32 2, {{.*}}ptr getelementptr inbounds {{.*}}@_ZN7Dynamic2d2E{{.*}}, i64 884 // CHECK: invoke void @_ZN7Dynamic1CC1Eb({{.*}} @_ZN7Dynamic2d2E{{.*}}, i1 noundef zeroext false)85 // CHECK: invoke noundef i32 @_ZN7Dynamic1fEv()86 // CHECK: store i32 {{.*}}, ptr getelementptr {{.*}} @_ZN7Dynamic2d2E, i32 0, i32 287 // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN7Dynamic1DD1Ev, {{.*}} @_ZN7Dynamic2d2E88 // CHECK: ret void89 90 D d3 = {g(), h(), {}, i()};91 // CHECK-LABEL: define {{.*}}global_var_init92 // CHECK: %[[G_CALL:.*]] = call noundef i32 @_ZN7Dynamic1gEv()93 // CHECK: call void @_ZN7Dynamic1AC1Ei({{.*}} @_ZN7Dynamic2d3E{{.*}}, i32 noundef %[[G_CALL]])94 // CHECK: %[[H_CALL:.*]] = invoke noundef i32 @_ZN7Dynamic1hEv()95 // CHECK: unwind label %[[DESTROY_A_LPAD:.*]]96 // CHECK: store i32 %[[H_CALL]], {{.*}}ptr getelementptr inbounds {{.*}} @_ZN7Dynamic2d3E{{.*}}, i64 897 // CHECK: invoke void @_ZN7Dynamic1CC2Eb({{.*}} @_ZN7Dynamic2d3E{{.*}}, i1 noundef zeroext true)98 // CHECK: unwind label %[[DESTROY_AB_LPAD:.*]]99 // CHECK: %[[I_CALL:.*]] = invoke noundef i32 @_ZN7Dynamic1iEv()100 // CHECK: unwind label %[[DESTROY_AB_LPAD:.*]]101 // CHECK: store i32 %[[I_CALL]], ptr getelementptr {{.*}} @_ZN7Dynamic2d3E, i32 0, i32 2102 // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN7Dynamic1DD1Ev, {{.*}} @_ZN7Dynamic2d3E103 // CHECK: ret104 //105 // DESTROY_A_LPAD:106 // CHECK: br label %[[A_CLEANUP:.*]]107 //108 // DESTROY_B_LPAD:109 // CHECK: call void @_ZN7Dynamic1BD1Ev(ptr {{.*}}getelementptr inbounds {{.*}} @_ZN7Dynamic2d3E{{.*}}, i64 8110 // CHECK: br label %[[A_CLEANUP:.*]]111 //112 // A_CLEANUP:113 // CHECK: call void @_ZN7Dynamic1AD1Ev({{.*}} @_ZN7Dynamic2d3E114}115 116namespace Instantiated1 {117 struct A { A(); };118 struct B : A { using A::A; };119 template<int> B v({});120 template B v<0>;121 // CHECK-LABEL: define {{.*}}global_var_init{{.*}} comdat($_ZN13Instantiated11vILi0EEE) {122 // CHECK: call void @_ZN13Instantiated11BC1Ev(ptr {{[^,]*}} @_ZN13Instantiated11vILi0EEE)123}124 125namespace Instantiated2 {126 struct A { A(); };127 struct B : A {};128 template<int> B v({});129 template B v<0>;130 // CHECK-LABEL: define {{.*}}global_var_init{{.*}} comdat($_ZN13Instantiated21vILi0EEE) {131 // CHECK: call void @_ZN13Instantiated21AC2Ev(132}133