clang/test/AST/ast-dump-APValue-array.cpp

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