clang/test/CIR/CodeGen/defaultarg.cpp

// 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)