Home | History | Annotate | Download | only in CodeGenCXX
      1 // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin -emit-llvm -o - %s -std=c++1y | FileCheck %s
      2 // expected-no-diagnostics
      3 
      4 struct A {
      5   constexpr A() : n(1) {}
      6   ~A();
      7   int n;
      8 };
      9 struct 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 };
     17 B b;
     18 
     19 // CHECK: @b = global {{.*}} i32 1, {{.*}} { i32 2 }, {{.*}} { i32 3 }, {{.*}} { i32 4 }
     20 // CHECK-NOT: _ZN1BC
     21 
     22 namespace 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_ = internal global i32 54
     27   // CHECK: @_ZN21ModifyStaticTemporary1aE = global {{.*}} i32* @_ZGRN21ModifyStaticTemporary1aE_, i32 42
     28 
     29   A b = { 7, ++b.temporary };
     30   // CHECK: @_ZGRN21ModifyStaticTemporary1bE_ = internal 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_ = internal 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_
     43 namespace 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_
     51 namespace 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_
     67 namespace 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