[llvm-bugs] [Bug 47991] New: Assertion in Sparse conditional constant propagation

[via llvm-bugs]

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

            Bug ID: 47991
           Summary: Assertion in Sparse conditional constant propagation
           Product: new-bugs
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: axel.y.rivera at intel.com
                CC: htmldeveloper at gmail.com, llvm-bugs at lists.llvm.org

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

Hi,

I'm getting an assertion with the simple test case that was attached. It can be
replicated with the following command:

opt -ipsccp -S simple.ll

The issue is dying in the following line:

%tmp4 = trunc i512 %tmp3 to i32

The truncate function in ConstantRange identifies that it is trying to convert
from 8-bits to 32-bits, which triggers the assertion.

This is the callback trace:

opt: /llvm/llvm/lib/IR/ConstantRange.cpp:721: llvm::ConstantRange
llvm::ConstantRange::truncate(uint32_t) const: Assertion `getBitWidth() >
DstTySize && "Not a value truncation"' failed.                                  
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace.      
Stack dump:                                                                     
0.      Program arguments: opt -ipsccp -S simple.ll                             
1.      Running pass 'Interprocedural Sparse Conditional Constant Propagation'
on module 'simple.ll'.                                                          
 #0 0x00000000036eafe1 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
/llvm/llvm/lib/Support/Unix/Signals.inc:563:0                             
 #1 0x00000000036eb098 PrintStackTraceSignalHandler(void*)
/llvm/llvm/lib/Support/Unix/Signals.inc:630:0                                   
 #2 0x00000000036e90a1 llvm::sys::RunSignalHandlers()
/llvm/llvm/lib/Support/Signals.cpp:71:0                                         
 #3 0x00000000036eaa24 SignalHandler(int)
/llvm/llvm/lib/Support/Unix/Signals.inc:405:0                                   
 #4 0x00007fe76acd15e0 __restore_rt (/lib64/libpthread.so.0+0xf5e0)             
 #5 0x00007fe7698531f7 raise (/lib64/libc.so.6+0x351f7)                         
 #6 0x00007fe7698548e8 abort (/lib64/libc.so.6+0x368e8)                         
 #7 0x00007fe76984c266 __assert_fail_base (/lib64/libc.so.6+0x2e266)            
 #8 0x00007fe76984c312 (/lib64/libc.so.6+0x2e312)                               
 #9 0x0000000002b37e2b llvm::ConstantRange::truncate(unsigned int) const
/llvm/llvm/lib/IR/ConstantRange.cpp:722:0                                   
#10 0x0000000002b3766d llvm::ConstantRange::castOp(llvm::Instruction::CastOps,
unsigned int) const /llvm/llvm/lib/IR/ConstantRange.cpp:648:0         
#11 0x00000000035147ff (anonymous
namespace)::SCCPSolver::visitCastInst(llvm::CastInst&)
/llvm/llvm/lib/Transforms/Scalar/SCCP.cpp:848:0             
#12 0x000000000351c99d llvm::InstVisitor<(anonymous namespace)::SCCPSolver,
void>::visitTruncInst(llvm::TruncInst&)
/llvm/llvm/include/llvm/IR/InstVisitor.h:177:0                                  
#13 0x000000000351c1d1 llvm::InstVisitor<(anonymous namespace)::SCCPSolver,
void>::visitTrunc(llvm::TruncInst&)
/llvm/llvm/include/llvm/IR/Instruction.def:184:0
#14 0x000000000351b7db llvm::InstVisitor<(anonymous namespace)::SCCPSolver,
void>::visit(llvm::Instruction&)
/llvm/llvm/include/llvm/IR/Instruction.def:184:0
#15 0x000000000351cef4 void llvm::InstVisitor<(anonymous
namespace)::SCCPSolver,
void>::visit<llvm::ilist_iterator<llvm::ilist_detail::node_options<llvm::Instruction,
true, false, void>, false, false>
>(llvm::ilist_iterator<llvm::ilist_detail::node_options<llvm::Instruction,
true, false, void>, false, false>,
llvm::ilist_iterator<llvm::ilist_detail::node_options<llvm::Instruction, true,
false, void>, false, false>) /llvm/llvm/include/llvm/IR/InstVisitor.h:89:0
#16 0x000000000351c676 llvm::InstVisitor<(anonymous namespace)::SCCPSolver,
void>::visit(llvm::BasicBlock&) /llvm/llvm/include/llvm/IR/InstVisitor.h:106:0
#17 0x000000000351baa7 llvm::InstVisitor<(anonymous namespace)::SCCPSolver,
void>::visit(llvm::BasicBlock*) /llvm/llvm/include/llvm/IR/InstVisitor.h:111:0
#18 0x0000000003517c5f (anonymous namespace)::SCCPSolver::Solve()
/llvm/llvm/lib/Transforms/Scalar/SCCP.cpp:1440:0
#19 0x0000000003519f66 llvm::runIPSCCP(llvm::Module&, llvm::DataLayout const&,
std::function<llvm::TargetLibraryInfo const& (llvm::Function&)>,
llvm::function_ref<llvm::AnalysisResultsForFn (llvm::Function&)>)
/llvm/llvm/lib/Transforms/Scalar/SCCP.cpp:1969:0
#20 0x0000000002f78133 (anonymous
namespace)::IPSCCPLegacyPass::runOnModule(llvm::Module&)
/llvm/llvm/lib/Transforms/IPO/SCCP.cpp:68:0
#21 0x0000000002c9456b (anonymous
namespace)::MPPassManager::runOnModule(llvm::Module&)
/llvm/llvm/lib/IR/LegacyPassManager.cpp:1634:0
#22 0x0000000002c8fa7d llvm::legacy::PassManagerImpl::run(llvm::Module&)
/llvm/llvm/lib/IR/LegacyPassManager.cpp:615:0
#23 0x0000000002c94d57 llvm::legacy::PassManager::run(llvm::Module&)
/llvm/llvm/lib/IR/LegacyPassManager.cpp:1762:0
#24 0x0000000001b4c943 main /llvm/llvm/tools/opt/opt.cpp:1001:0
#25 0x00007fe76983fc05 __libc_start_main (/lib64/libc.so.6+0x21c05)
#26 0x0000000001b16db9 _start (/bin/opt+0x1b16db9)
Aborted

-- 
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/20201027/63ee1b1a/attachment.html>