[llvm-bugs] [Bug 38984] New: InstCombine assertion at vector gep/icmp folding

[via llvm-bugs]

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

            Bug ID: 38984
           Summary: InstCombine assertion at vector gep/icmp folding
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: jesper.antonsson at ericsson.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 20886
  --> https://bugs.llvm.org/attachment.cgi?id=20886&action=edit
reduced reproducer

The attached IR fails with:

  opt: ../lib/IR/Value.cpp:413: void llvm::Value::doRAUW(llvm::Value *,
llvm::Value::ReplaceMetadataUses): Assertion `New->getType() == getType() &&
"replaceAllUses of value with new value of different type!"' failed.

when invoking:

  opt -instcombine -S addr_diff_reduced.ll

The reason is that InstCombiner::foldGEPICmp() sees a vector icmp that it knows
to be all true and tries to replace it with an i1 true value.

-- 
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/20180918/36e1b5bc/attachment.html>