c78f37fdeb
We currently encounter dominance verification errors when a value is defined inside a cleanup scope but used outside the scope. This occurs when forceCleanup() is used to exit a cleanup scope while a variable is holding a value that was created in the scope body. Classic codegen solved this problem by passing a list of values to spill and reload to forceCleanup(). This change implements that same solution for CIR. I have also aligned the ScalarExprEmitter::VisitExprWithCleanups implementation with that of classic codegen, eliminating an extra lexical scope. This causes temporary allocas to be created at the next higher existing lexical scope, but I think that's OK since they would be hoisted there anyway by a later pass.
51 lines
1.7 KiB
C++
51 lines
1.7 KiB
C++
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir -std=c++17 %s -o %t.cir
|
|
// RUN: FileCheck %s --input-file=%t.cir --check-prefix=CIR
|
|
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm -std=c++17 %s -o %t-cir.ll
|
|
// RUN: FileCheck %s --input-file=%t-cir.ll --check-prefix=LLVM
|
|
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -std=c++17 %s -o %t.ll
|
|
// RUN: FileCheck %s --input-file=%t.ll --check-prefix=OGCG
|
|
|
|
void bar(const int &i = 42);
|
|
|
|
void foo() {
|
|
bar();
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_Z3foov()
|
|
// CIR: %[[TMP0:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["ref.tmp0"]
|
|
// CIR: %[[TMP1:.*]] = cir.const #cir.int<42>
|
|
// CIR: cir.store{{.*}} %[[TMP1]], %[[TMP0]]
|
|
// CIR: cir.call @_Z3barRKi(%[[TMP0]])
|
|
|
|
// LLVM: define{{.*}} @_Z3foov()
|
|
// LLVM: %[[TMP0:.*]] = alloca i32
|
|
// LLVM: store i32 42, ptr %[[TMP0]]
|
|
// LLVM: call void @_Z3barRKi(ptr {{.*}} %[[TMP0]])
|
|
|
|
// OGCG: define{{.*}} @_Z3foov()
|
|
// OGCG: %[[TMP0:.*]] = alloca i32
|
|
// OGCG: store i32 42, ptr %[[TMP0]]
|
|
// OGCG: call void @_Z3barRKi(ptr {{.*}} %[[TMP0]])
|
|
|
|
struct S
|
|
{
|
|
S(int n = 2);
|
|
};
|
|
|
|
void test_ctor_defaultarg() {
|
|
S s;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_Z20test_ctor_defaultargv()
|
|
// CIR: %[[S:.*]] = cir.alloca !rec_S, !cir.ptr<!rec_S>, ["s", init]
|
|
// CIR: %[[TWO:.*]] = cir.const #cir.int<2> : !s32i
|
|
// CIR: cir.call @_ZN1SC1Ei(%[[S]], %[[TWO]]) : (!cir.ptr<!rec_S> {{.*}}, !s32i {{.*}}) -> ()
|
|
|
|
// LLVM: define{{.*}} @_Z20test_ctor_defaultargv()
|
|
// LLVM: %[[S:.*]] = alloca %struct.S
|
|
// LLVM: call void @_ZN1SC1Ei(ptr {{.*}} %[[S]], i32 {{.*}} 2)
|
|
|
|
// OGCG: define{{.*}} @_Z20test_ctor_defaultargv()
|
|
// OGCG: %[[S:.*]] = alloca %struct.S
|
|
// OGCG: call void @_ZN1SC1Ei(ptr {{.*}} %[[S]], i32 {{.*}} 2)
|