RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-11-24 12:19:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix a bug in FoldSelectOpOp. Bitcast ops may change the number of vector elements, which may disagree with the select condition type.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@158166 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nadav Rotem 2012-06-07 20:28:57 +00:00
parent 397f4e3583
commit 2f6622c7bf
2 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Transforms/InstCombine/InstCombineSelect.cpp
View File

@ -129,6 +129,12 @@ Instruction *InstCombiner::FoldSelectOpOp(SelectInst &SI, Instruction *TI,
if (TI->isCast()) {
if (TI->getOperand(0)->getType() != FI->getOperand(0)->getType())
return 0;
// The select condition may be a vector. We may only change the operand
// type if the vector width remains the same (and matches the condition).
Type *CondTy = SI.getCondition()->getType();
if (CondTy->isVectorTy() && CondTy->getVectorNumElements() !=
FI->getOperand(0)->getType()->getVectorNumElements())
return 0;
} else {
return 0; // unknown unary op.
}

11
test/Transforms/InstCombine/2012-6-7-vselect-bitcast.ll Normal file
View File

@ -0,0 +1,11 @@
; RUN: opt < %s -instcombine -S | FileCheck %s
; CHECK: bitcast
define void @foo(<16 x i8> %a, <16 x i8> %b, <4 x i32>* %c) {
%aa = bitcast <16 x i8> %a to <4 x i32>
%bb = bitcast <16 x i8> %b to <4 x i32>
%select_v = select <4 x i1> zeroinitializer, <4 x i32> %aa, <4 x i32> %bb
store <4 x i32> %select_v, <4 x i32>* %c, align 4
ret void
}