// RUN: %clang_cc1 -no-opaque-pointers -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* noundef %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* noundef %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* noundef %a, i32* noundef %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]]