1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -Wno-unused-value -std=gnu++17 \
2 // RUN:            -ast-dump %s -ast-dump-filter Test \
3 // RUN: | FileCheck --strict-whitespace --match-full-lines %s
4 
5 struct S0 {
6   int arr[2];
7 };
8 union U0 {
9   int i;
10   float f;
11 };
12 
13 struct S1 {
14   S0 s0 = {1, 2};
15   U0 u0 = {.i = 42};
16 };
17 
18 void Test() {
19   constexpr int __attribute__((vector_size(sizeof(int) * 5))) arr_v5i[5] = {
20       {1, 2, 3, 4, 5},
21       {1, 2, 3, 4},
22   };
23   // CHECK:  | `-VarDecl {{.*}} <line:{{.*}}, line:{{.*}}> line:{{.*}} arr_v5i '__attribute__((__vector_size__(5 * sizeof(int)))) int const[5]' constexpr cinit
24   // CHECK-NEXT:  |   |-value: Array size=5
25   // CHECK-NEXT:  |   | |-element: Vector length=5
26   // CHECK-NEXT:  |   | | |-elements: Int 1, Int 2, Int 3, Int 4
27   // CHECK-NEXT:  |   | | `-element: Int 5
28   // CHECK-NEXT:  |   | |-element: Vector length=5
29   // CHECK-NEXT:  |   | | |-elements: Int 1, Int 2, Int 3, Int 4
30   // CHECK-NEXT:  |   | | `-element: Int 0
31   // CHECK-NEXT:  |   | `-filler: 3 x Vector length=5
32   // CHECK-NEXT:  |   |   |-elements: Int 0, Int 0, Int 0, Int 0
33   // CHECK-NEXT:  |   |   `-element: Int 0
34 
35   constexpr float arr_f[3][5] = {
36       {1, 2, 3, 4, 5},
37   };
38   // CHECK:  | `-VarDecl {{.*}} <line:{{.*}}, line:{{.*}}> line:{{.*}} arr_f 'float const[3][5]' constexpr cinit
39   // CHECK-NEXT:  |   |-value: Array size=3
40   // CHECK-NEXT:  |   | |-element: Array size=5
41   // CHECK-NEXT:  |   | | |-elements: Float 1.000000e+00, Float 2.000000e+00, Float 3.000000e+00, Float 4.000000e+00
42   // CHECK-NEXT:  |   | | `-element: Float 5.000000e+00
43   // CHECK-NEXT:  |   | `-filler: 2 x Array size=5
44   // CHECK-NEXT:  |   |   `-filler: 5 x Float 0.000000e+00
45 
46   constexpr S0 arr_s0[2] = {{1, 2}, {3, 4}};
47   // CHECK:  | `-VarDecl {{.*}} <col:{{.*}}, col:{{.*}}> col:{{.*}} arr_s0 'S0 const[2]' constexpr cinit
48   // CHECK-NEXT:  |   |-value: Array size=2
49   // CHECK-NEXT:  |   | |-element: Struct
50   // CHECK-NEXT:  |   | | `-field: Array size=2
51   // CHECK-NEXT:  |   | |   `-elements: Int 1, Int 2
52   // CHECK-NEXT:  |   | `-element: Struct
53   // CHECK-NEXT:  |   |   `-field: Array size=2
54   // CHECK-NEXT:  |   |     `-elements: Int 3, Int 4
55 
56   constexpr U0 arr_u0[2] = {{.i = 42}, {.f = 3.1415f}};
57   // CHECK:  | `-VarDecl {{.*}} <col:{{.*}}, col:{{.*}}> col:{{.*}} arr_u0 'U0 const[2]' constexpr cinit
58   // CHECK-NEXT:  |   |-value: Array size=2
59   // CHECK-NEXT:  |   | `-elements: Union .i Int 42, Union .f Float 3.141500e+00
60 
61   constexpr S1 arr_s1[2] = {};
62   // CHECK:    `-VarDecl {{.*}} <col:{{.*}}, col:{{.*}}> col:{{.*}} arr_s1 'S1 const[2]' constexpr cinit
63   // CHECK-NEXT:      |-value: Array size=2
64   // CHECK-NEXT:      | |-element: Struct
65   // CHECK-NEXT:      | | |-field: Struct
66   // CHECK-NEXT:      | | | `-field: Array size=2
67   // CHECK-NEXT:      | | |   `-elements: Int 1, Int 2
68   // CHECK-NEXT:      | | `-field: Union .i Int 42
69   // CHECK-NEXT:      | `-element: Struct
70   // CHECK-NEXT:      |   |-field: Struct
71   // CHECK-NEXT:      |   | `-field: Array size=2
72   // CHECK-NEXT:      |   |   `-elements: Int 1, Int 2
73   // CHECK-NEXT:      |   `-field: Union .i Int 42
74 }
75