reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34

// RUN: %clang_cc1 -triple=i686-pc-win32 -fms-extensions %s -emit-llvm -o- | FileCheck %s

union A {
  int *&ref;
  int **ptr;
};

int *f1(A *a) {
  return a->ref;
}
// CHECK-LABEL: define {{.*}}i32* @"?f1@@YAPAHPATA@@@Z"(%union.A* %a)
// CHECK:       [[REF:%[^[:space:]]+]] = bitcast %union.A* %{{.*}} to i32***
// CHECK:       [[IPP:%[^[:space:]]+]] = load i32**, i32*** [[REF]]
// CHECK:       [[IP:%[^[:space:]]+]]  = load i32*, i32** [[IPP]]
// CHECK:       ret i32* [[IP]]

void f2(A *a) {
  *a->ref = 1;
}
// CHECK-LABEL: define {{.*}}void @"?f2@@YAXPATA@@@Z"(%union.A* %a)
// CHECK:       [[REF:%[^[:space:]]+]] = bitcast %union.A* %{{.*}} to i32***
// CHECK:       [[IPP:%[^[:space:]]+]] = load i32**, i32*** [[REF]]
// CHECK:       [[IP:%[^[:space:]]+]]  = load i32*, i32** [[IPP]]
// CHECK:       store i32 1, i32* [[IP]]

bool f3(A *a, int *b) {
  return a->ref != b;
}
// CHECK-LABEL: define {{.*}}i1 @"?f3@@YA_NPATA@@PAH@Z"(%union.A* %a, i32* %b)
// CHECK:       [[REF:%[^[:space:]]+]] = bitcast %union.A* %{{.*}} to i32***
// CHECK:       [[IPP:%[^[:space:]]+]] = load i32**, i32*** [[REF]]
// CHECK:       [[IP:%[^[:space:]]+]]  = load i32*, i32** [[IPP]]
// CHECK:       [[IP2:%[^[:space:]]+]]  = load i32*, i32** %b.addr
// CHECK:       icmp ne i32* [[IP]], [[IP2]]