When bit-twiddling CondCode values for integer comparisons produces

SETOEQ, is it does with (SETEQ & SETULE), map it to SETEQ.

llvm-svn: 51112
This commit is contained in:
Dan Gohman 2008-05-14 18:17:09 +00:00
parent 38e59eb0c7
commit 3ab94df276
2 changed files with 25 additions and 0 deletions

View File

@ -293,6 +293,7 @@ ISD::CondCode ISD::getSetCCAndOperation(ISD::CondCode Op1, ISD::CondCode Op2,
switch (Result) {
default: break;
case ISD::SETUO : Result = ISD::SETFALSE; break; // SETUGT & SETULT
case ISD::SETOEQ: // SETEQ & SETU[LG]E
case ISD::SETUEQ: Result = ISD::SETEQ ; break; // SETUGE & SETULE
case ISD::SETOLT: Result = ISD::SETULT ; break; // SETULT & SETNE
case ISD::SETOGT: Result = ISD::SETUGT ; break; // SETUGT & SETNE

View File

@ -0,0 +1,24 @@
; RUN: llvm-as < %s | llc -march=x86 | grep sete
; PR2326
define i32 @func_59(i32 %p_60) nounwind {
entry:
%l_108 = alloca i32 ; <i32*> [#uses=2]
%tmp15 = load i32* null, align 4 ; <i32> [#uses=1]
%tmp16 = load i32* %l_108, align 4 ; <i32> [#uses=1]
%tmp17 = icmp eq i32 %tmp15, %tmp16 ; <i1> [#uses=1]
%tmp1718 = zext i1 %tmp17 to i8 ; <i8> [#uses=1]
%tmp19 = load i32* null, align 4 ; <i32> [#uses=1]
%tmp20 = load i32* %l_108, align 4 ; <i32> [#uses=1]
%tmp21 = icmp ule i32 %tmp19, %tmp20 ; <i1> [#uses=1]
%tmp2122 = zext i1 %tmp21 to i8 ; <i8> [#uses=1]
%toBool23 = icmp ne i8 %tmp1718, 0 ; <i1> [#uses=1]
%toBool24 = icmp ne i8 %tmp2122, 0 ; <i1> [#uses=1]
%tmp25 = and i1 %toBool23, %toBool24 ; <i1> [#uses=1]
%tmp2526 = zext i1 %tmp25 to i8 ; <i8> [#uses=1]
%tmp252627 = zext i8 %tmp2526 to i32 ; <i32> [#uses=1]
%tmp29 = call i32 (...)* @func_15( i32 %tmp252627, i32 0 ) nounwind ; <i32> [#uses=0]
unreachable
}
declare i32 @func_15(...)