| ; 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 @test1(i64 %foo) nounwind { | |
| ; CHECK-LABEL: test1: | |
| ; CHECK: # %bb.0: | |
| ; CHECK-NEXT: btq $32, %rdi | |
| ; CHECK-NEXT: jb .LBB0_2 | |
| ; CHECK-NEXT: # %bb.1: # %if.end | |
| ; CHECK-NEXT: retq | |
| ; CHECK-NEXT: .LBB0_2: # %if.then | |
| ; CHECK-NEXT: jmp bar # TAILCALL | |
| %and = and i64 %foo, 4294967296 | |
| %tobool = icmp eq i64 %and, 0 | |
| br i1 %tobool, label %if.end, label %if.then | |
| if.then: | |
| tail call void @bar() nounwind | |
| br label %if.end | |
| if.end: | |
| ret void | |
| } | |
| define void @test2(i64 %foo) nounwind { | |
| ; CHECK-LABEL: test2: | |
| ; CHECK: # %bb.0: | |
| ; CHECK-NEXT: testl $-2147483648, %edi # imm = 0x80000000 | |
| ; CHECK-NEXT: jne .LBB1_2 | |
| ; CHECK-NEXT: # %bb.1: # %if.end | |
| ; CHECK-NEXT: retq | |
| ; CHECK-NEXT: .LBB1_2: # %if.then | |
| ; CHECK-NEXT: jmp bar # TAILCALL | |
| %and = and i64 %foo, 2147483648 | |
| %tobool = icmp eq i64 %and, 0 | |
| br i1 %tobool, label %if.end, label %if.then | |
| if.then: | |
| tail call void @bar() nounwind | |
| br label %if.end | |
| if.end: | |
| ret void | |
| } |