6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-08-10 02:25:47 +00:00
Code Issues Projects Releases Wiki Activity

Use the right kind of booleans: we were emitting 0/1 booleans, instead of 0/-1

Browse Source 
booleans.  Patch by James Benton.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159739 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Duncan Sands
2012-07-05 09:32:46 +00:00
parent 4a002ab9c3
commit e7de3b29f7
2 changed files with 72 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
lib/CodeGen/SelectionDAG/TargetLowering.cpp
View File

@@ -2390,21 +2390,29 @@ TargetLowering::SimplifySetCC(EVT VT, SDValue N0, SDValue N1,
} }
if (N0 == N1) { if (N0 == N1) {
// The sext(setcc()) => setcc() optimization relies on the appropriate
// constant being emitted.
uint64_t EqVal;
switch (getBooleanContents(N0.getValueType().isVector())) {
default: llvm_unreachable("Unknown boolean contents!");
case UndefinedBooleanContent:
case ZeroOrOneBooleanContent:
EqVal = ISD::isTrueWhenEqual(Cond);
break;
case ZeroOrNegativeOneBooleanContent:
EqVal = ISD::isTrueWhenEqual(Cond) ? -1 : 0;
break;
}
// We can always fold X == X for integer setcc's. // We can always fold X == X for integer setcc's.
if (N0.getValueType().isInteger()) { if (N0.getValueType().isInteger()) {
switch (getBooleanContents(N0.getValueType().isVector())) { return DAG.getConstant(EqVal, VT);
case UndefinedBooleanContent:
case ZeroOrOneBooleanContent:
return DAG.getConstant(ISD::isTrueWhenEqual(Cond), VT);
case ZeroOrNegativeOneBooleanContent:
return DAG.getConstant(ISD::isTrueWhenEqual(Cond) ? -1 : 0, VT);
}
} }
unsigned UOF = ISD::getUnorderedFlavor(Cond); unsigned UOF = ISD::getUnorderedFlavor(Cond);
if (UOF == 2) // FP operators that are undefined on NaNs. if (UOF == 2) // FP operators that are undefined on NaNs.
return DAG.getConstant(ISD::isTrueWhenEqual(Cond), VT); return DAG.getConstant(EqVal, VT);
if (UOF == unsigned(ISD::isTrueWhenEqual(Cond))) if (UOF == unsigned(ISD::isTrueWhenEqual(Cond)))
return DAG.getConstant(UOF, VT); return DAG.getConstant(EqVal, VT);
// Otherwise, we can't fold it. However, we can simplify it to SETUO/SETO // Otherwise, we can't fold it. However, we can simplify it to SETUO/SETO
// if it is not already. // if it is not already.
ISD::CondCode NewCond = UOF == 0 ? ISD::SETO : ISD::SETUO; ISD::CondCode NewCond = UOF == 0 ? ISD::SETO : ISD::SETUO;

55
test/CodeGen/X86/sext-setcc-self.ll Normal file
View File

@@ -0,0 +1,55 @@
; RUN: llc -march=x86 -mcpu=nehalem < %s | FileCheck %s
define <4 x i32> @test_ueq(<4 x float> %in) {
entry:
; CHECK: pcmpeqd %xmm0, %xmm0
; CHECK-NEXT: ret
%0 = fcmp ueq <4 x float> %in, %in
%1 = sext <4 x i1> %0 to <4 x i32>
ret <4 x i32> %1
}
define <4 x i32> @test_uge(<4 x float> %in) {
entry:
; CHECK: pcmpeqd %xmm0, %xmm0
; CHECK-NEXT: ret
%0 = fcmp uge <4 x float> %in, %in
%1 = sext <4 x i1> %0 to <4 x i32>
ret <4 x i32> %1
}
define <4 x i32> @test_ule(<4 x float> %in) {
entry:
; CHECK: pcmpeqd %xmm0, %xmm0
; CHECK-NEXT: ret
%0 = fcmp ule <4 x float> %in, %in
%1 = sext <4 x i1> %0 to <4 x i32>
ret <4 x i32> %1
}
define <4 x i32> @test_one(<4 x float> %in) {
entry:
; CHECK: xorps %xmm0, %xmm0
; CHECK-NEXT: ret
%0 = fcmp one <4 x float> %in, %in
%1 = sext <4 x i1> %0 to <4 x i32>
ret <4 x i32> %1
}
define <4 x i32> @test_ogt(<4 x float> %in) {
entry:
; CHECK: xorps %xmm0, %xmm0
; CHECK-NEXT: ret
%0 = fcmp ogt <4 x float> %in, %in
%1 = sext <4 x i1> %0 to <4 x i32>
ret <4 x i32> %1
}
define <4 x i32> @test_olt(<4 x float> %in) {
entry:
; CHECK: xorps %xmm0, %xmm0
; CHECK-NEXT: ret
%0 = fcmp olt <4 x float> %in, %in
%1 = sext <4 x i1> %0 to <4 x i32>
ret <4 x i32> %1
}