1; RUN: llc < %s -march=x86-64 | FileCheck %s
2; CHECK: rBM_info
3; CHECK-NOT: ret
4
5@sES_closure = external global [0 x i64]
6declare ghccc void @sEH_info(i64* noalias nocapture, i64* noalias nocapture, i64* noalias nocapture, i64, i64, i64) align 8
7
8define ghccc void @rBM_info(i64* noalias nocapture %Base_Arg, i64* noalias nocapture %Sp_Arg, i64* noalias nocapture %Hp_Arg, i64 %R1_Arg, i64 %R2_Arg, i64 %R3_Arg) nounwind align 8 {
9c263:
10  %ln265 = getelementptr inbounds i64* %Sp_Arg, i64 -2
11  %ln266 = ptrtoint i64* %ln265 to i64
12  %ln268 = icmp ult i64 %ln266, %R3_Arg
13  br i1 %ln268, label %c26a, label %n26p
14
15n26p:                                             ; preds = %c263
16  br i1 icmp ne (i64 and (i64 ptrtoint ([0 x i64]* @sES_closure to i64), i64 7), i64 0), label %c1ZP.i, label %n1ZQ.i
17
18n1ZQ.i:                                           ; preds = %n26p
19  %ln1ZT.i = load i64* getelementptr inbounds ([0 x i64]* @sES_closure, i64 0, i64 0), align 8
20  %ln1ZU.i = inttoptr i64 %ln1ZT.i to void (i64*, i64*, i64*, i64, i64, i64)*
21  tail call ghccc void %ln1ZU.i(i64* %Base_Arg, i64* %Sp_Arg, i64* %Hp_Arg, i64 ptrtoint ([0 x i64]* @sES_closure to i64), i64 ptrtoint ([0 x i64]* @sES_closure to i64), i64 %R3_Arg) nounwind
22  br label %rBL_info.exit
23
24c1ZP.i:                                           ; preds = %n26p
25  tail call ghccc void @sEH_info(i64* %Base_Arg, i64* %Sp_Arg, i64* %Hp_Arg, i64 ptrtoint ([0 x i64]* @sES_closure to i64), i64 ptrtoint ([0 x i64]* @sES_closure to i64), i64 %R3_Arg) nounwind
26  br label %rBL_info.exit
27
28rBL_info.exit:                                    ; preds = %c1ZP.i, %n1ZQ.i
29  ret void
30
31c26a:                                             ; preds = %c263
32  %ln27h = getelementptr inbounds i64* %Base_Arg, i64 -2
33  %ln27j = load i64* %ln27h, align 8
34  %ln27k = inttoptr i64 %ln27j to void (i64*, i64*, i64*, i64, i64, i64)*
35  tail call ghccc void %ln27k(i64* %Base_Arg, i64* %Sp_Arg, i64* %Hp_Arg, i64 %R1_Arg, i64 %R2_Arg, i64 %R3_Arg) nounwind
36  ret void
37}
38