RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-26 04:32:44 +01:00
Code Issues Projects Releases Wiki Activity

The bitcode reader can create an shuffle with a place holder mask which it will

Browse Source 
fix up later. For this special case, allow such a mask to be considered valid.
<rdar://problem/8622574>

llvm-svn: 142992
This commit is contained in:
Mon P Wang 2011-10-26 00:34:48 +00:00
parent d2c3547b52
commit ed6360d273
2 changed files with 41 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
lib/VMCore/Instructions.cpp
View File

@ -1576,10 +1576,17 @@ bool ShuffleVectorInst::isValidOperands(const Value *V1, const Value *V2,
return false;
}
}
}
else if (!isa<UndefValue>(Mask) && !isa<ConstantAggregateZero>(Mask))
} else if (!isa<UndefValue>(Mask) && !isa<ConstantAggregateZero>(Mask)) {
// The bitcode reader can create a place holder for a forward reference
// used as the shuffle mask. When this occurs, the shuffle mask will
// fall into this case and fail. To avoid this error, do this bit of
// ugliness to allow such a mask pass.
if (const ConstantExpr* CE = dyn_cast<ConstantExpr>(Mask)) {
if (CE->getOpcode() == Instruction::UserOp1)
return true;
}
return false;
}
return true;
}

31
test/Bitcode/shuffle.ll Normal file
View File

@ -0,0 +1,31 @@
; RUN: llvm-as < %s | llvm-dis
; <rdar://problem/8622574>
; tests the bitcodereader can handle the case where the reader will initially
; create shuffle with a place holder mask.
define <4 x float> @test(<2 x double> %d2) {
entry:
%call20.i = tail call <4 x float> @cmp(<2 x double> %d2,
<2 x double> bitcast (
<4 x float> shufflevector (
<3 x float> shufflevector (
<4 x float> shufflevector (
<3 x float> bitcast (
i96 trunc (
i128 bitcast (<2 x double> bitcast (
<4 x i32> <i32 0, i32 0, i32 0, i32 undef> to <2 x double>)
to i128) to i96)
to <3 x float>),
<3 x float> undef,
<4 x i32> <i32 0, i32 1, i32 2, i32 undef>),
<4 x float> undef,
<3 x i32> <i32 0, i32 1, i32 2>),
<3 x float> undef,
<4 x i32> <i32 0, i32 1, i32 2, i32 undef>)
to <2 x double>))
ret <4 x float> %call20.i
}
declare <4 x float> @cmp(<2 x double>, <2 x double>)