| ; 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} |