| // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -emit-llvm %s -triple x86_64-unknown-linux-gnu -o - | FileCheck %s |
| |
| // musttail in noexcept functions should work when the callee is also noexcept. |
| |
| int NoexceptCallee(int) noexcept; |
| int ThrowingFunc(int); |
| |
| // CHECK-LABEL: define {{.*}} @_Z12TestNoexcepti( |
| // CHECK: musttail call {{.*}} @_Z14NoexceptCalleei( |
| // CHECK-NEXT: ret i32 |
| int TestNoexcept(int x) noexcept { |
| [[clang::musttail]] return NoexceptCallee(x); |
| } |
| |
| // Noexcept caller with regular call to non-noexcept, then musttail to noexcept. |
| // CHECK-LABEL: define {{.*}} @_Z21TestMixedCallNoexcepti( |
| // CHECK: invoke {{.*}} @_Z12ThrowingFunci( |
| // CHECK-NEXT: to label %{{.*}} unwind label %terminate.lpad |
| // CHECK: musttail call {{.*}} @_Z14NoexceptCalleei( |
| // CHECK-NEXT: ret i32 |
| // CHECK: terminate.lpad: |
| // CHECK: call void @__clang_call_terminate( |
| int TestMixedCallNoexcept(int x) noexcept { |
| int y = ThrowingFunc(x); |
| [[clang::musttail]] return NoexceptCallee(y); |
| } |
| |
| // Noexcept caller musttails to itself (recursive). |
| // CHECK-LABEL: define {{.*}} @_Z13TestRecursivei( |
| // CHECK: musttail call {{.*}} @_Z13TestRecursivei( |
| // CHECK-NEXT: ret i32 |
| int TestRecursive(int x) noexcept { |
| [[clang::musttail]] return TestRecursive(x); |
| } |
