; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s

declare void @bar()

define void @foo(i64*) {
; CHECK-LABEL: foo:
; CHECK:       # %bb.0: # %start
; CHECK-NEXT:    movq (%rdi), %rax
; CHECK-NEXT:    andl $-2, %eax
; CHECK-NEXT:    cmpq $4, %rax
; CHECK-NEXT:    jne .LBB0_2
; CHECK-NEXT:  # %bb.1: # %bb1
; CHECK-NEXT:    retq
; CHECK-NEXT:  .LBB0_2: # %bb2.i
; CHECK-NEXT:    jmp bar # TAILCALL
start:
  %1 = load i64, i64* %0, align 8, !range !0
  %2 = and i64 %1, 6
  %3 = icmp eq i64 %2, 4
  br i1 %3, label %bb1, label %bb2.i

bb1:                                              ; preds = %bb2.i, %start
  ret void

bb2.i:                                            ; preds = %start
  tail call fastcc void @bar()
  br label %bb1
}

!0 = !{i64 0, i64 6}