1*67e74705SXin Li // RUN: %clang_cc1 -triple %itanium_abi_triple -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=ITANIUM
2*67e74705SXin Li // RUN: %clang_cc1 -triple %ms_abi_triple -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=MSABI
3*67e74705SXin Li
4*67e74705SXin Li // Should be 3 hello strings, two global (of different sizes), the rest are
5*67e74705SXin Li // shared.
6*67e74705SXin Li
7*67e74705SXin Li // CHECK: @align = global i8 [[ALIGN:[0-9]+]]
8*67e74705SXin Li // ITANIUM: @.str = private unnamed_addr constant [6 x i8] c"hello\00"
9*67e74705SXin Li // MSABI: @"\01??_C@_05CJBACGMB@hello?$AA@" = linkonce_odr unnamed_addr constant [6 x i8] c"hello\00", comdat, align 1
10*67e74705SXin Li // ITANIUM: @f1.x = internal global i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i32 0, i32 0)
11*67e74705SXin Li // MSABI: @f1.x = internal global i8* getelementptr inbounds ([6 x i8], [6 x i8]* @"\01??_C@_05CJBACGMB@hello?$AA@", i32 0, i32 0)
12*67e74705SXin Li // CHECK: @f2.x = internal global [6 x i8] c"hello\00", align [[ALIGN]]
13*67e74705SXin Li // CHECK: @f3.x = internal global [8 x i8] c"hello\00\00\00", align [[ALIGN]]
14*67e74705SXin Li // ITANIUM: @f4.x = internal global %struct.s { i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i32 0, i32 0) }
15*67e74705SXin Li // MSABI: @f4.x = internal global %struct.s { i8* getelementptr inbounds ([6 x i8], [6 x i8]* @"\01??_C@_05CJBACGMB@hello?$AA@", i32 0, i32 0) }
16*67e74705SXin Li // CHECK: @x = global [3 x i8] c"ola", align [[ALIGN]]
17*67e74705SXin Li
18*67e74705SXin Li // XFAIL: hexagon
19*67e74705SXin Li // Hexagon aligns arrays of size 8+ bytes to a 64-bit boundary, which
20*67e74705SXin Li // fails the check for "@f3.x = ... align [ALIGN]", since ALIGN is derived
21*67e74705SXin Li // from the alignment of a single i8, which is still 1.
22*67e74705SXin Li
23*67e74705SXin Li #if defined(__s390x__)
24*67e74705SXin Li unsigned char align = 2;
25*67e74705SXin Li #else
26*67e74705SXin Li unsigned char align = 1;
27*67e74705SXin Li #endif
28*67e74705SXin Li
29*67e74705SXin Li void bar(const char *);
30*67e74705SXin Li
31*67e74705SXin Li // CHECK-LABEL: define {{.*}}void @f0()
f0()32*67e74705SXin Li void f0() {
33*67e74705SXin Li bar("hello");
34*67e74705SXin Li // ITANIUM: call {{.*}}void @bar({{.*}} @.str
35*67e74705SXin Li // MSABI: call {{.*}}void @bar({{.*}} @"\01??_C@_05CJBACGMB@hello?$AA@"
36*67e74705SXin Li }
37*67e74705SXin Li
38*67e74705SXin Li // CHECK-LABEL: define {{.*}}void @f1()
f1()39*67e74705SXin Li void f1() {
40*67e74705SXin Li static char *x = "hello";
41*67e74705SXin Li bar(x);
42*67e74705SXin Li // CHECK: [[T1:%.*]] = load i8*, i8** @f1.x
43*67e74705SXin Li // CHECK: call {{.*}}void @bar(i8* [[T1:%.*]])
44*67e74705SXin Li }
45*67e74705SXin Li
46*67e74705SXin Li // CHECK-LABEL: define {{.*}}void @f2()
f2()47*67e74705SXin Li void f2() {
48*67e74705SXin Li static char x[] = "hello";
49*67e74705SXin Li bar(x);
50*67e74705SXin Li // CHECK: call {{.*}}void @bar({{.*}} @f2.x
51*67e74705SXin Li }
52*67e74705SXin Li
53*67e74705SXin Li // CHECK-LABEL: define {{.*}}void @f3()
f3()54*67e74705SXin Li void f3() {
55*67e74705SXin Li static char x[8] = "hello";
56*67e74705SXin Li bar(x);
57*67e74705SXin Li // CHECK: call {{.*}}void @bar({{.*}} @f3.x
58*67e74705SXin Li }
59*67e74705SXin Li
60*67e74705SXin Li void gaz(void *);
61*67e74705SXin Li
62*67e74705SXin Li // CHECK-LABEL: define {{.*}}void @f4()
f4()63*67e74705SXin Li void f4() {
64*67e74705SXin Li static struct s {
65*67e74705SXin Li char *name;
66*67e74705SXin Li } x = { "hello" };
67*67e74705SXin Li gaz(&x);
68*67e74705SXin Li // CHECK: call {{.*}}void @gaz({{.*}} @f4.x
69*67e74705SXin Li }
70*67e74705SXin Li
71*67e74705SXin Li char x[3] = "ola";
72*67e74705SXin Li
73