1e45ea12db
This change adds support for function linkage and visibility and related attributes. Most of the test changes are generalizations to allow 'dso_local' to be accepted where we aren't specifically testing for it. Some tests based on CIR inputs have been updated to add 'private' to function declarations where required by newly supported interfaces. The dso-local.c test has been updated to add specific tests for dso_local being set correctly, and a new test, func-linkage.cpp tests other linkage settings. This change sets `comdat` correctly in CIR, but it is not yet applied to functions when lowering to LLVM IR. That will be handled in a later change.
134 lines
5.2 KiB
C++
134 lines
5.2 KiB
C++
// RUN: %clang_cc1 -std=c++17 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir
|
|
// RUN: FileCheck --input-file=%t.cir %s -check-prefix=CIR
|
|
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -Wno-unused-value -fclangir -emit-llvm %s -o %t-cir.ll
|
|
// RUN: FileCheck --input-file=%t-cir.ll %s -check-prefix=LLVM
|
|
|
|
unsigned char cxxstaticcast_0(unsigned int x) {
|
|
return static_cast<unsigned char>(x);
|
|
}
|
|
|
|
// CIR: cir.func{{.*}} @_Z15cxxstaticcast_0j
|
|
// CIR: %[[XPTR:[0-9]+]] = cir.alloca !u32i, !cir.ptr<!u32i>, ["x", init] {alignment = 4 : i64}
|
|
// CIR: %[[RV:[0-9]+]] = cir.alloca !u8i, !cir.ptr<!u8i>, ["__retval"] {alignment = 1 : i64}
|
|
// CIR: cir.store %arg0, %[[XPTR]] : !u32i, !cir.ptr<!u32i>
|
|
// CIR: %[[XVAL:[0-9]+]] = cir.load{{.*}} %[[XPTR]] : !cir.ptr<!u32i>, !u32i
|
|
// CIR: %[[CASTED:[0-9]+]] = cir.cast(integral, %[[XVAL]] : !u32i), !u8i
|
|
// CIR: cir.store %[[CASTED]], %[[RV]] : !u8i, !cir.ptr<!u8i>
|
|
// CIR: %[[R:[0-9]+]] = cir.load{{.*}} %1 : !cir.ptr<!u8i>, !u8i
|
|
// CIR: cir.return %[[R]] : !u8i
|
|
// CIR: }
|
|
|
|
// LLVM: define{{.*}} i8 @_Z15cxxstaticcast_0j(i32 %{{[0-9]+}})
|
|
// LLVM: %[[LOAD:[0-9]+]] = load i32, ptr %{{[0-9]+}}, align 4
|
|
// LLVM: %[[TRUNC:[0-9]+]] = trunc i32 %[[LOAD]] to i8
|
|
// LLVM: store i8 %[[TRUNC]], ptr %[[RV:[0-9]+]], align 1
|
|
// LLVM: %[[R:[0-9]+]] = load i8, ptr %[[RV]], align 1
|
|
// LLVM: ret i8 %[[R]]
|
|
|
|
int cStyleCasts_0(unsigned x1, int x2, float x3, short x4, double x5) {
|
|
// CIR: cir.func{{.*}} @_Z13cStyleCasts_0jifsd
|
|
// LLVM: define{{.*}} i32 @_Z13cStyleCasts_0jifsd
|
|
|
|
char a = (char)x1; // truncate
|
|
// CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !u32i), !s8i
|
|
// LLVM: %{{[0-9]+}} = trunc i32 %{{[0-9]+}} to i8
|
|
|
|
short b = (short)x2; // truncate with sign
|
|
// CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !s32i), !s16i
|
|
// LLVM: %{{[0-9]+}} = trunc i32 %{{[0-9]+}} to i16
|
|
|
|
long long c = (long long)x1; // zero extend
|
|
// CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !u32i), !s64i
|
|
// LLVM: %{{[0-9]+}} = zext i32 %{{[0-9]+}} to i64
|
|
|
|
long long d = (long long)x2; // sign extend
|
|
// CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !s32i), !s64i
|
|
// LLVM: %{{[0-9]+}} = sext i32 %{{[0-9]+}} to i64
|
|
|
|
unsigned ui = (unsigned)x2; // sign drop
|
|
// CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !s32i), !u32i
|
|
|
|
int si = (int)x1; // sign add
|
|
// CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !u32i), !s32i
|
|
|
|
bool ib;
|
|
int bi = (int)ib; // bool to int
|
|
// CIR: %{{[0-9]+}} = cir.cast(bool_to_int, %{{[0-9]+}} : !cir.bool), !s32i
|
|
// LLVM: %{{[0-9]+}} = zext i1 %{{[0-9]+}} to i32
|
|
|
|
bool b2 = x2; // int to bool
|
|
// CIR: %{{[0-9]+}} = cir.cast(int_to_bool, %{{[0-9]+}} : !s32i), !cir.bool
|
|
// LLVM: %[[INTTOBOOL:[0-9]+]] = icmp ne i32 %{{[0-9]+}}, 0
|
|
// LLVM: zext i1 %[[INTTOBOOL]] to i8
|
|
|
|
void *p;
|
|
bool b3 = p; // ptr to bool
|
|
// CIR: %{{[0-9]+}} = cir.cast(ptr_to_bool, %{{[0-9]+}} : !cir.ptr<!void>), !cir.bool
|
|
// LLVM: %[[PTRTOBOOL:[0-9]+]] = icmp ne ptr %{{[0-9]+}}, null
|
|
// LLVM: zext i1 %[[PTRTOBOOL]] to i8
|
|
|
|
float f;
|
|
bool b4 = f; // float to bool
|
|
// CIR: %{{[0-9]+}} = cir.cast(float_to_bool, %{{[0-9]+}} : !cir.float), !cir.bool
|
|
// LLVM: %{{[0-9]+}} = fcmp une float %{{[0-9]+}}, 0.000000e+00
|
|
// LLVM: %{{[0-9]+}} = zext i1 %{{[0-9]+}} to i8
|
|
|
|
double d2 = f; // float to double
|
|
// CIR: %{{[0-9]+}} = cir.cast(floating, %{{[0-9]+}} : !cir.float), !cir.double
|
|
// LLVM: %{{[0-9]+}} = fpext float %{{[0-9]+}} to double
|
|
|
|
f = d2; // double to float
|
|
// CIR: %{{[0-9]+}} = cir.cast(floating, %{{[0-9]+}} : !cir.double), !cir.float
|
|
// LLVM: %{{[0-9]+}} = fptrunc double %{{[0-9]+}} to float
|
|
|
|
return 0;
|
|
}
|
|
|
|
bool cptr(void *d) {
|
|
bool x = d;
|
|
return x;
|
|
}
|
|
|
|
// CIR: cir.func{{.*}} @_Z4cptrPv(%arg0: !cir.ptr<!void>
|
|
// CIR: %[[DPTR:[0-9]+]] = cir.alloca !cir.ptr<!void>, !cir.ptr<!cir.ptr<!void>>, ["d", init] {alignment = 8 : i64}
|
|
|
|
// CIR: %[[DVAL:[0-9]+]] = cir.load{{.*}} %[[DPTR]] : !cir.ptr<!cir.ptr<!void>>, !cir.ptr<!void>
|
|
// CIR: %{{[0-9]+}} = cir.cast(ptr_to_bool, %[[DVAL]] : !cir.ptr<!void>), !cir.bool
|
|
|
|
// LLVM-LABEL: define{{.*}} i1 @_Z4cptrPv(ptr %0)
|
|
// LLVM: %[[ARG_STORAGE:.*]] = alloca ptr, i64 1
|
|
// LLVM: %[[RETVAL:.*]] = alloca i8, i64 1
|
|
// LLVM: %[[X_STORAGE:.*]] = alloca i8, i64 1
|
|
// LLVM: store ptr %0, ptr %[[ARG_STORAGE]]
|
|
// LLVM: %[[LOADED_PTR:.*]] = load ptr, ptr %[[ARG_STORAGE]]
|
|
// LLVM: %[[NULL_CHECK:.*]] = icmp ne ptr %[[LOADED_PTR]], null
|
|
// LLVM: ret i1
|
|
|
|
void should_not_cast() {
|
|
unsigned x1;
|
|
unsigned uu = (unsigned)x1; // identity
|
|
|
|
bool x2;
|
|
bool ib = (bool)x2; // identity
|
|
|
|
(void) ib; // void cast
|
|
}
|
|
|
|
// CIR: cir.func{{.*}} @_Z15should_not_castv
|
|
// CIR-NOT: cir.cast
|
|
// CIR: cir.return
|
|
|
|
typedef int vi4 __attribute__((vector_size(16)));
|
|
typedef double vd2 __attribute__((vector_size(16)));
|
|
|
|
void bitcast() {
|
|
vd2 a = {};
|
|
vi4 b = (vi4)a;
|
|
}
|
|
|
|
// CIR: %[[D_VEC:.*]] = cir.load{{.*}} {{.*}} : !cir.ptr<!cir.vector<2 x !cir.double>>, !cir.vector<2 x !cir.double>
|
|
// CIR: %[[I_VEC:.*]] = cir.cast(bitcast, %[[D_VEC]] : !cir.vector<2 x !cir.double>), !cir.vector<4 x !s32i>
|
|
|
|
// LLVM: %[[D_VEC:.*]] = load <2 x double>, ptr {{.*}}, align 16
|
|
// LLVM: %[[I_VEC:.*]] = bitcast <2 x double> %[[D_VEC]] to <4 x i32>
|