maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Fix pr11194. When promoting and splitting integers we need to use 

ZExtPromotedInteger and SExtPromotedInteger based on the operation we legalize.

SetCC return type needs to be legalized via PromoteTargetBoolean.

llvm-svn: 142660
This commit is contained in:
Nadav Rotem 2011-10-21 17:35:19 +00:00
parent e6d88c9a51
commit 5e00bb5feb
2 changed files with 31 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp
View File

@ -787,7 +787,17 @@ void DAGTypeLegalizer::SplitVecRes_UnaryOp(SDNode *N, SDValue &Lo,
break;
}
case TargetLowering::TypePromoteInteger: {
SDValue InOp = GetPromotedInteger(N->getOperand(0));
SDValue InOp;
if (N->getOpcode() == ISD::SIGN_EXTEND ||
N->getOpcode() == ISD::SINT_TO_FP) {
InOp = SExtPromotedInteger(N->getOperand(0));
} else if (
N->getOpcode() == ISD::ZERO_EXTEND ||
N->getOpcode() == ISD::UINT_TO_FP) {
InOp = ZExtPromotedInteger(N->getOperand(0));
} else {
InOp = GetPromotedInteger(N->getOperand(0));
}
EVT InNVT = EVT::getVectorVT(*DAG.getContext(),
InOp.getValueType().getVectorElementType(),
LoVT.getVectorNumElements());
@ -2189,8 +2199,7 @@ SDValue DAGTypeLegalizer::WidenVecOp_SETCC(SDNode *N) {
SDValue CC = DAG.getNode(ISD::EXTRACT_SUBVECTOR, dl,
ResVT, WideSETCC, DAG.getIntPtrConstant(0));
// Convert the result mask to the correct kind.
return DAG.getAnyExtOrTrunc(CC, dl, N->getValueType(0));
return PromoteTargetBoolean(CC, N->getValueType(0));
}

19
llvm/test/CodeGen/X86/2011-20-21-zext-ui2fp.ll Normal file
View File

@ -0,0 +1,19 @@
; RUN: llc < %s -march=x86-64 -mcpu=corei7 | FileCheck %s
target triple = "x86_64-unknown-linux-gnu"
; Check that the booleans are converted using zext and not via sext.
; 0x1 means that we only look at the first bit.
;CHECK: 0x1
;CHECK: ui_to_fp_conv
;CHECK: ret
define void @ui_to_fp_conv(<8 x float> * nocapture %aFOO, <8 x float>* nocapture %RET) nounwind {
allocas:
%bincmp = fcmp olt <8 x float> <float 1.000000e+00, float 1.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00> , <float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00>
%bool2float = uitofp <8 x i1> %bincmp to <8 x float>
store <8 x float> %bool2float, <8 x float>* %RET, align 4
ret void
}