From 9eca5feff1fc77a914ca6b1a4daabcbc72b98f01 Mon Sep 17 00:00:00 2001 From: Benjamin Kramer Date: Mon, 4 Jul 2011 20:16:36 +0000 Subject: PR10267: Don't combine an equality compare with an AND into an inequality compare when the AND has more than one use. This can pessimize code, inequalities are generally more expensive. llvm-svn: 134379 --- llvm/test/Transforms/InstCombine/icmp.ll | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'llvm/test/Transforms/InstCombine') diff --git a/llvm/test/Transforms/InstCombine/icmp.ll b/llvm/test/Transforms/InstCombine/icmp.ll index c8f7f81468f..77ca62cfec6 100644 --- a/llvm/test/Transforms/InstCombine/icmp.ll +++ b/llvm/test/Transforms/InstCombine/icmp.ll @@ -547,3 +547,15 @@ define i1 @test56(i32 %a) { %cmp = icmp eq i32 %sub, 123 ret i1 %cmp } + +; PR10267 Don't make icmps more expensive when no other inst is subsumed. +declare void @foo(i32) +; CHECK: @test57 +; CHECK: %and = and i32 %a, -2 +; CHECK: %cmp = icmp ne i32 %and, 0 +define i1 @test57(i32 %a) { + %and = and i32 %a, -2 + %cmp = icmp ne i32 %and, 0 + call void @foo(i32 %and) + ret i1 %cmp +} -- cgit v1.2.3