xref: /llvm-project/llvm/test/CodeGen/AArch64/tailcall-ccmismatch2.ll (revision d75e70d7ae1f84cea71f0be5fbee836bdc22138a)
1; RUN: llc -o - %s | FileCheck %s
2; RUN: llc -global-isel -verify-machineinstrs -o - %s | FileCheck %s
3target triple="aarch64--"
4
5declare void @somefunc()
6define preserve_allcc void @test_ccmismatch_notail() {
7; Ensure that no tail call is used here, as the called function somefunc does
8; not preserve enough registers for preserve_allcc.
9; CHECK-LABEL: test_ccmismatch_notail:
10; CHECK-NOT: b somefunc
11; CHECK: bl somefunc
12  tail call void @somefunc()
13  ret void
14}
15
16declare preserve_allcc void @some_preserve_all_func()
17define void @test_ccmismatch_tail() {
18; We can perform a tail call here, because some_preserve_all_func preserves
19; all registers necessary for test_ccmismatch_tail.
20; CHECK-LABEL: test_ccmismatch_tail:
21; CHECK-NOT: bl some_preserve_all_func
22; CHECK: b some_preserve_all_func
23  tail call preserve_allcc void @some_preserve_all_func()
24  ret void
25}
26