clang/test/CodeGen/builtin-preserve-access-index.c

   1 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64 -emit-llvm -debug-info-kind=limited %s -o - | FileCheck %s
   2
   3 #define _(x) (__builtin_preserve_access_index(x))
   4
   5 const void *unit1(const void *arg) {
   6   return _(arg);
   7 }
   8 // CHECK: define dso_local i8* @unit1
   9 // CHECK-NOT: llvm.preserve.array.access.index
  10 // CHECK-NOT: llvm.preserve.struct.access.index
  11 // CHECK-NOT: llvm.preserve.union.access.index
  12
  13 const void *unit2(void) {
  14   return _((const void *)0xffffffffFFFF0000ULL);
  15 }
  16 // CHECK: define dso_local i8* @unit2
  17 // CHECK-NOT: llvm.preserve.array.access.index
  18 // CHECK-NOT: llvm.preserve.struct.access.index
  19 // CHECK-NOT: llvm.preserve.union.access.index
  20
  21 const void *unit3(const int *arg) {
  22   return _(arg + 1);
  23 }
  24 // CHECK: define dso_local i8* @unit3
  25 // CHECK-NOT: llvm.preserve.array.access.index
  26 // CHECK-NOT: llvm.preserve.struct.access.index
  27 // CHECK-NOT: llvm.preserve.union.access.index
  28
  29 const void *unit4(const int *arg) {
  30   return _(&arg[1]);
  31 }
  32 // CHECK: define dso_local i8* @unit4
  33 // CHECK-NOT: getelementptr
  34 // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* elementtype(i32) %{{[0-9a-z]+}}, i32 0, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[POINTER:[0-9]+]]
  35
  36 const void *unit5(const int *arg[5]) {
  37   return _(&arg[1][2]);
  38 }
  39 // CHECK: define dso_local i8* @unit5
  40 // CHECK-NOT: getelementptr
  41 // CHECK: call i32** @llvm.preserve.array.access.index.p0p0i32.p0p0i32(i32** elementtype(i32*) %{{[0-9a-z]+}}, i32 0, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}}
  42 // CHECK-NOT: getelementptr
  43 // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* elementtype(i32) %{{[0-9a-z]+}}, i32 0, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[POINTER:[0-9]+]]
  44
  45 struct s1 {
  46   char a;
  47   int b;
  48 };
  49
  50 struct s2 {
  51   char a1:1;
  52   char a2:1;
  53   int b;
  54 };
  55
  56 struct s3 {
  57   char a1:1;
  58   char a2:1;
  59   char :6;
  60   int b;
  61 };
  62
  63 const void *unit6(struct s1 *arg) {
  64   return _(&arg->a);
  65 }
  66 // CHECK: define dso_local i8* @unit6
  67 // CHECK-NOT: getelementptr
  68 // CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]]
  69
  70 const void *unit7(struct s1 *arg) {
  71   return _(&arg->b);
  72 }
  73 // CHECK: define dso_local i8* @unit7
  74 // CHECK-NOT: getelementptr
  75 // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1]]
  76
  77 const void *unit8(struct s2 *arg) {
  78   return _(&arg->b);
  79 }
  80 // CHECK: define dso_local i8* @unit8
  81 // CHECK-NOT: getelementptr
  82 // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s2s(%struct.s2* elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S2:[0-9]+]]
  83
  84 const void *unit9(struct s3 *arg) {
  85   return _(&arg->b);
  86 }
  87 // CHECK: define dso_local i8* @unit9
  88 // CHECK-NOT: getelementptr
  89 // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s3s(%struct.s3* elementtype(%struct.s3) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S3:[0-9]+]]
  90
  91 union u1 {
  92   char a;
  93   int b;
  94 };
  95
  96 union u2 {
  97   char a;
  98   int :32;
  99   int b;
 100 };
 101
 102 const void *unit10(union u1 *arg) {
 103   return _(&arg->a);
 104 }
 105 // CHECK: define dso_local i8* @unit10
 106 // CHECK-NOT: getelementptr
 107 // CHECK: call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U1:[0-9]+]]
 108
 109 const void *unit11(union u1 *arg) {
 110   return _(&arg->b);
 111 }
 112 // CHECK: define dso_local i8* @unit11
 113 // CHECK-NOT: getelementptr
 114 // CHECK: call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %{{[0-9a-z]+}}, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U1]]
 115
 116 const void *unit12(union u2 *arg) {
 117   return _(&arg->b);
 118 }
 119 // CHECK: define dso_local i8* @unit12
 120 // CHECK-NOT: getelementptr
 121 // CHECK: call %union.u2* @llvm.preserve.union.access.index.p0s_union.u2s.p0s_union.u2s(%union.u2* %{{[0-9a-z]+}}, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U2:[0-9]+]]
 122
 123 struct s4 {
 124   char d;
 125   union u {
 126     int b[4];
 127     char a;
 128   } c;
 129 };
 130
 131 union u3 {
 132   struct s {
 133     int b[4];
 134   } c;
 135   char a;
 136 };
 137
 138 const void *unit13(struct s4 *arg) {
 139   return _(&arg->c.b[2]);
 140 }
 141 // CHECK: define dso_local i8* @unit13
 142 // CHECK: call %union.u* @llvm.preserve.struct.access.index.p0s_union.us.p0s_struct.s4s(%struct.s4* elementtype(%struct.s4) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S4:[0-9]+]]
 143 // CHECK: call %union.u* @llvm.preserve.union.access.index.p0s_union.us.p0s_union.us(%union.u* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_I_U:[0-9]+]]
 144 // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* elementtype([4 x i32]) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}}
 145
 146 const void *unit14(union u3 *arg) {
 147   return _(&arg->c.b[2]);
 148 }
 149 // CHECK: define dso_local i8* @unit14
 150 // CHECK: call %union.u3* @llvm.preserve.union.access.index.p0s_union.u3s.p0s_union.u3s(%union.u3* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U3:[0-9]+]]
 151 // CHECK: call [4 x i32]* @llvm.preserve.struct.access.index.p0a4i32.p0s_struct.ss(%struct.s* elementtype(%struct.s) %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_I_S:[0-9]+]]
 152 // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* elementtype([4 x i32]) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}}
 153
 154 const void *unit15(struct s4 *arg) {
 155   return _(&arg[2].c.a);
 156 }
 157 // CHECK: define dso_local i8* @unit15
 158 // CHECK: call %struct.s4* @llvm.preserve.array.access.index.p0s_struct.s4s.p0s_struct.s4s(%struct.s4* elementtype(%struct.s4) %{{[0-9a-z]+}}, i32 0, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}}
 159 // CHECK: call %union.u* @llvm.preserve.struct.access.index.p0s_union.us.p0s_struct.s4s(%struct.s4* elementtype(%struct.s4) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S4]]
 160 // CHECK: call %union.u* @llvm.preserve.union.access.index.p0s_union.us.p0s_union.us(%union.u* %{{[0-9a-z]+}}, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_I_U]]
 161
 162 const void *unit16(union u3 *arg) {
 163   return _(&arg[2].a);
 164 }
 165 // CHECK: define dso_local i8* @unit16
 166 // CHECK: call %union.u3* @llvm.preserve.array.access.index.p0s_union.u3s.p0s_union.u3s(%union.u3* elementtype(%union.u3) %{{[0-9a-z]+}}, i32 0, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}}
 167 // CHECK: call %union.u3* @llvm.preserve.union.access.index.p0s_union.u3s.p0s_union.u3s(%union.u3* %{{[0-9a-z]+}}, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U3]]
 168
 169 // CHECK: ![[POINTER]] = !DIDerivedType(tag: DW_TAG_pointer_type
 170 // CHECK: ![[STRUCT_S4]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s4"
 171 // CHECK: ![[UNION_I_U]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u"
 172 // CHECK: ![[UNION_U3]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u3"
 173 // CHECK: ![[STRUCT_I_S]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s"
 174 // CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1"
 175 // CHECK: ![[STRUCT_S2]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s2"
 176 // CHECK: ![[STRUCT_S3]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s3"
 177 // CHECK: ![[UNION_U1]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u1"
 178 // CHECK: ![[UNION_U2]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u2"