blob: 58b1551a6e85d4e26eeaf3440acd074606605100 [file] [edit]
// RUN: %clang_cc1 -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 -fclangir -emit-llvm %s -o %t-cir.ll
// RUN: FileCheck --input-file=%t-cir.ll %s -check-prefix=LLVM
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm %s -o %t.ll
// RUN: FileCheck --input-file=%t.ll %s -check-prefix=OGCG
void* operator new(__SIZE_TYPE__, void* p) noexcept { return p; }
void test(void *p) {
new (p) int();
}
// CIR: cir.func{{.*}} @_Z4testPv
// CIR-NEXT: %[[P:.*]] = cir.alloca "p" align(8) init : !cir.ptr<!cir.ptr<!void>>
// CIR-NEXT: cir.store %arg0, %[[P]] : !cir.ptr<!void>, !cir.ptr<!cir.ptr<!void>>
// CIR-NEXT: %[[P1:.*]] = cir.load align(8) %[[P]] : !cir.ptr<!cir.ptr<!void>>, !cir.ptr<!void>
// CIR-NEXT: %[[P2:.*]] = cir.cast bitcast %[[P1]] : !cir.ptr<!void> -> !cir.ptr<!s32i>
// CIR-NEXT: %[[P3:.*]] = cir.const #cir.int<0> : !s32i
// CIR-NEXT: cir.store align(4) %[[P3]], %[[P2]] : !s32i, !cir.ptr<!s32i>
// LLVM: define{{.*}} void @_Z4testPv(ptr{{.*}} %[[ARG:.*]])
// LLVM-NEXT: %[[P:.*]] = alloca ptr, i64 1, align 8
// LLVM-NEXT: store ptr %[[ARG]], ptr %[[P]], align 8
// LLVM-NEXT: %[[P1:.*]] = load ptr, ptr %[[P]], align 8
// LLVM-NEXT: store i32 0, ptr %[[P1]], align 4
// LLVM-NEXT: ret void
// OGCG: define{{.*}} void @_Z4testPv(ptr{{.*}} %[[ARG:.*]])
// OGCG-NEXT: {{.*}}:
// OGCG-NEXT: %[[P:.*]] = alloca ptr, align 8
// OGCG-NEXT: store ptr %[[ARG]], ptr %[[P]], align 8
// OGCG-NEXT: %[[P1:.*]] = load ptr, ptr %[[P]], align 8
// OGCG-NEXT: store i32 0, ptr %[[P1]], align 4
// OGCG-NEXT: ret void
void test_complex(void *p) { new (p) int _Complex(); }
// CIR: cir.func{{.*}} @_Z12test_complexPv
// CIR: %[[P_ADDR:.*]] = cir.alloca "p" {{.*}} init : !cir.ptr<!cir.ptr<!void>>
// CIR: cir.store %[[ARG_0:.*]], %[[P_ADDR:.*]] : !cir.ptr<!void>, !cir.ptr<!cir.ptr<!void>>
// CIR: %[[TMP_P:.*]] = cir.load {{.*}} %[[P_ADDR]] : !cir.ptr<!cir.ptr<!void>>, !cir.ptr<!void>
// CIR: %[[P_COMPLEX:.*]] = cir.cast bitcast %[[TMP_P:.*]] : !cir.ptr<!void> -> !cir.ptr<!cir.complex<!s32i>>
// CIR: %[[CONST_0:.*]] = cir.const #cir.zero : !cir.complex<!s32i>
// CIR: cir.store {{.*}} %[[CONST_0]], %[[P_COMPLEX]] : !cir.complex<!s32i>, !cir.ptr<!cir.complex<!s32i>>
// LLVM: define{{.*}} void @_Z12test_complexPv(ptr{{.*}} %[[ARG_0:.*]])
// LLVM: %[[P_ADDR:.*]] = alloca ptr
// LLVM: store ptr %[[ARG_0]], ptr %[[P_ADDR]], align 8
// LLVM: %[[TMP_P:.*]] = load ptr, ptr %[[P_ADDR]], align 8
// LLVM: store { i32, i32 } zeroinitializer, ptr %[[TMP_P]], align 4
// OGCG: define{{.*}} void @_Z12test_complexPv(ptr{{.*}} %[[ARG_0:.*]])
// OGCG: %[[P_ADDR:.*]] = alloca ptr, align 8
// OGCG: store ptr %[[ARG_0]], ptr %[[P_ADDR]], align 8
// OGCG: %[[TMP_P:.*]] = load ptr, ptr %[[P_ADDR]], align 8
// OGCG: %[[P_REAL_PTR:.*]] = getelementptr inbounds nuw { i32, i32 }, ptr %[[TMP_P]], i32 0, i32 0
// OGCG: %[[P_IMAG_PTR:.*]] = getelementptr inbounds nuw { i32, i32 }, ptr %[[TMP_P]], i32 0, i32 1
// OGCG: store i32 0, ptr %[[P_REAL_PTR]], align 4
// OGCG: store i32 0, ptr %[[P_IMAG_PTR]], align 4
struct S {
double filler;
};
struct Foo {
Foo() : bar_(), dbar_(), sbar_() {}
int bar_[5];
double dbar_[5];
S sbar_[5];
};
void test_aggregate() {
Foo a;
}
// CIR: cir.func {{.*}} @_ZN3FooC2Ev(
// CIR: %[[THIS:.*]] = cir.load %{{.*}}
// CIR: %[[BAR:.*]] = cir.get_member %[[THIS]][0] {name = "bar_"} : !cir.ptr<!rec_Foo> -> !cir.ptr<!cir.array<!s32i x 5>>
// CIR: %[[ZERO:.*]] = cir.const #cir.zero : !cir.array<!s32i x 5>
// CIR: cir.store{{.*}} %[[ZERO]], %[[BAR]] : !cir.array<!s32i x 5>, !cir.ptr<!cir.array<!s32i x 5>>
// CIR: %[[DBAR:.*]] = cir.get_member %[[THIS]][1] {name = "dbar_"} : !cir.ptr<!rec_Foo> -> !cir.ptr<!cir.array<!cir.double x 5>>
// CIR: %[[ZERO:.*]] = cir.const #cir.zero : !cir.array<!cir.double x 5>
// CIR: cir.store{{.*}} %[[ZERO]], %[[DBAR]] : !cir.array<!cir.double x 5>, !cir.ptr<!cir.array<!cir.double x 5>>
// CIR: %[[SBAR:.*]] = cir.get_member %[[THIS]][2] {name = "sbar_"} : !cir.ptr<!rec_Foo> -> !cir.ptr<!cir.array<!rec_S x 5>>
// CIR: %[[ZERO:.*]] = cir.const #cir.zero : !cir.array<!rec_S x 5>
// CIR: cir.store{{.*}} %[[ZERO]], %[[SBAR]] : !cir.array<!rec_S x 5>, !cir.ptr<!cir.array<!rec_S x 5>>
// CIR: cir.return
// LLVM: define {{.*}} void @_ZN3FooC2Ev(
// LLVM: %[[THIS:.*]] = load ptr, ptr
// LLVM: %[[BAR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %[[THIS]], i32 0, i32 0
// LLVM: store [5 x i32] zeroinitializer, ptr %[[BAR]]
// LLVM: %[[DBAR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %[[THIS]], i32 0, i32 1
// LLVM: store [5 x double] zeroinitializer, ptr %[[DBAR]]
// LLVM: %[[SBAR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %[[THIS]], i32 0, i32 2
// LLVM: store [5 x %struct.S] zeroinitializer, ptr %[[SBAR]]
// LLVM: ret void
// OGCG: define{{.*}} void @_ZN3FooC2Ev(
// OGCG: %[[THIS:.*]] = load ptr, ptr
// OGCG: %[[BAR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %[[THIS]], i32 0, i32 0
// OGCG: call void @llvm.memset.p0.i64(ptr {{.*}}%[[BAR]], i8 0, i64 20, i1 false)
// OGCG: %[[DBAR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %[[THIS]], i32 0, i32 1
// OGCG: call void @llvm.memset.p0.i64(ptr {{.*}}%[[DBAR]], i8 0, i64 40, i1 false)
// OGCG: %[[SBAR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %[[THIS]], i32 0, i32 2
// OGCG: call void @llvm.memset.p0.i64(ptr {{.*}}%[[SBAR]], i8 0, i64 40, i1 false)
// OGCG: ret void