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 
     85 void test1(int argc, char **argv)
     86 {
     87   // CHECK: internal global %struct.foo { i8* null, i32 1024 }
     88   static struct foo foo = {
     89     .b = 1024,
     90   };
     91 
     92   // CHECK: bitcast %union.anon.4* %u2
     93   // CHECK: call void @llvm.memset
     94    union { int i; float f; } u2 = { };
     95 
     96   // CHECK-NOT: call void @llvm.memset
     97   union { int i; float f; } u3;
     98 
     99   // CHECK: ret void
    100 }
    101 
    102 
    103 // PR7151
    104 struct S {
    105   int nkeys;
    106   int *keys;
    107   union {
    108     void *data;
    109   };
    110 };
    111 
    112 void test2() {
    113   struct S *btkr;
    114 
    115   *btkr = (struct S) {
    116     .keys  = 0,
    117     { .data  = 0 },
    118   };
    119 }
    120