Home | History | Annotate | Download | only in CodeGen
      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 void test1(int argc, char **argv)
    143 {
    144   // CHECK: internal global %struct.foo { i8* null, i32 1024 }
    145   static struct foo foo = {
    146     .b = 1024,
    147   };
    148 
    149   // CHECK: bitcast %union.anon.4* %u2
    150   // CHECK: call void @llvm.memset
    151    union { int i; float f; } u2 = { };
    152 
    153   // CHECK-NOT: call void @llvm.memset
    154   union { int i; float f; } u3;
    155 
    156   // CHECK: ret void
    157 }
    158 
    159 
    160 // PR7151
    161 struct S {
    162   int nkeys;
    163   int *keys;
    164   union {
    165     void *data;
    166   };
    167 };
    168 
    169 void test2() {
    170   struct S *btkr;
    171 
    172   *btkr = (struct S) {
    173     .keys  = 0,
    174     { .data  = 0 },
    175   };
    176 }
    177