clang/test/CodeGen/designated-initializers.c

   1 // RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s
   2
   3 struct foo {
   4     void *a;
   5     int b;
   6 };
   7
   8 // CHECK: @u ={{.*}} global %union.anon zeroinitializer
   9 union { int i; float f; } u = { };
  10
  11 // CHECK: @u2 ={{.*}} global { i32, [4 x i8] } { i32 0, [4 x i8] undef }
  12 union { int i; double f; } u2 = { };
  13
  14 // CHECK: @u3 ={{.*}} global  %union.anon.1 zeroinitializer
  15 union { double f; int i; } u3 = { };
  16
  17 // CHECK: @b ={{.*}} global [2 x i32] [i32 0, i32 22]
  18 int b[2] = {
  19   [1] = 22
  20 };
  21
  22 // PR6955
  23
  24 struct ds {
  25   struct {
  26     struct {
  27       short a;
  28     };
  29     short b;
  30     struct {
  31       short c;
  32     };
  33   };
  34 };
  35
  36 // Traditional C anonymous member init
  37 struct ds ds0 = { { { .a = 0 } } };
  38 // C1X lookup-based anonymous member init cases
  39 struct ds ds1 = { { .a = 1 } };
  40 struct ds ds2 = { { .b = 1 } };
  41 struct ds ds3 = { .a = 0 };
  42 // CHECK: @ds4 ={{.*}} global %struct.ds { %struct.anon.3 { %struct.anon zeroinitializer, i16 0, %struct.anon.2 { i16 1 } } }
  43 struct ds ds4 = { .c = 1 };
  44 struct ds ds5 = { { { .a = 0 } }, .b = 1 };
  45 struct ds ds6 = { { .a = 0, .b = 1 } };
  46 // CHECK: @ds7 ={{.*}} global %struct.ds { %struct.anon.3 { %struct.anon { i16 2 }, i16 3, %struct.anon.2 zeroinitializer } }
  47 struct ds ds7 = {
  48   { {
  49       .a = 1
  50     } },
  51   .a = 2,
  52   .b = 3
  53 };
  54
  55
  56 // <rdar://problem/10465114>
  57 struct overwrite_string_struct1 {
  58   __typeof(L"foo"[0]) L[6];
  59   int M;
  60 } overwrite_string1[] = { { { L"foo" }, 1 }, [0].L[2] = L'x'};
  61 // CHECK: [6 x i32] [i32 102, i32 111, i32 120, i32 0, i32 0, i32 0], i32 1
  62 struct overwrite_string_struct2 {
  63   char L[6];
  64   int M;
  65 } overwrite_string2[] = { { { "foo" }, 1 }, [0].L[2] = 'x'};
  66 // CHECK: [6 x i8] c"fox\00\00\00", i32 1
  67 struct overwrite_string_struct3 {
  68   char L[3];
  69   int M;
  70 } overwrite_string3[] = { { { "foo" }, 1 }, [0].L[2] = 'x'};
  71 // CHECK: [3 x i8] c"fox", i32 1
  72 struct overwrite_string_struct4 {
  73   char L[3];
  74   int M;
  75 } overwrite_string4[] = { { { "foobar" }, 1 }, [0].L[2] = 'x'};
  76 // CHECK: [3 x i8] c"fox", i32 1
  77 struct overwrite_string_struct5 {
  78   char L[6];
  79   int M;
  80 } overwrite_string5[] = { { { "foo" }, 1 }, [0].L[4] = 'y'};
  81 // CHECK: [6 x i8] c"foo\00y\00", i32 1
  82
  83
  84 // CHECK: @u1 = {{.*}} { i32 65535 }
  85 union u_FFFF { char c; long l; } u1 = { .l = 0xFFFF };
  86
  87
  88 /// PR16644
  89 typedef union u_16644 {
  90   struct s_16644 {
  91     int zero;
  92     int one;
  93     int two;
  94     int three;
  95   } a;
  96   int b[4];
  97 } union_16644_t;
  98
  99 // CHECK: @union_16644_instance_0 = {{.*}} { i32 0, i32 0, i32 0, i32 3 } }
 100 union_16644_t union_16644_instance_0 =
 101 {
 102   .b[0]    = 0,
 103   .a.one   = 1,
 104   .b[2]    = 2,
 105   .a.three = 3,
 106 };
 107
 108 // CHECK: @union_16644_instance_1 = {{.*}} [i32 10, i32 0, i32 0, i32 0]
 109 union_16644_t union_16644_instance_1 =
 110 {
 111   .a.three = 13,
 112   .b[2]    = 12,
 113   .a.one   = 11,
 114   .b[0]    = 10,
 115 };
 116
 117 // CHECK: @union_16644_instance_2 = {{.*}} [i32 0, i32 20, i32 0, i32 0]
 118 union_16644_t union_16644_instance_2 =
 119 {
 120   .a.one   = 21,
 121   .b[1]    = 20,
 122 };
 123
 124 // CHECK: @union_16644_instance_3 = {{.*}} { i32 0, i32 31, i32 0, i32 0 }
 125 union_16644_t union_16644_instance_3 =
 126 {
 127   .b[1]    = 30,
 128   .a = {
 129     .one = 31
 130   }
 131 };
 132
 133 // CHECK: @union_16644_instance_4 = {{.*}} { i32 5, i32 2, i32 0, i32 0 } {{.*}} [i32 0, i32 4, i32 0, i32 0]
 134 union_16644_t union_16644_instance_4[2] =
 135 {
 136   [0].a.one = 2,
 137   [1].a.zero = 3,
 138   [0].a.zero = 5,
 139   [1].b[1] = 4
 140 };
 141
 142 // CHECK: @lab ={{.*}} global { [4 x i8], i32 } { [4 x i8] undef, i32 123 }
 143 struct leading_anon_bitfield { int : 32; int n; } lab = { .n = 123 };
 144
 145 // rdar://45691981
 146 struct Base {
 147   struct {
 148     int A;
 149   };
 150 };
 151 struct Derived {
 152   struct Base B;
 153 };
 154 struct Derived D = {{}, .B.A = 42};
 155 // CHECK: @D ={{.*}} global %struct.Derived { %struct.Base { %struct.anon.4 { i32 42 } } }, align 4
 156
 157 void test1(int argc, char **argv)
 158 {
 159   // CHECK: internal global %struct.foo { ptr null, i32 1024 }
 160   static struct foo foo = {
 161     .b = 1024,
 162   };
 163
 164   // CHECK: call void @llvm.memset
 165    union { int i; float f; } u2 = { };
 166
 167   // CHECK-NOT: call void @llvm.memset
 168   union { int i; float f; } u3;
 169
 170   // CHECK: ret void
 171 }
 172
 173
 174 // PR7151
 175 struct S {
 176   int nkeys;
 177   int *keys;
 178   union {
 179     void *data;
 180   };
 181 };
 182
 183 void test2(void) {
 184   struct S *btkr;
 185
 186   *btkr = (struct S) {
 187     .keys  = 0,
 188     { .data  = 0 },
 189   };
 190 }