1 // RUN: %clang_cc1 -triple x86_64 -emit-llvm -debug-info-kind=limited %s -o - | FileCheck %s
2
3 #define _(x) (__builtin_preserve_access_index(x))
4
5 struct s1 {
6 char a;
7 int b[4];
8 };
9
unit1(struct s1 * arg)10 int unit1(struct s1 *arg) {
11 return _(arg->b[2]);
12 }
13 // CHECK: define dso_local i32 @unit1
14 // CHECK: call ptr @llvm.preserve.struct.access.index.p0.p0(ptr elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]]
15 // CHECK: call ptr @llvm.preserve.array.access.index.p0.p0(ptr elementtype([4 x i32]) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[ARRAY:[0-9]+]]
16 //
17 // CHECK: ![[ARRAY]] = !DICompositeType(tag: DW_TAG_array_type
18 // CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1"
19