xref: /llvm-project/clang/test/CodeGenCXX/ms-union-member-ref.cpp (revision 2f1fb5da724cf1c4455eadf67591640f83801547)
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 {{.*}}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 
f2(A * a)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 
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"(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]]
35