diff options
author | Dan Gohman <gohman@apple.com> | 2009-03-13 20:42:20 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2009-03-13 20:42:20 +0000 |
commit | 14ea1ec2324cb595f2e035bbf54ddcd483f17c11 (patch) | |
tree | 32414e0df6b4f5c9c28a4f49ed7e2990bdf511ec /lib/CodeGen/SelectionDAG | |
parent | 71503710972ac747e6eaf76877cf1118d2059fce (diff) | |
download | external_llvm-14ea1ec2324cb595f2e035bbf54ddcd483f17c11.zip external_llvm-14ea1ec2324cb595f2e035bbf54ddcd483f17c11.tar.gz external_llvm-14ea1ec2324cb595f2e035bbf54ddcd483f17c11.tar.bz2 |
Fix FastISel's assumption that i1 values are always zero-extended
by inserting explicit zero extensions where necessary. Included
is a testcase where SelectionDAG produces a virtual register
holding an i1 value which FastISel previously mistakenly assumed
to be zero-extended.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66941 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/SelectionDAG')
-rw-r--r-- | lib/CodeGen/SelectionDAG/FastISel.cpp | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/lib/CodeGen/SelectionDAG/FastISel.cpp b/lib/CodeGen/SelectionDAG/FastISel.cpp index 229376d..3523dda 100644 --- a/lib/CodeGen/SelectionDAG/FastISel.cpp +++ b/lib/CodeGen/SelectionDAG/FastISel.cpp @@ -497,7 +497,14 @@ bool FastISel::SelectCast(User *I, ISD::NodeType Opcode) { if (!InputReg) // Unhandled operand. Halt "fast" selection and bail. return false; - + + // If the operand is i1, arrange for the high bits in the register to be zero. + if (I->getOperand(0)->getType() == Type::Int1Ty) { + InputReg = FastEmitZExtFromI1(SrcVT.getSimpleVT(), InputReg); + if (!InputReg) + return false; + } + unsigned ResultReg = FastEmit_r(SrcVT.getSimpleVT(), DstVT.getSimpleVT(), Opcode, @@ -970,3 +977,9 @@ unsigned FastISel::FastEmitInst_extractsubreg(MVT::SimpleValueType RetVT, } return ResultReg; } + +/// FastEmitZExtFromI1 - Emit MachineInstrs to compute the value of Op +/// with all but the least significant bit set to zero. +unsigned FastISel::FastEmitZExtFromI1(MVT::SimpleValueType VT, unsigned Op) { + return FastEmit_ri(VT, VT, ISD::AND, Op, 1); +} |