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
f1(A * a)8 int *f1(A *a) {
9 return a->ref;
10 }
11 // CHECK-LABEL: define {{.*}}i32* @"?f1@@YAPAHPATA@@@Z"(%union.A* %a)
12 // CHECK: [[REF:%[^[:space:]]+]] = bitcast %union.A* %{{.*}} to i32***
13 // CHECK: [[IPP:%[^[:space:]]+]] = load i32**, i32*** [[REF]]
14 // CHECK: [[IP:%[^[:space:]]+]] = load i32*, i32** [[IPP]]
15 // CHECK: ret i32* [[IP]]
16
f2(A * a)17 void f2(A *a) {
18 *a->ref = 1;
19 }
20 // CHECK-LABEL: define {{.*}}void @"?f2@@YAXPATA@@@Z"(%union.A* %a)
21 // CHECK: [[REF:%[^[:space:]]+]] = bitcast %union.A* %{{.*}} to i32***
22 // CHECK: [[IPP:%[^[:space:]]+]] = load i32**, i32*** [[REF]]
23 // CHECK: [[IP:%[^[:space:]]+]] = load i32*, i32** [[IPP]]
24 // CHECK: store i32 1, i32* [[IP]]
25
f3(A * a,int * b)26 bool f3(A *a, int *b) {
27 return a->ref != b;
28 }
29 // CHECK-LABEL: define {{.*}}i1 @"?f3@@YA_NPATA@@PAH@Z"(%union.A* %a, i32* %b)
30 // CHECK: [[REF:%[^[:space:]]+]] = bitcast %union.A* %{{.*}} to i32***
31 // CHECK: [[IPP:%[^[:space:]]+]] = load i32**, i32*** [[REF]]
32 // CHECK: [[IP:%[^[:space:]]+]] = load i32*, i32** [[IPP]]
33 // CHECK: [[IP2:%[^[:space:]]+]] = load i32*, i32** %b.addr
34 // CHECK: icmp ne i32* [[IP]], [[IP2]]
35