Return undef value (instead of arbitrary) for wrong or undef index in
authorJakub Staszak <jstaszak@apple.com>
Fri, 2 Sep 2011 17:01:40 +0000 (17:01 +0000)
committerJakub Staszak <jstaszak@apple.com>
Fri, 2 Sep 2011 17:01:40 +0000 (17:01 +0000)
ConstantVector.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@139007 91177308-0d34-0410-b5e6-96231b3b80d8

lib/VMCore/ConstantFold.cpp

index 458f224575ce80094a1d7ca124ca4c1e6f169e7c..30bae7162cea8fa76e54f1e8f8f4df119f4d3ae0 100644 (file)
@@ -763,12 +763,12 @@ Constant *llvm::ConstantFoldExtractElementInstruction(Constant *Val,
     if (ConstantInt *CIdx = dyn_cast<ConstantInt>(Idx)) {
       uint64_t Index = CIdx->getZExtValue();
       if (Index >= CVal->getNumOperands())
-        // ee({w,x,y,z}, wrong_value) -> w (an arbitrary value).
-        return CVal->getOperand(0);
+        // ee({w,x,y,z}, wrong_value) -> undef
+        return UndefValue::get(cast<VectorType>(Val->getType())->getElementType());
       return CVal->getOperand(CIdx->getZExtValue());
     } else if (isa<UndefValue>(Idx)) {
-      // ee({w,x,y,z}, undef) -> w (an arbitrary value).
-      return CVal->getOperand(0);
+      // ee({w,x,y,z}, undef) -> undef
+      return UndefValue::get(cast<VectorType>(Val->getType())->getElementType());
     }
   }
   return 0;