clang/test/CodeGenCXX/ms-union-member-ref.cpp

   1 // RUN: %clang_cc1 -triple=i686-pc-win32 -fms-extensions %s -emit-llvm -o- | FileCheck %s
   2
   3 union A {
   4   int *&ref;
   5   int **ptr;
   6 };
   7
   8 int *f1(A *a) {
   9   return a->ref;
  10 }
  11 // CHECK-LABEL: define {{.*}}ptr @"?f1@@YAPAHPATA@@@Z"(ptr noundef %a)
  12 // CHECK:       [[A_ADDR:%[^[:space:]]+]] = load ptr, ptr %{{.*}}
  13 // CHECK:       [[IPP:%[^[:space:]]+]] = load ptr, ptr [[A_ADDR]]
  14 // CHECK:       [[IP:%[^[:space:]]+]]  = load ptr, ptr [[IPP]]
  15 // CHECK:       ret ptr [[IP]]
  16
  17 void f2(A *a) {
  18   *a->ref = 1;
  19 }
  20 // CHECK-LABEL: define {{.*}}void @"?f2@@YAXPATA@@@Z"(ptr noundef %a)
  21 // CHECK:       [[A_ADDR:%[^[:space:]]+]] = load ptr, ptr %{{.*}}
  22 // CHECK:       [[IPP:%[^[:space:]]+]] = load ptr, ptr [[A_ADDR]]
  23 // CHECK:       [[IP:%[^[:space:]]+]]  = load ptr, ptr [[IPP]]
  24 // CHECK:       store i32 1, ptr [[IP]]
  25
  26 bool f3(A *a, int *b) {
  27   return a->ref != b;
  28 }
  29 // CHECK-LABEL: define {{.*}}i1 @"?f3@@YA_NPATA@@PAH@Z"(ptr noundef %a, ptr noundef %b)
  30 // CHECK:       [[A_ADDR:%[^[:space:]]+]] = load ptr, ptr %{{.*}}
  31 // CHECK:       [[IPP:%[^[:space:]]+]] = load ptr, ptr [[A_ADDR]]
  32 // CHECK:       [[IP:%[^[:space:]]+]]  = load ptr, ptr [[IPP]]
  33 // CHECK:       [[IP2:%[^[:space:]]+]]  = load ptr, ptr %b.addr
  34 // CHECK:       icmp ne ptr [[IP]], [[IP2]]