[llvm-bugs] [Bug 37686] New: Instcombine crashes with Assertion `(!VTy->isIntOrIntVectorTy() || VTy->getScalarSizeInBits() == BitWidth) && Known.getBitWidth() == BitWidth && "Value *V, DemandedMask and Known must have same BitWidth"' failed.

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=37686

            Bug ID: 37686
           Summary: Instcombine crashes with Assertion
                    `(!VTy->isIntOrIntVectorTy() ||
                    VTy->getScalarSizeInBits() == BitWidth) &&
                    Known.getBitWidth() == BitWidth && "Value *V,
                    DemandedMask and Known must have same BitWidth"'
                    failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: cs12b1010 at iith.ac.in
                CC: llvm-bugs at lists.llvm.org

Created attachment 20395
  --> https://bugs.llvm.org/attachment.cgi?id=20395&action=edit
Bugpoint reduced test case.

On running:
opt -instcombine reduced.ll

We get:
lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp:116: llvm::Value*
llvm::InstCombiner::SimplifyDemandedUseBits(llvm::Value*, llvm::APInt,
llvm::KnownBits&, unsigned int, llvm::Instruction*): Assertion
`(!VTy->isIntOrIntVectorTy() || VTy->getScalarSizeInBits() == BitWidth) &&
Known.getBitWidth() == BitWidth && "Value *V, DemandedMask and Known must have
same BitWidth"' failed.


This crash happens after rev 333927. I have attached reduced.ll

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180605/b54f314b/attachment.html>