diff options
| author | Chris Lattner <sabre@nondot.org> | 2005-05-09 22:17:13 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2005-05-09 22:17:13 +0000 |
| commit | ef311aa7cf26ae0cbb6e784d767801b9058dd24b (patch) | |
| tree | 1cae6767311606537b1cc4aad436f30aa87f676c | |
| parent | edcee6f5fd3dbd6e3ed46b9cc129fc9ce19737f6 (diff) | |
The semantics of cast X to bool are a comparison against zero, not a truncation!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21833 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp b/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp index 8dbf78c270..d6ec50ae16 100644 --- a/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp +++ b/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp @@ -493,6 +493,11 @@ void SelectionDAGLowering::visitCast(User &I) { if (N.getValueType() == DestTy) { setValue(&I, N); // noop cast. + } else if (DestTy == MVT::i1) { + // Cast to bool is a comparison against zero, not truncation to zero. + SDOperand Zero = isInteger(SrcTy) ? DAG.getConstant(0, N.getValueType()) : + DAG.getConstantFP(0.0, N.getValueType()); + setValue(&I, DAG.getSetCC(ISD::SETNE, MVT::i1, N, Zero)); } else if (isInteger(SrcTy)) { if (isInteger(DestTy)) { // Int -> Int cast if (DestTy < SrcTy) // Truncating cast? |