1// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin -emit-llvm -o - %s -std=c++1y | FileCheck %s 2// expected-no-diagnostics 3 4struct A { 5 constexpr A() : n(1) {} 6 ~A(); 7 int n; 8}; 9struct B : A { 10 A a[3]; 11 constexpr B() { 12 ++a[0].n; 13 a[1].n += 2; 14 a[2].n = n + a[1].n; 15 } 16}; 17B b; 18 19// CHECK: @b = global {{.*}} i32 1, {{.*}} { i32 2 }, {{.*}} { i32 3 }, {{.*}} { i32 4 } 20// CHECK-NOT: _ZN1BC 21 22namespace ModifyStaticTemporary { 23 struct A { int &&temporary; int x; }; 24 constexpr int f(int &r) { r *= 9; return r - 12; } 25 A a = { 6, f(a.temporary) }; 26 // CHECK: @_ZGRN21ModifyStaticTemporary1aE_ = private global i32 54 27 // CHECK: @_ZN21ModifyStaticTemporary1aE = global {{.*}} i32* @_ZGRN21ModifyStaticTemporary1aE_, i32 42 28 29 A b = { 7, ++b.temporary }; 30 // CHECK: @_ZGRN21ModifyStaticTemporary1bE_ = private global i32 8 31 // CHECK: @_ZN21ModifyStaticTemporary1bE = global {{.*}} i32* @_ZGRN21ModifyStaticTemporary1bE_, i32 8 32 33 // Can't emit all of 'c' as a constant here, so emit the initial value of 34 // 'c.temporary', not the value as modified by the partial evaluation within 35 // the initialization of 'c.x'. 36 A c = { 10, (++c.temporary, b.x) }; 37 // CHECK: @_ZGRN21ModifyStaticTemporary1cE_ = private global i32 10 38 // CHECK: @_ZN21ModifyStaticTemporary1cE = global {{.*}} zeroinitializer 39} 40 41// CHECK: @_ZGRN28VariableTemplateWithConstRef1iIvEE_ = linkonce_odr constant i32 5, align 4 42// CHECK: @_ZN28VariableTemplateWithConstRef3useE = constant i32* @_ZGRN28VariableTemplateWithConstRef1iIvEE_ 43namespace VariableTemplateWithConstRef { 44 template <typename T> 45 const int &i = 5; 46 const int &use = i<void>; 47} 48 49// CHECK: @_ZGRN34HiddenVariableTemplateWithConstRef1iIvEE_ = linkonce_odr hidden constant i32 5, align 4 50// CHECK: @_ZN34HiddenVariableTemplateWithConstRef3useE = constant i32* @_ZGRN34HiddenVariableTemplateWithConstRef1iIvEE_ 51namespace HiddenVariableTemplateWithConstRef { 52 template <typename T> 53 __attribute__((visibility("hidden"))) const int &i = 5; 54 const int &use = i<void>; 55} 56 57// CHECK: @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE1_ = linkonce_odr constant i32 1 58// CHECK: @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE0_ = linkonce_odr global {{.*}} { i32* @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE1_ } 59// CHECK: @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE3_ = linkonce_odr constant i32 2 60// CHECK: @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE2_ = linkonce_odr global {{.*}} { i32* @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE3_ } 61// CHECK: @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE5_ = linkonce_odr constant i32 3 62// CHECK: @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE4_ = linkonce_odr global {{.*}} { i32* @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE5_ } 63// CHECK: @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE7_ = linkonce_odr constant i32 4 64// CHECK: @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE6_ = linkonce_odr global {{.*}} { i32* @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE7_ } 65// CHECK: @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE_ = linkonce_odr global %"struct.VariableTemplateWithPack::S" { {{.*}}* @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE0_, {{.*}}* @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE2_, {{.*}}* @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE4_, {{.*}}* @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE6_ } 66// CHECK: @_ZN24VariableTemplateWithPack1pE = global {{.*}} @_ZGRN24VariableTemplateWithPack1sIJLi1ELi2ELi3ELi4EEEE_ 67namespace VariableTemplateWithPack { 68 struct A { 69 const int &r; 70 }; 71 struct S { 72 A &&a, &&b, &&c, &&d; 73 }; 74 template <int... N> 75 S &&s = {A{N}...}; 76 S *p = &s<1, 2, 3, 4>; 77} 78 79// CHECK: __cxa_atexit({{.*}} @_ZN1BD1Ev {{.*}} @b 80 81// CHECK: define 82// CHECK-NOT: @_ZGRN21ModifyStaticTemporary1cE_ 83// CHECK: store {{.*}} @_ZGRN21ModifyStaticTemporary1cE_, {{.*}} @_ZN21ModifyStaticTemporary1cE 84// CHECK: add 85// CHECK: store 86// CHECK: load {{.*}} @_ZN21ModifyStaticTemporary1bE 87// CHECK: store {{.*}} @_ZN21ModifyStaticTemporary1cE 88