1; RUN: llc -march=x86-64 < %s | FileCheck %s
2
3declare i64 @llvm.ctpop.i64(i64) nounwind readnone
4
5define i32 @test1(i64 %x) nounwind readnone {
6  %count = tail call i64 @llvm.ctpop.i64(i64 %x)
7  %cast = trunc i64 %count to i32
8  %cmp = icmp ugt i32 %cast, 1
9  %conv = zext i1 %cmp to i32
10  ret i32 %conv
11; CHECK: test1:
12; CHECK: leaq -1([[A0:%rdi|%rcx]])
13; CHECK-NEXT: testq
14; CHECK-NEXT: setne
15; CHECK: ret
16}
17
18
19define i32 @test2(i64 %x) nounwind readnone {
20  %count = tail call i64 @llvm.ctpop.i64(i64 %x)
21  %cmp = icmp ult i64 %count, 2
22  %conv = zext i1 %cmp to i32
23  ret i32 %conv
24; CHECK: test2:
25; CHECK: leaq -1([[A0]])
26; CHECK-NEXT: testq
27; CHECK-NEXT: sete
28; CHECK: ret
29}
30
31define i32 @test3(i64 %x) nounwind readnone {
32  %count = tail call i64 @llvm.ctpop.i64(i64 %x)
33  %cast = trunc i64 %count to i6 ; Too small for 0-64
34  %cmp = icmp ult i6 %cast, 2
35  %conv = zext i1 %cmp to i32
36  ret i32 %conv
37; CHECK: test3:
38; CHECK: cmpb $2
39; CHECK: ret
40}
41