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: unassignedb...@nondot.org
          Reporter: jesper.antons...@ericsson.com
                CC: llvm-bugs@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.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to