diff options
author | Dan Gohman <gohman@apple.com> | 2008-09-09 02:08:49 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2008-09-09 02:08:49 +0000 |
commit | be919409ccbf166340fe8484fc95efc903e56699 (patch) | |
tree | c2be0cd0bb72b128ef500991056749a53033a412 | |
parent | 59fbc80f6b3b5c71dfb84149f589625f7ed510e3 (diff) |
Temporarily disable vector select in the bitcode reader. The
way it handles the type of the condition is breaking plain
scalar select in the case that the value is a
forward-reference.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@55976 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Bitcode/Reader/BitcodeReader.cpp | 2 | ||||
-rw-r--r-- | test/Assembler/vector-select.ll | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/lib/Bitcode/Reader/BitcodeReader.cpp b/lib/Bitcode/Reader/BitcodeReader.cpp index eeba0e5ed8..d7f5b09235 100644 --- a/lib/Bitcode/Reader/BitcodeReader.cpp +++ b/lib/Bitcode/Reader/BitcodeReader.cpp @@ -1499,7 +1499,7 @@ bool BitcodeReader::ParseFunctionBody(Function *F) { Value *TrueVal, *FalseVal, *Cond; if (getValueTypePair(Record, OpNum, NextValueNo, TrueVal) || getValue(Record, OpNum, TrueVal->getType(), FalseVal) || - getValue(Record, OpNum, 0 /*skip type check*/, Cond)) + getValue(Record, OpNum, Type::Int1Ty, Cond)) return Error("Invalid SELECT record"); // select condition can be either i1 or [N x i1] diff --git a/test/Assembler/vector-select.ll b/test/Assembler/vector-select.ll index 87af602aaf..7c76a8678d 100644 --- a/test/Assembler/vector-select.ll +++ b/test/Assembler/vector-select.ll @@ -1,4 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | grep select +; XFAIL: * ; rudimentary test of select on vectors returning vector of bool define <4 x i32> @foo(<4 x i32> %a, <4 x i32> %b, |