ddd4974297
Unless relevant (which it very seldom is), avoid checking specifically for the "pc" vendor field; mingw environments often use "w64" as vendor - but not always. In this case, this test has been passing in mingw configurations lately; the previous XFAIL pattern would cause the test to unexpectedly succeed if running with a triple with a "pc" vendor field. Instead reinstate the checking for an -msvc environment here; this essentially reverts 8e029d9e35092d1440dafc8991e73fb8c3b323d7 (and the related typo fix 301f3da5162499965287338a0cd52309fb28e8b8). I'm not sure how 8e029d9e35092d1440dafc8991e73fb8c3b323d7 concluded that this issue affected the gnu ABI (mingw) as well; I rechecked building that commit, and at that point, this test did pass for an aarch64 mingw target. (Due to the -pc- triple, the false positive XFAIL match hasn't been noticed before.)
82 lines
2.7 KiB
C
82 lines
2.7 KiB
C
// RUN: %clang_cc1 -triple %itanium_abi_triple -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=ITANIUM
|
|
// RUN: %clang_cc1 -triple %ms_abi_triple -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=MSABI
|
|
|
|
// Should be 3 hello strings, two global (of different sizes), the rest are
|
|
// shared.
|
|
|
|
// CHECK: @align = {{(dso_local )?}}global i8 [[ALIGN:[0-9]+]]
|
|
// ITANIUM: @.str = private unnamed_addr constant [6 x i8] c"hello\00"
|
|
// MSABI: @"??_C@_05CJBACGMB@hello?$AA@" = linkonce_odr dso_local unnamed_addr constant [6 x i8] c"hello\00", comdat, align 1
|
|
// ITANIUM: @f1.x = internal global ptr @.str
|
|
// MSABI: @f1.x = internal global ptr @"??_C@_05CJBACGMB@hello?$AA@"
|
|
// CHECK: @f2.x = internal global [6 x i8] c"hello\00", align [[ALIGN]]
|
|
// CHECK: @f3.x = internal global [8 x i8] c"hello\00\00\00", align [[ALIGN]]
|
|
// ITANIUM: @f4.x = internal global %struct.s { ptr @.str }
|
|
// MSABI: @f4.x = internal global %struct.s { ptr @"??_C@_05CJBACGMB@hello?$AA@" }
|
|
// CHECK: @x = {{(dso_local )?}}global [3 x i8] c"ola", align [[ALIGN]]
|
|
|
|
// XFAIL: target=aarch64-{{.*}}-windows-msvc, target=arm64ec-{{.*}}-windows-msvc
|
|
// Arm64 in MSVC mode aligns arrays to either 32-bit or 64-bit boundaries, which fails
|
|
// various checks above, since ALIGN is derived from the alignment of a single
|
|
// i8, which is still 1.
|
|
|
|
// XFAIL: target=hexagon-{{.*}}
|
|
// Hexagon aligns arrays of size 8+ bytes to a 64-bit boundary, which
|
|
// fails the check for "@f3.x = ... align [ALIGN]", since ALIGN is derived
|
|
// from the alignment of a single i8, which is still 1.
|
|
|
|
// XFAIL: target=csky{{.*}}
|
|
// CSKY aligns arrays of size 4+ bytes to a 32-bit boundary, which
|
|
// fails the check for "@f2.x = ... align [ALIGN]", since ALIGN is derived
|
|
// from the alignment of a single i8, which is still 1.
|
|
|
|
#if defined(__s390x__)
|
|
unsigned char align = 2;
|
|
#else
|
|
unsigned char align = 1;
|
|
#endif
|
|
|
|
void bar(const char *);
|
|
|
|
// CHECK-LABEL: define {{.*}}void @f0()
|
|
void f0(void) {
|
|
bar("hello");
|
|
// ITANIUM: call {{.*}}void @bar({{.*}} @.str
|
|
// MSABI: call {{.*}}void @bar({{.*}} @"??_C@_05CJBACGMB@hello?$AA@"
|
|
}
|
|
|
|
// CHECK-LABEL: define {{.*}}void @f1()
|
|
void f1(void) {
|
|
static char *x = "hello";
|
|
bar(x);
|
|
// CHECK: [[T1:%.*]] = load ptr, ptr @f1.x
|
|
// CHECK: call {{.*}}void @bar(ptr noundef [[T1:%.*]])
|
|
}
|
|
|
|
// CHECK-LABEL: define {{.*}}void @f2()
|
|
void f2(void) {
|
|
static char x[] = "hello";
|
|
bar(x);
|
|
// CHECK: call {{.*}}void @bar({{.*}} @f2.x
|
|
}
|
|
|
|
// CHECK-LABEL: define {{.*}}void @f3()
|
|
void f3(void) {
|
|
static char x[8] = "hello";
|
|
bar(x);
|
|
// CHECK: call {{.*}}void @bar({{.*}} @f3.x
|
|
}
|
|
|
|
void gaz(void *);
|
|
|
|
// CHECK-LABEL: define {{.*}}void @f4()
|
|
void f4(void) {
|
|
static struct s {
|
|
char *name;
|
|
} x = { "hello" };
|
|
gaz(&x);
|
|
// CHECK: call {{.*}}void @gaz({{.*}} @f4.x
|
|
}
|
|
|
|
char x[3] = "ola";
|