clang/test/ASTMerge/APValue/APValue.cpp

   1 // RUN: %clang_cc1 -std=gnu++2a -emit-pch %s -o %t.pch
   2 // RUN: %clang_cc1 -std=gnu++2a %s -DEMIT -ast-merge %t.pch -ast-dump-all | FileCheck %s
   3
   4 // XFAIL: *
   5
   6 #ifndef EMIT
   7 #define EMIT
   8
   9 namespace Integer {
  10
  11 consteval int fint() {
  12   return 6789;
  13 }
  14
  15 int Unique_Int = fint();
  16 //CHECK:      VarDecl {{.*}} Unique_Int
  17 //CHECK-NEXT: ConstantExpr {{.*}} 'int'
  18 //CHECK-NEXT: value: Int 6789
  19
  20 consteval __uint128_t fint128() {
  21   return ((__uint128_t)0x75f17d6b3588f843 << 64) | 0xb13dea7c9c324e51;
  22 }
  23
  24 constexpr __uint128_t Unique_Int128 = fint128();
  25 //CHECK:      VarDecl {{.*}} Unique_Int128
  26 //CHECK-NEXT: value: Int 156773562844924187900898496343692168785
  27 //CHECK-NEXT: ConstantExpr
  28 //CHECK-NEXT: value: Int 156773562844924187900898496343692168785
  29
  30 } // namespace Integer
  31
  32 namespace FloatingPoint {
  33
  34 consteval double fdouble() {
  35   return double(567890.67890);
  36 }
  37
  38 double Unique_Double = fdouble();
  39 //CHECK:      VarDecl {{.*}} Unique_Double
  40 //CHECK-NEXT: ConstantExpr {{.*}}
  41 //CHECK-NEXT: value: Float 5.678907e+05
  42
  43 } // namespace FloatingPoint
  44
  45 // FIXME: Add test for FixedPoint, ComplexInt, ComplexFloat, AddrLabelDiff.
  46
  47 namespace Struct {
  48
  49 struct B {
  50   int i;
  51   double d;
  52 };
  53
  54 consteval B fB() {
  55   return B{1, 0.7};
  56 }
  57
  58 constexpr B Basic_Struct = fB();
  59 //CHECK:      VarDecl {{.*}} Basic_Struct
  60 //CHECK-NEXT: value: Struct
  61 //CHECK-NEXT: fields: Int 1, Float 7.000000e-01
  62 //CHECK-NEXT: ImplicitCastExpr
  63 //CHECK-NEXT: ConstantExpr
  64 //CHECK-NEXT: value: Struct
  65 //CHECK-NEXT: fields: Int 1, Float 7.000000e-01
  66
  67 struct C {
  68   int i = 9;
  69 };
  70
  71 struct A : B {
  72   constexpr A(B b, int I, double D, C _c) : B(b), i(I), d(D), c(_c) {}
  73   int i;
  74   double d;
  75   C c;
  76 };
  77
  78 consteval A fA() {
  79   return A(Basic_Struct, 1, 79.789, {});
  80 }
  81
  82 A Advanced_Struct = fA();
  83 //CHECK:      VarDecl {{.*}} Advanced_Struct
  84 //CHECK-NEXT: ConstantExpr {{.*}}
  85 //CHECK-NEXT: value: Struct
  86 //CHECK-NEXT: base: Struct
  87 //CHECK-NEXT: fields: Int 1, Float 7.000000e-01
  88 //CHECK-NEXT: fields: Int 1, Float 7.978900e+01
  89 //CHECK-NEXT: field: Struct
  90 //CHECK-NEXT: field: Int 9
  91
  92 } // namespace Struct
  93
  94 namespace Vector {
  95
  96 using v4si = int __attribute__((__vector_size__(16)));
  97
  98 consteval v4si fv4si() {
  99   return (v4si){8, 2, 3};
 100 }
 101
 102 v4si Vector_Int = fv4si();
 103 //CHECK:      VarDecl {{.*}} Vector_Int
 104 //CHECK-NEXT: ConstantExpr
 105 //CHECK-NEXT: value: Vector length=4
 106 //CHECK-NEXT: elements: Int 8, Int 2, Int 3, Int 0
 107
 108 } // namespace Vector
 109
 110 namespace Array {
 111
 112 struct B {
 113   int arr[6];
 114 };
 115
 116 consteval B fint() {
 117   return B{1, 2, 3, 4, 5, 6};
 118 }
 119
 120 B Array_Int = fint();
 121 //CHECK:      VarDecl {{.*}} Array_Int
 122 //CHECK-NEXT: ConstantExpr
 123 //CHECK-NEXT: value: Struct
 124 //CHECK-NEXT: field: Array size=6
 125 //CHECK-NEXT: elements: Int 1, Int 2, Int 3, Int 4
 126 //CHECK-NEXT: elements: Int 5, Int 6
 127
 128 struct A {
 129   int i = 789;
 130   double d = 67890.09876;
 131 };
 132
 133 struct C {
 134   A arr[3];
 135 };
 136
 137 consteval C fA() {
 138   return {{A{}, A{-45678, 9.8}, A{9}}};
 139 }
 140
 141 C Array2_Struct = fA();
 142 //CHECK:      VarDecl {{.*}} Array2_Struct
 143 //CHECK-NEXT: ConstantExpr {{.*}}
 144
 145 using v4si = int __attribute__((__vector_size__(16)));
 146
 147 struct D {
 148   v4si arr[2];
 149 };
 150
 151 consteval D fv4si() {
 152   return {{{1, 2, 3, 4}, {4, 5, 6, 7}}};
 153 }
 154
 155 D Array_Vector = fv4si();
 156 //CHECK:      VarDecl {{.*}} Array_Vector
 157 //CHECK-NEXT: ConstantExpr {{.*}}
 158 //CHECK-NEXT: value: Struct
 159 //CHECK-NEXT: field: Array size=2
 160 //CHECK-NEXT: element: Vector length=4
 161 //CHECK-NEXT: elements: Int 1, Int 2, Int 3, Int 4
 162 //CHECK-NEXT: element: Vector length=4
 163 //CHECK-NEXT: elements: Int 4, Int 5, Int 6, Int 7
 164
 165 } // namespace Array
 166
 167 namespace Union {
 168
 169 struct A {
 170   int i = 6789;
 171   float f = 987.9876;
 172 };
 173
 174 union U {
 175   int i;
 176   A a{567890, 9876.5678f};
 177 };
 178
 179 consteval U fU1() {
 180   return U{0};
 181 }
 182
 183 U Unique_Union1 = fU1();
 184 //CHECK:      VarDecl {{.*}} Unique_Union
 185 //CHECK-NEXT: ConstantExpr
 186 //CHECK-NEXT: value: Union .i Int 0
 187
 188 consteval U fU() {
 189   return U{};
 190 }
 191
 192 U Unique_Union2 = fU();
 193 //CHECK:      VarDecl {{.*}} Unique_Union
 194 //CHECK-NEXT: ConstantExpr
 195 //CHECK-NEXT: value: Union .a
 196 //CHECK-NEXT: Struct
 197 //CHECK-NEXT: fields: Int 567890, Float 9.876567e+03
 198
 199 } // namespace Union
 200
 201 namespace MemberPointer {
 202
 203 struct A {
 204   struct B {
 205     struct C {
 206       struct D {
 207         struct E {
 208           struct F {
 209             struct G {
 210               int i;
 211             };
 212           };
 213         };
 214       };
 215     };
 216   };
 217 };
 218
 219 consteval auto fmem_ptr() -> decltype(&A::B::C::D::E::F::G::i) {
 220   return &A::B::C::D::E::F::G::i;
 221 }
 222
 223 auto MemberPointer1 = fmem_ptr();
 224 //CHECK:      VarDecl {{.*}} MemberPointer1
 225 //CHECK-NEXT: ConstantExpr
 226 //CHECK-NEXT: value: MemberPointer &G::i
 227
 228 struct A1 {
 229   struct B1 {
 230     int f() const {
 231       return 0;
 232     }
 233   };
 234 };
 235
 236 consteval auto fmem_ptr2() {
 237   return &A1::B1::f;
 238 }
 239
 240 auto MemberPointer2 = fmem_ptr2();
 241 //CHECK:      VarDecl {{.*}} MemberPointer2
 242 //CHECK-NEXT: ConstantExpr
 243 //CHECK-NEXT: value: MemberPointer &B1::f
 244
 245 } // namespace MemberPointer
 246
 247 namespace std {
 248 struct type_info;
 249 };
 250
 251 namespace LValue {
 252
 253 constexpr int g = 0;
 254
 255 consteval const int &fg_ref() {
 256   return g;
 257 }
 258
 259 const int &g_ref = fg_ref();
 260 //CHECK:      VarDecl {{.*}} g_ref
 261 //CHECK-NEXT: ConstantExpr
 262 //CHECK-NEXT: value: LValue &g
 263
 264 consteval const int *fint_ptr() {
 265   return &g;
 266 }
 267
 268 const int *g_ptr = fint_ptr();
 269 //CHECK:      VarDecl {{.*}} g_ptr
 270 //CHECK-NEXT: ConstantExpr
 271 //CHECK-NEXT: value: LValue &g
 272
 273 consteval const int *fnull_ptr() {
 274   return nullptr;
 275 }
 276
 277 const int *ptr2 = fnull_ptr();
 278 //CHECK:      VarDecl {{.*}} ptr2
 279 //CHECK-NEXT: ConstantExpr
 280 //CHECK-NEXT: value: LValue nullptr
 281
 282 int fconst();
 283
 284 consteval auto ffunc_ptr() {
 285   return &fconst;
 286 }
 287
 288 int (*func_ptr)() = ffunc_ptr();
 289 //CHECK:      VarDecl {{.*}} func_ptr
 290 //CHECK-NEXT: ConstantExpr {{.*}}
 291 //CHECK-NEXT: value: LValue &fconst
 292
 293 struct A {
 294   int Arr[6] = {0, 1, 3, 4, 5, 9};
 295   int i = 0;
 296 };
 297
 298 struct D {
 299   A arr[6] = {};
 300 };
 301
 302 consteval D fA() {
 303   return {};
 304 }
 305
 306 constexpr D Arr = fA();
 307 // CHECK:      VarDecl {{.*}} Arr
 308 // CHECK-NEXT: value: Struct
 309 // CHECK-NEXT: field: Array size=6
 310 // CHECK-NEXT: element: Struct
 311 // CHECK-NEXT: field: Array size=6
 312 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 313 // CHECK-NEXT: elements: Int 5, Int 9
 314 // CHECK-NEXT: field: Int 0
 315 // CHECK-NEXT: element: Struct
 316 // CHECK-NEXT: field: Array size=6
 317 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 318 // CHECK-NEXT: elements: Int 5, Int 9
 319 // CHECK-NEXT: field: Int 0
 320 // CHECK-NEXT: element: Struct
 321 // CHECK-NEXT: field: Array size=6
 322 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 323 // CHECK-NEXT: elements: Int 5, Int 9
 324 // CHECK-NEXT: field: Int 0
 325 // CHECK-NEXT: element: Struct
 326 // CHECK-NEXT: field: Array size=6
 327 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 328 // CHECK-NEXT: elements: Int 5, Int 9
 329 // CHECK-NEXT: field: Int 0
 330 // CHECK-NEXT: element: Struct
 331 // CHECK-NEXT: field: Array size=6
 332 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 333 // CHECK-NEXT: elements: Int 5, Int 9
 334 // CHECK-NEXT: field: Int 0
 335 // CHECK-NEXT: element: Struct
 336 // CHECK-NEXT: field: Array size=6
 337 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 338 // CHECK-NEXT: elements: Int 5, Int 9
 339 // CHECK-NEXT: field: Int 0
 340 // CHECK-NEXT: ImplicitCastExpr
 341 // CHECK-NEXT: ConstantExpr
 342 // CHECK-NEXT: value: Struct
 343 // CHECK-NEXT: field: Array size=6
 344 // CHECK-NEXT: element: Struct
 345 // CHECK-NEXT: field: Array size=6
 346 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 347 // CHECK-NEXT: elements: Int 5, Int 9
 348 // CHECK-NEXT: field: Int 0
 349 // CHECK-NEXT: element: Struct
 350 // CHECK-NEXT: field: Array size=6
 351 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 352 // CHECK-NEXT: elements: Int 5, Int 9
 353 // CHECK-NEXT: field: Int 0
 354 // CHECK-NEXT: element: Struct
 355 // CHECK-NEXT: field: Array size=6
 356 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 357 // CHECK-NEXT: elements: Int 5, Int 9
 358 // CHECK-NEXT: field: Int 0
 359 // CHECK-NEXT: element: Struct
 360 // CHECK-NEXT: field: Array size=6
 361 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 362 // CHECK-NEXT: elements: Int 5, Int 9
 363 // CHECK-NEXT: field: Int 0
 364 // CHECK-NEXT: element: Struct
 365 // CHECK-NEXT: field: Array size=6
 366 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 367 // CHECK-NEXT: elements: Int 5, Int 9
 368 // CHECK-NEXT: field: Int 0
 369 // CHECK-NEXT: element: Struct
 370 // CHECK-NEXT: field: Array size=6
 371 // CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 372 // CHECK-NEXT: elements: Int 5, Int 9
 373 // CHECK-NEXT: field: Int 0
 374
 375 consteval const int &fconstintref() {
 376   return Arr.arr[0].i;
 377 }
 378
 379 const int &ArrayStructRef1 = fconstintref();
 380 //CHECK:      VarDecl {{.*}} ArrayStructRef1
 381 //CHECK-NEXT: ConstantExpr
 382 //CHECK-NEXT: value: LValue &Arr.arr[0].i
 383
 384 consteval const int &fconstintref2() {
 385   return Arr.arr[1].Arr[5];
 386 }
 387
 388 const int &ArrayStructRef2 = fconstintref2();
 389 //CHECK:      VarDecl {{.*}} ArrayStructRef2
 390 //CHECK-NEXT: ConstantExpr
 391 //CHECK-NEXT: value: LValue &Arr.arr[1].Arr[5]
 392
 393 consteval const int *fconststar() {
 394   return &ArrayStructRef2;
 395 }
 396
 397 const int *ArrayStructRef3 = fconststar();
 398 //CHECK:      VarDecl {{.*}} ArrayStructRef3
 399 //CHECK-NEXT: ConstantExpr
 400 //CHECK-NEXT: value: LValue  &Arr.arr[1].Arr[5]
 401
 402 struct B : A {
 403 };
 404
 405 struct C {
 406   B b;
 407 };
 408
 409 consteval C fC() {
 410   return {};
 411 }
 412
 413 C c = fC();
 414 //CHECK:      VarDecl {{.*}} c
 415 //CHECK-NEXT: ConstantExpr
 416 //CHECK-NEXT: value: Struct
 417 //CHECK-NEXT: field: Struct
 418 //CHECK-NEXT: base: Struct
 419 //CHECK-NEXT: field: Array size=6
 420 //CHECK-NEXT: elements: Int 0, Int 1, Int 3, Int 4
 421 //CHECK-NEXT: elements: Int 5, Int 9
 422 //CHECK-NEXT: field: Int 0
 423
 424 consteval const int &f2constintref() {
 425   return c.b.i;
 426 }
 427
 428 const int &StructPathRef = f2constintref();
 429 //CHECK:      VarDecl {{.*}} StructPathRef
 430 //CHECK-NEXT: ConstantExpr
 431 //CHECK-NEXT: value: LValue &c.b.A::i
 432
 433 consteval const std::type_info *ftype_info() {
 434   return &typeid(c);
 435 }
 436
 437 const std::type_info *T1 = ftype_info();
 438 //CHECK:      VarDecl {{.*}} T1
 439 //CHECK-NEXT: ConstantExpr
 440 //CHECK-NEXT:value: LValue &typeid(LValue::C)
 441
 442 consteval const std::type_info *ftype_info2() {
 443   return &typeid(Arr.arr[1].Arr[2]);
 444 }
 445
 446 const std::type_info *T2 = ftype_info2();
 447 //CHECK:      VarDecl {{.*}} T2
 448 //CHECK-NEXT: ConstantExpr
 449 //CHECK-NEXT: value: LValue &typeid(int)
 450
 451 consteval const char *fstring() {
 452   return "test";
 453 }
 454
 455 const char *cptr = fstring();
 456 //CHECK:      VarDecl {{.*}} cptr
 457 //CHECK-NEXT: ConstantExpr
 458 //CHECK-NEXT: value: LValue &"test"[0]
 459
 460 } // namespace LValue
 461
 462 #endif