1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
3
4declare dso_local void @bar()
5
6define void @test1(i64 %foo) nounwind {
7; CHECK-LABEL: test1:
8; CHECK:       # %bb.0:
9; CHECK-NEXT:    btq $32, %rdi
10; CHECK-NEXT:    jb .LBB0_2
11; CHECK-NEXT:  # %bb.1: # %if.end
12; CHECK-NEXT:    retq
13; CHECK-NEXT:  .LBB0_2: # %if.then
14; CHECK-NEXT:    jmp bar # TAILCALL
15  %and = and i64 %foo, 4294967296
16  %tobool = icmp eq i64 %and, 0
17  br i1 %tobool, label %if.end, label %if.then
18
19if.then:
20  tail call void @bar() nounwind
21  br label %if.end
22
23if.end:
24  ret void
25}
26
27define void @test2(i64 %foo) nounwind {
28; CHECK-LABEL: test2:
29; CHECK:       # %bb.0:
30; CHECK-NEXT:    testl $-2147483648, %edi # imm = 0x80000000
31; CHECK-NEXT:    jne .LBB1_2
32; CHECK-NEXT:  # %bb.1: # %if.end
33; CHECK-NEXT:    retq
34; CHECK-NEXT:  .LBB1_2: # %if.then
35; CHECK-NEXT:    jmp bar # TAILCALL
36  %and = and i64 %foo, 2147483648
37  %tobool = icmp eq i64 %and, 0
38  br i1 %tobool, label %if.end, label %if.then
39
40if.then:
41  tail call void @bar() nounwind
42  br label %if.end
43
44if.end:
45  ret void
46}
47