From 8401ed21aa7c8ca022aad4b83fc9c63c0b824720 Mon Sep 17 00:00:00 2001
From: Benjamin Kramer <benny.kra@googlemail.com>
Date: Thu, 16 May 2013 18:47:58 +0000
Subject: DAGCombine: Also shrink eq compares where the constant is exactly as
 large as the smaller type.

if ((x & 255) == 255)

before: movzbl  %al, %eax
        cmpl  $255, %eax

after:  cmpb  $-1, %al

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182038 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/CodeGen/X86/shrink-compare.ll | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'test/CodeGen/X86/shrink-compare.ll')

diff --git a/test/CodeGen/X86/shrink-compare.ll b/test/CodeGen/X86/shrink-compare.ll
index 8d4b07f9d9..0c16f86ff1 100644
--- a/test/CodeGen/X86/shrink-compare.ll
+++ b/test/CodeGen/X86/shrink-compare.ll
@@ -34,3 +34,19 @@ if.end:
 ; CHECK: test2:
 ; CHECK: cmpb $47, %{{dil|cl}}
 }
+
+define void @test3(i32 %X) nounwind {
+entry:
+  %and = and i32 %X, 255
+  %cmp = icmp eq i32 %and, 255
+  br i1 %cmp, label %if.then, label %if.end
+
+if.then:
+  tail call void @bar() nounwind
+  br label %if.end
+
+if.end:
+  ret void
+; CHECK: test3:
+; CHECK: cmpb $-1, %{{dil|cl}}
+}
-- 
cgit v1.2.3