1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; RUN: llc --mtriple=x86_64 -o - %s | FileCheck %s
define i64 @test(i64 %x, i64 %y, i64 %a, i64 %b) {
; CHECK-LABEL: test:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: testq %rsi, %rsi
; CHECK-NEXT: jg .LBB0_2
; CHECK-NEXT: # %bb.1: # %entry
; CHECK-NEXT: movq %rcx, %rax
; CHECK-NEXT: leaq -1(%rdi), %rcx
; CHECK-NEXT: andq %rdi, %rcx
; CHECK-NEXT: jne .LBB0_2
; CHECK-NEXT: # %bb.3: # %if.end
; CHECK-NEXT: retq
; CHECK-NEXT: .LBB0_2: # %if.then
; CHECK-NEXT: movq %rdx, %rax
; CHECK-NEXT: retq
entry:
%ctpop = call i64 @llvm.ctpop.i64(i64 %x)
%cmp1 = icmp ugt i64 %ctpop, 1
%cmp2 = icmp sgt i64 %y, 0
%cmp = or i1 %cmp2, %cmp1
br i1 %cmp, label %if.then, label %if.end
if.then:
br label %if.end
if.end:
%res = phi i64 [ %a, %if.then ], [ %b, %entry ]
ret i64 %res
}
|
