const-init.c revision c219a1579c200c62d925653336e72d9d2f6c4cb7 
1// RUN: clang-cc -triple i386-pc-linux-gnu -verify -emit-llvm -o %t %s &&
2
3#include <stdint.h>
4
5// Brace-enclosed string array initializers
6char a[] = { "asdf" };
7
8// Double-implicit-conversions of array/functions (not legal C, but
9// clang accepts it for gcc compat).
10intptr_t b = a; // expected-warning {{incompatible pointer to integer conversion}}
11int c();
12void *d = c;
13intptr_t e = c; // expected-warning {{incompatible pointer to integer conversion}}
14
15int f, *g = __extension__ &f, *h = (1 != 1) ? &f : &f;
16
17union s2 {
18  struct {
19    struct { } *f0;
20  } f0;
21};
22
23int g0 = (int)(&(((union s2 *) 0)->f0.f0) - 0);
24
25// RUN: grep '@g1x = global %. { double 1.000000e+00, double 0.000000e+00 }' %t &&
26_Complex double g1x = 1.0f;
27// RUN: grep '@g1y = global %. { double 0.000000e+00, double 1.000000e+00 }' %t &&
28_Complex double g1y = 1.0fi;
29// RUN: grep '@g1 = global %. { i8 1, i8 10 }' %t &&
30_Complex char g1 = (char) 1 + (char) 10 * 1i;
31// RUN: grep '@g2 = global %2 { i32 1, i32 10 }' %t &&
32_Complex int g2 = 1 + 10i;
33// RUN: grep '@g3 = global %. { float 1.000000e+00, float 1.000000e+01 }' %t &&
34_Complex float g3 = 1.0 + 10.0i;
35// RUN: grep '@g4 = global %. { double 1.000000e+00, double 1.000000e+01 }' %t &&
36_Complex double g4 = 1.0 + 10.0i;
37// RUN: grep '@g5 = global %2 zeroinitializer' %t &&
38_Complex int g5 = (2 + 3i) == (5 + 7i);
39// RUN: grep '@g6 = global %. { double -1.100000e+01, double 2.900000e+01 }' %t &&
40_Complex double g6 = (2.0 + 3.0i) * (5.0 + 7.0i);
41// RUN: grep '@g7 = global i32 1' %t &&
42int g7 = (2 + 3i) * (5 + 7i) == (-11 + 29i);
43// RUN: grep '@g8 = global i32 1' %t &&
44int g8 = (2.0 + 3.0i) * (5.0 + 7.0i) == (-11.0 + 29.0i);
45// RUN: grep '@g9 = global i32 0' %t &&
46int g9 = (2 + 3i) * (5 + 7i) != (-11 + 29i);
47// RUN: grep '@g10 = global i32 0' %t &&
48int g10 = (2.0 + 3.0i) * (5.0 + 7.0i) != (-11.0 + 29.0i);
49
50
51// Global references
52// RUN: grep '@g11.l0 = internal global i32 ptrtoint (i32 ()\* @g11 to i32)' %t &&
53long g11() {
54  static long l0 = (long) g11;
55  return l0;
56}
57
58// RUN: grep '@g12 = global i32 ptrtoint (i8\* @g12_tmp to i32)' %t &&
59static char g12_tmp;
60long g12 = (long) &g12_tmp;
61
62// RUN: grep '@g13 = global \[1 x .struct.g13_s0\] \[.struct.g13_s0 <{ i32 ptrtoint (i8\* @g12_tmp to i32) }>\]' %t &&
63struct g13_s0 {
64   long a;
65};
66struct g13_s0 g13[] = {
67   { (long) &g12_tmp }
68};
69
70// RUN: grep '@g14 = global i8\* inttoptr (i64 100 to i8\*)' %t &&
71void *g14 = (void*) 100;
72
73// RUN: grep '@g15 = global i32 -1' %t &&
74int g15 = (int) (char) ((void*) 0 + 255);
75
76// RUN: grep '@g16 = global i64 4294967295' %t &&
77long long g16 = (long long) ((void*) 0xFFFFFFFF);
78
79// RUN: grep '@g17 = global i32\* @g15' %t &&
80int *g17 = (int *) ((long) &g15);
81
82// RUN: grep '@g18.p = internal global \[1 x i32\*\] \[i32\* @g19\]' %t &&
83void g18(void) {
84  extern int g19;
85  static int *p[] = { &g19 };
86}
87
88// RUN: grep '@g20.l0 = internal global .struct.g20_s1 <{ .struct.g20_s0\* null, .struct.g20_s0\*\* getelementptr (.struct.g20_s1\* @g20.l0, i32 0, i32 0) }>'  %t &&
89
90struct g20_s0;
91struct g20_s1 {
92  struct g20_s0 *f0, **f1;
93};
94void *g20(void) {
95  static struct g20_s1 l0 = { ((void*) 0), &l0.f0 };
96  return l0.f1;
97}
98
99// PR4108
100struct g21 {int g21;};
101const struct g21 g21 = (struct g21){1};
102
103// RUN: true
104
105