| // RUN: %clang_cc1 -std=c++2a -triple x86_64-elf-gnu %s -emit-llvm -o - | FileCheck %s |
| |
| consteval int immediate() { return 0;} |
| static int ext(); |
| void f(int a = immediate() + ext()); |
| |
| void test_function() { |
| f(); |
| f(0); |
| // CHECK: call noundef i32 @_ZL3extv() |
| // CHECK: add |
| // CHECK: call {{.*}} @_Z1fi |
| // CHECK: call {{.*}} @_Z1fi |
| } |
| |
| // CHECK: define {{.*}} i32 @_ZL3extv() |
| |
| static constexpr int not_immediate(); |
| struct A { |
| int a = immediate() + not_immediate(); |
| }; |
| |
| void test_member() { |
| // CHECK: call void @_ZN1AC2Ev |
| A defaulted; |
| // CHECK-NOT: call void @_ZN1AC2Ev |
| A provided{0}; |
| } |
| |
| // CHECK: define {{.*}} void @_ZN1AC2Ev{{.*}} |
| // CHECK: %call = call noundef i32 @_ZL13not_immediatev() |
| |
| int never_referenced() {return 42;}; |
| |
| |
| namespace not_used { |
| |
| struct A { |
| int a = immediate() + never_referenced(); |
| }; |
| void f(int a = immediate() + never_referenced()); |
| |
| void g() { |
| A a{0}; |
| f(0); |
| } |
| |
| } |
| |
| static int ext() {return 0;} |
| static constexpr int not_immediate() {return 0;} |
| |
| // CHECK-NOT: define {{.*}} i32 _ZL16never_referencedv()( |
| // CHECK: define {{.*}} i32 @_ZL13not_immediatev() |