xref: /llvm-project/llvm/test/CodeGen/AArch64/fast-isel-tail-call.ll (revision 6dd6082472d11b1e1af21e4e4e0789e49de56537)
1*6dd60824SAhmed Bougacha; RUN: llc -fast-isel -pass-remarks-missed=isel -pass-remarks-missed=isel \
2*6dd60824SAhmed Bougacha; RUN:     -mtriple arm64-- < %s 2> %t | FileCheck %s
320b3e9a8SAhmed Bougacha; RUN: cat %t | FileCheck %s --check-prefix MISSED
420b3e9a8SAhmed Bougacha
520b3e9a8SAhmed Bougacha%struct = type { [4 x i32] }
620b3e9a8SAhmed Bougacha
720b3e9a8SAhmed Bougachadeclare %struct @external()
820b3e9a8SAhmed Bougacha
920b3e9a8SAhmed Bougacha; Check that, when fastisel falls back to SDAG, we don't emit instructions
1020b3e9a8SAhmed Bougacha; that follow a tail-call and would have been dropped by pure SDAGISel.
1120b3e9a8SAhmed Bougacha
1220b3e9a8SAhmed Bougacha; Here, the %struct extractvalue should fail FastISel.
1320b3e9a8SAhmed Bougacha
14*6dd60824SAhmed Bougacha; MISSED: FastISel missed:   %tmp1 = extractvalue %struct %tmp0, 0
1520b3e9a8SAhmed Bougacha
1620b3e9a8SAhmed Bougacha; CHECK-LABEL: test:
1720b3e9a8SAhmed Bougacha; CHECK: b external
1820b3e9a8SAhmed Bougacha; CHECK-NEXT: .Lfunc_end0:
1920b3e9a8SAhmed Bougachadefine i32 @test() nounwind {
2020b3e9a8SAhmed Bougacha  %tmp0 = tail call %struct @external()
2120b3e9a8SAhmed Bougacha  %tmp1 = extractvalue %struct %tmp0, 0
2220b3e9a8SAhmed Bougacha  %tmp2 = extractvalue [4 x i32] %tmp1, 0
2320b3e9a8SAhmed Bougacha  ret i32 %tmp2
2420b3e9a8SAhmed Bougacha}
25