blob: e6205dff59498671bb4607bd36c07a38c3a08525 [file] [edit]
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir \
// RUN: -std=c++14 -fcxx-exceptions -fexceptions %s -o %t.cir
// RUN: FileCheck --check-prefix=CIR --input-file=%t.cir %s
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm \
// RUN: -std=c++14 -fcxx-exceptions -fexceptions %s -o %t-cir.ll
// RUN: FileCheck --check-prefix=LLVM --input-file=%t-cir.ll %s
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm \
// RUN: -std=c++14 -fcxx-exceptions -fexceptions %s -o %t.ll
// RUN: FileCheck --check-prefix=OGCG --input-file=%t.ll %s
struct S {
~S();
int x;
};
// Array new with a non-trivial destructor requires a cookie to store
// the element count. The cookie is 8 bytes (sizeof(size_t)) and the
// data pointer must be advanced by 8 bytes past the allocation, not
// by 8 * sizeof(ptr).
S *allocArray(int n) {
return new S[n];
}
// CIR-LABEL: @_Z10allocArrayi
// CIR: %[[ALLOC:.*]] = cir.call @_Znam
// CIR: %[[BYTE_PTR:.*]] = cir.cast bitcast %[[ALLOC]] : !cir.ptr<!void> -> !cir.ptr<!u8i>
// CIR: %[[COOKIE_CAST:.*]] = cir.cast bitcast %[[BYTE_PTR]] : !cir.ptr<!u8i> -> !cir.ptr<!u64i>
// CIR: cir.store {{.*}} %[[COOKIE_CAST]] : !u64i, !cir.ptr<!u64i>
// CIR: %[[EIGHT:.*]] = cir.const #cir.int<8> : !s32i
// CIR: %[[DATA_PTR:.*]] = cir.ptr_stride %[[BYTE_PTR]], %[[EIGHT]] : (!cir.ptr<!u8i>, !s32i) -> !cir.ptr<!u8i>
// LLVM-LABEL: @_Z10allocArrayi
// LLVM: %[[ALLOC:.*]] = call {{.*}} ptr @_Znam
// LLVM: store i64 %{{.*}}, ptr %[[ALLOC]], align 8
// LLVM: %[[DATA:.*]] = getelementptr i8, ptr %[[ALLOC]], i64 8
// OGCG-LABEL: @_Z10allocArrayi
// OGCG: %[[ALLOC:.*]] = call {{.*}} ptr @_Znam
// OGCG: store i64 %{{.*}}, ptr %[[ALLOC]], align 8
// OGCG: %[[DATA:.*]] = getelementptr inbounds i8, ptr %[[ALLOC]], i64 8