// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm %s -std=c++2a -o %t.ll
// RUN: FileCheck -check-prefix=CHECK-FN-CG -input-file=%t.ll %s
// RUN: FileCheck -check-prefix=CHECK-STATIC -input-file=%t.ll %s
// RUN: FileCheck -check-prefix=CHECK-DYN -input-file=%t.ll %s
// RUN: FileCheck -check-prefix=CHECK-ARR -input-file=%t.ll %s
// RUN: FileCheck -check-prefix=CHECK-FOLD -input-file=%t.ll %s
// RUN: FileCheck -check-prefix=CHECK-DTOR -input-file=%t.ll %s
using size_t = decltype(sizeof(int));
#define CONSTINIT __attribute__((require_constant_initialization))
extern "C" [[noreturn]] void BOOM();
extern "C" void OK();
extern "C" size_t RANDU();
namespace std {
inline constexpr bool is_constant_evaluated() noexcept {
return __builtin_is_constant_evaluated();
}
} // namespace std
// CHECK-FN-CG-LABEL: define{{.*}} zeroext i1 @_Z3foov()
// CHECK-FN-CG: ret i1 false
bool foo() {
return __builtin_is_constant_evaluated();
}
// CHECK-FN-CG-LABEL: define linkonce_odr noundef i32 @_Z1fv()
constexpr int f() {
// CHECK-FN-CG: store i32 13, ptr %n, align 4
// CHECK-FN-CG: store i32 17, ptr %m, align 4
// CHECK-FN-CG: %0 = load i32, ptr %m, align 4
// CHECK-FN-CG: %add = add nsw i32 %0, 13
// CHECK-FN-CG: ret i32 %add
const int n = __builtin_is_constant_evaluated() && std::is_constant_evaluated() ? 13 : 17; // n == 13
int m = __builtin_is_constant_evaluated() ? 13 : 17; // m might be 13 or 17 (see below)
char arr[n] = {}; // char[13]
return m + int(sizeof(arr));
}
// CHECK-STATIC-DAG: @p ={{.*}} global i32 26,
CONSTINIT int p = f(); // f().m == 13; initialized to 26
// CHECK-STATIC-DAG: @p2 ={{.*}} global i32 26,
int p2 = f(); // same result without CONSTINIT
// CHECK-DYN-LABEL: define internal void @__cxx_global_var_init()
// CHECK-DYN: %0 = load i32, ptr @p, align 4
// CHECK-DYN-NEXT: %call = call noundef i32 @_Z1fv()
// CHECK-DYN-NEXT: %add = add nsw i32 %0, %call
// CHECK-DYN-NEXT: store i32 %add, ptr @q, align 4
// CHECK-DYN-NEXT: ret void
int q = p + f(); // m == 17 for this call; initialized to 56
int y;
// CHECK-STATIC-DAG: @b ={{.*}} global i32 2,
CONSTINIT int b = __builtin_is_constant_evaluated() ? 2 : y; // static initialization to 2
// CHECK-DYN-LABEL: define internal void @__cxx_global_var_init.1()
// CHECK-DYN: %0 = load i32, ptr @y, align 4
// CHECK-DYN: %1 = load i32, ptr @y, align 4
// CHECK-DYN-NEXT: %add = add
// CHECK-DYN-NEXT: store i32 %add, ptr @c,
int c = y + (__builtin_is_constant_evaluated() ? 2 : y); // dynamic initialization to y+y
// This is dynamic initialization that we can convert to static initialization
// during lowering. When doing so, the dynamic initializer value is preserved.
// CHECK-STATIC-DAG: @_ZL1a = internal constant i32 1
const int a = __builtin_is_constant_evaluated() ? y : 1; // dynamic initialization to 1
const int *a_sink = &a;
// CHECK-ARR-LABEL: define{{.*}} void @_Z13test_arr_exprv
void test_arr_expr() {
// CHECK-ARR: %x1 = alloca [101 x i8],
char x1[std::is_constant_evaluated() && __builtin_is_constant_evaluated() ? 101 : 1];
// CHECK-ARR: %x2 = alloca [42 x i8],
char x2[std::is_constant_evaluated() && __builtin_is_constant_evaluated() ? 42 : RANDU()];
// CHECK-ARR: call ptr @llvm.stacksave.p0()
// CHECK-ARR: %vla = alloca i8, i64 13,
char x3[std::is_constant_evaluated() || __builtin_is_constant_evaluated() ? RANDU() : 13];
}
// CHECK-ARR-LABEL: define{{.*}} void @_Z17test_new_arr_exprv
void test_new_arr_expr() {
// CHECK-ARR: call noalias noundef nonnull ptr @_Znam(i64 noundef 17)
new char[std::is_constant_evaluated() || __builtin_is_constant_evaluated() ? 1 : 17];
}
// CHECK-FOLD-LABEL: @_Z31test_constant_initialized_locali(
bool test_constant_initialized_local(int k) {
// CHECK-FOLD: store i8 1, ptr %n,
// CHECK-FOLD: store volatile ptr %n, ptr %p,
const bool n = __builtin_is_constant_evaluated() && std::is_constant_evaluated();
const bool *volatile p = &n;
return *p;
}
// CHECK-FOLD-LABEL: define{{.*}} void @_Z21test_ir_constant_foldv()
void test_ir_constant_fold() {
// CHECK-FOLD-NEXT: entry:
// CHECK-FOLD-NEXT: call void @OK()
// CHECK-FOLD-NEXT: call void @OK()
// CHECK-FOLD-NEXT: ret void
if (std::is_constant_evaluated()) {
BOOM();
} else {
OK();
}
std::is_constant_evaluated() ? BOOM() : OK();
}
// CHECK-STATIC-DAG: @ir ={{.*}} constant ptr @i_constant,
int i_constant;
int i_not_constant;
int &ir = __builtin_is_constant_evaluated() ? i_constant : i_not_constant;
// CHECK-FOLD-LABEL: @_Z35test_ref_initialization_local_scopev()
void test_ref_initialization_local_scope() {
const int i_constant = 42;
const int i_non_constant = 101;
// CHECK-FOLD: store ptr %i_non_constant, ptr %r,
const int &r = __builtin_is_constant_evaluated() ? i_constant : i_non_constant;
}
// CHECK-FOLD-LABEL: @_Z22test_ref_to_static_varv()
void test_ref_to_static_var() {
static int i_constant = 42;
static int i_non_constant = 101;
// CHECK-FOLD: store ptr @_ZZ22test_ref_to_static_varvE10i_constant, ptr %r,
int &r = __builtin_is_constant_evaluated() ? i_constant : i_non_constant;
}
int not_constexpr;
// __builtin_is_constant_evaluated() should never evaluate to true during
// destruction if it would not have done so during construction.
//
// FIXME: The standard doesn't say that it should ever return true when
// evaluating a destructor call, even for a constexpr variable. That seems
// obviously wrong.
struct DestructorBCE {
int n;
constexpr DestructorBCE(int n) : n(n) {}
constexpr ~DestructorBCE() {
if (!__builtin_is_constant_evaluated())
not_constexpr = 1;
}
};
// CHECK-DTOR-NOT: @_ZN13DestructorBCED{{.*}}@global_dtor_bce_1
DestructorBCE global_dtor_bce_1(101);
// CHECK-DTOR: load i32, ptr @not_constexpr
// CHECK-DTOR: call {{.*}} @_ZN13DestructorBCEC1Ei({{.*}} @global_dtor_bce_2, i32
// CHECK-DTOR: atexit{{.*}} @_ZN13DestructorBCED{{.*}} @global_dtor_bce_2
// CHECK-DTOR: }
DestructorBCE global_dtor_bce_2(not_constexpr);
// CHECK-DTOR-NOT: @_ZN13DestructorBCED{{.*}}@global_dtor_bce_3
constexpr DestructorBCE global_dtor_bce_3(103);
// CHECK-DTOR-LABEL: define {{.*}} @_Z15test_dtor_bce_1v(
void test_dtor_bce_1() {
// Variable is neither constant initialized (because it has automatic storage
// duration) nor usable in constant expressions, so BCE should not return
// true during destruction. It would be OK if we replaced the constructor
// call with a direct store, but we should emit the destructor call.
// CHECK-DTOR: call {{.*}} @_ZN13DestructorBCEC1Ei({{.*}}, i32 noundef 201)
DestructorBCE local(201);
// CHECK-DTOR: call {{.*}} @_ZN13DestructorBCED
// CHECK-DTOR: }
}
// CHECK-DTOR-LABEL: define {{.*}} @_Z15test_dtor_bce_2v(
void test_dtor_bce_2() {
// Non-constant init => BCE is false in destructor.
// CHECK-DTOR: call {{.*}} @_ZN13DestructorBCEC1Ei({{.*}}
DestructorBCE local(not_constexpr);
// CHECK-DTOR: call {{.*}} @_ZN13DestructorBCED
// CHECK-DTOR: }
}
// CHECK-DTOR-LABEL: define {{.*}} @_Z15test_dtor_bce_3v(
void test_dtor_bce_3() {
// Should never call dtor for a constexpr variable.
// CHECK-DTOR-NOT: call {{.*}} @_ZN13DestructorBCEC1Ei(
constexpr DestructorBCE local(203);
// CHECK-DTOR-NOT: @_ZN13DestructorBCED
// CHECK-DTOR: }
}
// CHECK-DTOR-LABEL: define {{.*}} @_Z22test_dtor_bce_static_1v(
void test_dtor_bce_static_1() {
// Variable is constant initialized, so BCE returns true during constant
// destruction.
// CHECK: store i32 301
// CHECK-DTOR-NOT: @_ZN13DestructorBCEC1Ei({{.*}}
static DestructorBCE local(301);
// CHECK-DTOR-NOT: @_ZN13DestructorBCED
// CHECK-DTOR: }
}
// CHECK-DTOR-LABEL: define {{.*}} @_Z22test_dtor_bce_static_2v(
void test_dtor_bce_static_2() {
// CHECK-DTOR: call {{.*}} @_ZN13DestructorBCEC1Ei({{.*}}
static DestructorBCE local(not_constexpr);
// CHECK-DTOR: call {{.*}}atexit{{.*}} @_ZN13DestructorBCED
// CHECK-DTOR: }
}
// CHECK-DTOR-LABEL: define {{.*}} @_Z22test_dtor_bce_static_3v(
void test_dtor_bce_static_3() {
// CHECK: store i32 303
// CHECK-DTOR-NOT: @_ZN13DestructorBCEC1Ei({{.*}}
static constexpr DestructorBCE local(303);
// CHECK-DTOR-NOT: @_ZN13DestructorBCED
// CHECK-DTOR: }
}
Codebase Browser
llvm