From c9b6a3eb90c5e0f6460632a443591068522537e2 Mon Sep 17 00:00:00 2001 From: Benjamin Kramer Date: Mon, 17 Jan 2011 18:00:28 +0000 Subject: Fix an off-by-one error in ctpop combining. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123664 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/CodeGen/X86/ctpop-combine.ll | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'test') diff --git a/test/CodeGen/X86/ctpop-combine.ll b/test/CodeGen/X86/ctpop-combine.ll index b87637f..c957d38 100644 --- a/test/CodeGen/X86/ctpop-combine.ll +++ b/test/CodeGen/X86/ctpop-combine.ll @@ -18,8 +18,7 @@ define i32 @test1(i64 %x) nounwind readnone { define i32 @test2(i64 %x) nounwind readnone { %count = tail call i64 @llvm.ctpop.i64(i64 %x) - %cast = trunc i64 %count to i32 - %cmp = icmp ult i32 %cast, 2 + %cmp = icmp ult i64 %count, 2 %conv = zext i1 %cmp to i32 ret i32 %conv ; CHECK: test2: @@ -29,3 +28,13 @@ define i32 @test2(i64 %x) nounwind readnone { ; CHECK: ret } +define i32 @test3(i64 %x) nounwind readnone { + %count = tail call i64 @llvm.ctpop.i64(i64 %x) + %cast = trunc i64 %count to i6 ; Too small for 0-64 + %cmp = icmp ult i6 %cast, 2 + %conv = zext i1 %cmp to i32 + ret i32 %conv +; CHECK: test3: +; CHECK: cmpb $2 +; CHECK: ret +} -- cgit v1.1