llvm/test/CodeGen/AArch64/tailcall-ccmismatch2.ll

   1 ; RUN: llc -o - %s | FileCheck %s
   2 ; RUN: llc -global-isel -verify-machineinstrs -o - %s | FileCheck %s
   3 target triple="aarch64--"
   4
   5 declare void @somefunc()
   6 define 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
  16 declare preserve_allcc void @some_preserve_all_func()
  17 define 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 }