1*e0e07a7eSRichard Smith // RUN: %clang_cc1 %s -triple %itanium_abi_triple -emit-llvm -O2 -disable-llvm-passes -o - | FileCheck %s
2*e0e07a7eSRichard Smith // RUN: %clang_cc1 %s -triple %ms_abi_triple -emit-llvm -O2 -disable-llvm-passes -o - | FileCheck %s
3*e0e07a7eSRichard Smith
4*e0e07a7eSRichard Smith enum class __attribute__((may_alias)) E {};
5*e0e07a7eSRichard Smith
6*e0e07a7eSRichard Smith template<typename T> struct A {
7*e0e07a7eSRichard Smith using B __attribute__((may_alias)) = enum {};
8*e0e07a7eSRichard Smith };
9*e0e07a7eSRichard Smith
10*e0e07a7eSRichard Smith template<typename T> using Alias = typename A<T>::B;
11*e0e07a7eSRichard Smith
12*e0e07a7eSRichard Smith // CHECK-LABEL: define {{.*}}foo
13*e0e07a7eSRichard Smith // CHECK: load i{{[0-9]*}}, {{.*}}, !tbaa ![[MAY_ALIAS:[^ ,]*]]
foo(E & r)14*e0e07a7eSRichard Smith auto foo(E &r) { return r; }
15*e0e07a7eSRichard Smith
16*e0e07a7eSRichard Smith // CHECK-LABEL: define {{.*}}goo
17*e0e07a7eSRichard Smith // CHECK: load i{{[0-9]*}}, {{.*}}, !tbaa ![[MAY_ALIAS]]
goo(A<int>::B & r)18*e0e07a7eSRichard Smith auto goo(A<int>::B &r) { return r; }
19*e0e07a7eSRichard Smith
20*e0e07a7eSRichard Smith // CHECK-LABEL: define {{.*}}hoo
21*e0e07a7eSRichard Smith // CHECK: load i{{[0-9]*}}, {{.*}}, !tbaa ![[MAY_ALIAS]]
hoo(Alias<int> & r)22*e0e07a7eSRichard Smith auto hoo(Alias<int> &r) { return r; }
23*e0e07a7eSRichard Smith
24*e0e07a7eSRichard Smith // CHECK: ![[CHAR:.*]] = !{!"omnipotent char", !{{.*}}, i64 0}
25*e0e07a7eSRichard Smith // CHECK: ![[MAY_ALIAS]] = !{![[CHAR]], ![[CHAR]], i64 0}
26