blob: 6d7e0c3d2c491b85ff2f007f2601ee79dab1cd5d [file] [log] [blame]
; FIXME: Fix machine verifier issues and remove -verify-machineinstrs=0. PR39436.
; RUN: llc -mtriple=x86_64-unknown-linux -verify-machineinstrs=0 < %s | FileCheck %s
@g = external global i8
declare void @f0()
declare void @f1()
declare void @f2()
declare void @f3()
declare void @f4()
declare void @f5()
declare void @f6()
declare void @f7()
declare void @f8()
declare void @f9()
declare void @llvm.icall.branch.funnel(...)
define void @jt2(i8* nest, ...) {
; CHECK: jt2:
; CHECK: leaq g+1(%rip), %r11
; CHECK-NEXT: cmpq %r11, %r10
; CHECK-NEXT: jae .LBB0_1
; CHECK-NEXT: #
; CHECK-NEXT: jmp f0
; CHECK-NEXT: .LBB0_1:
; CHECK-NEXT: jmp f1
musttail call void (...) @llvm.icall.branch.funnel(
i8* %0,
i8* getelementptr (i8, i8* @g, i64 0), void ()* @f0,
i8* getelementptr (i8, i8* @g, i64 1), void ()* @f1,
...
)
ret void
}
define void @jt3(i8* nest, ...) {
; CHECK: jt3:
; CHECK: leaq g+1(%rip), %r11
; CHECK-NEXT: cmpq %r11, %r10
; CHECK-NEXT: jae .LBB1_1
; CHECK-NEXT: #
; CHECK-NEXT: jmp f0
; CHECK-NEXT: .LBB1_1:
; CHECK-NEXT: jne .LBB1_2
; CHECK-NEXT: #
; CHECK-NEXT: jmp f1
; CHECK-NEXT: .LBB1_2:
; CHECK-NEXT: jmp f2
musttail call void (...) @llvm.icall.branch.funnel(
i8* %0,
i8* getelementptr (i8, i8* @g, i64 0), void ()* @f0,
i8* getelementptr (i8, i8* @g, i64 2), void ()* @f2,
i8* getelementptr (i8, i8* @g, i64 1), void ()* @f1,
...
)
ret void
}
define void @jt7(i8* nest, ...) {
; CHECK: jt7:
; CHECK: leaq g+3(%rip), %r11
; CHECK-NEXT: cmpq %r11, %r10
; CHECK-NEXT: jae .LBB2_1
; CHECK-NEXT: #
; CHECK-NEXT: leaq g+1(%rip), %r11
; CHECK-NEXT: cmpq %r11, %r10
; CHECK-NEXT: jae .LBB2_6
; CHECK-NEXT: #
; CHECK-NEXT: jmp f0
; CHECK-NEXT: .LBB2_1:
; CHECK-NEXT: jne .LBB2_2
; CHECK-NEXT: #
; CHECK-NEXT: jmp f3
; CHECK-NEXT: .LBB2_6:
; CHECK-NEXT: jne .LBB2_7
; CHECK-NEXT: #
; CHECK-NEXT: jmp f1
; CHECK-NEXT: .LBB2_2:
; CHECK-NEXT: leaq g+5(%rip), %r11
; CHECK-NEXT: cmpq %r11, %r10
; CHECK-NEXT: jae .LBB2_3
; CHECK-NEXT: #
; CHECK-NEXT: jmp f4
; CHECK-NEXT: .LBB2_7:
; CHECK-NEXT: jmp f2
; CHECK-NEXT: .LBB2_3:
; CHECK-NEXT: jne .LBB2_4
; CHECK-NEXT: #
; CHECK-NEXT: jmp f5
; CHECK-NEXT: .LBB2_4:
; CHECK-NEXT: jmp f6
musttail call void (...) @llvm.icall.branch.funnel(
i8* %0,
i8* getelementptr (i8, i8* @g, i64 0), void ()* @f0,
i8* getelementptr (i8, i8* @g, i64 1), void ()* @f1,
i8* getelementptr (i8, i8* @g, i64 2), void ()* @f2,
i8* getelementptr (i8, i8* @g, i64 3), void ()* @f3,
i8* getelementptr (i8, i8* @g, i64 4), void ()* @f4,
i8* getelementptr (i8, i8* @g, i64 5), void ()* @f5,
i8* getelementptr (i8, i8* @g, i64 6), void ()* @f6,
...
)
ret void
}
define void @jt10(i8* nest, ...) {
; CHECK: jt10:
; CHECK: leaq g+5(%rip), %r11
; CHECK-NEXT: cmpq %r11, %r10
; CHECK-NEXT: jae .LBB3_1
; CHECK-NEXT: #
; CHECK-NEXT: leaq g+1(%rip), %r11
; CHECK-NEXT: cmpq %r11, %r10
; CHECK-NEXT: jae .LBB3_7
; CHECK-NEXT: #
; CHECK-NEXT: jmp f0
; CHECK-NEXT: .LBB3_1:
; CHECK-NEXT: jne .LBB3_2
; CHECK-NEXT: #
; CHECK-NEXT: jmp f5
; CHECK-NEXT: .LBB3_7:
; CHECK-NEXT: jne .LBB3_8
; CHECK-NEXT: #
; CHECK-NEXT: jmp f1
; CHECK-NEXT: .LBB3_2:
; CHECK-NEXT: leaq g+7(%rip), %r11
; CHECK-NEXT: cmpq %r11, %r10
; CHECK-NEXT: jae .LBB3_3
; CHECK-NEXT: #
; CHECK-NEXT: jmp f6
; CHECK-NEXT: .LBB3_8:
; CHECK-NEXT: leaq g+3(%rip), %r11
; CHECK-NEXT: cmpq %r11, %r10
; CHECK-NEXT: jae .LBB3_9
; CHECK-NEXT: #
; CHECK-NEXT: jmp f2
; CHECK-NEXT: .LBB3_3:
; CHECK-NEXT: jne .LBB3_4
; CHECK-NEXT: #
; CHECK-NEXT: jmp f7
; CHECK-NEXT: .LBB3_9:
; CHECK-NEXT: jne .LBB3_10
; CHECK-NEXT: #
; CHECK-NEXT: jmp f3
; CHECK-NEXT: .LBB3_4:
; CHECK-NEXT: leaq g+9(%rip), %r11
; CHECK-NEXT: cmpq %r11, %r10
; CHECK-NEXT: jae .LBB3_5
; CHECK-NEXT: #
; CHECK-NEXT: jmp f8
; CHECK-NEXT: .LBB3_10:
; CHECK-NEXT: jmp f4
; CHECK-NEXT: .LBB3_5:
; CHECK-NEXT: jmp f9
musttail call void (...) @llvm.icall.branch.funnel(
i8* %0,
i8* getelementptr (i8, i8* @g, i64 0), void ()* @f0,
i8* getelementptr (i8, i8* @g, i64 1), void ()* @f1,
i8* getelementptr (i8, i8* @g, i64 2), void ()* @f2,
i8* getelementptr (i8, i8* @g, i64 3), void ()* @f3,
i8* getelementptr (i8, i8* @g, i64 4), void ()* @f4,
i8* getelementptr (i8, i8* @g, i64 5), void ()* @f5,
i8* getelementptr (i8, i8* @g, i64 6), void ()* @f6,
i8* getelementptr (i8, i8* @g, i64 7), void ()* @f7,
i8* getelementptr (i8, i8* @g, i64 8), void ()* @f8,
i8* getelementptr (i8, i8* @g, i64 9), void ()* @f9,
...
)
ret void
}