[LLVMbugs] [Bug 19730] New: Assertion failure when replacing shuffle vectors in Instruction Combine

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=19730

            Bug ID: 19730
           Summary: Assertion failure when replacing shuffle vectors in
                    Instruction Combine
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: Hao.Liu at arm.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

This is introduced by r208488 related to 19717
http://llvm.org/bugs/show_bug.cgi?id=19717.

When two shuffles have different types, an assertion failure may happen. To
reproduce with following case simple.ll:
---------------------------------------------------------------------------------
define <8 x i8> @test(<16 x i8> %in0) {
entry:
  %shuffle = shufflevector <16 x i8> %in0, <16 x i8> undef, <8 x i32> <i32 7,
i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
  %shuffle1 = shufflevector <8 x i8> %shuffle, <8 x i8> undef, <8 x i32> <i32
7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
  ret <8 x i8> %shuffle1
}
---------------------------------------------------------------------------------

To run as following:
$opt -S -instcombine simple.ll
opt: llvm/lib/IR/Value.cpp:309: void
llvm::Value::replaceAllUsesWith(llvm::Value*): Assertion `New->getType() ==
getType() && "replaceAllUses of value with new value of different type!"'
failed.

-- 
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/20140513/e4f99961/attachment.html>