Richard Smith | c3bf52c | 2013-04-20 22:23:05 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -std=c++1y %s -triple x86_64-linux-gnu -emit-llvm -o - | FileCheck %s |
| 2 | |
| 3 | struct A { |
| 4 | int n = 0; |
| 5 | const char *p; |
| 6 | char k = p[n]; |
| 7 | int f(); |
| 8 | int x = f(); |
| 9 | union { |
| 10 | char c; |
| 11 | double d = 1.0; |
| 12 | }; |
| 13 | }; |
| 14 | |
| 15 | int f(); |
| 16 | |
| 17 | union B { |
| 18 | int a; |
| 19 | int f(); |
| 20 | int b = f(); |
| 21 | }; |
| 22 | |
| 23 | A a { .p = "foobar" }; |
| 24 | A b { 4, "bazquux", .x = 42, .c = 9 }; |
| 25 | A c { 1, 0, 'A', f(), { 3 } }; |
| 26 | |
| 27 | // CHECK: @[[STR_A:.*]] = {{.*}} [7 x i8] c"foobar\00" |
Richard Smith | 6391ea2 | 2013-05-09 07:14:00 +0000 | [diff] [blame] | 28 | // CHECK: @a = global {{.*}} zeroinitializer |
| 29 | |
| 30 | // @b has a constant initializer |
Richard Smith | c3bf52c | 2013-04-20 22:23:05 +0000 | [diff] [blame] | 31 | // CHECK: @[[STR_B:.*]] = {{.*}} [8 x i8] c"bazquux\00" |
Richard Smith | 6391ea2 | 2013-05-09 07:14:00 +0000 | [diff] [blame] | 32 | // CHECK: @b = global {{.*}} i32 4, {{.*}} @[[STR_B]], {{.*}} i8 117, i32 42, {{.*}} i8 9 |
Richard Smith | c3bf52c | 2013-04-20 22:23:05 +0000 | [diff] [blame] | 33 | |
| 34 | B x; |
| 35 | B y {}; |
| 36 | B z { 1 }; |
| 37 | // CHECK: @z = global {{.*}} { i32 1 } |
| 38 | |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 39 | // Brace initialization should initialize the first field even though it is |
| 40 | // unnamed. |
| 41 | union C { |
| 42 | struct { |
| 43 | int C::*memptr; |
| 44 | }; |
| 45 | }; |
| 46 | |
| 47 | C n{}; |
| 48 | // CHECK: @n = global %union.C { %struct.anon { i64 -1 } }, align 8 |
| 49 | |
Richard Smith | c3bf52c | 2013-04-20 22:23:05 +0000 | [diff] [blame] | 50 | // Initialization of 'a': |
| 51 | |
| 52 | // CHECK: store i32 0, i32* getelementptr inbounds ({{.*}} @a, i32 0, i32 0) |
| 53 | // CHECK: store i8* {{.*}} @[[STR_A]]{{.*}}, i8** getelementptr inbounds ({{.*}} @a, i32 0, i32 1) |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 54 | // CHECK: load i32, i32* getelementptr inbounds ({{.*}} @a, i32 0, i32 0) |
| 55 | // CHECK: load i8*, i8** getelementptr inbounds ({{.*}} @a, i32 0, i32 1) |
| 56 | // CHECK: getelementptr inbounds i8, i8* %{{.*}}, {{.*}} %{{.*}} |
Richard Smith | c3bf52c | 2013-04-20 22:23:05 +0000 | [diff] [blame] | 57 | // CHECK: store i8 %{{.*}}, i8* getelementptr inbounds ({{.*}} @a, i32 0, i32 2) |
| 58 | // CHECK: call i32 @_ZN1A1fEv({{.*}} @a) |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 59 | // CHECK: store i32 %{{.*}}, i32* getelementptr inbounds ({{.*}}, {{.*}}* @a, i32 0, i32 3) |
Stephen Hines | c568f1e | 2014-07-21 00:47:37 -0700 | [diff] [blame] | 60 | // CHECK: store double 1.000000e+00, double* getelementptr inbounds ({{.*}} @a, i32 0, i32 4, i32 0) |
Richard Smith | c3bf52c | 2013-04-20 22:23:05 +0000 | [diff] [blame] | 61 | |
Richard Smith | 6391ea2 | 2013-05-09 07:14:00 +0000 | [diff] [blame] | 62 | // No dynamic initialization of 'b': |
Richard Smith | c3bf52c | 2013-04-20 22:23:05 +0000 | [diff] [blame] | 63 | |
Richard Smith | 6391ea2 | 2013-05-09 07:14:00 +0000 | [diff] [blame] | 64 | // CHECK-NOT: @b |
Richard Smith | c3bf52c | 2013-04-20 22:23:05 +0000 | [diff] [blame] | 65 | |
| 66 | // Initialization of 'c': |
| 67 | |
| 68 | // CHECK: store i32 1, i32* getelementptr inbounds ({{.*}} @c, i32 0, i32 0) |
| 69 | // CHECK: store i8* null, i8** getelementptr inbounds ({{.*}} @c, i32 0, i32 1) |
| 70 | // CHECK-NOT: load |
| 71 | // CHECK: store i8 65, i8* getelementptr inbounds ({{.*}} @c, i32 0, i32 2) |
| 72 | // CHECK: call i32 @_Z1fv() |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 73 | // CHECK: store i32 %{{.*}}, i32* getelementptr inbounds ({{.*}}, {{.*}}* @c, i32 0, i32 3) |
Richard Smith | c3bf52c | 2013-04-20 22:23:05 +0000 | [diff] [blame] | 74 | // CHECK-NOT: C1Ev |
| 75 | // CHECK: store i8 3, i8* {{.*}} @c, i32 0, i32 4) |
| 76 | |
| 77 | // CHECK: call void @_ZN1BC1Ev({{.*}} @x) |
| 78 | |
| 79 | // CHECK: call i32 @_ZN1B1fEv({{.*}} @y) |
| 80 | // CHECK: store i32 %{{.*}}, i32* getelementptr inbounds ({{.*}} @y, i32 0, i32 0) |