[llvm] r179859 - ConstantFolding: ComputeMaskedBits wants the scalar size for vectors.

Benjamin Kramer benny.kra at googlemail.com
Fri Apr 19 09:56:25 PDT 2013


Author: d0k
Date: Fri Apr 19 11:56:24 2013
New Revision: 179859

URL: http://llvm.org/viewvc/llvm-project?rev=179859&view=rev
Log:
ConstantFolding: ComputeMaskedBits wants the scalar size for vectors.

Fixes PR15791.

Added:
    llvm/trunk/test/Transforms/InstSimplify/2013-04-19-ConstantFoldingCrash.ll
Modified:
    llvm/trunk/lib/Analysis/ConstantFolding.cpp

Modified: llvm/trunk/lib/Analysis/ConstantFolding.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/ConstantFolding.cpp?rev=179859&r1=179858&r2=179859&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/ConstantFolding.cpp (original)
+++ llvm/trunk/lib/Analysis/ConstantFolding.cpp Fri Apr 19 11:56:24 2013
@@ -551,7 +551,7 @@ static Constant *SymbolicallyEvaluateBin
 
 
   if (Opc == Instruction::And && DL) {
-    unsigned BitWidth = DL->getTypeSizeInBits(Op0->getType());
+    unsigned BitWidth = DL->getTypeSizeInBits(Op0->getType()->getScalarType());
     APInt KnownZero0(BitWidth, 0), KnownOne0(BitWidth, 0);
     APInt KnownZero1(BitWidth, 0), KnownOne1(BitWidth, 0);
     ComputeMaskedBits(Op0, KnownZero0, KnownOne0, DL);

Added: llvm/trunk/test/Transforms/InstSimplify/2013-04-19-ConstantFoldingCrash.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/2013-04-19-ConstantFoldingCrash.ll?rev=179859&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/2013-04-19-ConstantFoldingCrash.ll (added)
+++ llvm/trunk/test/Transforms/InstSimplify/2013-04-19-ConstantFoldingCrash.ll Fri Apr 19 11:56:24 2013
@@ -0,0 +1,9 @@
+; RUN: opt < %s -instsimplify
+
+target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
+
+; PR15791
+define <2 x i64> @test1() {
+  %a = and <2 x i64> undef, bitcast (<4 x i32> <i32 undef, i32 undef, i32 undef, i32 2147483647> to <2 x i64>)
+  ret <2 x i64> %a
+}





More information about the llvm-commits mailing list