35 lines · cpp
1// RUN: %clang_cc1 -triple=i686-pc-win32 -fms-extensions %s -emit-llvm -o- | FileCheck %s2 3union A {4 int *&ref;5 int **ptr;6};7 8int *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 17void 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 26bool 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.addr34// CHECK: icmp ne ptr [[IP]], [[IP2]]35