085f2407fe
Like my previous patch, this just stores an NTTP object as a global (using the same code, with 1 level of indrection slipped off), and initializes it as a const. This patch also fleshes out the CIRGenExprConstant.cpp area, leaving just 2 'NYI's in the area, 1 of which is the MSGuidAttr again.
64 lines
3.2 KiB
C++
64 lines
3.2 KiB
C++
// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir
|
|
// RUN: FileCheck --check-prefix=CIR --input-file=%t.cir %s
|
|
// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o %t-cir.ll
|
|
// RUN: FileCheck --check-prefix=LLVM,LLVM-BOTH --input-file=%t-cir.ll %s
|
|
// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -emit-llvm %s -o %t.ll
|
|
// RUN: FileCheck --check-prefix=OGCG,LLVM-BOTH --input-file=%t.ll %s
|
|
|
|
struct HasMem { int x;};
|
|
|
|
// CIR-DAG: cir.global "private" constant linkonce_odr comdat @_ZTAXtl6HasMemLi3EEE = #cir.const_record<{#cir.int<3> : !s32i}> : !rec_HasMem
|
|
// CIR-DAG: cir.global external @ptr = #cir.global_view<@_ZTAXtl6HasMemLi3EEE> : !cir.ptr<!rec_HasMem>
|
|
|
|
// LLVM-BOTH-DAG: @_ZTAXtl6HasMemLi1EEE = linkonce_odr constant %struct.HasMem { i32 1 }, comdat
|
|
// LLVM-BOTH-DAG: @_ZTAXtl6HasMemLi2EEE = linkonce_odr constant %struct.HasMem { i32 2 }, comdat
|
|
// LLVM-BOTH-DAG: @_ZTAXtl6HasMemLi3EEE = linkonce_odr constant %struct.HasMem { i32 3 }, comdat
|
|
// LLVM-BOTH-DAG: @ptr = global ptr @_ZTAXtl6HasMemLi3EEE
|
|
|
|
template <HasMem m>
|
|
constexpr const HasMem *get_ptr() { return &m; }
|
|
|
|
const auto *ptr = get_ptr<HasMem{3}>();
|
|
|
|
// CIR-DAG: cir.global "private" constant linkonce_odr comdat @_ZTAXtl6HasMemLi1EEE = #cir.const_record<{#cir.int<1> : !s32i}> : !rec_HasMem
|
|
// CIR-DAG: cir.global "private" constant linkonce_odr comdat @_ZTAXtl6HasMemLi2EEE = #cir.const_record<{#cir.int<2> : !s32i}> : !rec_HasMem
|
|
|
|
template<HasMem m>
|
|
int get_x() { return m.x; }
|
|
// CIR-LABEL: cir.func {{.*}}@_Z5get_xIXtl6HasMemLi1EEEEiv()
|
|
// CIR: %[[RET_ALLOCA:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["__retval"]
|
|
// Note: This is emitted as an 'ignored' expression, but we cannot omit it,
|
|
// since it might be used in an example like below.
|
|
// CIR: %[[GET_GLOB:.*]] = cir.get_global @_ZTAXtl6HasMemLi1EEE : !cir.ptr<!rec_HasMem>
|
|
// CIR: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
|
|
// CIR: cir.store %[[ONE]], %[[RET_ALLOCA]] : !s32i, !cir.ptr<!s32i>
|
|
//
|
|
// LLVM-BOTH-LABEL: define {{.*}}@_Z5get_xIXtl6HasMemLi1EEEEiv()
|
|
// LLVM: %[[RET_ALLOCA:.*]] = alloca i32
|
|
// LLVM: store i32 1, ptr %[[RET_ALLOCA]]
|
|
// LLVM: %[[LOAD_RET:.*]] = load i32, ptr %[[RET_ALLOCA]]
|
|
// LLVM: ret i32 %[[LOAD_RET]]
|
|
// OGCG: ret i32 1
|
|
|
|
template<HasMem m>
|
|
HasMem get_m() { return m; }
|
|
// CIR-LABEL: cir.func {{.*}}@_Z5get_mIXtl6HasMemLi2EEEES0_v()
|
|
// CIR: %[[RET_ALLOCA:.*]] = cir.alloca !rec_HasMem, !cir.ptr<!rec_HasMem>, ["__retval"] {alignment = 4 : i64}
|
|
// CIR: %[[GET_GLOB:.*]] = cir.get_global @_ZTAXtl6HasMemLi2EEE : !cir.ptr<!rec_HasMem>
|
|
// CIR: cir.copy %[[GET_GLOB]] to %[[RET_ALLOCA]] : !cir.ptr<!rec_HasMem>
|
|
//
|
|
// LLVM-BOTH-LABEL: define {{.*}}@_Z5get_mIXtl6HasMemLi2EEEES0_v()
|
|
// LLVM-BOTH: %[[RET_ALLOCA:.*]] = alloca %struct.HasMem
|
|
// LLVM-BOTH: call void @llvm.memcpy.p0.p0.i64(ptr {{.*}}%[[RET_ALLOCA]], ptr {{.*}}@_ZTAXtl6HasMemLi2EEE, i64 4, i1 false)
|
|
// LLVM: %[[LOAD_RET:.*]] = load %struct.HasMem, ptr %[[RET_ALLOCA]]
|
|
// LLVM: ret %struct.HasMem %[[LOAD_RET]]
|
|
|
|
// OGCG: %[[COERCE:.*]] = getelementptr{{.*}} %struct.HasMem, ptr %[[RET_ALLOCA]], i32 0, i32 0
|
|
// OGCG: %[[TO_RET:.*]] = load i32, ptr %[[COERCE]]
|
|
// OGCG: ret i32 %[[TO_RET]]
|
|
|
|
void caller() {
|
|
get_x<{1}>();
|
|
get_m<{2}>();
|
|
}
|